🧮 SMT Solvers

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

Substrates ’25 Vision Statement
programmingmadecomplicated.wordpress.com·2d
⚖️Emulation Ethics
Learning Machine Learning in Elixir | zacksiri.dev
zacksiri.dev·5d
💻Local LLMs
[P] I Trained an AI to play Donkey Kong Country Stop and Go Station
youtube.com·23h
📼Retro Games
Observability for Databases in CI/CD
blog.sonichigo.com·10h·
Discuss: Hacker News
👁️System Observability
Trying out import std
nibblestew.blogspot.com·2d·
Discuss: Hacker News, nibblestew.blogspot.com
🦀Rust Macros
Vibe Coding Fiasco: AI Agent Goes Rogue, Deletes Company's Database
pcmag.com·20h·
Discuss: Hacker News
🚀Indie Hacking
Thoughts on Evals
raindrop.ai·2d·
Discuss: Hacker News
🔍Concolic Testing
vLLM with torch.compile: Efficient LLM inference on PyTorch
blog.vllm.ai·4d·
Discuss: Hacker News
🔩Systems Programming
KIWI 1P5 – A low-cost GOWIN GW1N industrial FPGA board with onboard USB-JTAG/UART
cnx-software.com·19h
⚡Homebrew CPUs
"Why Did My AI Output Fail? — The Hidden Model Switching in ChatGPT 5.0"
dev.to·17h·
Discuss: DEV
🎙️Whisper
Cut Costs, Not Accuracy: LLM-Powered Data Processing with Guarantees
arxiv.org·4d
💻Local LLMs
Breaking Infinity: Smarter Planning for Limitless Problems
dev.to·2d·
Discuss: DEV
📼Tape Combinators
Oops, No Victims: The Largest Supply Chain Attack Stole 5 Cents
securityalliance.org·29m·
Discuss: Hacker News
🏺Kerberos Archaeology
Histogram Driven Amplitude Embedding for Qubit Efficient Quantum Image Compression
arxiv.org·16h
⚛️Quantum Compression
[P] Knowledge Distillation for Text-to-SQL — Training GPT-2 with Qwen2-7B as Teacher
reddit.com·2d·
Discuss: r/MachineLearning
🧮Datalog
Memory in LlamaIndex: Building Intelligent Chat Agents
dev.to·1d·
Discuss: DEV
⚡Hardware Transactional Memory
Fortran’s unlikely comeback from programming’s past to powering AI and HPC
dev.to·9h·
Discuss: DEV
🏗️Compiler Archaeology
CoRe-GS: Coarse-to-Refined Gaussian Splatting with Semantic Object Focus
arxiv.org·16h
🏺Computational Archaeology
Day 2 of My Golang Journey
dev.to·44m·
Discuss: DEV
📜Proof Carrying Code
Room: Verilog for Read-Once-Only Memory (Quantum-Inspired Security Primitive)
github.com·2d·
Discuss: Hacker News
🔲Lattice Cryptography