Fascinating Discoveries are Waiting Just Below the Surface: A Journey into Geocoding with Sabrina Templeton
blogs.loc.gov·19h
📚MARC Records
[$] Graphene OS: a security-enhanced Android build
lwn.net·5h
⚖️Emulation Ethics
Patching your Homebrew's Emacs Plus (macOS)
xenodium.com·1d
🍎XNU Internals
MetaGreenData: Making Code More Sustainable, One Metadata File at a Time
software.ac.uk·2d
🦋Format Metamorphosis
XProc tips and tricks
so.nwalsh.com·3d
⚡Proof Automation
Small world: The revitalization of small AI models for cybersecurity
news.sophos.com·1d
💻Local LLMs
Apple's Tahoe Beta Is Here–and It Might Be the Best macOS Update in Years
pcmag.com·54m·
Discuss: Hacker News
🔌Operating system internals
LLVM Begins Landing Distributed ThinLTO "DTLTO" Support
phoronix.com·3d
🏭Compiler Backends
$100M ARR and Lovable Is Now Agentic
lovable.dev·7h·
Discuss: Hacker News
🔄Language Evolution
Why Python Pros Avoid Loops: A Gentle Guide to Vectorized Thinking
kdnuggets.com·5h
⚡SIMD Optimization
The WebSocket Protocol Explained
sachin9996.github.io·15m·
Discuss: Hacker News
🌐WebSocket Framing
Show HN: OneArch – AI-assisted architecture docs with ADRs and diagrams
theone.archi·2d·
Discuss: Hacker News
🏗️OAIS Model
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·3d·
Discuss: Lobsters, r/programming
🔤Type Theory
systemd 258-rc1 Is A Massive Feature Release With New Tools, More Than 260 Changes
phoronix.com·1d·
Discuss: Lobsters, Hacker News
🔌Operating system internals
TestDriven.io: Deploying a Django App to Sevalla
testdriven.io·5h
🔄Sync Engine
The Recursive Coherence Principle: A Formal Constraint on Scalable Intelligence, Alignment, and Reasoning Architecture
arxiv.org·1d
🧠Intelligence Compression
Machine Learning Fundamentals: federated learning
dev.to·3d·
Discuss: DEV
👁️Observatory Systems
Explainable AI for Collaborative Assessment of 2D/3D Registration Quality
arxiv.org·15h
🏺Computational Archaeology
How to not Loose $500k to a Malicious Cursor Extension
dev.to·8h·
Discuss: DEV
🚀Indie Hacking
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
arxiv.org·15h
📏Linear Logic