Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Cactus Language • Syntax 12
inquiryintoinquiry.com·3h
📝Concrete Syntax
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·5h·
Discuss: DEV
📏Code Metrics
Proving that every program halts
ntietz.com·2d
👑Isabelle
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·5h
📊Graph Databases
Explaining software and computational methods
blog.khinsen.net·19h
📝Concrete Syntax
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Problem-solving is fundamental to human nature
freethink.com·1h
🔲Cellular Automata
2025-06-24: GPU Hours Granted on Hypothesis Generation by Oak Ridge Leadership Computing Facility
ws-dl.blogspot.com·1d·
Discuss: ws-dl.blogspot.com
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·4h·
Discuss: Substack
🦀Rust Macros
Godel's Incompleteness Theorem
news.ycombinator.com·2h·
Discuss: Hacker News
🔤Type Theory
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·5d
🧮Theorem Proving
derived set
ncatlab.org·4h
🧮Algebraic Archives
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·19h
🧮Prolog Parsing
DRIFT: Data Reduction via Informative Feature Transformation- Generalization Begins Before Deep Learning starts
arxiv.org·15h
🧠Machine Learning
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·4h·
Discuss: DEV
✓Automated Theorem Proving
BNFGen: A random text generator based on context-free grammars
baturin.org·1h·
Discuss: Hacker News
🌳Context free grammars
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·1d
🔗Monadic Parsing