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

 1.                                                               Leanstral: Open-source agent for trustworthy coding and formal proof engineering ( mistral.ai )        
     478 points by Poudlardo 11 hours ago | hide | 97 comments                                                                                                           
                                                                                                                                                                         
 2.                                                               The unlikely story of Teardown Multiplayer ( voxagon.se )                                              
     36 points by lairv 3 hours ago | hide | 5 comments                                                                                                                  
                                                                                                                                                                         
 3.                                                               Meta’s renewed commitment to jemalloc ( fb.com )                                                       
     423 points by hahahacorn 14 hours ago | hide | 184 comments                                                                                                         
                                                                                                                                                                         
 4.                                                               The “small web” is bigger than you might think ( kevinboone.me )                                       
     402 points by speckx 15 hours ago | hide | 170 comments                                                                                                             
                                                                                                                                                                         
 5.                                                               Every layer of review makes you 10x slower ( apenwarr.ca )                                             
     189 points by greyface- 5 hours ago | hide | 82 comments                                                                                                            
                                                                                                                                                                         
 6.                                                               The American Healthcare Conundrum ( github.com/rexrodeo )                                              
     327 points by rexroad 15 hours ago | hide | 286 comments                                                                                                            
                                                                                                                                                                         
 7.                                                               US SEC preparing to scrap quarterly reporting requirement ( reuters.com )                              
     559 points by djoldman 8 hours ago | hide | 304 comments                                                                                                            
                                                                                                                                                                         
 8.                                                               Gitana 18: the new flying Ultim trimaran ( boatnews.com )                                              
     24 points by divbzero 3 hours ago | hide | 3 comments                                                                                                               
                                                                                                                                                                         
 9.                                                               Sci-Fi Short Film “There Is No Antimemetics Division” [video] ( youtube.com )                          
     68 points by Anon84 6 hours ago | hide | 14 comments                                                                                                                
                                                                                                                                                                         
10.                                                               Pyodide: a Python distribution based on WebAssembly ( github.com/pyodide )                             
     61 points by tosh 7 hours ago | hide | 21 comments                                                                                                                  
                                                                                                                                                                         
11.                                                               Kagi Translate now supports LinkedIn Speak as an output language ( kagi.com )                          
     408 points by smitec 3 hours ago | hide | 102 comments                                                                                                              
                                                                                                                                                                         
12.                                                               Monkey Island for Commodore 64 Ground Up ( pixeldust.se )                                              
     105 points by aresant 4 hours ago | hide | 25 comments                                                                                                              
                                                                                                                                                                         
13.                                                               My Journey to a reliable and enjoyable locally hosted voice assistant (2025) ( home-assistant.io )     
     366 points by Vaslo 19 hours ago | hide | 104 comments                                                                                                              
                                                                                                                                                                         
14.                                                               Beyond has dropped “meat” from its name and expanded its high-protein drink line ( plantbasednews.org )
     119 points by rmason 11 hours ago | hide | 217 comments                                                                                                             
                                                                                                                                                                         
15.                                                               Claude Tips for 3D Work ( davesnider.com )                                                             
     67 points by snide 4 hours ago | hide | 13 comments                                                                                                                 
                                                                                                                                                                         
16.                                                               Why I love FreeBSD ( dragas.net )                                                                      
     417 points by enz 21 hours ago | hide | 203 comments                                                                                                                
                                                                                                                                                                         
17.                                                               Show HN: Droeftoeter, a Terminal Coding Toy ( github.com/whtspc )                                      
     6 points by whtspc64 2 hours ago | hide | 3 comments                                                                                                                
                                                                                                                                                                         
18.                                                               Show HN: Oxyde – Pydantic-native async ORM with a Rust core ( github.com/mr-fatalyst )                 
     100 points by mr_Fatalyst 11 hours ago | hide | 51 comments                                                                                                         
                                                                                                                                                                         
19.                                                               In space, no one can hear you kernel panic (2020) ( increment.com )                                    
     59 points by p0u4a 9 hours ago | hide | 7 comments                                                                                                                  
                                                                                                                                                                         
20.                                                               Show HN: Thermal Receipt Printers – Markdown and Web UI ( github.com/sadreck )                         
     77 points by howlett 10 hours ago | hide | 27 comments                                                                                                              
                                                                                                                                                                         
21.                                                               Starlink Mini as a failover ( jackpearce.co.uk )                                                       
     250 points by jkpe 20 hours ago | hide | 185 comments                                                                                                               
                                                                                                                                                                         
22.                                                               AirPods Max 2 ( apple.com )                                                                            
     274 points by ssijak 19 hours ago | hide | 454 comments                                                                                                             
                                                                                                                                                                         
23.                                                               Jepsen: MariaDB Galera Cluster 12.1.2 ( jepsen.io )                                                    
     66 points by aphyr 4 hours ago | hide | 6 comments                                                                                                                  
                                                                                                                                                                         
24.                                                               Polymarket gamblers threaten to kill me over Iran missile story ( timesofisrael.com )                  
     1470 points by defly 20 hours ago | hide | 932 comments                                                                                                             
                                                                                                                                                                         
25.                                                               Show HN: Claude Code skills that build complete Godot games ( github.com/htdt )                        
     241 points by htdt 16 hours ago | hide | 145 comments                                                                                                               
                                                                                                                                                                         
26.                                                               Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025) ( arxiv.org )   
     107 points by wek 15 hours ago | hide | 59 comments                                                                                                                 
                                                                                                                                                                         
27.                                                               Lies I was told about collaborative editing, Part 2: Why we don't use Yjs ( moment.dev )               
     242 points by antics 1 day ago | hide | 111 comments                                                                                                                
                                                                                                                                                                         
28.                                                               AnswerThis (YC F25) Is Hiring ( ycombinator.com )                                                      
     11 hours ago | hide                                                                                                                                                 
                                                                                                                                                                         
29.                                                               Language model teams as distributed systems ( arxiv.org )                                              
     90 points by jryio 15 hours ago | hide | 39 comments                                                                                                                
                                                                                                                                                                         
30.                                                               The bureaucracy blocking the chance at a cure ( writingruxandrabio.com )                               
     125 points by item 17 hours ago | hide | 148 comments                                                                                                               
                                                                                                                                                                         
                                                                                                                                                                         
     More                                                                                                                                                                
                                                                                                                                                                         
                                                                                                                                                                         
                                                                                                                                                                         
                                                                                                                                                                         
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact                                                                                                
                                                                                                                                                                         
Search:                                                                                                                                                                  
