Hackernews posts about Foreman

1. 31
   

   newLLMs are making formal software verification feasible at a much larger scalewww.anthropic.com

   ▲ 473johnbender9d💬 312savesaved
2. 32
   

   newClassification of Finite Simple Groups Formalized in Leancfsg.axiommath.ai

   ▲ 243pfdietz5d💬 79savesaved
3. 33
   

   newAI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Mourathedataexchange.media

   ▲ 208datascientist3d💬 53savesaved
4. 34
   

   newShow HN: A proof-of-concept formalization of the IRS federal tax formsgithub.com

   ▲ 82RGS18114d💬 13savesaved
5. 35
   

   newShow HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edgegithub.com

   ▲ 38lastmjs2d💬 22savesaved
6. 36
   

   newShow HN: Aqueous Archive Formatgithub.com

   ▲ 6lifthrasiir4ddiscusssavesaved
7. 37
   

   newFormalitiespluralistic.net

   ▲ 2dgudkov18h💬 1savesaved
8. 38
   

   newShow HN: Let formal specs test AI implementationsgithub.com

   ▲ 1mrasu6hdiscusssavesaved
9. 39
   

   newLaunch HN: Respan (YC W24) – Open-source Rust AI gateway built around plugins

   ▲ 53Andydy2512d💬 24savesaved
10. 40
    

    newShow HN: Overtone – Transcribe, correct and cut captions for any screen shapegithub.com

    ▲ 45rvanderlinden3d💬 11savesaved
11. 41
    

    newShow HN: PewPewPew – Multiplayer Asteroids with deterministic rollback at 60hzpewpewpew.io

    ▲ 4Benjaminsen4hdiscusssavesaved
12. 42
    

    newShow HN: Janet LSP with VS Code Extensionmarketplace.visualstudio.com

    ▲ 3kulkarniniraj13hdiscusssavesaved
13. 43
    

    newShow HN: Hashsync – Deduplicate SSH streams against the receiver's filesgithub.com

    ▲ 2someplaceguy2ddiscusssavesaved
14. 44
    

    newShow HN: BeamDisk – High Performance iSCSI Initiator for macOSbeamdisk.app

    ▲ 1nulledy2d💬 2savesaved
15. 45
    

    newShow HN: Sheetgraph, AI agents can understand complex spreadsheetsgithub.com

    ▲ 1asharma3273ddiscusssavesaved
16. 46
    

    newShow HN: I remade Mortyr's 2093-1944 engine using my own programming languagegithub.com

    ▲ 1Panzerschrek25ddiscusssavesaved
17. 47
    

    newJust Noting That Your Candy Corn Is Made of Bug Secretionswww.theatlantic.com

    ▲ 30fortran772d💬 61savesaved
18. 48
    

    newDIY AI Lockpicking Robot: ESP32 and Claude AI Opens Any Lock [video]www.youtube.com

    ▲ 5fortran772hdiscusssavesaved
19. 49
    

    new'Elite North Korean hackers' blamed for $6.3B Binance hackwww.theguardian.com

    ▲ 89tosh2d💬 234savesaved

· edit