OCZ Vertex 2 dies?
forums.anandtech.com·1d
💾Floppy Imaging
No, Your Domains and Bounded Contexts Don’t Map 1 on 1
verraes.net·22h
🔢Denotational Semantics
Let's Build a Hypervisor with KVM
evilcookie.de·10h·
Discuss: Hacker News
📺VT100 Emulation
Finding Bugs in a Coding Agent with Lightweight DST
wickstrom.tech·1d·
Discuss: Lobsters, Hacker News
🐛Fuzzing
The Emacs thread-related code needs a maintainer
lists.gnu.org·1d·
Discuss: Hacker News
🦀Rust Macros
Anything can be a message queue if you use it wrongly enough
xeiaso.net·7h·
Discuss: Hacker News, r/programming
🌐DNS Security
Long context GPT-OSS fine-tuning
unsloth.ai·4h·
Discuss: Hacker News
🎯Emulator Accuracy
Thoughts on Vibe Coding from a 40-year veteran
levelup.gitconnected.com·8h
🏗️Compiler Archaeology
Making Operations Research More Accessible: Insights from the Rise of ML
pubsonline.informs.org·16h·
Discuss: Hacker News
🧠Machine Learning
Model Merging – A Biased Overview
crisostomi.github.io·1d·
Discuss: Hacker News
🔲Cellular Automata
Proving You Are You, Again and Again
dev.to·1d·
Discuss: DEV
🔐PKI Archaeology
Do the simplest thing that could possibly work
seangoedecke.com·22h·
Discuss: Hacker News
💾Persistence Strategies
Posts Perseverance – A History of Manifold
elalish.blogspot.com·17h·
Discuss: Hacker News
🌀Differential Geometry
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·1d·
Discuss: Hacker News
👑Isabelle
Are OpenAI and Anthropic Losing Money on Inference?
martinalderson.com·12h·
Discuss: Hacker News
🌊Streaming Algorithms
Newton Data Storage
canicula.com·3h·
Discuss: Lobsters, Hacker News, r/programming
🗄️SQLite Internals
Epistemic Trade-Off: An Analysis of the Operational Breakdown and Ontological Limits of "Certainty-Scope" in AI
arxiv.org·18h
⚙️Proof Engineering
I built a production app in a week by managing a swarm of 20 AI agents
zachwills.net·1d·
Discuss: Hacker News
🤖Network Automation
SOLID Principles In Practice With Python And UML Examples in 2025
hackernoon.com·16h
💧Liquid Types
On systematic construction of correct logic programs
arxiv.org·2d
⚖️Hoare Logic