🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

On the weird economics of semiconductors and GenAI
gauthierroussilhe.com·2d·
Discuss: Lobsters, Hacker News
⚖Algorithmic Game Theory
AI “Can’t Draw a Damn Floor Plan With Any Degree of Coherence”
commonedge.org·2d
🏗️Software Architecture
Clojure's Solutions to the Expression Problem
infoq.com·5d·
Discuss: Hacker News, r/programming
📝Lisp
TTL 6510 Computer
hackster.io·2d
🏗Computer Architecture
Preventing the NPM Debug/Chalk Compromise in 200 lines of JavaScript
getvouchsafe.org·2d·
Discuss: Hacker News, r/javascript, r/node
👐Open Source Software
STM32 Control system engineering project
i.redd.it·2d·
Discuss: r/embedded
🔧Compiler Design
[D] The best way to structure data for a predictive model of corporate delinquency
reddit.com·2d·
Discuss: r/MachineLearning
🎲Probabilistic Programming
Discreteness of asymptotic tensor ranks
arxiv.org·3d
🔐Cryptography
New comment by jeffdico in "Ask HN: Who wants to be hired? (September 2025)"
news.ycombinator.com·3d·
Discuss: Hacker News
🔌Network Programming
Explainability of CNN Based Classification Models for Acoustic Signal
arxiv.org·2d
📊Information Theory
PeTTO: Leveraging GPUs to Accelerate Topology Optimization with the Pseudo-Transient Methods
arxiv.org·3d
🎲Probabilistic Programming
AI Coding University: Core Skills for Building with AI Coding Agents
cline.ghost.io·2d
🧩Theorem Proving
Is Google abandoning what made the A-series great?
androidpolice.com·2h
💻Operating Systems
Coffee Break: Silicon Valley Ideologies as a Lens for Viewing Current Events
nakedcapitalism.com·2d
🧫Cellular Automata
FAANG Interview Roadmap: How to Prepare in 30 Days
dev.to·2d·
Discuss: DEV
🔌Network Programming
LD-ViCE: Latent Diffusion Model for Video Counterfactual Explanations
arxiv.org·2d
🎲Probabilistic Programming
jackc/pgx
github.com·2d
🦀Rust
Innovations in Cloud-Based Standards Management: Shaping the Future of Global Compliance
hackernoon.com·2d
🌍Distributed Systems
8th gen used Dell micro vs 10th gen refurb?
reddit.com·2d·
Discuss: r/homelab
🏗Computer Architecture
DCP-o-matic • Re: DCP with CPLs with different audio tracks, Verify gives an error.
dcpomatic.com·23h
✅Formal Verification