Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
🔬Logic in Computer Science
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
Proving that every program halts
ntietz.com·2d
👑Isabelle
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Godel's Incompleteness Theorem
news.ycombinator.com·1h·
Discuss: Hacker News
🔤Type Theory
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·17h·
Discuss: DEV
🌊Stream Processing
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Explaining software and computational methods
blog.khinsen.net·18h
📝Concrete Syntax
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Generative AI Exacerbates Software Supply Chain Risks
darkreading.com·4h
🔒WASM Capabilities
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·22m·
Discuss: Hacker News
⚡Proof Automation
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·3h·
Discuss: DEV
✓Automated Theorem Proving