🧮 SMT Solvers

Z3, CVC5, Satisfiability, Constraint Solving, Automated Reasoning

A Prophetic Poem about Artificial Intelligence Written in 1961
rodneybrooks.com·18h·
Discuss: Hacker News
⚙️Abstract Machines
Flag this post
What does the ideal information environment look like?
defenderofthebasic.substack.com·7h·
Discuss: Substack
🔲Cellular Automata
Flag this post
Scala vs. F#
alexn.org·21h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·1d·
Discuss: Substack
🔀OCaml Multicore
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·1d·
Discuss: Hacker News
🛡️seL4
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·4d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·3d
🔍CBMC
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·19h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Learning Sparse Approximate Inverse Preconditioners for Conjugate Gradient Solvers on GPUs
arxiv.org·20h
📐Linear Algebra
Flag this post
A Hybrid Deep Learning and Forensic Approach for Robust Deepfake Detection
arxiv.org·20h
🕸️Graph Theory
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·9h·
Discuss: Hacker News
🏗️Dune
Flag this post
Trust in the Machine: Building Reputable Service Networks for AI Agents
dev.to·10h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Understanding LangChain and LangGraph: A Beginner’s Guide to AI Workflows
dev.to·10h·
Discuss: DEV
🧮Z3
Flag this post
For Synthetic Situations
lesswrong.com·9h
🎮Verification Games
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
github.com·6h·
Discuss: Hacker News
💎Refinement Types
Flag this post
MCP standard
dev.to·1d·
Discuss: DEV
💬Mach Messages
Flag this post
DialectalArabicMMLU: Benchmarking Dialectal Capabilities in Arabic and Multilingual Language Models
arxiv.org·20h
🧩Parser Combinators
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·2d·
Discuss: Substack
🧩Parser Combinators
Flag this post