Hackernews posts about Foreman

  1. Show HN: Voice Rater – in-browser voice analysis (jitter, CPPS, formants) (voice-rater.com)
    3 points by hacksu 3 days ago | discuss
  2. Show HN: Transpose Spotify audio and isolate vocals/instruments in realtime (github.com)
    1 points by evanhu_ 24 days ago | discuss
  3. Formalizing Fermat's Last Theorem (www.anthropic.com)
    773 points by jlebar 13 days ago | 512 comments
  4. Reverse Engineering Unknown File Formats with ImHex (werwolv.net)
    256 points by carlos-menezes 17 days ago | 51 comments
  5. Agent memory as a file format (calpaterson.com)
    191 points by ingve 17 days ago | 96 comments
  6. OpenAI’s Navier-Stokes release included a Lean 4 formal proof (www.johndcook.com)
    179 points by ibobev 7 days ago | 178 comments
  7. YouTube Format IDs (gist.github.com)
    134 points by ksec 22 days ago | 84 comments
  8. Reverse engineering the storage format for an undocumented database (blog.glazer.ee)
    70 points by pintprint 13 days ago | 8 comments
  9. Using jq to format JSON on the clipboard (chris48s.github.io)
    61 points by stefanvdw1 15 days ago | 20 comments
  10. Decayfmt – a file format that corrupts itself a little every time you open it (github.com)
    55 points by unprovable 27 days ago | 30 comments
  11. Cpak – OCI application package format for Linux desktops, servers and devices (cpak.it)
    53 points by xlmnxp 4 days ago | 23 comments
  12. A formal degree and algorithmic problem-solving is the answer. Always has been (zaksa.zip)
    41 points by zaksa 26 days ago | 67 comments
  13. What we have learned at OpenShell applying formal methods to control AI agents (nvidia.github.io)
    39 points by alexwatson405 2 days ago | 11 comments
  14. Ask HN: Good large format (>20 inches) touchscreen E-Paper display options?
    31 points by foota 23 days ago | 12 comments
  15. Politically biased moderation drives echo chamber formation (for Reddit) (2024) (papers.ssrn.com)
    27 points by Karrot_Kream 14 days ago | 10 comments
  16. Formalization of the Solution to the Hopf Problem (github.com)
    22 points by robinhouston 21 days ago | 14 comments
  17. Show HN: Is this photo edited? Client-side image forensics (vajba.com)
    18 points by trivsamt 7 days ago | 7 comments
  18. Australia to bar foreign students from bringing partner/child while they study (www.channelnewsasia.com)
    15 points by Markoff about 3 hours ago | 3 comments
  19. Depression Stalls Formation of New Brain Cells (www.cuimc.columbia.edu)
    9 points by gmays 15 days ago | discuss
  20. Reverse Engineering Unknown File Formats with ImHex (werwolv.net)
    8 points by WerWolv 18 days ago | discuss
  21. Vortex: One Format for Any Shape (spiraldb.com)
    7 points by ConnorTsui20 about 19 hours ago | 1 comments
  22. Show HN: DaiDocs, AI memory as a plain-text file format, not a service (github.com)
    7 points by Amin_Rigi 2 days ago | 1 comments
  23. Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days (www.nature.com)
    6 points by sbulaev 10 days ago | 1 comments
  24. Opus (Audio Format) (en.wikipedia.org)
    6 points by tosh 11 days ago | 1 comments
  25. I'd like to take a moment to speak to you about the Adobe PSD format (2012) (github.com)
    6 points by consumer451 20 days ago | 1 comments
  26. Formal methods let you explore the corners (www.johndcook.com)
    6 points by Bluestein 7 days ago | discuss
  27. Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf] (raw.githubusercontent.com)
    5 points by kbr- 2 days ago | 1 comments
  28. All Smokescreen, No Fire in Data Center Foreign Influence Claims (www.techpolicy.press)
    5 points by cdrnsf 2 days ago | 1 comments
  29. Mergiraf: A Syntax-Aware Git Merge Driver for Various Languages and Formats (codeberg.org)
    5 points by birdculture 3 days ago | 1 comments
  30. Bun rewrite and FLT formalization had nearly identical resource usage
    5 points by Zsfe510asG 10 days ago | 1 comments
More