You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
1 year ago | |
---|---|---|
.gitignore | 2 years ago | |
LICENSE | 2 years ago | |
README.md | 1 year ago |
README.md
links
A collection of articles & links
Self-Hosted
- AFFiNE - A Notion alternative
Reading
- The Challenges of Formally Proving HPC Systems Software
- SSReflect Tutorial
- Orchestrating Layered Attestations
- Design & Formal Verification of a Copland-based Attestation Protocol
- SymForce: Symbolic Computation and Code Generation for Robotics
- Formal reasoning about layered monadic interpreters
- And now it's all this
- Files are hard
- Foundational
Type-Theory
- An Introduction to Type Theory and Formal Semantics
- A Dependent Type Theory with Abstractable Names
- Certified Programming with Dependent Types
Development
- CatchTS - A TypeScript blog
- Extreme Explorations of TypeScript's Type System
- Adrian Holovaty
System Administration
- endoflife.date - community-maintained verison lifecycle info
Proxmox
Kubernetes
Development
Languages
Rendering
- morphdom - A tool for diffing & applying DOM changes
- How to use JSX without React
AI
TypeScript
- ts-node - A TypeScript REPL/runner
- Type Fest - A collection of utility types
- typetype - a language for generating TypeScript types
- json-decoder - a TypeScript-native JSON library
- typescript-is - runtime type valiation
Database
- prql - An alternative query language that compiles to SQL
- PlanetScale - H-scaling MySQL platform, also Beam team workspace
- SurrealDB - Database platform w/ built-in real-time, authentication, and more
LTI 1.3
Tools
- git-less - Alternative git porcelain
- gitpod - Ephemeral, Kubernetes development environments
- JetBrains Space On-Premisis
- JetBrains Fleet
- dsq - SQL queries across many data formats
Bugs
Off-Topic
- Rewrite Iran: A History Book From the Future
- The CRAPL - an academic-strength open-source license
- GPR - Drone-powered geographical surveys
- DoE NEPA - Documents required by DoE for environmental impact survey
- If-Im-Gone - Template cheat-sheet for your partner
- neeasade/dotfiles
- Big data datasets
- PVS - large, mostly text dataset