Hackernews posts about Foreman

1. The Foreman Problem: Managing Teams When Your Best Worker Isn't Human (businessasusual.io)
   2 points by mooreds 12 days ago | discuss
2. JSON formatter Chrome plugin now closed and injecting adware (github.com)
   289 points by jkl5xx 24 days ago | 136 comments
3. Humpback whales are forming super-groups (www.bbc.com)
   206 points by andsoitis 13 days ago | 118 comments
4. A Milestone in Formalization: The Sphere Packing Problem in Dimension 8 (www.alphaxiv.org)
   34 points by measurablefunc 6 days ago | discuss
5. Show HN: Devicons, +1300 logos and icons in React, SVG, and icon format (devicons.io)
   19 points by vorillaz 6 days ago | 2 comments
6. Formal Verification in Any Language for Everybody (lean 4) (www.dev-log.me)
   14 points by wazHFsRy 26 days ago | 4 comments
7. NOAA forecaster on how this year's El Niño could shatter records (www.livescience.com)
   10 points by ukz 1 day ago | discuss
8. U.S. Considering Foreign Designs, Shipyards for New Navy Frigate, Destroyer Work (news.usni.org)
   6 points by JumpCrisscross 2 days ago | 1 comments
9. Show HN: Hexlock – Replace PII in text with fake data that has the same format (github.com)
   5 points by lemaudit 4 days ago | discuss
10. Giving LLMs a Formal Reasoning Engine for Code Analysis (yogthos.net)
    5 points by zdw 26 days ago | discuss
11. JSONLines – My Favourite Format (heather.cafe)
    3 points by vismit2000 18 days ago | 1 comments
12. KMRI: A chunk-based compression format for MRI-style 3D volumes (github.com)
    3 points by kiamehr 1 day ago | discuss
13. Show HN: AI-clean – strip unwanted formatting from text copied out of AI CLIs (ai-clean.dev)
    3 points by TheAndruu 6 days ago | discuss
14. Schematico discovers, generates, and serves formatted data (schematico.app)
    3 points by neeharchow 13 days ago | discuss
15. Replacing probabilistic AI with deterministic math and Dafny formal verification (gist.github.com)
    2 points by kevinkibeom 10 days ago | 1 comments
16. Reverse Engineering File Format Steganography Chain of the TeamPCP Attack (husseinmuhaisen.com)
    2 points by husseinmuhaisen 23 days ago | 1 comments
17. `Bun.Image` – fast builtin multi-format image processing library (twitter.com)
    2 points by burnrate about 4 hours ago | discuss
18. How did code handle 24-bit formats with video cards with bank-switched memory? (devblogs.microsoft.com)
    2 points by ingve 14 days ago | discuss
19. Yet Another Notes Project (YANP) plain-text, tool-agnostic format for PKM vaults (spinchange.github.io)
    2 points by spinchange 20 days ago | discuss
20. cmakefmt: A lightning-fast CMake file formatter (github.com)
    2 points by rmast 23 days ago | discuss
21. Formalizing the "generative crash" via inverse reinforcement learning
    2 points by abrahamhaskins 27 days ago | discuss
22. Soul.md – open file format for AI agent identity (github.com)
    1 points by afonie 16 days ago | 1 comments
23. Show HN: Phonetic Formatter – offline English text to IPA on iPhone and iPad (apps.apple.com)
    1 points by louischen 8 days ago | discuss
24. Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib (github.com)
    1 points by yamafaktory 18 days ago | discuss
25. Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib (github.com)
    1 points by yamafaktory 21 days ago | discuss
26. Show HN: Side-by-side comparison tools for US LLC formation,banking and payments (www.globalsolo.global)
    1 points by jettfu 26 days ago | discuss
27. P – Formal Modeling and Analysis of Distributed Systems from AWS (p-org.github.io)
    1 points by polskibus 28 days ago | discuss
28. Show HN: VidStudio, a browser based video editor that doesn't upload your files (vidstudio.app)
    301 points by kolx 13 days ago | 108 comments
29. Ask HN: Who wants to be hired? (May 2026)
    144 points by whoishiring 3 days ago | 400 comments
30. Show HN: A terminal spreadsheet editor with Vim keybindings (github.com)
    126 points by garritfra 7 days ago | 50 comments