8. Heed v0.20: The safest and most maintained Rust wrapper for the LMDB key-value store Lobste Comment
13. X-CMD | Lightweight POSIX script for managing tools (500+) and providing classic command extensions in an open-source environment Lobste Comment
58. OpenELM: An Efficient Language Model Family with Open-source Training and Inference Framework Lobste Comment
70. Beckhoff Achieves Smaller (1.5GB vs. 2.0GB) RAM Footprint by Switching from Windows to FreeBSD Lobste Comment
75. lean theorem prover used to show that New Foundations set theory is equiconsistent with ZFC Lobste Comment
114. Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language Lobste Comment
126. LogTape: Simple logging library with zero dependencies for Deno/Node.js/Bun/browsers Lobste Comment
130. Interview with Matt Godbolt on early microprocessors, the games industry, and performance optimization Lobste Comment
144. Dataflow Analyses and Compiler Optimizations that Use Them, for Free – Embedded in Academia Lobste Comment
150. thetawave: A physics based, space shooter game made with Rust and the Bevy engine Lobste Comment
180. Raw flux streams and obscure formats: Further work around imaging 5.25-inch floppy disks Lobste Comment
185. Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance Lobste Comment
232. Use Cases for Merging and Splitting Partitions With Minimal Locking in PostgreSQL 17 Lobste Comment
246. The legal rule that computers are presumed to be operating correctly – unforeseen and unjust consequences (2022) Lobste Comment
247. Why OpenSSL punycode vulnerability CVE-2022-3602 was not detected by fuzz testing Lobste Comment
273. Elastic Universal Profiling agent, a continuous profiling solution, is now open source Lobste Comment