The Frozen Collection Vault: frozenset and Set Immutability
dev.to·12h·
Discuss: DEV
🎞️Tape Combinatorics
The eBPF Verifier – How Linux Safely Runs User Code in Kernel Space
qpoint.io·17h·
Discuss: Hacker News
🛡️eBPF Security
Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·3d
🧮Theorem Proving
Towards Safe Reasoning in Large Reasoning Models via Corrective Intervention
arxiv.org·1d
📏Linear Logic
Building Smarter MCP Servers — From Theory to Practice
clever-cloud.com·2h
🔒WASM Capabilities
Fast Data Persistence: GrausDB and Zero-Copy Serialization
rpallas.xyz·1d·
Discuss: Hacker News
🌳Persistent Data Structures
Hiding room metadata from servers
element.io·19h·
Discuss: Lobsters
🔐Homomorphic Encryption
Composing pure Haskell assertions
blog.ploeh.dk·2d
⚖️Verification Calculi
RFC 677: Maintenance of duplicate databases (1975)
rfc-editor.org·2d·
Discuss: Hacker News
🛡️Preservation Proofs
I no longer recommend Julia
yuri.is·18h·
Discuss: Hacker News
💧Liquid Types
Functional genetic programming and exhaustive program search with combinator expressions (2007)
cs.hmc.edu·18h·
Discuss: Lobsters
🔗Functional Compilers
Using an LLM on the Advent of Code
funcall.blogspot.com·1d·
Discuss: www.blogger.com
⚔️Lean Tactics
A Programmer's Guide to Logging Best Practices
dash0.com·20h·
Discuss: Hacker News, r/programming
📝Log Parsing
Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·3d·
Discuss: Hacker News
🎯Gradual Typing
High-level intuitions for the Bulletproofs/IPA protocol
cryptologie.net·4d
🎯Performance Proofs
The Grammar of FAIR: A Granular Architecture of Semantic Units for FAIR Semantics, Inspired by Biology and Linguistics
arxiv.org·6h
📋Document Grammar
Fix(dd): ensure full block writes to handle partial writes to slow pipes
github.com·2h·
Discuss: Hacker News
📺VT100
The expression problem and Rust
purplesyringa.moe·1d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Unspoken Hints: Accuracy Without Acknowledgement in LLM Reasoning
arxiv.org·6h
💻Local LLMs
Sguaba: Type-safe spatial math in Rust
youtube.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing