Hacker News

Lean Game Server: A repo of learning games for Lean

Hacker News - Fri, 10/02/2026 - 11:09pm

Article URL: https://adam.math.hhu.de/

Comments URL: https://news.ycombinator.com/item?id=49941055

Points: 2

# Comments: 1

Categories: Hacker News

Hanami, Why?: Bits and Bobs

Hacker News - Fri, 10/02/2026 - 11:02pm
Categories: Hacker News

Ask HN: Will source code become expensive if developers stop using GitHub?

Hacker News - Fri, 10/02/2026 - 11:00pm

AI labs are buying operational data at high prices. Nobody is buying source code because it is so easy to get it off GitHub and similar platforms. I wonder whether labs would want to pay for using source code if people host their own version control systems.

Comments URL: https://news.ycombinator.com/item?id=49941022

Points: 3

# Comments: 1

Categories: Hacker News

Show HN: Fakeflac-go – A tool for quickly finding "fake" .flac files

Hacker News - Fri, 10/02/2026 - 10:55pm

This is my first real project; keep in mind I have no formal programming/CS background. It is hand-written; AI was only used for some conceptual questions.

Background: There's an epidemic of "fake" .flac audio files floating around: lossy audio masquerading as true lossless-quality audio. I rewrote the fakeflac.py utility in Go, adding multithreading to greatly improve performance, and increasing portability by embedding an optional WASM build of ffmpeg.

Limitations: the original fakeflac algorithm is a great starting point, but it fails to find a cutoff point with some (obviously very low quality) audio files and produces a false score of 100%. I added CLI flags to tune the cutoff detection, but future versions definitely need some work (less normalization? entirely new detection algorithm?)

Comments URL: https://news.ycombinator.com/item?id=49941004

Points: 1

# Comments: 0

Categories: Hacker News

How fast can a computer-use agent finish the job?

Hacker News - Fri, 10/02/2026 - 10:39pm

Article URL: https://cuaspeedrun.com/

Comments URL: https://news.ycombinator.com/item?id=49940930

Points: 2

# Comments: 0

Categories: Hacker News

Pages