Hackernews posts about Foreman

1. Where are vacation homes located in the US? (www.construction-physics.com)
   138 points by rufus_foreman 28 days ago | 98 comments
2. AGENTS.md – Open format for guiding coding agents (agents.md)
   822 points by ghuntley 4 days ago | 382 comments
3. Harmony: OpenAI's response format for its open-weight model series (github.com)
   374 points by meetpateltech 18 days ago | 50 comments
4. Code formatting comes to uv experimentally (pydevtools.com)
   357 points by tanelpoder 2 days ago | 245 comments
5. MapLibre Tile: A next generation geospatial format optimized for rendering (arxiv.org)
   157 points by mtremmel 6 days ago | 15 comments
6. Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover (imperialcollegelondon.github.io)
   142 points by ljlolel 3 days ago | 103 comments
7. Formal specs as sets of behaviors (surfingcomplexity.blog)
   29 points by Bogdanp 27 days ago | 3 comments
8. Show HN: Okapi – a metrics engine based on open data formats (github.com)
   14 points by kushal2048 3 days ago | 5 comments
9. What learning react won't teach you: Image Formats (idiallo.com)
   13 points by foxfired 8 days ago | 7 comments
10. How to store weather forecast data for fast time-series APIs (openmeteo.substack.com)
    11 points by tcumulus about 18 hours ago | discuss
11. Key neurophysiological mechanism in human memory formation identified (medicalxpress.com)
    7 points by PaulHoule 18 days ago | discuss
12. A macOS application to remove Apple's AEA encryption format
    4 points by TheiPhoneDev 23 days ago | discuss
13. Making of SARE: How I Designed a File Format for Encrypted Data From Scratch (zola.ink)
    3 points by znano 16 days ago | 2 comments
14. Show HN: Stof – Unified data format and language (docs.stof.dev)
    3 points by cj_cummings 4 days ago | 1 comments
15. Indirect Prompt Injections Exploit Context, Format, and Salience (www.fogel.dev)
    3 points by todsacerdoti 5 days ago | 1 comments
16. Specification and Formal Verification of Hardware–Software Contracts (www.computer.org)
    3 points by matt_d 4 days ago | discuss
17. Pure: A static analysis file format checker for Zip files (github.com)
    3 points by Bogdanp 11 days ago | discuss
18. ZIM (File Format) (en.wikipedia.org)
    3 points by teleforce 14 days ago | discuss
19. Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification (harmonic.fun)
    3 points by d2049 25 days ago | discuss
20. Firefox's optimized zip format: reading zip files quickly (taras.glek.net)
    3 points by fanf2 25 days ago | discuss
21. The Thiele Machine: A Formal Proof of a New Computational Model (github.com)
    2 points by ThieleMachine 2 days ago | 2 comments
22. Show HN: Hero 2.0 – Notion for formal docs (www.myhero.so)
    2 points by kevintouati 9 days ago | 1 comments
23. On Formal Methods Thinking in Computer Science Education (research.tue.nl)
    2 points by rramadass 18 days ago | 1 comments
24. Show HN: Translate subtitle files in any format and language using LLMs (github.com)
    2 points by theali 20 days ago | 1 comments
25. I Built a Modern CSS Formatter to Replace CSSComb (n8d.at)
    2 points by Birkoff 24 days ago | 1 comments
26. Show HN: SFOR – minimal, no-backtracking, typed data format (experimental) (github.com)
    2 points by brucekaushik 1 day ago | discuss
27. The tar archive format, its extensions, and why GNU tar extracts in quadratic ti (mort.coffee)
    2 points by fanf2 1 day ago | discuss
28. Stfg: A tool that converts SQLite to/from Git-friendly format (github.com)
    2 points by thunderbong 2 days ago | discuss
29. Does Prompt Formatting Have Any Impact on LLM Performance? (arxiv.org)
    2 points by ulrischa 14 days ago | discuss
30. "OpenAI Harmony Response Format": standardize CoT+tools via <|specialtokens|> (cookbook.openai.com)
    2 points by almatia 17 days ago | discuss