news
LLMs are making formal software verification feasible at a much larger scale
462 pointsposted 4 days ago
by johnbenderTool book of a Nuremberg knight from 1505
168 pointsposted 2 days ago
by edwardogWoman charged with computer fraud due to scam CashApp account being in her name
665 pointsposted 5 days ago
by oidarMonoidal computer I: Basic computability by string diagrams (2012)
16 pointsposted 4 days ago
by measurablefuncU.S. birth rate drops to record low, but older women are having more babies
24 pointsposted a day ago
by pseudolusInternet Security: We're Doomed
4 pointsposted a day ago
by DamnInterestingeMudhra 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 armcatFlock [YC S17] Fever: A Review of Government Surveillance by Benn Jordan [video]
33 pointsposted 2 days ago
by input_shShow HN: Visualization of Top News Stories
4 pointsposted a day ago
by topazteeReverse engineer of PC-98 Touhou games retires
70 pointsposted 4 days ago
by mimasamaThe Chalk and the Airplane
27 pointsposted 5 days ago
by paulorlandoF45 (Fedora 45) Final Is No-Go
31 pointsposted a day ago
by gnabgibmacOS Extensions Pack for the Apple Network Server v1.0
3 pointsposted a day ago
by zdwNo signs of AI payoff outside the tech sector
638 pointsposted 2 days ago
by the-mitrSerbia's Vucic concedes election defeat in historic win for student movement
323 pointsposted a day ago
by consumer451Why My Dad Didn't Have a Cell Phone
4 pointsposted 13 hours ago
by BrajeshwarPsilocybin Replaces Lost Synapses in Depressed Brains
19 pointsposted a day ago
by bookofjoeThe HTML-in-Canvas API origin trial
123 pointsposted 4 days ago
by andrewstuartNoyb win: German DPA finds microtargeting by major political parties illegal
25 pointsposted a day ago
by dgellowSecuring our frontier model training environment
125 pointsposted 3 days ago
by pretextFocused Company Operating Principles
25 pointsposted a day ago
by mooredsWalter Koenig, the Russian Crewman Chekov on 'Star Trek,' Dies at 90
15 pointsposted 10 hours ago
by gumbyCrosscut – Drawing Dynamic Models
8 pointsposted a day ago
by andsoitisThe recently proposed o(n log n) integer multiplication algorithm [pdf]
314 pointsposted 5 days ago
by craigcitroRemove pgrust: the entry is cheating (per-query kernels and result caching)
195 pointsposted 4 days ago
by f311a