news
Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key
235 pointsposted 5 days ago
by dsmurrellLLMs are making formal software verification feasible at a much larger scale
462 pointsposted 4 days ago
by johnbenderShow HN: Steal My Bitcoin
616 pointsposted 3 days ago
by cloudlandsdevWoman charged with computer fraud due to scam CashApp account being in her name
665 pointsposted 5 days ago
by oidarProgressive disclosure in agents to make them 2.3x faster
21 pointsposted 3 days ago
by suchintanUpwelling – Combining real-time collaboration with version control for writers
5 pointsposted 2 days ago
by andsoitiseMudhra to exit global SSL/TLS certificate business
1157 pointsposted 5 days ago
by bo0tzzGemma-4-26B-A4B with 39-69% less thinking at same accuracy
126 pointsposted 4 days ago
by armcatHow I made it possible to pretrain a 1B LLM on 6GB VRAM
5 pointsposted 14 hours ago
by komalbarunMonoidal computer I: Basic computability by string diagrams (2012)
16 pointsposted 5 days ago
by measurablefuncHow we made our MMDB files a 33% smaller
8 pointsposted 2 days ago
by mmaiaAsk HN: Is it not possible to enroll for Apple Developer anymore?
31 pointsposted a day ago
by olalondeMichigan prof creates Python-like Jac language for AI agents
5 pointsposted 14 hours ago
by rbanffyEverybody panic: A Valve developer said "HLX" in public
22 pointsposted a day ago
by chhaThe HTML-in-Canvas API origin trial
123 pointsposted 5 days ago
by andrewstuartUS startup's demonstration of lighting Earth from space draws critcism
12 pointsposted 20 hours ago
by n1b0mAnemoia: Nostalgia for a time one did not personally experience
14 pointsposted a day ago
by janandonlyWalter Koenig, Ensign Chekov on original 'Star Trek' series, dies at 90
41 pointsposted 15 hours ago
by shagieDrone warfare is evolving faster than armies can adapt
18 pointsposted a day ago
by sleepyguyNo signs of AI payoff outside the tech sector
640 pointsposted 3 days ago
by the-mitrViktor Orbán, U.N. Secretary-General?
18 pointsposted a day ago
by bushwartSecuring our frontier model training environment
125 pointsposted 4 days ago
by pretextFlock [YC S17] Fever: A Review of Government Surveillance by Benn Jordan [video]
33 pointsposted 2 days ago
by input_shInternet Security: We're Doomed
4 pointsposted a day ago
by DamnInterestingRemove pgrust: the entry is cheating (per-query kernels and result caching)
195 pointsposted 4 days ago
by f311aU.S. birth rate drops to record low, but older women are having more babies
25 pointsposted a day ago
by pseudolusAnthropic's Claude AI model accessed Georgia voter data in US
11 pointsposted 21 hours ago
by chrisjj