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

 1.                                                                    Docker is weird ( codeandcake.dev )                                                           
     318 points by psxuaw 6 hours ago | hide | 156 comments                                                                                                          
                                                                                                                                                                     
 2.                                                                    LLMs are making formal software verification feasible at a much larger scale ( anthropic.com )
     250 points by johnbender 7 hours ago | hide | 136 comments                                                                                                      
                                                                                                                                                                     
 3.                                                                    This I Believe (1952) ( awakin.org )                                                          
     39 points by ctoth 3 hours ago | hide | 6 comments                                                                                                              
                                                                                                                                                                     
 4.                                                                    OpenShell – A safe, private runtime for fleets of autonomous AI agents ( github.com/nvidia )  
     354 points by niemandhier 12 hours ago | hide | 186 comments                                                                                                    
                                                                                                                                                                     
 5.                                                                    Every AI model has the same "controversial" take on humans ( modelcompare.ai )                
     328 points by rakannimer 14 hours ago | hide | 365 comments                                                                                                     
                                                                                                                                                                     
 6.                                                                    Run full iOS 16.5 firmware on Android Devices ( github.com/oosexgang )                        
     379 points by aghuang 14 hours ago | hide | 137 comments                                                                                                        
                                                                                                                                                                     
 7.                                                                    The foolishness of "natural language programming" (1978) ( utexas.edu )                       
     97 points by xiaoyu2006 5 hours ago | hide | 63 comments                                                                                                        
                                                                                                                                                                     
 8.                                                                    Getting ready to operate GNU Taler in Germany ( taler.net )                                   
     250 points by dewey 13 hours ago | hide | 101 comments                                                                                                          
                                                                                                                                                                     
 9.                                                                    Jank – The native Clojure dialect with seamless C++ interop ( jank-lang.org )                 
     63 points by giancarlostoro 6 hours ago | hide | 2 comments                                                                                                     
                                                                                                                                                                     
10.                                                                    Quad9 to exit France ( quad9.net )                                                            
     1108 points by farrokhi 15 hours ago | hide | 385 comments                                                                                                      
                                                                                                                                                                     
11.                                                                    Postgres recovery_prefetch can cause outages ( ardentperf.com )                               
     31 points by plaur782 5 hours ago | hide | discuss                                                                                                              
                                                                                                                                                                     
12.                                                                    WorldTUI: I trained a 360M model to pretend to be a terminal ( simedw.com )                   
     516 points by alphax314 1 day ago | hide | 162 comments                                                                                                         
                                                                                                                                                                     
13.                                                                    Why my Asus laptop kept rebooting after sleep and how to fix it ( idiallo.com )               
     30 points by surprisetalk 4 hours ago | hide | 21 comments                                                                                                      
                                                                                                                                                                     
14.                                                                    A lost Schrödinger manuscript reveals a twist in quantum physics ( sciencealert.com )         
     14 points by ibobev 2 hours ago | hide | 5 comments                                                                                                             
                                                                                                                                                                     
15.                                                                    What Is Gridifcation ( musicalform.substack.com )                                             
     439 points by gumby 19 hours ago | hide | 208 comments                                                                                                          
                                                                                                                                                                     
16.                                                                    Color Names ( color.pizza )                                                                   
     43 points by akkartik 6 hours ago | hide | 4 comments                                                                                                           
                                                                                                                                                                     
17.                                                                    Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.                                 
     473 points by petecooper 19 hours ago | hide | 193 comments                                                                                                     
                                                                                                                                                                     
18.                                                                    How to Design Flowers ( asimov.press )                                                        
     35 points by surprisetalk 5 hours ago | hide | 2 comments                                                                                                       
                                                                                                                                                                     
19.                                                                    Mortality Among People with Attention-Deficit/Hyperactivity Disorder ( jamanetwork.com )      
     86 points by gumby 4 hours ago | hide | 51 comments                                                                                                             
                                                                                                                                                                     
20.                                                                    Xbox wants you to pay 24 to 40 cents per hour to stream games you bought ( arstechnica.com )  
     268 points by entryleveljobsc 18 hours ago | hide | 235 comments                                                                                                
                                                                                                                                                                     
21.                                                                    Hedra is a 3D open world game I wrote from scratch while in highschool ( github.com/maxilevi )
     173 points by maxilevi 11 hours ago | hide | 30 comments                                                                                                        
                                                                                                                                                                     
22.                                                                    eMudhra to exit global SSL/TLS certificate business ( emudhra.com )                           
     1001 points by bo0tzz 16 hours ago | hide | 664 comments                                                                                                        
                                                                                                                                                                     
23.                                                                    Railpass ( samismith.com )                                                                    
     81 points by CharlesW 8 hours ago | hide | 23 comments                                                                                                          
                                                                                                                                                                     
24.                                                                    Mapping the Northern Sky ( maps.com )                                                         
     32 points by tmseidman 6 hours ago | hide | 10 comments                                                                                                         
                                                                                                                                                                     
25.                                                                    Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies?               
     67 points by ex-aws-dude 9 hours ago | hide | 68 comments                                                                                                       
                                                                                                                                                                     
26.                                                                    Show HN: Uberblok – an interactive museum of ZFS internals ( storagebits.workers.dev )        
     106 points by storagebits 15 hours ago | hide | 27 comments                                                                                                     
                                                                                                                                                                     
27.                                                                    Faster than earcut: triangulating 3.7M map polygons in 489 ms ( globus.software )             
     214 points by molind 20 hours ago | hide | 40 comments                                                                                                          
                                                                                                                                                                     
28.                                                                    Dungeon generation in the Gnomish mines of NetHack ( boristhebrave.com )                      
     138 points by ibobev 15 hours ago | hide | 18 comments                                                                                                          
                                                                                                                                                                     
29.                                                                    Jailbreaking the Switch 2 ( pepsipu.com )                                                     
     768 points by ledoge 22 hours ago | hide | 268 comments                                                                                                         
                                                                                                                                                                     
30.                                                                    Speeding up code review with `small-change` ( lethain.com )                                   
     39 points by alexmolas 8 hours ago | hide | 22 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:                                                                                                                                                              
