1 Show HN: Provepy β A Python decorator that proves your code using Lean and LLMs by spaccy05 β’ 3 minutes ago
1 Even Hungary's skewed elections might not save Viktor Orban (economist.com) by andsoitis β’ 8 minutes ago
8 Tesla's supervised self-driving software gets Dutch okay, first in Europe (reuters.com) by nsoonhui β’ 14 minutes ago
2 Hindsight β A design spec for self-improving LLM agents (github.com) by anitial β’ 26 minutes ago
3 The Relationship Between Two People Is Not Located in Either Person (substack.com) by problemist β’ 29 minutes ago
3 Government seeks X Community Notes oversight with IT Rules tweaks (hindustantimes.com) by c420 β’ about 1 hour ago
61 20 Years on AWS and Never Not My Job (daemonology.net) by cperciva β’ about 1 hour ago β’ 5 comments
1 Vinyl (nee Varnish) Cache β 20 years old and it is time to get serious(er) (vinyl-cache.org) by gurjeet β’ about 1 hour ago
3 Cmdgraph β Document any structural CLI for humans and agents (github.com) by haoliangyu β’ about 2 hours ago
6 Great at gaming? US air traffic control wants you to apply (bbc.com) by 1659447091 β’ about 2 hours ago β’ 2 comments
2 Austin's drop in rents explains housing in America (vox.com) by rawgabbit β’ about 2 hours ago β’ 5 comments
3 Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets (arxiv.org) by matt_d β’ about 2 hours ago
2 Unionized ProPublica staff are on strike over AI, layoffs, and wages (theverge.com) by pabs3 β’ about 2 hours ago
1 A 1KB zero-dependency relative time formatter for UI systems (github.com) by hedayet β’ about 2 hours ago
3 Axios Supply Chain Attack Reaches OpenAI macOS Signing Pipeline (socket.dev) by salkahfi β’ about 2 hours ago β’ 1 comments
2 What's the most painful sting in the world? (bbc.com) by rolph β’ about 2 hours ago β’ 1 comments
6 We're heading for an AI-fueled 'dementia crisis,' brain scientist warns (nypost.com) by 1vuio0pswjnm7 β’ about 2 hours ago β’ 1 comments
1 Is it possible to live without killing?(2024) (worldbuilding.stackexchange.com) by num42 β’ about 2 hours ago
3 A plan for Europe's tech fightback (economist.com) by andsoitis β’ about 2 hours ago β’ 1 comments
3 Meta boots law firm ads seeking clients to sue over alleged FB, IG addiction (nypost.com) by 1vuio0pswjnm7 β’ about 2 hours ago β’ 2 comments
3 Musk faces fresh opposition after landing permit for Mississippi power plant (cnbc.com) by 1vuio0pswjnm7 β’ about 3 hours ago
4 Show HN: HyperFlow β A self-improving agent framework built on LangGraph by lablnet β’ about 3 hours ago
3 ESP32-P4 SIMD Explained (bitbanksoftware.blogspot.com) by bitbank β’ about 3 hours ago β’ 1 comments
18 Quien β A better WHOIS lookup tool (github.com) by bretthopper β’ about 3 hours ago β’ 5 comments
4 The AI-Assisted Breach of Mexico's Government Infrastructure [pdf] (cdn.prod.website-files.com) by kerng β’ about 3 hours ago
2 How to Land the Space Shuttle from Space (2016) [video] (youtube.com) by iquatemb β’ about 3 hours ago
3 Show HN: Vibescore β Grade your vibe-coded project A+ to F (one command) (github.com) by zach22 β’ about 3 hours ago
3 Show HN: Lmscan β Detect AI text and fingerprint which LLM wrote it (zero deps) (github.com) by zach22 β’ about 3 hours ago