links

A collection of articles & links

Self-Hosted

• AFFiNE - A Notion alternative

Reading

• The Challenges of Formally Proving HPC Systems Software
• SSReflect Tutorial
  • Exercise Examples
• 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
  • simpler syndication
  • lawyers guns and money blog
• Files are hard
• Foundational
  • Certified Programming with Dependent Types
  • Types and Programming Languages

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

• How to import .ova file into Proxmox

Kubernetes

• OAuth2 proxy for NGINX ingress controller
• Production Ready EKS CoreDNS Configuration

Development

Languages

• v-lang
• Bun JavaScript runtime
• JetBrains Arend Prover

Rendering

• morphdom - A tool for diffing & applying DOM changes
• How to use JSX without React
  • React JSX types
  • DOM Element factory for TypeScript

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

• Dynamic Registration Guide
• Blackboard Implementation Guide
• Packback PHP Library

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

• CEF Tooltip Blanks Screen
• Can't import PKCS#12 CA certs w/ NetworkManager

Off-Topic

• 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

Places

• Strait of Malacca