Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
My AI Workflow for Understanding Any Codebase
steipete.me·13h
⚡Proof Automation
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·2h·
Discuss: DEV
🦀Rust Borrowing
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Program Execution, follow-up
windowsir.blogspot.com·11h·
Discuss: www.blogger.com
⚡Performance Tools
OpenELA Introduces Open-Source Verification Suite for Enterprise Linux
linuxiac.com·13h
🔓Open Source Software
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·17h
📝Concrete Syntax
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
A Standard for Human-Centered Investigation Playbooks
chrissanders.org·5h
🎯Threat Hunting
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
Polystate: Composable Finite State Machines
github.com·3d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·9h·
Discuss: DEV
✓Automated Theorem Proving
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·1d
🧮Prolog Parsing
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·20h
🔍Concolic Testing
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·9h·
Discuss: Substack
🦀Rust Macros
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization