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

 1.                                                                    Docker is weird ( codeandcake.dev )                                                           
     162 points by psxuaw 2 hours ago | hide | 70 comments                                                                                                           
                                                                                                                                                                     
 2.                                                                    LLMs are making formal software verification feasible at a much larger scale ( anthropic.com )
     143 points by johnbender 3 hours ago | hide | 70 comments                                                                                                       
                                                                                                                                                                     
 3.                                                                    Quad9 (DNS Resolver) to Exit France ( quad9.net )                                             
     1022 points by farrokhi 12 hours ago | hide | 369 comments                                                                                                      
                                                                                                                                                                     
 4.                                                                    The foolishness of "natural language programming" (1978) ( utexas.edu )                       
     38 points by xiaoyu2006 1 hour ago | hide | 36 comments                                                                                                         
                                                                                                                                                                     
 5.                                                                    OpenShell – A safe, private runtime for fleets of autonomous AI agents ( github.com/nvidia )  
     314 points by niemandhier 8 hours ago | hide | 162 comments                                                                                                     
                                                                                                                                                                     
 6.                                                                    Woman faces six years in prison over Cash App account she never opened ( techspot.com )       
     532 points by oidar 13 hours ago | hide | 544 comments                                                                                                          
                                                                                                                                                                     
 7.                                                                    Every AI model has the same "controversial" take on humans ( modelcompare.ai )                
     254 points by rakannimer 10 hours ago | hide | 317 comments                                                                                                     
                                                                                                                                                                     
 8.                                                                    AI compute is the new oil–and needs a new market ( economist.com )                            
     25 points by ijidak 2 hours ago | hide | 16 comments                                                                                                            
                                                                                                                                                                     
 9.                                                                    Getting ready to operate GNU Taler in Germany ( taler.net )                                   
     231 points by dewey 10 hours ago | hide | 85 comments                                                                                                           
                                                                                                                                                                     
10.                                                                    Run full iOS 16.5 firmware on Android Devices ( github.com/oosexgang )                        
     334 points by aghuang 11 hours ago | hide | 129 comments                                                                                                        
                                                                                                                                                                     
11.                                                                    The Secret Life of Circuits is now in stock everywhere ( coredump.cx )                        
     17 points by surprisetalk 2 hours ago | hide | 5 comments                                                                                                       
                                                                                                                                                                     
12.                                                                    Jailbreaking the Switch 2 ( pepsipu.com )                                                     
     734 points by ledoge 18 hours ago | hide | 254 comments                                                                                                         
                                                                                                                                                                     
13.                                                                    What Is Gridifcation ( musicalform.substack.com )                                             
     411 points by gumby 15 hours ago | hide | 202 comments                                                                                                          
                                                                                                                                                                     
14.                                                                    Jank – The native Clojure dialect with seamless C++ interop ( jank-lang.org )                 
     18 points by giancarlostoro 2 hours ago | hide | 1 comment                                                                                                      
                                                                                                                                                                     
15.                                                                    Hedra is a 3D open world game I wrote from scratch while in highschool ( github.com/maxilevi )
     143 points by maxilevi 7 hours ago | hide | 29 comments                                                                                                         
                                                                                                                                                                     
16.                                                                    Mortality Among People with Attention-Deficit/Hyperactivity Disorder ( jamanetwork.com )      
     6 points by gumby 1 hour ago | hide | discuss                                                                                                                   
                                                                                                                                                                     
17.                                                                    Mapping the Northern Sky ( maps.com )                                                         
     17 points by tmseidman 2 hours ago | hide | 4 comments                                                                                                          
                                                                                                                                                                     
18.                                                                    eMudhra to exit global SSL/TLS certificate business ( emudhra.com )                           
     947 points by bo0tzz 13 hours ago | hide | 636 comments                                                                                                         
                                                                                                                                                                     
19.                                                                    Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.                                 
     397 points by petecooper 16 hours ago | hide | 166 comments                                                                                                     
                                                                                                                                                                     
20.                                                                    Xbox wants you to pay 24 to 40 cents per hour to stream games you bought ( arstechnica.com )  
     221 points by entryleveljobsc 14 hours ago | hide | 211 comments                                                                                                
                                                                                                                                                                     
21.                                                                    Railpass ( samismith.com )                                                                    
     53 points by CharlesW 5 hours ago | hide | 14 comments                                                                                                          
                                                                                                                                                                     
22.                                                                    Color Names ( color.pizza )                                                                   
     21 points by akkartik 3 hours ago | hide | 2 comments                                                                                                           
                                                                                                                                                                     
23.                                                                    How to Design Flowers ( asimov.press )                                                        
     21 points by surprisetalk 4 hours ago | hide | 2 comments                                                                                                       
                                                                                                                                                                     
24.                                                                    AI and the Enclosure of the Scientific Commons ( arxiv.org )                                  
     116 points by jrepinc 8 hours ago | hide | 70 comments                                                                                                          
                                                                                                                                                                     
25.                                                                    Speeding up code review with `small-change` ( lethain.com )                                   
     28 points by alexmolas 5 hours ago | hide | 14 comments                                                                                                         
                                                                                                                                                                     
26.                                                                    Dungeon Generation in the Gnomish Mines of NetHack ( boristhebrave.com )                      
     129 points by ibobev 11 hours ago | hide | 16 comments                                                                                                          
                                                                                                                                                                     
27.                                                                    Faster than earcut: triangulating 3.7M map polygons in 489 ms ( globus.software )             
     205 points by molind 17 hours ago | hide | 38 comments                                                                                                          
                                                                                                                                                                     
28.                                                                    Show HN: Uberblok – an interactive museum of ZFS internals ( storagebits.workers.dev )        
     84 points by storagebits 12 hours ago | hide | 22 comments                                                                                                      
                                                                                                                                                                     
29.                                                                    A farewell to Arc browser ( arc.net )                                                         
     233 points by suhdonghwi 10 hours ago | hide | 211 comments                                                                                                     
                                                                                                                                                                     
30.                                                                    What’s getting pwned right now ( pwn.watch )                                                  
     350 points by mrkd 12 hours ago | hide | 161 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:                                                                                                                                                              
