  Hacker Newsnew | past | comments | ask | show | jobs | submit  login                                                                                               
                                                                                                                                                                     

 1.                                                                    Docker is weird ( codeandcake.dev )                                                           
     200 points by psxuaw 3 hours ago | hide | 105 comments                                                                                                          
                                                                                                                                                                     
 2.                                                                    LLMs are making formal software verification feasible at a much larger scale ( anthropic.com )
     183 points by johnbender 4 hours ago | hide | 89 comments                                                                                                       
                                                                                                                                                                     
 3.                                                                    Quad9 (DNS Resolver) to Exit France ( quad9.net )                                             
     1041 points by farrokhi 13 hours ago | hide | 374 comments                                                                                                      
                                                                                                                                                                     
 4.                                                                    The Secret Life of Circuits is now in stock everywhere ( coredump.cx )                        
     36 points by surprisetalk 3 hours ago | hide | 12 comments                                                                                                      
                                                                                                                                                                     
 5.                                                                    OpenShell – A safe, private runtime for fleets of autonomous AI agents ( github.com/nvidia )  
     325 points by niemandhier 9 hours ago | hide | 166 comments                                                                                                     
                                                                                                                                                                     
 6.                                                                    Woman faces six years in prison over Cash App account she never opened ( techspot.com )       
     556 points by oidar 14 hours ago | hide | 574 comments                                                                                                          
                                                                                                                                                                     
 7.                                                                    Mortality Among People with Attention-Deficit/Hyperactivity Disorder ( jamanetwork.com )      
     27 points by gumby 2 hours ago | hide | 7 comments                                                                                                              
                                                                                                                                                                     
 8.                                                                    Every AI model has the same "controversial" take on humans ( modelcompare.ai )                
     278 points by rakannimer 11 hours ago | hide | 328 comments                                                                                                     
                                                                                                                                                                     
 9.                                                                    Getting ready to operate GNU Taler in Germany ( taler.net )                                   
     238 points by dewey 11 hours ago | hide | 86 comments                                                                                                           
                                                                                                                                                                     
10.                                                                    Run full iOS 16.5 firmware on Android Devices ( github.com/oosexgang )                        
     347 points by aghuang 12 hours ago | hide | 131 comments                                                                                                        
                                                                                                                                                                     
11.                                                                    AI compute is the new oil–and needs a new market ( economist.com )                            
     30 points by ijidak 3 hours ago | hide | 18 comments                                                                                                            
                                                                                                                                                                     
12.                                                                    Jank – The native Clojure dialect with seamless C++ interop ( jank-lang.org )                 
     29 points by giancarlostoro 3 hours ago | hide | 1 comment                                                                                                      
                                                                                                                                                                     
13.                                                                    What Is Gridifcation ( musicalform.substack.com )                                             
     421 points by gumby 16 hours ago | hide | 204 comments                                                                                                          
                                                                                                                                                                     
14.                                                                    Hedra is a 3D open world game I wrote from scratch while in highschool ( github.com/maxilevi )
     155 points by maxilevi 8 hours ago | hide | 30 comments                                                                                                         
                                                                                                                                                                     
15.                                                                    Railpass ( samismith.com )                                                                    
     63 points by CharlesW 5 hours ago | hide | 17 comments                                                                                                          
                                                                                                                                                                     
16.                                                                    eMudhra to exit global SSL/TLS certificate business ( emudhra.com )                           
     972 points by bo0tzz 14 hours ago | hide | 647 comments                                                                                                         
                                                                                                                                                                     
17.                                                                    Xbox wants you to pay 24 to 40 cents per hour to stream games you bought ( arstechnica.com )  
     236 points by entryleveljobsc 15 hours ago | hide | 216 comments                                                                                                
                                                                                                                                                                     
18.                                                                    Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.                                 
     415 points by petecooper 17 hours ago | hide | 179 comments                                                                                                     
                                                                                                                                                                     
19.                                                                    Why My Asus Laptop Kept Rebooting After Sleep and How to Fix It ( idiallo.com )               
     7 points by surprisetalk 2 hours ago | hide | 1 comment                                                                                                         
                                                                                                                                                                     
20.                                                                    Mapping the Northern Sky ( maps.com )                                                         
     20 points by tmseidman 3 hours ago | hide | 8 comments                                                                                                          
                                                                                                                                                                     
21.                                                                    The foolishness of "natural language programming" (1978) ( utexas.edu )                       
     56 points by xiaoyu2006 2 hours ago | hide | 52 comments                                                                                                        
                                                                                                                                                                     
22.                                                                    AI and the Enclosure of the Scientific Commons ( arxiv.org )                                  
     120 points by jrepinc 9 hours ago | hide | 72 comments                                                                                                          
                                                                                                                                                                     
23.                                                                    How to Design Flowers ( asimov.press )                                                        
     22 points by surprisetalk 5 hours ago | hide | 2 comments                                                                                                       
                                                                                                                                                                     
24.                                                                    Dungeon Generation in the Gnomish Mines of NetHack ( boristhebrave.com )                      
     132 points by ibobev 12 hours ago | hide | 16 comments                                                                                                          
                                                                                                                                                                     
25.                                                                    Show HN: Uberblok – an interactive museum of ZFS internals ( storagebits.workers.dev )        
     93 points by storagebits 13 hours ago | hide | 23 comments                                                                                                      
                                                                                                                                                                     
26.                                                                    Faster than earcut: triangulating 3.7M map polygons in 489 ms ( globus.software )             
     209 points by molind 18 hours ago | hide | 39 comments                                                                                                          
                                                                                                                                                                     
27.                                                                    Speeding up code review with `small-change` ( lethain.com )                                   
     30 points by alexmolas 6 hours ago | hide | 15 comments                                                                                                         
                                                                                                                                                                     
28.                                                                    Jailbreaking the Switch 2 ( pepsipu.com )                                                     
     747 points by ledoge 19 hours ago | hide | 259 comments                                                                                                         
                                                                                                                                                                     
29.                                                                    A farewell to Arc browser ( arc.net )                                                         
     244 points by suhdonghwi 11 hours ago | hide | 216 comments                                                                                                     
                                                                                                                                                                     
30.                                                                    Startup taps underwater volcano as energy source in “proof point” test ( arstechnica.com )    
     128 points by wffurr 18 hours ago | hide | 54 comments                                                                                                          
                                                                                                                                                                     
                                                                                                                                                                     
     More                                                                                                                                                            
                                                                                                                                                                     
                                                                                                                                                                     
                                                                                                                                                                     
                                                                                                                                                                     
Consider applying for YC's Winter 2027 batch! Applications are open till November 2.                                                                                 
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact                                                                                            
                                                                                                                                                                     
Search:                                                                                                                                                              
