Reinventing Assertions
beust.com·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·8h
🔬Static Analysis
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·21h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
[D] Best (free) courses on neural networks
reddit.com·6h·
Discuss: r/MachineLearning
🎯Complexity Classes
Flag this post
Atlas & The Frontier of AI Browsing: Let's Connect!
dev.to·9h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Graph RAG vs SQL RAG
towardsdatascience.com·7h
🧠Automated Reasoning
Flag this post
Why I Chose Go as My Main Backend Language — and Why You Might Too
dev.to·11h·
Discuss: DEV
λFunctional Programming
Flag this post
**Breaking the Curse of Dimensionality: A Game-Changer for L
dev.to·1d·
Discuss: DEV
🧩Parser Combinators
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.org·1d
🔤Language Design
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·6h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Mapping Faithful Reasoning in Language Models
arxiv.org·4d
📚Automata Learning
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Three Stages of Enlightenment
essenceofsoftware.com·2d·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Reasoning Models Reason Well, Until They Don't
arxiv.org·4d·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·1d
🧪Property-Based Testing
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·7h·
Discuss: DEV
🔍CBMC
Flag this post
Everything About Transformers
krupadave.com·3d·
Discuss: Hacker News, Hacker News
📚Automata Learning
Flag this post