Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Cactus Language • Syntax 12
inquiryintoinquiry.com·6h
📝Concrete Syntax
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
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·8h·
Discuss: DEV
📏Code Metrics
Proving that every program halts
ntietz.com·2d
👑Isabelle
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·8h
📊Graph Databases
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Problem-solving is fundamental to human nature
freethink.com·4h
🔲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·7h·
Discuss: Substack
🦀Rust Macros
Godel's Incompleteness Theorem
news.ycombinator.com·5h·
Discuss: Hacker News
🔤Type Theory
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·5d
🧮Theorem Proving
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·48m·
Discuss: Hacker News
📊Graph Databases
derived set
ncatlab.org·7h
🧮Algebraic Archives
Explaining software and computational methods
blog.khinsen.net·22h·
Discuss: Hacker News
📝Concrete Syntax
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·22h
🧮Prolog Parsing
DRIFT: Data Reduction via Informative Feature Transformation- Generalization Begins Before Deep Learning starts
arxiv.org·18h
🧠Machine Learning
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·7h·
Discuss: DEV
✓Automated Theorem Proving
BNFGen: A random text generator based on context-free grammars
baturin.org·4h·
Discuss: Hacker News
🌳Context free grammars