❓
page 2 of best
light mode
llms are making formal software verification feasible at a much larger scale
LLMs are making formal software verification feasible at a much larger scale
(anthropic.com)
Ⓣ
Ⓐ
Ⓒ
·
437 points
·
281 comments
·
1 day ago 
by johnbender
⏱️ 13 minutes
disney raising prices days after confirming ads will now show up on every tier
Disney Raising Prices Days After Confirming Ads Will Now Show Up on Every Tier
(tvfandomlounge.com)
Ⓣ
Ⓐ
Ⓒ
·
407 points
·
431 comments
·
15 hours ago 
by robtherobber
⏱️ 5 minutes
xbox wants you to pay 24 to 40 cents per hour to stream games you bought
Xbox wants you to pay 24 to 40 cents per hour to stream games you bought
(arstechnica.com)
Ⓣ
Ⓒ
·
382 points
·
342 comments
·
1½ days ago 
by entryleveljobsc
⏱️ 1 minute
whats getting pwned right now
What’s getting pwned right now
(pwn.watch)
Ⓣ
Ⓒ
·
375 points
·
169 comments
·
1½ days ago 
by mrkd
⏱️ 2 minutes
The foolishness of "natural language programming" (1978)
(utexas.edu)
Ⓣ
Ⓐ
Ⓒ
·
356 points
·
240 comments
·
22½ hours ago 
by xiaoyu2006
⏱️ 4 minutes
Getting ready to operate GNU Taler in Germany
(taler.net)
Ⓣ
Ⓒ
·
355 points
·
171 comments
·
1½ days ago 
by dewey
⏱️ 2 minutes
CVE-​2026-​111943: Compromised Intermediate Certificate Authority
(nist.gov)
336 points
·
123 comments
·
1½ days ago 
by keks24
google cleared 300 hectares of finnish forest
Google cleared 300 hectares of Finnish forest
(techspot.com)
326 points
·
244 comments
·
1½ days ago 
by wetwater
⏱️ 1 minute
swedish government offices to ban chatgpt and claude
Swedish government offices to ban ChatGPT and Claude
(sverigesradio.se)
Ⓣ
Ⓐ
Ⓒ
·
314 points
·
114 comments
·
11¾ hours ago 
by armcat
⏱️ 1 minute
the recently proposed on log n integer multiplication algorithm pdf
The recently proposed o(n log n) integer multiplication algorithm [pdf]
(unsw.edu.au)
Ⓣ
Ⓒ
·
311 points
·
300 comments
·
1½ days ago 
by craigcitro
📄 38 pages
dutch government had hacked into jared kushnerx27s phone
Dutch government had hacked into Jared Kushner's phone
(twitter.com)
Ⓐ
·
287 points
·
188 comments
·
12¾ hours ago 
by teekert
canadians are running out of time to oppose bill c22
Canadians are running out of time to oppose Bill C-​22
(eff.org)
Ⓣ
Ⓐ
Ⓒ
·
283 points
·
138 comments
·
1 day ago 
by hn_acker
⏱️ 1 minute
a farewell to arc browser
A farewell to Arc browser
(arc.net)
Ⓣ
Ⓒ
·
278 points
·
248 comments
·
1½ days ago 
by suhdonghwi
amazon identifies oct 17 php2shell exploitation prior to public disclosure
Amazon identifies Oct 17 PHP2Shell exploitation prior to public disclosure
(amazon.com)
Ⓣ
Ⓒ
·
267 points
·
99 comments
·
1½ days ago 
by cubefox
⏱️ 2 minutes
mps moving to restrict gambling ads in canada
MPs moving to restrict gambling ads in Canada
(cbc.ca)
Ⓣ
Ⓒ
·
259 points
·
135 comments
·
1½ days ago 
by Teever
⏱️ 4 minutes
airbnb bans making guests do dishes and take out the trash
Airbnb bans making guests do dishes and take out the trash
(theverge.com)
Ⓣ
Ⓒ
·
259 points
·
231 comments
·
1½ days ago 
by babelfish
⏱️ 1 minute
Several Linux kernel vulnerabilities accidentally posted to public mailing list
(phoronix.com)
Ⓣ
Ⓒ
·
249 points
·
91 comments
·
1½ days ago 
by mrkn1
openai cli
OpenAI CLI
(github.com)
Ⓣ
Ⓒ
·
242 points
·
111 comments
·
1½ days ago 
by armcat
⏱️ 5 minutes
hedra is a 3d open world game i wrote from scratch while in highschool
Hedra is a 3D open world game I wrote from scratch while in highschool
(github.com)
Ⓣ
Ⓐ
Ⓒ
·
230 points
·
48 comments
·
1 day ago 
by maxilevi
⏱️ 2 minutes
faster than earcut triangulating 37m map polygons in 489 ms
Faster than earcut: triangulating 3.7M map polygons in 489 ms
(globus.software)
Ⓣ
Ⓒ
·
226 points
·
40 comments
·
1½ days ago 
by molind
⏱️ 12 minutes
page 3
top new active classic
This page was generated in 900 milliseconds at 2026-10-23T23:25:49Z.