The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
💧Liquid Types
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
News for July 2025
ptreview.sublinear.info·9h
🎯Performance Proofs
A safer memcpy with very limited use cases
subethasoftware.com·15h
🧪Binary Fuzzing
Footnotes, Gödel exercises, Purcell
logicmatters.net·1d
👑Isabelle
Lobsters Interview with Icefox
lobste.rs·15h·
Discuss: Lobsters
🦀Rust Macros
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·2d
🎯Performance Proofs
How to Write Inductive Invariants
quint-lang.org·17h·
Discuss: Lobsters, Hacker News, r/programming
⚖️Hoare Logic
Issue 483
haskellweekly.news·1d
🔗Functional Compilers
Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·3d
✅Format Verification
Speak, Don't Type
typeless.com·5h·
Discuss: Hacker News
📝Text Compression
Help my decide storage design
reddit.com·19h·
Discuss: r/homelab
🏠HomeLab
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·1d·
Discuss: Hacker News
📝Concrete Syntax
True names matter in C++
quuxplusone.github.io·1d
💧Liquid Types
Why we need better software identification
softwareheritage.org·1d
🔗Binary Similarity
Structured outputs with Amazon Nova: A guide for builders
aws.amazon.com·1d
💧Liquid Types
Jonhoo and Helsing AI's DSON: A delta-state CRDT for resilient P2P communication
blog.helsing.ai·2d·
Discuss: Hacker News
🔀CRDT
Machine Learning Fundamentals: loss function
dev.to·15h·
Discuss: DEV
🧠Machine Learning
Records and the ‘with’ operator, redux
codeblog.jonskeet.uk·3d
🧪Binary Fuzzing
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·21h
📐Format Grammars