🧮 SMT Solvers

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

Donkey Kong Country 2 and Open Bus
jsgroth.dev·2d
🎮GameBoy Architecture
Want to deliver value? Focus on flow
blog.scottlogic.com·6h
🌊Stream Processing
I recreated Asteroids with AI in five minutes, and now I think game development is about to change forever
techradar.com·6h
📼Retro Games
Memory Safety Is Merely Table Stakes
usenix.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Many small evals beat one big eval, for AI Products
getkiln.ai·4h·
Discuss: Hacker News
🔍Concolic Testing
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·3d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🦀Rust Macros
How Questions Build Software
akdev.blog·6h·
Discuss: Hacker News
🔍Concolic Testing
Godel's Incompleteness Theorem
news.ycombinator.com·2d·
Discuss: Hacker News
🔤Type Theory
Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever
cekrem.github.io·1d·
Discuss: Hacker News, r/node, r/programming, r/reactjs, r/typescript
💻Programming languages
How Your Cheese-Powered Baby Trounces AI
jessicanordell.substack.com·22h·
Discuss: Substack
🔲Cellular Automata
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.org·16h
🗜️Graph Compression
Go Worker Pools: Concurrency That Doesn’t Burn Your Kitchen Down
dev.to·19h·
Discuss: DEV
🌊Stream Processing
On Union-Closedness of Language Generation
arxiv.org·3d
🔗Monadic Parsing
Next Generation High Web Rust Based Solutions（1750916331932500）
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
World-aware Planning Narratives Enhance Large Vision-Language Model Planner
arxiv.org·16h
🤖Advanced OCR
MDPO: Multi-Granularity Direct Preference Optimization for Mathematical Reasoning
arxiv.org·4d
🧮Constraint SMT
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·1d·
Discuss: DEV
🔌Operating system internals
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to·1d·
Discuss: DEV
🌊Streaming Compression
SRFT: A Single-Stage Method with Supervised and Reinforcement Fine-Tuning for Reasoning
arxiv.org·2d
💻Local LLMs