news
LLMs are making formal software verification feasible at a much larger scale
462 pointsposted 4 days ago
by johnbenderFocused Company Operating Principles
24 pointsposted a day ago
by mooredsGrok releases the first seven minutes of its AI-generated 'Odyssey'
5 pointsposted 12 hours ago
by theanonymousoneCrosscut – Drawing Dynamic Models
8 pointsposted a day ago
by andsoitisWoman charged with computer fraud due to scam CashApp account being in her name
665 pointsposted 4 days ago
by oidarGemma-4-26B-A4B with 39-69% less thinking at same accuracy
126 pointsposted 3 days ago
by armcatThe Chalk and the Airplane
27 pointsposted 5 days ago
by paulorlandoeMudhra to exit global SSL/TLS certificate business
1157 pointsposted 4 days ago
by bo0tzzNo signs of AI payoff outside the tech sector
638 pointsposted 2 days ago
by the-mitrInk droplets in motion snag top prize in Nikon Small World contest
4 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 alexprengereSuperhuman Hardware Design Is the Easy Part
58 pointsposted 3 days ago
by gmaysAI-Assisted Paper on Z-Library Cites a TorrentFreak Article That Doesn't Exist
97 pointsposted 3 days ago
by TangerineDreamEvolving Threat: http2shell is an RCE in Node, Python, and more
186 pointsposted 3 days ago
by cowlevelRemove pgrust: the entry is cheating (per-query kernels and result caching)
195 pointsposted 4 days ago
by f311aVibe coding is turning the music gear world upside down
8 pointsposted 19 hours ago
by saikatsgThe recently proposed o(n log n) integer multiplication algorithm [pdf]
314 pointsposted 5 days ago
by craigcitroA hidden bias in human language challenges 70 years of science
16 pointsposted a day ago
by ersinesenThe 'else' keyword is probably a literal translation from German (2020)
8 pointsposted a day ago
by theanonymousoneIn China, the AI bubble has burst
13 pointsposted 8 hours ago
by porridgeraisinFive Qwen3.8-27B models match Fable 5 Using GVS5H Harness
184 pointsposted 2 days ago
by rzkThe Missed Opportunities of Sonic 06 (2025)
64 pointsposted 3 days ago
by ibobevMicrosoft and Others Tell Crypto Platform Not to Tokenize Their Stocks
3 pointsposted a day ago
by gumby