- Show HN: Interactive California Budget (By Claude Code) (california-budget.com)california budgetfinancial transparencygovernment spending
- Defining Safe Hardware Design [pdf] (people.csail.mit.edu)formal verificationhardware designformal methods
- Another London: Excavating the disenchanted city (harpers.org)
- Litestream Writable VFS (fly.io)writable file systemscloud storagereal-time logging
- Advancing AI Benchmarking with Game Arena (blog.google)ai benchmarkingmachine learninggame development
- Underrated ways to change the world, part II (www.experimental-history.com)sustainable livingsocial entrepreneurshipimpactful innovations
- Hacking Moltbook (www.wiz.io)aisocial mediahacking
- Show HN: Dengen Shrine – A privacy-focused digital Shinto ritual (dengen-shrine.com)
- ICE seeks industry input on ad tech location data for investigative use (www.biometricupdate.com)location databiometricslaw enforcement
- The €10 Mirror: Why Enterprise Security Looks Like a Kid's Toy (labs.itresit.es)enterprise securitycybersecurityit industry
- Contracts in Nix (sraka.xyz)derivationflakedeployment
- My iPhone 16 Pro Max produces garbage output when running MLX LLMs (journal.rafaelcosta.me)iphone limitationsmath calculationstech frustrations
- GitHub experience various partial-outages/degradations (www.githubstatus.com)outagegithubservice degradation
- Migrate Wizard – IMAP Based Email Migration Tool (migratewizard.com)email migrationimap basedemail transfer tool
- Linux From Scratch ends SysVinit support (lists.linuxfromscratch.org)sysvinitlinuxinit
- streamingfrench gamingpalantir controversy
- As Rocks May Think (evjang.com)geologymindfulnessphilosophy
- Nano-vLLM: How a vLLM-style inference engine works (neutree.ai)natural language processingmachine learning modelsai inference engine
- linkedin searchjeffrey epstein scandalsocial media investigations
- Hexagonal Grids (www.redblobgames.com)grid geometrygame developmentspatial algorithms
- OpenAI Frontier (openai.com)ai researchartificial intelligence developmentemerging technologies
- Ian's Shoelace Site (www.fieggen.com)shoelaceslacing techniquesknot tying
- Actors: A Model of Concurrent Computation [pdf] (1985) (apps.dtic.mil)formal modelsconcurrency theorycomputer science
- Claude Code is suddenly everywhere inside Microsoft (www.theverge.com)microsoftprogramming languagesoftware development
- Rust in the NetBSD Kernel, and other odd decisions (bentsukun.ch)netbsdkernellinux alternatives
- How does misalignment scale with model intelligence and task complexity? (alignment.anthropic.com)artificial intelligencemachine learningtechnology
- financial institutionsdata center financingcloud infrastructure
- Speculative Sampling Explained (saibo-creator.github.io)
- browser securityhomograph attackterminal security