news
LLMs are making formal software verification feasible at a much larger scale
462 pointsposted 4 days ago
by johnbenderCognitive Mercantilism: AI panic resembles fears of early capitalism
78 pointsposted 21 hours ago
by ianandPsilocybin Replaces Lost Synapses in Depressed Brains
18 pointsposted a day ago
by bookofjoeWoman charged with computer fraud due to scam CashApp account being in her name
665 pointsposted 4 days ago
by oidarNoyb win: German DPA finds microtargeting by major political parties illegal
25 pointsposted a day ago
by dgellowGemma-4-26B-A4B with 39-69% less thinking at same accuracy
126 pointsposted 3 days ago
by armcateMudhra to exit global SSL/TLS certificate business
1157 pointsposted 4 days ago
by bo0tzzFocused Company Operating Principles
24 pointsposted a day ago
by mooredsThe Chalk and the Airplane
27 pointsposted 5 days ago
by paulorlandoCrosscut – Drawing Dynamic Models
8 pointsposted a day ago
by andsoitisNo signs of AI payoff outside the tech sector
638 pointsposted 2 days ago
by the-mitrGrok releases the first seven minutes of its AI-generated 'Odyssey'
5 pointsposted 13 hours ago
by theanonymousoneInk droplets in motion snag top prize in Nikon Small World contest
5 pointsposted a day ago
by _MicroftThe HTML-in-Canvas API origin trial
123 pointsposted 4 days ago
by andrewstuartSecuring our frontier model training environment
124 pointsposted 3 days ago
by pretextParsing EDIFACT in Python with syntax trees
25 pointsposted 4 days ago
by alexprengereWell-paid tech workers pay tax on unrealized gains. Billionaires can too
6 pointsposted 7 hours ago
by HotGarbageRemove pgrust: the entry is cheating (per-query kernels and result caching)
195 pointsposted 4 days ago
by f311aEvolving Threat: http2shell is an RCE in Node, Python, and more
186 pointsposted 3 days ago
by cowlevelAI-Assisted Paper on Z-Library Cites a TorrentFreak Article That Doesn't Exist
97 pointsposted 3 days ago
by TangerineDreamThe recently proposed o(n log n) integer multiplication algorithm [pdf]
314 pointsposted 5 days ago
by craigcitroSuperhuman Hardware Design Is the Easy Part
58 pointsposted 3 days ago
by gmaysVibe coding is turning the music gear world upside down
8 pointsposted 20 hours ago
by saikatsgA hidden bias in human language challenges 70 years of science
16 pointsposted a day ago
by ersinesen