Hackernews posts about Foreman

1. R. Crumb: Just because you're paranoid, doesn't mean they're not out to get you (laist.com)
   5 points by rufus_foreman 18 days ago | 2 comments
2. How Printing Presses Ignited the First Information Revolution (reason.com)
   2 points by rufus_foreman 24 days ago | discuss
3. Petition to formally recognize open source work as civic service in Germany (www.openpetition.de)
   614 points by PhilippGille 15 days ago | 139 comments
4. HTML as an Accessible Format for Papers (2023) (info.arxiv.org)
   262 points by el3ctron 7 days ago | 139 comments
5. SQLite as an Application File Format (sqlite.org)
   178 points by gjvc 15 days ago | 99 comments
6. US could ask foreign tourists for five-year social media history before entry (www.bbc.co.uk)
   129 points by neversaydie 3 days ago | 272 comments
7. Show HN: MTXT – Music Text Format (github.com)
   124 points by daninet 13 days ago | 39 comments
8. Vortex: An extensible, state of the art columnar file format (github.com)
   115 points by tanelpoder 28 days ago | 30 comments
9. Durin is a library for reading and writing the Dwarf debugging format (github.com)
   75 points by mooreds 11 days ago | 20 comments
10. Formally verifying Advent of Code using Dijkstra's program construction (haripm.com)
    57 points by seafoamteal 9 days ago | 8 comments
11. Top MAGA Influencers on X/Twitter Accidentally Unmasked as Foreign Trolls (www.thedailybeast.com)
    51 points by throw0101a 20 days ago | 9 comments
12. Distributed ID formats are architectural commitments, not just data types (piljoong.dev)
    38 points by mnahkies 7 days ago | 9 comments
13. KJS: A Complete Formal Semantics of JavaScript (github.com)
    18 points by andsoitis 6 days ago | 3 comments
14. US plans to scrutinize foreign tourists' social media history (www.nytimes.com)
    13 points by anigbrowl 3 days ago | 9 comments
15. Show HN: CTON: JSON-compatible, token-efficient text format for LLM prompts (github.com)
    13 points by daviducolo 23 days ago | 1 comments
16. Trump to make all foreign tourists provide five years of social media history (www.lbc.co.uk)
    12 points by chrisjj 3 days ago | 10 comments
17. Why ID Format Matters More Than ID Generation (Lessons from Production) (piljoong.dev)
    10 points by fs_software 6 days ago | 1 comments
18. Prediction: AI will make formal verification go mainstream (martin.kleppmann.com)
    9 points by raphlinus 4 days ago | 2 comments
19. Linux Foundation Announces the Formation of the Agentic AI Foundation (aaif.io)
    8 points by bretpiatt 3 days ago | 2 comments
20. Trump EPA Nearly Doubles Amount of Formaldehyde Considered Safe to Inhale (www.propublica.org)
    7 points by hn_acker 4 days ago | 1 comments
21. Formalization of Erdős Problems (xenaproject.wordpress.com)
    7 points by kevinbuzzard 8 days ago | 1 comments
22. OASIS approves Open Document Format (ODF) v1.4 standard (www.oasis-open.org)
    6 points by jrepinc 9 days ago | discuss
23. State formation: The role of grain, intensive agriculture, taxation and writing (www.nature.com)
    6 points by bookofjoe 14 days ago | discuss
24. AI will make formal verification go mainstream (martin.kleppmann.com)
    5 points by mau 3 days ago | 4 comments
25. A Billion-Barrel Oil Glut Is Forming at Sea (www.wsj.com)
    5 points by thelastgallon 1 day ago | discuss
26. KEF: A file format for easy encryption/decryption of data (github.com)
    4 points by tpkarras 9 days ago | 2 comments
27. AI Output Format Catalog – 116 standardized tags for predictable LLM responses (github.com)
    4 points by kapodeistria 5 days ago | 1 comments
28. Oxfmt: Oxc Formatter Alpha (oxc.rs)
    4 points by svenvNL 11 days ago | discuss
29. Rust for Linux Kernel Co-Maintainer Formally Steps Down (www.phoronix.com)
    4 points by bluebirdfirewin 18 days ago | discuss
30. ELF Object File Format (gabi.xinuos.com)
    4 points by ingve 21 days ago | discuss