🧮 SMT Solvers

Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·18h
🌳Context free grammars
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Parsing Protobuf Like Never Before
mcyoung.xyz·15h
🔧Binary Parsers
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·7h·
Discuss: DEV
🌀Brotli Internals
2011 N1 = 2024 A2
blog.evanchen.cc·5h
🔬Lean
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
How Amazon Bedrock CMI Cut AI Model Onboarding Time by 75%
engineering.salesforce.com·1d
🔄Sync Engine
AtCoder Finals Problem Statement
atcoder.jp·5h·
Discuss: Hacker News
🇯🇵Japanese Computing
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
How to reason from first principles
caseyhandmer.wordpress.com·3h
🎯Proof Tactics
Rethinking Distributed Computing for the AI Era
cacm.acm.org·3h
⚡Incremental Computation
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.com·7h·
Discuss: Hacker News
🤖Network Automation
Compressed data structures for Heegaard splittings
arxiv.org·18h
🕳️Persistent Homology
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·1d
🦀Rust Verification
How AI on Microcontrollers Works: Registering Operators
danielmangum.com·2d·
Discuss: Hacker News
🌳Context free grammars
A Poet Completes the Square
denisegaskins.com·9h
⚔️Lean Tactics
Over 30 AI models have been trained at 10^25 FLOP or greater
epoch.ai·7h·
Discuss: Hacker News
⚡Performance Mythology
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·16h·
Discuss: r/MachineLearning
🏗️Compiler Archaeology