How the Math That Powers Google Foresaw the New Pope
scientificamerican.com·1d
⚖️Feed Ranking
103: We Can’t Trust
mwl.io·2d
💾Persistence Strategies
Friday 10 October, 2025
memex.naughtons.org·2d
📰RSS Archaeology
Social Science PhD Tech Stack
kevinbryanecon.com·2d·
Discuss: Hacker News
🔄Archive Workflows
Good News! Germany's Schleswig-Holstein Completes Massive Migration to Open Source Email Systems
news.itsfoss.com·2d·
🔓Open Source Software
Kubernetes 1.34 Features Explained
scaleops.com·3d·
Discuss: Hacker News
📦Container Security
Siren Songs, by Peter Watts
rifters.com·2d·
Discuss: Hacker News
🔓Hacking
GPT-5 for AI-assisted discovery
johndcook.com·2d·
Discuss: Hacker News
🎯Performance Proofs
The Linus Method: How we simiplifed RFC reviews
devashish.me·2d·
Discuss: Hacker News
⚙️Proof Engineering
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·2d
📞Session Types
Future solitude
nature.com·2d
🌍Cultural Algorithms
Academia Is Broken. Trump's University 'Compact' Can Help Fix It
nytimes.com·1d·
Discuss: Hacker News
⚖️Emulation Ethics
What's your workflow to pass cloud secrets/config metadata to apps safely?
news.ycombinator.com·2d·
Discuss: Hacker News
🛡️Preservation Proofs
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·1d·
Discuss: Hacker News
Bidirectional Typing
Need to learn Kubernetes in 6 months
reddit.com·6h·
Discuss: r/kubernetes
📦Container Security
Adaptive Predictive Maintenance of PLC-Controlled Conveyor Systems via Multi-Modal Data Fusion and Anomaly Scoring
dev.to·3d·
Discuss: DEV
🌊Stream Processing
From Defender to Devil? Unintended Risk Interactions Induced by LLM Defenses
arxiv.org·2d
Effect Handlers
Kurzgesagt - In a Nutshell: AI Slop Is Destroying The Internet
dev.to·1d·
Discuss: DEV
🗜️LZW Variants
Home server advice
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Real-Time Adaptive Sparsity Optimization for Edge-Deployed AI Inference Accelerators
dev.to·2d·
Discuss: DEV
🌊Streaming Compression