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

 1.                                                              Formalizing Fermat's Last Theorem ( anthropic.com )                                                      
     229 points by jlebar 1 hour ago | hide | 125 comments                                                                                                                
                                                                                                                                                                          
 2.                                                              Discovery of a new OpenAI agent message board ( collusion.wiki )                                         
     1252 points by moultano 8 hours ago | hide | 1017 comments                                                                                                           
                                                                                                                                                                          
 3.                                                              Shutting down our public encrypted DNS ( mullvad.net )                                                   
     114 points by mywacaday 1 hour ago | hide | 24 comments                                                                                                              
                                                                                                                                                                          
 4.                                                              Can AI design circuit boards yet? ( eebench.org )                                                        
     32 points by iopapa 45 minutes ago | hide | 18 comments                                                                                                              
                                                                                                                                                                          
 5.                                                              Show HN: Open-Source eInk Bike Computer ( opentrailpaper.com )                                           
     148 points by stingrae 3 hours ago | hide | 54 comments                                                                                                              
                                                                                                                                                                          
 6.                                                              Government Rails Site Hit Hours After CVE Patch ( rietta.com )                                           
     33 points by rietta 1 hour ago | hide | 9 comments                                                                                                                   
                                                                                                                                                                          
 7.                                                              The Rust React Compiler is now native in Vite ( master.dev )                                             
     57 points by acusti 2 hours ago | hide | 12 comments                                                                                                                 
                                                                                                                                                                          
 8.                                                              An open DNS recursive service for free security and high privacy ( quad9.net )                           
     5 points by mooreds 21 minutes ago | hide | discuss                                                                                                                  
                                                                                                                                                                          
 9.                                                              IBM Bob ( ibm.com )                                                                                      
     183 points by artpar 7 hours ago | hide | 212 comments                                                                                                               
                                                                                                                                                                          
10.                                                              deSEC – Free Secure DNS ( desec.io )                                                                     
     74 points by gurjeet 4 hours ago | hide | 30 comments                                                                                                                
                                                                                                                                                                          
11.                                                              Solving the Jane Street reverse engineering challenge ( jestoph.com )                                    
     349 points by anitil 10 hours ago | hide | 79 comments                                                                                                               
                                                                                                                                                                          
12.                                                              Project HydraFusion: Frontier quality via multi-model orchestration ( github.blog )                      
     44 points by qainsights 4 hours ago | hide | 23 comments                                                                                                             
                                                                                                                                                                          
13.                                                              Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive ( torrentfreak.com )    
     193 points by speckx 3 hours ago | hide | 108 comments                                                                                                               
                                                                                                                                                                          
14.                                                              Resources to Get Good at Soldering?                                                                      
     51 points by tosmatos 2 hours ago | hide | 34 comments                                                                                                               
                                                                                                                                                                          
15.                                                              Show HN: TERMy – A fast terminal assistant that does not use LLMs ( github.com/gioblu )                  
     54 points by gioscarab 3 hours ago | hide | 22 comments                                                                                                              
                                                                                                                                                                          
16.                                                              "Next-token predictor" is the wrong mental model for LLMs ( gmcgoldr.github.io )                         
     20 points by garrinm 3 hours ago | hide | 61 comments                                                                                                                
                                                                                                                                                                          
17.                                                              The Two Abstractions of System Design: Hide or Reduce ( muratbuffalo.blogspot.com )                      
     91 points by ubolonton_ 8 hours ago | hide | 10 comments                                                                                                             
                                                                                                                                                                          
18.                                                              Elevator of the Year Winner Modernization of the Metropolis Trust Building ( starelevator.com )          
     130 points by palashawas 11 hours ago | hide | 47 comments                                                                                                           
                                                                                                                                                                          
19.                                                              People that worked on the same idea for decades ( nityasnotes.com )                                      
     29 points by sebg 3 hours ago | hide | 15 comments                                                                                                                   
                                                                                                                                                                          
20.                                                              Getting Started with AT Protocol ( bnb.im )                                                              
     59 points by evakhoury 5 hours ago | hide | 22 comments                                                                                                              
                                                                                                                                                                          
21.                                                              Fermat's Last Theorem in Lean 4 ( github.com/anthropics )                                                
     8 points by aaraujo002 1 hour ago | hide | 2 comments                                                                                                                
                                                                                                                                                                          
22.                                                              Qwen 3.8 27B available on Cerebras at 1500 tokens/s ( cerebras.ai )                                      
     673 points by altertable 1 day ago | hide | 221 comments                                                                                                             
                                                                                                                                                                          
23.                                                              SubImage (YC W25) Is Hiring a Founding Engineer in SF ( ycombinator.com )                                
     8 hours ago | hide                                                                                                                                                   
                                                                                                                                                                          
24.                                                              GPT-6 Astra ( openai.com )                                                                               
     2124 points by kibae 1 day ago | hide | 1932 comments                                                                                                                
                                                                                                                                                                          
25.                                                              Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express' ( millersbookreview.com )             
     14 points by benbreen 2 hours ago | hide | 4 comments                                                                                                                
                                                                                                                                                                          
26.                                                              Google AI Mode shows same products 21.6% more expensive than traditional search ( productrise.app )      
     339 points by DeepLogin 8 hours ago | hide | 70 comments                                                                                                             
                                                                                                                                                                          
27.                                                              Deadpan Photography: Enjoying the Pretence ( photoni.st )                                                
     5 points by NaOH 1 hour ago | hide | 2 comments                                                                                                                      
                                                                                                                                                                          
28.                                                              The largest electric aircraft just flew [video] ( youtube.com )                                          
     456 points by feb 1 day ago | hide | 340 comments                                                                                                                    
                                                                                                                                                                          
29.                                                              Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region ( github.com/hawshemi )                   
     51 points by hawshemi 7 hours ago | hide | 63 comments                                                                                                               
                                                                                                                                                                          
30.                                                              Artificial beaver dams saw juvenile coho salmon survival rates go from 8% to 60% ( discoverwildlife.com )
     366 points by speckx 1 day ago | hide | 120 comments                                                                                                                 
                                                                                                                                                                          
                                                                                                                                                                          
     More                                                                                                                                                                 
                                                                                                                                                                          
                                                                                                                                                                          
                                                                                                                                                                          
                                                                                                                                                                          
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact                                                                                                 
                                                                                                                                                                          
Search:                                                                                                                                                                   
