Hacker Newsnew | past | comments | ask | show | jobs | submit | 2025-10-04login
Stories from October 4, 2025
Go back a day, month, or year. Go forward a day or month.
1.
ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
326 points by barthelomew 4 months ago | 175 comments
2.
Zig builds are getting faster (mitchellh.com)
434 points by emschwartz 4 months ago | 209 comments
3.
A comparison of Ada and Rust, using solutions to the Advent of Code (github.com/johnperry-math)
290 points by andsoitis 4 months ago | 253 comments
4.
Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
269 points by amichail 4 months ago | 271 comments
5.
Paged Out Issue #7 [pdf] (pagedout.institute)
305 points by todsacerdoti 4 months ago | 24 comments
6.
Inkjet printer with DRM-free ink will be launched via a crowdfunding campaign (notebookcheck.net)
553 points by mnmalst 4 months ago | 172 comments
7.
New antibiotic targets IBD and AI predicted how it would work (mcmaster.ca)
205 points by KLK2019 4 months ago | 85 comments
8.
Blog Feeds (blogfeeds.net)
226 points by stevedsimkins 4 months ago | 73 comments
9.
Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
164 points by dtgriscom 4 months ago | 36 comments
10.
Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
174 points by benbridle 4 months ago | 31 comments
11.
The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
204 points by t-vi 4 months ago | 69 comments
12.
Alibaba cloud FPGA: the $200 Kintex UltraScale+ (essenceia.github.io)
257 points by signa11 4 months ago | 99 comments
13.
How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
105 points by PaulHoule 4 months ago | 35 comments
14.
Old Stockholm Telephone Tower (wikipedia.org)
168 points by ZeljkoS 4 months ago | 52 comments
15.
Systems Programming with Zig (manning.com)
166 points by signa11 4 months ago | 146 comments
16.
Self-hosting email like it's 1984 (maxadamski.com)
269 points by xmx98 4 months ago | 182 comments
17.
Effective context engineering for AI agents (anthropic.com)
148 points by epenson 4 months ago | 32 comments
18.
Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com/lsartory)
106 points by zdw 4 months ago | 38 comments
19.
Arenas in Rust (russellw.github.io)
134 points by welovebunnies 4 months ago | 114 comments
20.
$912 energy independence without red tape (sunboxlabs.com)
209 points by nikodunk 4 months ago | 163 comments
21.
Toyota runs a car-hacking event to boost security (2024) (toyotatimes.jp)
135 points by octagons 4 months ago | 110 comments
22.
The UK is still trying to backdoor encryption for Apple users (eff.org)
394 points by CharlesW 4 months ago | 158 comments
23.
How I influence tech company politics as a staff software engineer (seangoedecke.com)
353 points by facundo_olano 4 months ago | 205 comments
24.
Show HN: Run – a CLI universal code runner I built while learning Rust (github.com/esubaalew)
96 points by esubaalew 4 months ago | 39 comments
25.
Baseball durations after the pitch clock (leancrew.com)
71 points by zdw 4 months ago | 108 comments
26.
Sora Update #1 (samaltman.com)
137 points by davidbarker 4 months ago | 177 comments
27.
Five years as a startup CTO: How, why, and was it worth it? (2024) (distinctplace.com)
155 points by mooreds 4 months ago | 114 comments
28.
Binary Formats Gallery (kaitai.io)
117 points by vitalnodo 4 months ago | 25 comments
29.
Discrete Fourier Transform (nima101.github.io)
92 points by pykello 4 months ago | 24 comments
30.
Flock's gunshot detection microphones will start listening for human voices (eff.org)
355 points by hhs 4 months ago | 256 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: