Hackernews posts about Foreman

1. How AI assistance impacts the formation of coding skills (www.anthropic.com)
   471 points by vismit2000 4 days ago | 345 comments
2. MapLibre Tile: a modern and efficient vector tile format (maplibre.org)
   432 points by todsacerdoti 8 days ago | 92 comments
3. How AI impacts skill formation (arxiv.org)
   235 points by northfield27 4 days ago | 5 comments
4. U.S. Formally Withdraws from World Health Organization (www.nytimes.com)
   129 points by reaperducer 11 days ago | 161 comments
5. Libbbf: Bound Book Format, A high-performance container for comics and manga (github.com)
   106 points by zdw 13 days ago | 65 comments
6. Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless (www.lesswrong.com)
   94 points by OgsyedIE 20 days ago | 44 comments
7. AV1 Image File Format Specification Gets an Upgrade with AVIF v1.2.0 (aomedia.org)
   65 points by breve 17 days ago | 5 comments
8. Show HN: Extracting React apps from Figma Make's undocumented binary format (albertsikkema.com)
   55 points by albertsikkema 11 days ago | 24 comments
9. Germany issued formal travel advisory for US (www.newsweek.com)
   42 points by testing22321 6 days ago | 2 comments
10. Independent Guest Virtual Machine (IGVM) File Format (github.com)
    28 points by ingve 19 days ago | 9 comments
11. Corporation For Public Broadcasting formally dissolves after funding cuts (www.theguardian.com)
    17 points by pdpi 29 days ago | 6 comments
12. AI assistance impacts the formation of coding skills (www.anthropic.com)
    11 points by pretext 5 days ago | 1 comments
13. India gives 20-year tax holiday to foreign firms using local data centres (www.reuters.com)
    11 points by JumpCrisscross 2 days ago | discuss
14. Show HN: Is AI hijacking your intent? A formal control algorithm to measure it
    10 points by daikikadowaki 23 days ago | 49 comments
15. Why Rust solves a Problem we no longer have – use AI and Formal Proofs instead (rochuskeller.substack.com)
    8 points by Rochus 21 days ago | 7 comments
16. Formally Verifying PBS Kids with Lean4 (www.shadaj.me)
    7 points by shadaj about 23 hours ago | discuss
17. Kreuzberg: Extract text and metadata from a wide range of file formats (github.com)
    7 points by thunderbong 23 days ago | discuss
18. No More Hidden Changes: How MySQL 9.6 Transforms Foreign Key Management (blogs.oracle.com)
    6 points by ksec 3 days ago | 1 comments
19. EU launches formal investigation of xAI over Grok's sexualized deepfakes (arstechnica.com)
    6 points by ndsipa_pomu 8 days ago | 1 comments
20. Reverse Engineering Binary File Formats with AI (blog.kiney.de)
    6 points by kiney 17 days ago | 1 comments
21. UK regulator Ofcom opens a formal investigation into X over CSAM scandal (www.engadget.com)
    6 points by mikhael 22 days ago | 1 comments
22. Why are so many images now in unusual file formats?
    5 points by paulpauper 22 days ago | 7 comments
23. Show HN: My attempt to formalize "Buddhist" reality
    5 points by arthurnogman 19 days ago | 3 comments
24. Gwtar: A static efficient single-file HTML format – Gwern.net (gwern.net)
    5 points by Antibabelic 8 days ago | discuss
25. Turkey's Foreign Policy Shift from US-Russia-China Balance to Iran Mediation (medium.com)
    4 points by problemos about 17 hours ago | discuss
26. Show HN: Formatter Workspace – A multi-pane JSON/XML inspector and formatter (www.formatter-workspace.com)
    4 points by maggie-r-m-88 5 days ago | discuss
27. Gwtar: A static efficient single-file HTML format (gwern.net)
    4 points by gildas 8 days ago | discuss
28. Lockfile Format Design and Tradeoffs (nesbitt.io)
    4 points by 7777777phil 16 days ago | discuss
29. Show HN: Lance – Open lakehouse format for multimodal AI datasets (github.com)
    4 points by criexe 16 days ago | discuss
30. Choosing a GGUF Model: K-Quants, IQ Variants, and Legacy Formats (kaitchup.substack.com)
    4 points by theanonymousone 24 days ago | discuss