🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

ZRAM and VMs
etbe.coker.com.au·13h
🏗Computer Architecture
The 3D Software Rendering Technology of 1998's Thief: The Dark Project (2011)
nothings.org·1h·
Discuss: Hacker News
💾Retrocomputing
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·2d·
Discuss: Hacker News
🤝Protocol Design
Ares v146 released!
ngemu.com·1h
💾Retrocomputing
SOC Visibility Quad: Why Application Telemetry Completes the Framework | Oligo Security
oligo.security·5h
🛡️IoT Security
Speedrunning the New York Subway
blog.trailofbits.com·2d
📈Complexity Theory
Found to fixed: Beehiiv paywall bypass and leaked JWT token
bencohen.substack.com·5h·
Discuss: Substack
🤝Protocol Design
Built a full-stack QR code app with auth in 15 minutes using InstantDB
news.ycombinator.com·17h·
Discuss: Hacker News
🔧Compiler Design
You can run GGUFs with Lemonade straight from Hugging Face now
reddit.com·2d·
Discuss: r/LocalLLaMA
👐Open Source Software
Google Launches Mangle: A New Language That Could Change How We Work With Databases
dev.to·2d·
Discuss: DEV
🧮Programming Language Theory
What Matters in Data for DPO?
arxiv.org·15h
🎲Probabilistic Programming
Interpolating Speaker Identities in Embedding Space for Data Expansion
arxiv.org·15h
🔗Parser Combinators
Entanglement dynamics of monitored non-interacting fermions on Graphic-Processing-Units
arxiv.org·15h
🔐Cryptography
How AI is exposing the BS economy
fastcompany.com·9h
🤖Sci-Fi
[D] How did JAX fare in the post transformer world?
reddit.com·3d·
Discuss: r/MachineLearning
🤖Sci-Fi
Announcing yfinance-rs: A modern, async Rust client for the Yahoo Finance API
reddit.com·17h·
Discuss: r/rust
🦀Rust
[OC] PAM_Pinlock
github.com·2d·
Discuss: r/unixporn
💾Retrocomputing
Distributed Request Assignment with Max‑Min and Deviation Fairness in On‑Demand Mobility
hackernoon.com·1d
⚖Algorithmic Game Theory
Are They Starting To Take Our Jobs?
lesswrong.com·20m
🤖Sci-Fi
Benchmarking Class Activation Map Methods for Explainable Brain Hemorrhage Classification on Hemorica Dataset
arxiv.org·1d
🎲Probabilistic Programming