Daily lobste.rs News for 2022-09-05
05 Sep 2022 -
1 minute read
hosting a static site on fly.io with nix and caddy (comments)
Reviving the coolest scanner you’ve never heard of <- amazing debugging of a fossilized WinXP driver (comments)
GOSPEL: A tool-agnostic formal specification language for OCaml (comments)
Performance Benefits of Using Huge Pages for Code (comments)
Dead USB Drives Are Fine: Building a Reliable Sneakernet (comments)
Guide for the use of the Ada Ravenscar Profile in high integrity systems (comments)