Hackernews posts about Foreman

1. Foreman: A secure self-hosted agent orchestrator (www.palkeo.com)
   2 points by palkeo 15 days ago | discuss
2. Show HN: Conkoa AI – Voice-First Slack for Construction (conkoa.ai)
   4 points by harness_up 10 days ago | 1 comments
3. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
   780 points by Poudlardo 4 days ago | 191 comments
4. Pentagon formally labels Anthropic supply-chain risk (www.wsj.com)
   432 points by klausa 15 days ago | 291 comments
5. Cannabinoids remove plaque-forming Alzheimer's proteins from brain cells (2016) (www.salk.edu)
   178 points by anjel 5 days ago | 113 comments
6. Why the KeePass format should be based on SQLite (mketab.org)
   151 points by wps 24 days ago | 114 comments
7. Terence Tao: Formalizing a proof in Lean using Claude Code [video] (www.youtube.com)
   55 points by helloplanets 11 days ago | 1 comments
8. Show HN: I built a P2P network where AI agents publish formally verified science
   39 points by FranciscoAngulo about 22 hours ago | 8 comments
9. The modern formatting addiction in writing (dynomight.net)
   38 points by surprisetalk 8 days ago | 22 comments
10. Linux Foundation Announces the Formation of the React Foundation (www.linuxfoundation.org)
    6 points by Tomte 24 days ago | discuss
11. Ask HN: How are people forecasting AI API costs for agent workflows?
    5 points by Barathkanna 9 days ago | 23 comments
12. Show HN: Replacing $50k manual forensic audits with a deterministic .py engine
    5 points by cd_mkdir 6 days ago | 1 comments
13. Formalizing a proof in Lean using Claude Code [video] (www.youtube.com)
    5 points by ironyman 12 days ago | discuss
14. Show HN: Buda – AI agents forming a company (Claws running a startup) (buda.im)
    4 points by chepy 4 days ago | 1 comments
15. Show HN: A GFM+GF-MathJax/Latex HTML formatting adventure (github.com)
    4 points by ycombiredd 20 days ago | 1 comments
16. Show HN: Compressor.app – Compress almost any file format (compressor.app)
    4 points by matylla 7 days ago | discuss
17. Text formats are everywhere. Why? (lemire.me)
    4 points by signa11 8 days ago | discuss
18. Formal Methods for Rust Unsafe (antithesis.com)
    4 points by wwilson 22 days ago | discuss
19. JSON-up: Stop scattering "if" checks for old JSON formats across your codebase (github.com)
    3 points by mrspence 19 days ago | 1 comments
20. Ask HN: What's your strategy for inconsistent date formats?
    2 points by Gyanangshu 2 days ago | 5 comments
21. RWKV-7 beats Llama 3.2 with 3x fewer training tokens and formally exceeds TC^0 (ai.gopubby.com)
    2 points by Aedelon 25 days ago | 3 comments
22. Show HN: SkillFortify, a formal verification for AI agent skills (github.com)
    2 points by varunpratap369 22 days ago | 2 comments
23. Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) (github.com)
    2 points by varunpratap369 19 days ago | 1 comments
24. Change your default date format to the least ambiguous (practicalbetterments.com)
    2 points by surprisetalk 24 days ago | 1 comments
25. Germany has just made the standard Open Document Format (ODF) mandatory (blog.documentfoundation.org)
    2 points by zutto 6 minutes ago | discuss
26. Text formats are everywhere. Why? – Daniel Lemire's blog (lemire.me)
    2 points by tomstig about 15 hours ago | discuss
27. Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf] (assets.amazon.science)
    2 points by badcryptobitch 1 day ago | discuss
28. Formalization of QFT? (www.math.columbia.edu)
    2 points by jjgreen 2 days ago | discuss
29. Intel Formally Ends Four of Their Go Language Open-Source Projects (www.phoronix.com)
    2 points by LorenDB 24 days ago | discuss
30. Lite³: A JSON-Compatible Zero-Copy Serialization Format (lite3.io)
    2 points by woadwarrior01 27 days ago | discuss