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

 1.                                                                    Docker is weird ( codeandcake.dev )                                                           
     203 points by psxuaw 4 hours ago | hide | 107 comments                                                                                                          
                                                                                                                                                                     
 2.                                                                    LLMs are making formal software verification feasible at a much larger scale ( anthropic.com )
     189 points by johnbender 4 hours ago | hide | 96 comments                                                                                                       
                                                                                                                                                                     
 3.                                                                    Quad9 (DNS Resolver) to Exit France ( quad9.net )                                             
     1043 points by farrokhi 13 hours ago | hide | 376 comments                                                                                                      
                                                                                                                                                                     
 4.                                                                    The Secret Life of Circuits is now in stock everywhere ( coredump.cx )                        
     40 points by surprisetalk 3 hours ago | hide | 13 comments                                                                                                      
                                                                                                                                                                     
 5.                                                                    OpenShell – A safe, private runtime for fleets of autonomous AI agents ( github.com/nvidia )  
     328 points by niemandhier 10 hours ago | hide | 167 comments                                                                                                    
                                                                                                                                                                     
 6.                                                                    Woman faces six years in prison over Cash App account she never opened ( techspot.com )       
     560 points by oidar 14 hours ago | hide | 579 comments                                                                                                          
                                                                                                                                                                     
 7.                                                                    Mortality Among People with Attention-Deficit/Hyperactivity Disorder ( jamanetwork.com )      
     29 points by gumby 2 hours ago | hide | 9 comments                                                                                                              
                                                                                                                                                                     
 8.                                                                    Every AI model has the same "controversial" take on humans ( modelcompare.ai )                
     283 points by rakannimer 11 hours ago | hide | 334 comments                                                                                                     
                                                                                                                                                                     
 9.                                                                    Getting ready to operate GNU Taler in Germany ( taler.net )                                   
     239 points by dewey 11 hours ago | hide | 87 comments                                                                                                           
                                                                                                                                                                     
10.                                                                    Run full iOS 16.5 firmware on Android Devices ( github.com/oosexgang )                        
     348 points by aghuang 12 hours ago | hide | 131 comments                                                                                                        
                                                                                                                                                                     
11.                                                                    AI compute is the new oil–and needs a new market ( economist.com )                            
     31 points by ijidak 4 hours ago | hide | 20 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 | 205 comments                                                                                                          
                                                                                                                                                                     
14.                                                                    Hedra is a 3D open world game I wrote from scratch while in highschool ( github.com/maxilevi )
     157 points by maxilevi 9 hours ago | hide | 31 comments                                                                                                         
                                                                                                                                                                     
15.                                                                    Why My Asus Laptop Kept Rebooting After Sleep and How to Fix It ( idiallo.com )               
     8 points by surprisetalk 2 hours ago | hide | 2 comments                                                                                                        
                                                                                                                                                                     
16.                                                                    Railpass ( samismith.com )                                                                    
     66 points by CharlesW 6 hours ago | hide | 18 comments                                                                                                          
                                                                                                                                                                     
17.                                                                    Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.                                 
     421 points by petecooper 17 hours ago | hide | 181 comments                                                                                                     
                                                                                                                                                                     
18.                                                                    eMudhra to exit global SSL/TLS certificate business ( emudhra.com )                           
     974 points by bo0tzz 14 hours ago | hide | 648 comments                                                                                                         
                                                                                                                                                                     
19.                                                                    Xbox wants you to pay 24 to 40 cents per hour to stream games you bought ( arstechnica.com )  
     240 points by entryleveljobsc 16 hours ago | hide | 215 comments                                                                                                
                                                                                                                                                                     
20.                                                                    Mapping the Northern Sky ( maps.com )                                                         
     20 points by tmseidman 3 hours ago | hide | 9 comments                                                                                                          
                                                                                                                                                                     
21.                                                                    The foolishness of "natural language programming" (1978) ( utexas.edu )                       
     62 points by xiaoyu2006 2 hours ago | hide | 54 comments                                                                                                        
                                                                                                                                                                     
22.                                                                    AI and the Enclosure of the Scientific Commons ( arxiv.org )                                  
     121 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.                                                                    Speeding up code review with `small-change` ( lethain.com )                                   
     31 points by alexmolas 6 hours ago | hide | 16 comments                                                                                                         
                                                                                                                                                                     
26.                                                                    Show HN: Uberblok – an interactive museum of ZFS internals ( storagebits.workers.dev )        
     94 points by storagebits 13 hours ago | hide | 23 comments                                                                                                      
                                                                                                                                                                     
27.                                                                    Faster than earcut: triangulating 3.7M map polygons in 489 ms ( globus.software )             
     210 points by molind 18 hours ago | hide | 39 comments                                                                                                          
                                                                                                                                                                     
28.                                                                    Jailbreaking the Switch 2 ( pepsipu.com )                                                     
     747 points by ledoge 19 hours ago | hide | 260 comments                                                                                                         
                                                                                                                                                                     
29.                                                                    A farewell to Arc browser ( arc.net )                                                         
     247 points by suhdonghwi 11 hours ago | hide | 217 comments                                                                                                     
                                                                                                                                                                     
30.                                                                    Startup taps underwater volcano as energy source in “proof point” test ( arstechnica.com )    
     128 points by wffurr 18 hours ago | hide | 55 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:                                                                                                                                                              
