LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
arxiv.org·12h
🤖Abstract Machines
Toy Binary Decision Diagrams
philipzucker.com·2d
✅Type Checking
SAT problems are kind of cool
blog.karanjanthe.me·12m·
Discuss: Hacker News
🧩SAT Solvers
Cactus Language • Semantics 2
inquiryintoinquiry.com·2h
⚖️Inference Rules
NORMALIZATION
dev.to·1h·
Discuss: DEV
📊DataFrame Types
Less Is More: Recursive Reasoning with Tiny Networks
github.com·1h·
Discuss: Hacker News
🌱Minimal ML
Can anyone give me tips and improvements on my bad C program (string-to-int parser)?
reddit.com·16h·
Discuss: r/C_Programming
📚Stack Allocation
Three Solutions to Nondeterminism in AI
blog.hellas.ai·3h·
Discuss: Hacker News
✅Type Checking
Abstractions All the Way Down
stufro.com·37m·
Discuss: r/programming
📖Literate Programming
Atomic and Saturated Models
functor.network·4d·
Discuss: Hacker News
🔗Concatenative Theory
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·3d·
Discuss: DEV
🧮Theorem Provers
20 hardest to easiest rankings of programming languages to learn in 2025 | BIZMIA
hellobizmia.com·9h·
Discuss: r/programming
🔗Concatenative Languages
Next steps for BPF support in the GNU toolchain
lwn.net·1h·
Discuss: Lobsters, Hacker News
🏗️LLVM
Detection Engineering: Practicing Detection-as-Code – Monitoring – Part 7
blog.nviso.eu·1d
🔍Execution Tracing
A Fuzzy Logic-Based Framework for Explainable Machine Learning in Big Data Analytics
arxiv.org·12h
🔍Fuzzy Indexing
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·1d
🧮Theorem Provers
How Arguments Go Wrong—and How Bad Arguments Can Go Right
psychologytoday.com·1d
⚖️Inference Rules
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·1d
✅Type Checking
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·2d
🚪Function Prologues
Closer to production quality Python notebooks with `marimo check`
marimo.io·18h·
Discuss: Hacker News
🔧Error Recovery