🧮 SMT Solvers

Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

Three Lazarus RATs coming for your cheese
blog.fox-it.com·5h
🎫Kerberos Exploitation
Ask HN: Polyglot Mirroring
news.ycombinator.com·7h·
Discuss: Hacker News
🦀Rust Borrowing
Antonio Cuni: Porting the JIT to CLI (part 1)
antocuni.eu·3d
📏Code Metrics
Half an year on Alpine: just musl aside
blog.jutty.dev·19h·
Discuss: Hacker News
🔌Operating system internals
The Barbell of Software Value
mehmetmhy.com·14h·
Discuss: Hacker News
🌀Brotli Internals
The limits of ChatGPT: a week of interaction and AI research
marktarver.com·3d·
Discuss: Hacker News
🔲Cellular Automata
AMD MI300X for LLM Serving Disaggregating Prefill and Decode with SGLang
rocm.blogs.amd.com·3d·
Discuss: Hacker News
🌊Streaming Compression
Text-to-Speech Voice AI Model Guide 2025
layercode.com·8h·
Discuss: Hacker News
🎙️Whisper
A Constructive Look at TempleOS (2015)
codersnotes.com·11h·
Discuss: Hacker News
🔌Operating system internals
Predictive Soil Stabilization Algorithm for Ground-Mounted Antenna Foundations
dev.to·10h·
Discuss: DEV
⚡Incremental Computation
Building an AI-Powered Domain Name Generator: Technical Deep Dive
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·1d·
Discuss: Hacker News
🔄Language Evolution
Hyper-Efficient Quantized Neural Network Pruning via Adaptive Bit-Width Allocation
dev.to·2d·
Discuss: DEV
📊Quantization
A Soft Inducement Framework for Incentive-Aided Steering of No-Regret Players
arxiv.org·14h
🔲Cellular Automata
🚀 Introducing ml_transformer: A Pure Dart ML/NN Library 🎉
dev.to·3d·
Discuss: DEV
🎙️Whisper
BED-LLM: Intelligent Information Gathering with LLMs and Bayesian Experimental Design
arxiv.org·14h
💻Local LLMs
Normality and the Turing Test
arxiv.org·14h
🎯Automata theory
Bring your own brain? Why local LLMs are taking off
theregister.com·1d·
Discuss: Hacker News
💻Local LLMs
Building Ahead: A Multi-Tool AI Travel Agent with OpenAI and SerpApi
serpapi.com·3d·
Discuss: Hacker News
🧠Query Planners
Building a News and Stock Assistant with LangGraph and Chainlit
dev.to·6h·
Discuss: DEV
🎙️Whisper