🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Computer Architecture Lessons from the Kitchen
sigarch.org·2d
🧮Algorithmic Cooking
I don't use down migrations
freek.dev·13h·
Discuss: Hacker News
🔄Schema Evolution
Rosenzweig: Dissecting the Apple M1 GPU, the end
lwn.net·7h
🖥️Vintage Macintosh
Apple Silicon USB3 Support [RFC]
lore.kernel.org·21h·
Discuss: Hacker News
🔌Operating system internals
Study on how French people use AI
huggingface.co·2d·
Discuss: Hacker News
🤖AI Curation
The TTY Demystified
linusakesson.net·1d·
Discuss: Hacker News, r/programming
📟Terminals
AI Agents Need Data Integrity
schneier.com·5d·
Discuss: www.schneier.com
🛡️Preservation Proofs
This is an excellent patch review by an expert, i.e., Thomas :) And it should be like this. Oh, a few days back I saw one from Greg too, a similar kind.... in t...
lore.kernel.org·2d·
Discuss: r/linux
🔌Operating system internals
Google Pixel 10 Pro review: AI, Qi2, and a spec bump too
theverge.com·7h·
Discuss: r/Android
🤖AI Curation
86Box 5.0
86box.net·3d·
Discuss: Hacker News
🕸️WASM Archives
Best OCR for Invoice Processing (I Tried Them All)
dev.to·19h·
Discuss: DEV
📄Document Digitization
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·5d·
Discuss: Hacker News
⚡Proof Automation
Nano Banana: From Image Consistency to High-Quality Video Generation
dev.to·21h·
Discuss: DEV
🖼️JPEG XL
MSPCaps: A Multi-Scale Patchify Capsule Network with Cross-Agreement Routing for Visual Recognition
arxiv.org·1d
🌀Riemannian Computing
ModAn-MulSupCon: Modality-and Anatomy-Aware Multi-Label Supervised Contrastive Pretraining for Medical Imaging
arxiv.org·20h
📊Learned Metrics
Show HN: Async – Claude Code and Linear and GitHub PRs in One Opinionated Tool
github.com·2d·
Discuss: Hacker News
🔓Open Source Software
DuPO: Enabling Reliable LLM Self-Verification via Dual Preference Optimization
arxiv.org·6d·
Discuss: Hacker News
💻Local LLMs
Six bets on web development in the era of AI
dev.to·20h·
Discuss: DEV
🌐Web Standards
Why Your Prompts Don’t Belong in Git
towardsdatascience.com·2d
🌳Git Internals
CausalSent: Interpretable Sentiment Classification with RieszNet
arxiv.org·1d
⚖️Feed Ranking