Hackernews posts about Foreman

  1. Show HN: Foreman, a self-hosted LLM gateway for cost aware model routing (github.com)
    15 points by AndrewLiu96 26 days ago | 16 comments
  2. Show HN: Tennis Rallies Poster Generator (matchpoint.jeremygautrais.fr)
    2 points by tunafighter 24 days ago | discuss
  3. 30papers.com – Ilya's 30 essential ML papers, in a beginner friendly format (30papers.com)
    652 points by notmcrowley 27 days ago | 111 comments
  4. Introduction to Formal Verification with Lean Part 1 (hashcloak.com)
    244 points by badcryptobitch 15 days ago | 52 comments
  5. Show HN: Brolly, a plain-text weather forecast site (brolly.sh)
    227 points by jsax 9 days ago | 84 comments
  6. How proprietary formats have become Microsoft’s main tool for lock-in (blog.documentfoundation.org)
    160 points by cube00 14 days ago | 123 comments
  7. Fable created novel 4D splat format (adamraudonis.github.io)
    151 points by adamraudonis 30 days ago | 60 comments
  8. Why don't people use formal methods? (2019) (www.hillelwayne.com)
    128 points by Thom2503 4 days ago | 117 comments
  9. Unraveling the mysteries of habit formation (www.kyoto-u.ac.jp)
    120 points by hhs 1 day ago | 52 comments
  10. Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com)
    115 points by permute 6 days ago | 49 comments
  11. IMAX vs. IMAX 70mm: The difference between these two cinema formats (www.engadget.com)
    89 points by ksec 9 days ago | 144 comments
  12. SpecForge – A Platform for Authoring Formal Specifications (docs.imiron.io)
    80 points by agnishom 5 days ago | 12 comments
  13. FCC bans foreign-produced solar inverters, grid lockout begins today (pv-magazine-usa.com)
    65 points by xbmcuser 5 days ago | 48 comments
  14. How China Keeps Tabs on Foreigners (www.nytimes.com)
    46 points by adriand about 18 hours ago | 22 comments
  15. Handsum: An LQIP Image File Format (nigeltao.github.io)
    45 points by dmit 26 days ago | 9 comments
  16. An introduction to formal proof verification and the Curry-Howard Correspondence (max-amb.github.io)
    27 points by max-amb 9 days ago | 6 comments
  17. Show HN: Requirements Engineering with Formal Verification (fizzbee.ai)
    27 points by jayaprabhakar 26 days ago | 5 comments
  18. Show HN: Firemaps Spain – Live wildfire map with wind flow for ES and PT (firemapsspain.online)
    16 points by kalamarico 5 days ago | 11 comments
  19. An Introduction to Formal Logic(2020) [pdf] (logicmatters.net)
    15 points by o4c 9 days ago | 1 comments
  20. Show HN: cbxy – A format for creating guided comic book experiences (github.com)
    11 points by nawazgafar 14 days ago | 3 comments
  21. Show HN: Handsum: An LQIP Image File Format (nigeltao.github.io)
    11 points by nigeltao 26 days ago | discuss
  22. Western Europe, State Formation, and Genetic Pacification (journals.sagepub.com)
    9 points by like_any_other 9 days ago | 2 comments
  23. ESBMC-Arduino: Closing the Deployment Gap for Formal Verification (arxiv.org)
    7 points by Jimmc414 20 days ago | 2 comments
  24. Why Fortran Is Still Used (2021) (www.matecdev.com)
    7 points by leephillips 1 day ago | 1 comments
  25. Show HN: Forall – Spec-driven AI coding with formal verification (github.com)
    7 points by Nolan_Lwin 17 days ago | discuss
  26. Open Knowledge format v0.2 tackles agentic trust (cloud.google.com)
    6 points by alwillis 8 days ago | 2 comments
  27. Two month calendar format for pocket notebooks (ratfactor.com)
    6 points by meysamazad 12 days ago | discuss
  28. Formal verification might solve AI's review bottleneck (georgwiese.github.io)
    5 points by georgwiese 13 days ago | discuss
  29. AI Coding will Prevent Expertise – The need for friction in skill formation (larsfaye.com)
    4 points by larsfaye 10 days ago | 6 comments
  30. Aval: New open-source format for interactive video on the web (github.com)
    4 points by handfuloflight 18 days ago | 1 comments
More