A Practical (and Incomplete) History of Language Models
obrhubr.org·13h
🧮Kolmogorov Complexity
The Magic at the Heart of Quantum Computers Has Finally Worked
popularmechanics.com·48m
⚛️Quantum Tape
The Early Development of Set Theory (2024)
plato.stanford.edu·1d·
Discuss: Hacker News
🏗️Constructive Mathematics
Swift and C++ Interoperability in Practice
arturgruchala.com·2d·
Discuss: Hacker News
✅Format Verification
Want Discriminated Unions in Kotlin? Use a Sealed Class.
spin.atomicobject.com·1h·
Discuss: Hacker News
💧Liquid Types
The State of Post-Quantum Cryptography in Kubernetes
kubernetes.dev·5d·
Discuss: Hacker News
🔐Quantum Security
My Two Lives as a Programmer
maxmynter.com·1d·
Discuss: Hacker News
🔩Systems Programming
Cerebras Launches Qwen3-235B, Achieving 1,500 Tokens per Second
cerebras.ai·2h·
Discuss: Hacker News
🧮Z3 Applications
should v0.1.0 – New assertion library for Go with more readable error messages
reddit.com·1d·
Discuss: r/golang
📜Proof Carrying Code
npm ‘is’ Package Hijacked in Expanding Supply Chain Attack
socket.dev·18h·
Discuss: Hacker News
📦Package Managers
Top file transfer tool CrushFTP says a thousand servers are still vulnerable to cyberattack, so patch now
techradar.com·1d
💣ZIP Vulnerabilities
Madison U.S. Equity Q2 2025 Investor Letter
seekingalpha.com·4h
🖥️Modern Terminals
Enhancing Communications and Sensing Simultaneously by Zero-Order Optimization of MTS
arxiv.org·1d
ℹ️Information Theory
Quantum Blockchain Survey: Foundations, Trends, and Gaps
arxiv.org·2d
🔐Quantum Security
Voice-based AI Agents: Filling the Economic Gaps in Digital Health Delivery
arxiv.org·9h
🎙️Whisper
SQL Optimization Practices Episode 3: Outer Join Optimization: Proven Performance Gains
dev.to·7h·
Discuss: DEV
🚀Query Optimization
You Have to Decide
tern.sh·1d·
Discuss: Hacker News
📏Code Metrics
MultiTaskDeltaNet: Change Detection-based Image Segmentation for Operando ETEM with Application to Carbon Gasification Kinetics
arxiv.org·9h
📄Document Digitization
ExpressVPN fixes security bug in Windows apps – here's all you need to know
techradar.com·21h
🏺Kerberos Archaeology
I am 15 and Built a Dual Backend MLP From Scratch Using CUDA C++, 100% raw, no frameworks
github.com·6h·
Discuss: Hacker News, r/cpp
📊Quantization