How to reason from first principles
caseyhandmer.wordpress.com·37m
🎯Proof Tactics
Brazil innovates on digital self-determination
protonvpn.com·6h
🖥️Self-hosted Infrastructure
YouTuber faces jail time for showing off Android-based gaming handhelds
arstechnica.com·2h·
Discuss: Hacker News, r/privacy
🎮Vintage Gaming
IRC Networks Under Systematic Attack from Governments (2014)
quakenet.org·2h·
Discuss: Hacker News
🧅Tor Networks
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·22h·
Discuss: Hacker News
🎯Interactive Provers
Blender HDR and the reference white issue
blog.sebastianwick.net·2d·
Discuss: Hacker News, r/linux
🌈Color Science
eSIM Hack Allows for Cloning, Spying
securityweek.com·2d·
Discuss: Hacker News
🦠Parasitic Archives
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Want a quad-socket server with 768 cores? Sure, Intel's 192-core Diamond Rapids Xeon CPU will deliver that in 2026 — but I wonder whether it will be too little,...
techradar.com·4d
⚡CPU Microarchitecture
Show HN: Ggc – A terminal-based Git CLI written in Go
github.com·5h·
Discuss: Hacker News
🪟Awesome windows command-line
Top announcements of the AWS Summit in New York, 2025
aws.amazon.com·3h
🌊Apache Kafka
Show HN: MCP Project Manager – Hierarchical task management for AI assistants
github.com·7h·
Discuss: Hacker News
🔩Systems Programming
Overcoming catastrophic forgetting in neural networks
arxiv.org·1d
🧠Machine Learning
📸 [Help] Stuck in a GCP + Terraform + KCL Setup – Everything Feels Like a Black Box
reddit.com·22h·
Discuss: r/kubernetes
📦Container Security
Outbound Modeling for Inventory Management
arxiv.org·15h
🔗Constraint Handling
Integrating Biological Knowledge for Robust Microscopy Image Profiling on De Novo Cell Lines
arxiv.org·15h
🕸️Algebraic Topology
I Solved Every Mac Developer's Homebrew Frustration with This Open Source Tool
dev.to·2d·
Discuss: DEV
📟CLI Design
Built a Production-Ready Food Marketplace Platform with Go - Clean Architecture & 85% Test Coverage [Open Source]
reddit.com·1d·
Discuss: r/golang
🔌Interface Evolution
Prox Mox Performance (What they didn't teach you)
reddit.com·2d·
Discuss: r/homelab
🖥Home Lab Setup
I want to make just a few key containers highly available, and I want advice on how it'd be possible with the less suck
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab