[HN Gopher] Archive (2025-10-04) - Page 1
       ___________________________________________________________________
        
 (DIR) ProofOfThought: LLM-based reasoning using Z3 theorem proving
       143 points by barthelomew (76 comments)
        
 (DIR) A comparison of Ada and Rust, using solutions to the Advent of Code
       172 points by andsoitis (111 comments)
        
 (DIR) Blog Feeds
       58 points by stevedsimkins (32 comments)
        
 (DIR) $912 energy independence without red tape
       62 points by nikodunk (40 comments)
        
 (DIR) Newton: physics simulation engine built upon NVIDIA Warp
       13 points by skilled (1 comments)
        
 (DIR) How to inject knowledge efficiently? Knowledge infusion scaling ...
       52 points by PaulHoule (9 comments)
        
 (DIR) Show HN: Run - a CLI universal code runner I built while learnin...
       44 points by esubaalew (10 comments)
        
 (DIR) Self-hosting email like it's 1984
       138 points by xmx98 (90 comments)
        
 (DIR) Clavier: An FPGA-based mechanical keyboard with USB hub and comm...
       39 points by zdw (2 comments)
        
 (DIR) Provable Scaling Laws of Feature Emergence from Learning Dynamic...
       13 points by sva_ (0 comments)
        
 (DIR) The UK is still trying to backdoor encryption for Apple users
       189 points by CharlesW (67 comments)
        
 (DIR) Earth was born dry until a cosmic collision made it a blue planet
       183 points by amichail (159 comments)
        
 (DIR) Alibaba cloud FPGA: the $200 Kintex UltraScale+
       235 points by signa11 (73 comments)
        
 (DIR) Paged Out Issue #7 [pdf]
       211 points by todsacerdoti (14 comments)
        
 (DIR) The Buchstabenmuseum Berlin is closing
       151 points by t-vi (46 comments)
        
 (DIR) Zig builds are getting faster
       400 points by emschwartz (190 comments)
        
 (DIR) Offline card payments should be possible no later than 1 July 2026
       464 points by sebiw (534 comments)
        
 (DIR) Thunderscan: A clever device transforms a printer into a scanner...
       123 points by dtgriscom (23 comments)
        
 (DIR) Show HN: Cobalt - a pixel-art painting studio for the Nintendo DS
       112 points by benbridle (20 comments)
        
 (DIR) Systems Programming with Zig
       152 points by signa11 (90 comments)
        
 (DIR) Go to the next page
        
       ___________________________________________________________________
       (page generated 2025-10-04 23:00 UTC)