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

 1.                                                                 Formalizing Fermat's Last Theorem ( anthropic.com )                                                  
     238 points by jlebar 1 hour ago | hide | 127 comments                                                                                                               
                                                                                                                                                                         
 2.                                                                 Discovery of a new OpenAI agent message board ( collusion.wiki )                                     
     1261 points by moultano 8 hours ago | hide | 1025 comments                                                                                                          
                                                                                                                                                                         
 3.                                                                 Shutting down our public encrypted DNS ( mullvad.net )                                               
     118 points by mywacaday 1 hour ago | hide | 29 comments                                                                                                             
                                                                                                                                                                         
 4.                                                                 Can AI design circuit boards yet? ( eebench.org )                                                    
     34 points by iopapa 49 minutes ago | hide | 20 comments                                                                                                             
                                                                                                                                                                         
 5.                                                                 Show HN: Open-Source eInk Bike Computer ( opentrailpaper.com )                                       
     150 points by stingrae 3 hours ago | hide | 54 comments                                                                                                             
                                                                                                                                                                         
 6.                                                                 Government Rails Site Hit Hours After CVE Patch ( rietta.com )                                       
     35 points by rietta 1 hour ago | hide | 9 comments                                                                                                                  
                                                                                                                                                                         
 7.                                                                 The Rust React Compiler is now native in Vite ( master.dev )                                         
     58 points by acusti 2 hours ago | hide | 12 comments                                                                                                                
                                                                                                                                                                         
 8.                                                                 An open DNS recursive service for free security and high privacy ( quad9.net )                       
     7 points by mooreds 25 minutes ago | hide | discuss                                                                                                                 
                                                                                                                                                                         
 9.                                                                 IBM Bob ( ibm.com )                                                                                  
     184 points by artpar 7 hours ago | hide | 212 comments                                                                                                              
                                                                                                                                                                         
10.                                                                 deSEC – Free Secure DNS ( desec.io )                                                                 
     75 points by gurjeet 4 hours ago | hide | 30 comments                                                                                                               
                                                                                                                                                                         
11.                                                                 Solving the Jane Street reverse engineering challenge ( jestoph.com )                                
     351 points by anitil 10 hours ago | hide | 79 comments                                                                                                              
                                                                                                                                                                         
12.                                                                 Resources to Get Good at Soldering?                                                                  
     53 points by tosmatos 2 hours ago | hide | 36 comments                                                                                                              
                                                                                                                                                                         
13.                                                                 Project HydraFusion: Frontier quality via multi-model orchestration ( github.blog )                  
     44 points by qainsights 4 hours ago | hide | 25 comments                                                                                                            
                                                                                                                                                                         
14.                                                                 Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive ( torrentfreak.com )
     199 points by speckx 3 hours ago | hide | 110 comments                                                                                                              
                                                                                                                                                                         
15.                                                                 Show HN: TERMy – A fast terminal assistant that does not use LLMs ( github.com/gioblu )              
     56 points by gioscarab 3 hours ago | hide | 22 comments                                                                                                             
                                                                                                                                                                         
16.                                                                 Corporate America is getting hooked on open-source AI ( nytimes.com )                                
     210 points by aaraujo002 5 hours ago | hide | 191 comments                                                                                                          
                                                                                                                                                                         
17.                                                                 People that worked on the same idea for decades ( nityasnotes.com )                                  
     31 points by sebg 3 hours ago | hide | 15 comments                                                                                                                  
                                                                                                                                                                         
18.                                                                 Elevator of the Year: Modernization of the Metropolis Trust Building ( starelevator.com )            
     130 points by palashawas 11 hours ago | hide | 47 comments                                                                                                          
                                                                                                                                                                         
19.                                                                 Ok, but does it scale? ( spacetimedb.com )                                                           
     98 points by theanonymousone 7 hours ago | hide | 61 comments                                                                                                       
                                                                                                                                                                         
20.                                                                 Deadpan Photography: Enjoying the Pretence ( photoni.st )                                            
     6 points by NaOH 1 hour ago | hide | 2 comments                                                                                                                     
                                                                                                                                                                         
21.                                                                 Getting Started with AT Protocol ( bnb.im )                                                          
     61 points by evakhoury 6 hours ago | hide | 22 comments                                                                                                             
                                                                                                                                                                         
22.                                                                 "Next-token predictor" is the wrong mental model for LLMs ( gmcgoldr.github.io )                     
     20 points by garrinm 3 hours ago | hide | 61 comments                                                                                                               
                                                                                                                                                                         
23.                                                                 SubImage (YC W25) Is Hiring a Founding Engineer in SF ( ycombinator.com )                            
     8 hours ago | hide                                                                                                                                                  
                                                                                                                                                                         
24.                                                                 The Two Abstractions of System Design: Hide or Reduce ( muratbuffalo.blogspot.com )                  
     92 points by ubolonton_ 8 hours ago | hide | 10 comments                                                                                                            
                                                                                                                                                                         
25.                                                                 Fermat's Last Theorem in Lean 4 ( github.com/anthropics )                                            
     9 points by aaraujo002 1 hour ago | hide | 3 comments                                                                                                               
                                                                                                                                                                         
26.                                                                 Qwen 3.8 27B available on Cerebras at 1500 tokens/s ( cerebras.ai )                                  
     674 points by altertable 1 day ago | hide | 221 comments                                                                                                            
                                                                                                                                                                         
27.                                                                 GPT-6 Astra ( openai.com )                                                                           
     2125 points by kibae 1 day ago | hide | 1932 comments                                                                                                               
                                                                                                                                                                         
28.                                                                 Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express' ( millersbookreview.com )         
     14 points by benbreen 3 hours ago | hide | 4 comments                                                                                                               
                                                                                                                                                                         
29.                                                                 Google AI Mode shows same products 21.6% more expensive than traditional search ( productrise.app )  
     340 points by DeepLogin 8 hours ago | hide | 70 comments                                                                                                            
                                                                                                                                                                         
30.                                                                 The largest electric aircraft just flew [video] ( youtube.com )                                      
     456 points by feb 1 day ago | hide | 341 comments                                                                                                                   
                                                                                                                                                                         
                                                                                                                                                                         
     More                                                                                                                                                                
                                                                                                                                                                         
                                                                                                                                                                         
                                                                                                                                                                         
                                                                                                                                                                         
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact                                                                                                
                                                                                                                                                                         
Search:                                                                                                                                                                  
