Hackernews posts about Foreman

  1. We're testing new ad formats in Search and expanding our Direct Offers pilot (blog.google)
    632 points by sofumel 29 days ago | 574 comments
  2. Formal methods and the future of programming (blog.janestreet.com)
    377 points by eatonphil 5 days ago | 126 comments
  3. Formal Verification Gates for AI Coding Loops (reubenbrooks.dev)
    144 points by pyrex41 30 days ago | 34 comments
  4. A blueprint for formal verification of Apple corecrypto (security.apple.com)
    120 points by hasheddan 27 days ago | 15 comments
  5. Formal Methods and the Future of Programming (blog.janestreet.com)
    107 points by nextos 7 days ago | 4 comments
  6. Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed (github.com)
    93 points by permute 14 days ago | 21 comments
  7. Magic the Gathering format: Fun 40 (fabiensanglard.net)
    84 points by ibobev 29 days ago | 100 comments
  8. Google proposes Open Knowledge Format based on Markdown (cloud.google.com)
    83 points by itherseed 6 days ago | 14 comments
  9. Splash Is a Colour Format (www.todepond.com)
    78 points by tobr 15 days ago | 116 comments
  10. Universal Memory Protocol – a shared format for agent memory (universalmemoryprotocol.io)
    41 points by edihasaj 12 days ago | 38 comments
  11. HTML is a native image format, hear me out (hmml.eddocu.com)
    40 points by yeargun 8 days ago | 56 comments
  12. Show HN: BibTeX-format, an Emacs compatable BibTeX formatter (gitlab.com)
    35 points by smaller-infinty 9 days ago | discuss
  13. Kore: Binary File Format Optimized for Modern Data Systems (Open Source) (github.com)
    12 points by arunkore2026 19 days ago | 9 comments
  14. LibreOffice attacks Euro-Office for defaulting to Microsoft Office formats (www.neowin.net)
    12 points by bundie 10 days ago | 1 comments
  15. Show HN: Formae now supports Kubernetes, Helm, .tfvars and a public plugin hub (github.com)
    9 points by discountelf 30 days ago | discuss
  16. Formal Methods and the Future of Programming (blog.janestreet.com)
    8 points by sebg 5 days ago | discuss
  17. Cheap code means formal verification is reasonable now (antfly.io)
    7 points by dovin 28 days ago | 1 comments
  18. A compressed-spring model of spiral galaxy formation (theeggandtherock.com)
    7 points by cobbzilla 19 days ago | discuss
  19. Show HN: Py-SQL-cleaner – format SQL embedded in Python strings (github.com)
    7 points by enumura 21 days ago | discuss
  20. Why Can't We Agree on a Plugin Format? (jasonrobert.dev)
    6 points by hulksmash5756 4 days ago | discuss
  21. Show HN: Transit-format (JSON/MessagePack) reader/writer in C (github.com)
    6 points by delaguardo 11 days ago | discuss
  22. What Ooxml Transitional Tells Us About Format Sovereignty (blog.documentfoundation.org)
    6 points by ptx 16 days ago | discuss
  23. Most Teachers Receive No Formal Guidance on AI Use (news.gallup.com)
    6 points by giuliomagnifico 23 days ago | discuss
  24. CLAW.md – open format for agentic cron jobs (clor.com)
    5 points by jacobgold 9 days ago | 1 comments
  25. Do GPUs Need New Tabular File Formats? (arxiv.org)
    5 points by matt_d 18 days ago | discuss
  26. Bird–Meertens Formalism (en.wikipedia.org)
    5 points by tosh 24 days ago | discuss
  27. Family Tree File Format Open Sourced by LDS Church (1984) (en.wikipedia.org)
    4 points by henryoman 3 days ago | 3 comments
  28. Show HN: AutoLISP in Rust/WASM, reused to script GLDF and IFC file formats (gldf.icu)
    4 points by holg 4 days ago | 3 comments
  29. Open Knowledge Format (cloud.google.com)
    4 points by berlianta 7 days ago | discuss
  30. Formal Methods and the Future of Programming (blog.janestreet.com)
    3 points by dcre 4 days ago | 2 comments
More