DAILY HACKER NEWS RANKING
2025-10-04
Final ranking · Hacker News daily top 30 ↗
- 01
ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
- 02
Zig builds are getting faster (mitchellh.com)
- 03
A comparison of Ada and Rust, using solutions to the Advent of Code (github.com/johnperry-math)
- 04
Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
- 05
Paged Out Issue #7 [pdf] (pagedout.institute)
- 06
Inkjet printer with DRM-free ink will be launched via a crowdfunding campaign (notebookcheck.net)
- 07
New antibiotic targets IBD and AI predicted how it would work (mcmaster.ca)
- 08
Blog Feeds (blogfeeds.net)
- 09
Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
- 10
Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
- 11
The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
- 12
Alibaba cloud FPGA: the $200 Kintex UltraScale+ (essenceia.github.io)
- 13
How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
- 14
Old Stockholm Telephone Tower (wikipedia.org)
- 15
Systems Programming with Zig (manning.com)
- 16
Self-hosting email like it's 1984 (maxadamski.com)
- 17
Effective context engineering for AI agents (anthropic.com)
- 18
Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com/lsartory)
- 19
Arenas in Rust (russellw.github.io)
- 20
$912 energy independence without red tape (sunboxlabs.com)
- 21
Toyota runs a car-hacking event to boost security (2024) (toyotatimes.jp)
- 22
The UK is still trying to backdoor encryption for Apple users (eff.org)
- 23
How I influence tech company politics as a staff software engineer (seangoedecke.com)
- 24
Show HN: Run – a CLI universal code runner I built while learning Rust (github.com/esubaalew)
- 25
Baseball durations after the pitch clock (leancrew.com)
- 26
Sora Update #1 (samaltman.com)
- 27
Five years as a startup CTO: How, why, and was it worth it? (2024) (distinctplace.com)
- 28
Binary Formats Gallery (kaitai.io)
- 29
Discrete Fourier Transform (nima101.github.io)
- 30
Flock's gunshot detection microphones will start listening for human voices (eff.org)