Hacker News

1.		ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
		130 points by barthelomew 3 hours ago \| hide \| 71 comments
2.		A comparison of Ada and Rust, using solutions to the Advent of Code (github.com/johnperry-math)
		161 points by andsoitis 6 hours ago \| hide \| 100 comments
3.		Blog Feeds (blogfeeds.net)
		38 points by stevedsimkins 2 hours ago \| hide \| 18 comments
4.		Show HN: Run – a CLI universal code runner I built while learning Rust (github.com/esubaalew)
		42 points by esubaalew 3 hours ago \| hide \| 10 comments
5.		How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
		45 points by PaulHoule 4 hours ago \| hide \| 4 comments
6.		Self-hosting email like it's 1984 (maxadamski.com)
		126 points by xmx98 7 hours ago \| hide \| 75 comments
7.		$912 energy independence without red tape (sunboxlabs.com)
		18 points by nikodunk 37 minutes ago \| hide \| 3 comments
8.		Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com/lsartory)
		28 points by zdw 4 hours ago \| hide \| 2 comments
9.		The UK is still trying to backdoor encryption for Apple users (eff.org)
		150 points by CharlesW 1 hour ago \| hide \| 47 comments
10.		Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
		178 points by amichail 13 hours ago \| hide \| 152 comments
11.		Five years as a startup CTO: How, why, and was it worth it? (2024) (distinctplace.com)
		101 points by mooreds 6 hours ago \| hide \| 70 comments
12.		Alibaba cloud FPGA: the $200 Kintex UltraScale+ (essenceia.github.io)
		229 points by signa11 15 hours ago \| hide \| 71 comments
13.		Paged Out Issue #7 [pdf] (pagedout.institute)
		207 points by todsacerdoti 11 hours ago \| hide \| 14 comments
14.		The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
		146 points by t-vi 10 hours ago \| hide \| 46 comments
15.		Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
		120 points by dtgriscom 9 hours ago \| hide \| 23 comments
16.		Zig builds are getting faster (mitchellh.com)
		395 points by emschwartz 23 hours ago \| hide \| 187 comments
17.		Offline card payments should be possible no later than 1 July 2026 (riksbank.se)
		461 points by sebiw 1 day ago \| hide \| 530 comments
18.		Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
		105 points by benbridle 12 hours ago \| hide \| 18 comments
19.		Systems Programming with Zig (manning.com)
		150 points by signa11 15 hours ago \| hide \| 86 comments
20.		Study confirms that pianists can shape piano timbre through touch (neurosciencenews.com)
		7 points by bookofjoe 1 hour ago \| hide \| 10 comments
21.		Fluid Glass (chiuhans111.github.io)
		632 points by memalign 1 day ago \| hide \| 106 comments
22.		New California law restricts HOA fines to $100 per violation (calmatters.org)
		8 points by JumpCrisscross 44 minutes ago \| hide \| 1 comment
23.		Baseball durations after the pitch clock (leancrew.com)
		46 points by zdw 9 hours ago \| hide \| 51 comments
24.		Provable Scaling Laws of Feature Emergence from Learning Dynamics of Grokking (arxiv.org)
		6 points by sva_ 3 hours ago \| hide \| discuss
25.		How I influence tech company politics as a staff software engineer (seangoedecke.com)
		232 points by facundo_olano 6 hours ago \| hide \| 135 comments
26.		Where it's at:// (overreacted.io)
		372 points by steveklabnik 23 hours ago \| hide \| 226 comments
27.		New antibiotic targets IBD and AI predicted how it would work (mcmaster.ca)
		189 points by KLK2019 20 hours ago \| hide \| 76 comments
28.		Scientists are discovering a powerful new way to prevent cancer (economist.com)
		130 points by Earw0rm 10 hours ago \| hide \| 99 comments
29.		PEP 810 – Explicit lazy imports (python.org)
		380 points by azhenley 1 day ago \| hide \| 225 comments
30.		Jeff Bezos says AI is in a bubble but society will get 'gigantic' benefits (cnbc.com)
		271 points by belter 1 day ago \| hide \| 566 comments
		More