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

 1.                                                                   The foundations of a provably secure operating system (PSOS) (1979) [pdf] ( sri.com )                 
     41 points by rurban 1 hour ago | hide | 12 comments                                                                                                                    
                                                                                                                                                                            
 2.                                                                   GenCAD ( gencad.github.io )                                                                           
     348 points by dagenix 13 hours ago | hide | 87 comments                                                                                                                
                                                                                                                                                                            
 3.                                                                   Crystals found inside wreckage from the first nuclear bomb test ( scientificamerican.com )            
     92 points by jumploops 8 hours ago | hide | 34 comments                                                                                                                
                                                                                                                                                                            
 4.                                                                   Where Are the Vibecoded Photoshops? ( indiepixel.de )                                                 
     121 points by gizmo64k 2 hours ago | hide | 102 comments                                                                                                               
                                                                                                                                                                            
 5.                                                                   It is time to give up the dualism introduced by the debate on consciousness ( noemamag.com )          
     114 points by ahalbert4 8 hours ago | hide | 282 comments                                                                                                              
                                                                                                                                                                            
 6.                                                                   I turned a $80 RK3562 Android tablet into a Debian Linux workstation ( github.com/tech4bot )          
     381 points by tech4bot 22 hours ago | hide | 174 comments                                                                                                              
                                                                                                                                                                            
 7.                                                                   Ask an Astronaut: 333 hours of Q&A footage with astronauts ( issinrealtime.org )                      
     157 points by gaws 14 hours ago | hide | 13 comments                                                                                                                   
                                                                                                                                                                            
 8.                                                                   Jank now has its own custom IR ( jank-lang.org )                                                      
     157 points by DASD 14 hours ago | hide | 29 comments                                                                                                                   
                                                                                                                                                                            
 9.                                                                   Multiple commencement speakers booed for AI comments during graduation speeches ( nbcnews.com )       
     92 points by wrxd 2 hours ago | hide | 67 comments                                                                                                                     
                                                                                                                                                                            
10.                                                                   Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep ( github.com/minishlab )
     349 points by Bibabomas 19 hours ago | hide | 116 comments                                                                                                             
                                                                                                                                                                            
11.                                                                   Prolog Coding Horror ( metalevel.at )                                                                 
     150 points by RohanAdwankar 14 hours ago | hide | 61 comments                                                                                                          
                                                                                                                                                                            
12.                                                                   NASA still maintains some of the Voyager spacecraft code from the 70s era ( spacedaily.com )          
     9 points by redbell 45 minutes ago | hide | 3 comments                                                                                                                 
                                                                                                                                                                            
13.                                                                   Profunctor Equipment in Haskell ( bartoszmilewski.com )                                               
     26 points by g0xA52A2A 7 hours ago | hide | 4 comments                                                                                                                 
                                                                                                                                                                            
14.                                                                   kharp – k version 3 Language Interpreter in C# ( github.com/erufian )                                 
     37 points by tosh 6 hours ago | hide | 4 comments                                                                                                                      
                                                                                                                                                                            
15.                                                                   WriteUp: 16 Bytes of x86 that turn Matrix rain into sound ( 111mb.de )                                
     151 points by HellMood 12 hours ago | hide | 31 comments                                                                                                               
                                                                                                                                                                            
16.                                                                   A Good Lemma Is Worth a Thousand Theorems (2007) ( rutgers.edu )                                      
     66 points by susam 11 hours ago | hide | 13 comments                                                                                                                   
                                                                                                                                                                            
17.                                                                   Tesla Solar Roof is on life support as it pivot to panels ( electrek.co )                             
     275 points by celsoazevedo 1 day ago | hide | 276 comments                                                                                                             
                                                                                                                                                                            
18.                                                                   Why is Google Maps back to showing old satellite images of Altadena? ( reddit.com )                   
     35 points by tgrowazay 3 hours ago | hide | 17 comments                                                                                                                
                                                                                                                                                                            
19.                                                                   Magical Realism: “Northern Exposure” 25 Years Later (2015) ( rogerebert.com )                         
     119 points by walterbell 17 hours ago | hide | 52 comments                                                                                                             
                                                                                                                                                                            
20.                                                                   Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely ( idahonews.com )      
     206 points by ChrisArchitect 13 hours ago | hide | 204 comments                                                                                                        
                                                                                                                                                                            
21.                                                                   Build a Radio Wave Detector with Balls of Aluminum Foil ( wired.com )                                 
     17 points by Brajeshwar 7 hours ago | hide | 5 comments                                                                                                                
                                                                                                                                                                            
22.                                                                   CUDA Books ( github.com/alternbits )                                                                  
     201 points by dariubs 22 hours ago | hide | 51 comments                                                                                                                
                                                                                                                                                                            
23.                                                                   Graphing Scientific Calculator Based on the ESP32 ( github.com/el-enderj )                            
     6 points by uticus 3 hours ago | hide | 1 comment                                                                                                                      
                                                                                                                                                                            
24.                                                                   Hindenburg’s Smoking Room ( airships.net )                                                            
     208 points by crescit_eundo 22 hours ago | hide | 166 comments                                                                                                         
                                                                                                                                                                            
25.                                                                   Prolog Basics Explained with Pokémon ( unplannedobsolescence.com )                                    
     258 points by birdculture 1 day ago | hide | 42 comments                                                                                                               
                                                                                                                                                                            
26.                                                                   I don't think AI will make your processes go faster ( frederickvanbrabant.com )                       
     609 points by TheEdonian 23 hours ago | hide | 410 comments                                                                                                            
                                                                                                                                                                            
27.                                                                   Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries ( science.org )          
     71 points by gmays 16 hours ago | hide | 30 comments                                                                                                                   
                                                                                                                                                                            
28.                                                                   High-Entropy Alloy ( wikipedia.org )                                                                  
     139 points by leonidasrup 23 hours ago | hide | 23 comments                                                                                                            
                                                                                                                                                                            
29.                                                                   Trials on veterans suggest ibogaine could provide a new treatment for PTSD ( bbc.com )                
     99 points by bushwart 23 hours ago | hide | 107 comments                                                                                                               
                                                                                                                                                                            
30.                                                                   Show HN: Mezz, a curl-able WiFi sandbox for IoT pentesting ( github.com/abgeo )                       
     22 points by ABGEO 9 hours ago | hide | 8 comments                                                                                                                     
                                                                                                                                                                            
                                                                                                                                                                            
     More                                                                                                                                                                   
                                                                                                                                                                            
                                                                                                                                                                            
                                                                                                                                                                            
                                                                                                                                                                            
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact                                                                                                   
                                                                                                                                                                            
Search:                                                                                                                                                                     
