🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

building an analog week calendar with a deck of cards
benjaminhollon.com·16h
⚡Homebrew CPUs
Flag this post
Why Model?
abitgamey.substack.com·12h·
Discuss: Substack
⚙️Proof Engineering
Flag this post
What will it take for AI to change drug discovery?
writingruxandrabio.com·8h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
UCBLogo (Logo, the Programming Language)
github.com·14h·
Discuss: Hacker News
🔓Open Source Software
Flag this post
An Elegy for Jetbrains
news.ycombinator.com·2d·
Discuss: Hacker News
🐚Bash Monads
Flag this post
Capacity Review: The AI Workflow Engine That Understands Vibe Coding (2025)
danielkliewer.com·4d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
**Real-time Object Localization using Edge AI**
dev.to·1d·
Discuss: DEV
📐Projective Geometry
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·6d
🔗Topological Sorting
Flag this post
[$] A security model for systemd
lwn.net·4d
🛡️eBPF Security
Flag this post
Integrity Under Siege: A Rogue gNodeB's Manipulation of 5G Network Slice Allocation
arxiv.org·3d
🌳Archive Merkle Trees
Flag this post
The Evolution and Future of AI Development
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Flag this post
Frontend or Backend: Where Full-Stack Devs Spend Their Time
thenewstack.io·1d
🎬WebCodecs
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Flag this post
Evaluating Machine Translation Datasets for Low-Web Data Languages: A Gendered Lens
arxiv.org·2d
⚙️Compression Benchmarking
Flag this post
I just launched GoRunner.dev — run Go code right in your browser
reddit.com·2d·
Discuss: r/golang
🔓Reverse engineering
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
github.com·4d·
Discuss: Hacker News, Hacker News
⟷Bidirectional Programming
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·14h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Production-Grade AI Agents: Architecture Patterns That Actually Work
dev.to·4d·
Discuss: DEV
🌊Streaming Systems
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.to·8h·
Discuss: DEV
🧪Binary Fuzzing
Flag this post
Building an AI-Powered Interactive Storytelling App with Google Cloud Run
dev.to·6h·
Discuss: DEV
🌊Streaming Systems
Flag this post