🧮 SMT Solvers

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

Donkey Kong Country 2 and Open Bus
jsgroth.dev·2d
🎮GameBoy Architecture
I recreated Asteroids with AI in five minutes, and now I think game development is about to change forever
techradar.com·15h
📼Retro Games
klonyyy/MCUViewer
github.com·4h
🔍RISC-V Debug
gensyn-ai/rl-swarm
github.com·4h
🔄Sync Engine
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·4d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🦀Rust Macros
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·2d
⬆️Lambda Lifting
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·13h·
Discuss: Hacker News
🔍Concolic Testing
nimbme – Nim bare-metal environment
github.com·11h·
Discuss: Hacker News
🎯Emulation Accuracy
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·4d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Multilingual innovation in LLMs: How open models help unlock global communication
developers.googleblog.com·4d
🌀Brotli Internals
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to·1d·
Discuss: DEV
🌊Streaming Compression
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·4d
📏Linear Logic
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·2d·
Discuss: DEV
🔌Operating system internals
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·4d
💻Local LLMs
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·4d·
Discuss: Hacker News
🧮Kolmogorov Complexity
How Your Cheese-Powered Baby Trounces AI
jessicanordell.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·4d
🔐Quantum Security
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
Generative AI Model Data Pre-Training on Kubernetes: A Use Case Study - DevConf.CZ 2025
youtube.com·1d
🌊Streaming Systems