🧮 SMT Solvers

Z3, CVC5, Satisfiability, Constraint Solving, Automated Reasoning

Building a Rules Engine from First Principles
towardsdatascience.com·2d
🧮Z3 Solver
Flag this post
Weak-To-Strong Generalization
lesswrong.com·7h
🔤Kleene Algebra
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·10h·
Discuss: Substack
🧩Parser Combinators
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·1d
🧠Automated Reasoning
Flag this post
Hybrid Neuro-Symbolic Reasoning for Adaptive Robotics Control in Dynamic Environments
dev.to·2h·
Discuss: DEV
🤖Robotics
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·2d
🔍CBMC
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Gröbner Bases Explained: From Abstract Algebra to Real-World Optimization
news.ycombinator.com·3d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
λFunctional Programming
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·3d·
Discuss: r/javascript, r/programming
🧮Lambda Calculus
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.io·1d
🔤Language Design
Flag this post
Speedrunning an RL Environment
sidb.in·22h·
Discuss: Hacker News
🎮Verification Games
Flag this post
Building a Production-Ready Enterprise AI Assistant with RAG and Security Guardrails
dev.to·6h·
Discuss: DEV
🛡️seL4
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
Convex Optimization (or Mathematical Programming) in Go
reddit.com·17h·
Discuss: r/golang
📐Linear Algebra
Flag this post
Superhuman AI for Multiplayer Poker
science.org·12h·
Discuss: Hacker News
🎮Verification Games
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·3h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post