🧮 SMT Solvers

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

Categories for Public Health Modeling
johncarlosbaez.wordpress.com·3h
✨Algebraic Effects
GHC Developer Blog: GHC 9.10.3 is now available
haskell.org·1d
🔗Functional Compilers
Converting JWKS JSON to PEM using Python
akrabat.com·2d
📝ABNF Parsing
Overview of the DiskANN Project (2018–present)
harsha-simhadri.org·20h·
Discuss: Hacker News
🗂️Vector Databases
Why I'm lukewarm on graph neural networks
singlelunch.com·2d·
Discuss: Hacker News
🕸️Graph Embeddings
Elastic Metal: From Game Servers to Global Infrastructure
blog.hathora.dev·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The State of AI Gross Margins in 2025
tanayj.com·1d·
Discuss: Hacker News
🖥️Modern Terminals
Intel processors crashing Unreal engine games (and others)
forums.anandtech.com·22h
🧪Hardware Fuzzing
Orc Protocol: Heavier than IRC, lighter than XMPP
github.com·4h·
Discuss: Hacker News
🏺Protocol Archaeology
Building a Terminal Sudoku Game in Python
dev.to·20h·
Discuss: DEV
⚡Homebrew CPUs
GPT-5 vs GPT-5-chat: what exactly is the difference?
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Quantize Your Vectors, Speed Up Your Java AI Applications
dev.to·3d·
Discuss: DEV
🗂️Vector Databases
Embedding Poisoning: Bypassing Safety Alignment via Embedding Semantic Shift
arxiv.org·2d·
Discuss: Lobsters
🌳Archive Merkle Trees
Outcome-based Exploration for LLM Reasoning
arxiv.org·2d·
Discuss: Hacker News
🔗Constraint Handling
MedicalPatchNet: A Patch-Based Self-Explainable AI Architecture for Chest X-ray Classification
arxiv.org·1d
🧠Machine Learning
Automated Test Case Prioritization via Dynamic Attribute Weighting and Reinforcement Learning
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
Building Scalable Multi-Modal AI Agents with Strands Agents and Amazon S3 Vectors
dev.to·2d·
Discuss: DEV
🔄Sync Engine
Python and JSON: Your Guide to Speaking the Web's Language
dev.to·6h·
Discuss: DEV
📝Concrete Syntax
Turbocharge Your Go Microservices: Memory Optimization Made Simple
dev.to·3d·
Discuss: DEV
🧠Memory Allocators
Unlocking Speed: Ditching Strict Symmetry in Neural Nets by Arvind Sundararajan
dev.to·15h·
Discuss: DEV
🎧Learned Audio