The Frozen Collection Vault: frozenset and Set Immutability
dev.to·7h·
Discuss: DEV
🎞️Tape Combinatorics
The eBPF Verifier – How Linux Safely Runs User Code in Kernel Space
qpoint.io·12h·
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
Fast Data Persistence: GrausDB and Zero-Copy Serialization
rpallas.xyz·1d·
Discuss: Hacker News
🌳Persistent Data Structures
Hiding room metadata from servers
element.io·14h·
Discuss: Lobsters
🔐Homomorphic Encryption
Composing pure Haskell assertions
blog.ploeh.dk·1d
⚖️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·13h·
Discuss: Hacker News
💧Liquid Types
Functional genetic programming and exhaustive program search with combinator expressions (2007)
cs.hmc.edu·13h·
Discuss: Lobsters
🔗Functional Compilers
Using an LLM on the Advent of Code
funcall.blogspot.com·1d·
⚔️Lean Tactics
A Programmer's Guide to Logging Best Practices
dash0.com·16h·
📝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 expression problem and Rust
purplesyringa.moe·1d·
🔒Type Safety
Unspoken Hints: Accuracy Without Acknowledgement in LLM Reasoning
arxiv.org·1h
💻Local LLMs
Sguaba: Type-safe spatial math in Rust
youtube.com·1d·
🦀Rust Borrowing
Eventual Consistency Today: Limitations, Extensions and Beyond (2013)
queue.acm.org·2d·
Discuss: Hacker News
🤝Distributed Consensus
Subtext Retrospective
subtext-lang.org·1d·
Effect Handlers