Hacker News

1.		ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
		144 points by barthelomew 4 hours ago \| hide \| 76 comments
2.		A comparison of Ada and Rust, using solutions to the Advent of Code (github.com/johnperry-math)
		172 points by andsoitis 7 hours ago \| hide \| 111 comments
3.		Blog Feeds (blogfeeds.net)
		58 points by stevedsimkins 3 hours ago \| hide \| 32 comments
4.		$912 energy independence without red tape (sunboxlabs.com)
		62 points by nikodunk 1 hour ago \| hide \| 40 comments
5.		Newton: physics simulation engine built upon NVIDIA Warp (github.com/newton-physics)
		13 points by skilled 2 hours ago \| hide \| 1 comment
6.		How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
		52 points by PaulHoule 5 hours ago \| hide \| 9 comments
7.		Show HN: Run – a CLI universal code runner I built while learning Rust (github.com/esubaalew)
		44 points by esubaalew 4 hours ago \| hide \| 10 comments
8.		Self-hosting email like it's 1984 (maxadamski.com)
		138 points by xmx98 8 hours ago \| hide \| 90 comments
9.		Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com/lsartory)
		39 points by zdw 5 hours ago \| hide \| 2 comments
10.		Provable Scaling Laws of Feature Emergence from Learning Dynamics of Grokking (arxiv.org)
		13 points by sva_ 4 hours ago \| hide \| discuss
11.		The UK is still trying to backdoor encryption for Apple users (eff.org)
		189 points by CharlesW 2 hours ago \| hide \| 67 comments
12.		Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
		183 points by amichail 14 hours ago \| hide \| 159 comments
13.		Alibaba cloud FPGA: the $200 Kintex UltraScale+ (essenceia.github.io)
		235 points by signa11 16 hours ago \| hide \| 73 comments
14.		Paged Out Issue #7 [pdf] (pagedout.institute)
		211 points by todsacerdoti 12 hours ago \| hide \| 14 comments
15.		The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
		151 points by t-vi 11 hours ago \| hide \| 46 comments
16.		Zig builds are getting faster (mitchellh.com)
		400 points by emschwartz 1 day ago \| hide \| 190 comments
17.		Offline card payments should be possible no later than 1 July 2026 (riksbank.se)
		464 points by sebiw 1 day ago \| hide \| 534 comments
18.		Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
		123 points by dtgriscom 10 hours ago \| hide \| 23 comments
19.		Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
		112 points by benbridle 13 hours ago \| hide \| 20 comments
20.		Systems Programming with Zig (manning.com)
		152 points by signa11 16 hours ago \| hide \| 90 comments
21.		Fluid Glass (chiuhans111.github.io)
		647 points by memalign 1 day ago \| hide \| 108 comments
22.		Study confirms that pianists can shape piano timbre through touch (neurosciencenews.com)
		10 points by bookofjoe 2 hours ago \| hide \| 19 comments
23.		Five years as a startup CTO: How, why, and was it worth it? (2024) (distinctplace.com)
		103 points by mooreds 7 hours ago \| hide \| 80 comments
24.		Baseball durations after the pitch clock (leancrew.com)
		47 points by zdw 10 hours ago \| hide \| 61 comments
25.		Where it's at:// (overreacted.io)
		379 points by steveklabnik 1 day ago \| hide \| 232 comments
26.		How I influence tech company politics as a staff software engineer (seangoedecke.com)
		241 points by facundo_olano 7 hours ago \| hide \| 141 comments
27.		New antibiotic targets IBD and AI predicted how it would work (mcmaster.ca)
		190 points by KLK2019 21 hours ago \| hide \| 78 comments
28.		Scientists are discovering a powerful new way to prevent cancer (economist.com)
		133 points by Earw0rm 11 hours ago \| hide \| 100 comments
29.		PEP 810 – Explicit lazy imports (python.org)
		387 points by azhenley 1 day ago \| hide \| 227 comments
30.		Jeff Bezos says AI is in a bubble but society will get 'gigantic' benefits (cnbc.com)
		276 points by belter 1 day ago \| hide \| 576 comments
		More