Landmark Langlands Proof Advances Grand Unified Theory of Math
scientificamerican.com·4d·
Discuss: Hacker News
➡️Category Theory
A Type House Divided (2014)
nymag.com·2d·
Discuss: Hacker News
🍎Apple
Saudi Aramco wants a Google spinoff to turn its waste into wealth
restofworld.org·4h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
AI Evolves a Winning Strategy in the Prisoner's Dilemma
edwardbrookman.substack.com·4d·
Discuss: Substack
🎮Verification Games
Being optimistic for technology
rubenerd.com·6h·
Discuss: Hacker News
💾Retro Computing
Making Sense of Hanlon's Razor
domofutu.substack.com·2d·
Discuss: Substack
➡️Category Theory
A Self-hosted, BSD-native Gemini Protocol Server Stack – The BSD Cafe Journal
journal.bsd.cafe·3d·
Discuss: Lobsters, Hacker News
🏠HomeLab
NVIDIAScape: How vNode prevents this container breakout without the need for VMs
loft.sh·2d·
Discuss: Hacker News
⎈Kubernetes
Designing Software for AI Agents
lukew.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Anthropic researchers discover the weird AI problem: Why thinking longer makes models dumber
venturebeat.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Leaner, faster and AI-powered — a new breed of unicorn has arrived
qz.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Optimising DeepSeek-R1-Distill-Qwen-7B for use in production
fin.ai·6d·
Discuss: Hacker News
🐫Embedded OCaml
Anticipating Holes in ChatGPT's Knowledge
amahabal.substack.com·3d·
Discuss: Substack
🎮Verification Games
The new UX for AI is not what you think
frontierai.substack.com·21h·
Discuss: Substack
👁️System Observability
Sparser2Sparse: Single-shot Sparser-to-Sparse Learning for Spatial Transcriptomics Imputation with Natural Image Co-learning
arxiv.org·1d
🔠Type-Level Programming
Chart-R1: Chain-of-Thought Supervision and Reinforcement for Advanced Chart Reasoner
arxiv.org·3d
🔄Finite State Machines
Home Server
reddit.com·3h·
Discuss: r/homelab
🏠HomeLab
For Now, AI Helps IBM’s Bottom Line More Than Its Top Line
nextplatform.com·22h·
Discuss: Hacker News
💾Retro Computing
IM-Chat: A Multi-agent LLM-based Framework for Knowledge Transfer in Injection Molding Industry
arxiv.org·3d
🤖Program Synthesis
Extracting Visual Facts from Intermediate Layers for Mitigating Hallucinations in Multimodal Large Language Models
arxiv.org·3d
🏹Effect Systems