Hacker News

1.		ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
		159 points by barthelomew 5 hours ago \| hide \| 83 comments
2.		How do drivers react to partisan bumper stickers? (frontiersin.org)
		18 points by PaulHoule 1 hour ago \| hide \| 1 comment
3.		A comparison of Ada and Rust, using solutions to the Advent of Code (github.com/johnperry-math)
		182 points by andsoitis 8 hours ago \| hide \| 117 comments
4.		Newton: physics simulation engine built upon NVIDIA Warp (github.com/newton-physics)
		25 points by skilled 3 hours ago \| hide \| 2 comments
5.		Blog Feeds (blogfeeds.net)
		72 points by stevedsimkins 4 hours ago \| hide \| 37 comments
6.		XiangShan Vector Floating-Point Unit Design (xiangshan.cc)
		12 points by camel-cdr 1 hour ago \| hide \| discuss
7.		Show HN: Run – a CLI universal code runner I built while learning Rust (github.com/esubaalew)
		51 points by esubaalew 5 hours ago \| hide \| 15 comments
8.		How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
		58 points by PaulHoule 6 hours ago \| hide \| 13 comments
9.		Matrix Core Programming on AMD GPUs (salykova.github.io)
		15 points by skidrow 2 hours ago \| hide \| discuss
10.		Self-hosting email like it's 1984 (maxadamski.com)
		155 points by xmx98 9 hours ago \| hide \| 100 comments
11.		OpenAI's hunger for computing power has Sam Altman dashing around the globe (wsj.com)
		20 points by doener 1 hour ago \| hide \| 7 comments
12.		Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com/lsartory)
		50 points by zdw 6 hours ago \| hide \| 4 comments
13.		Provable Scaling Laws of Feature Emergence from Learning Dynamics of Grokking (arxiv.org)
		18 points by sva_ 5 hours ago \| hide \| discuss
14.		Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
		194 points by amichail 15 hours ago \| hide \| 171 comments
15.		Study confirms that pianists can shape piano timbre through touch (neurosciencenews.com)
		17 points by bookofjoe 3 hours ago \| hide \| 33 comments
16.		Alibaba cloud FPGA: the $200 Kintex UltraScale+ (essenceia.github.io)
		238 points by signa11 17 hours ago \| hide \| 76 comments
17.		Paged Out Issue #7 [pdf] (pagedout.institute)
		221 points by todsacerdoti 13 hours ago \| hide \| 17 comments
18.		The UK is still trying to backdoor encryption for Apple users (eff.org)
		220 points by CharlesW 3 hours ago \| hide \| 74 comments
19.		Zig builds are getting faster (mitchellh.com)
		405 points by emschwartz 1 day ago \| hide \| 191 comments
20.		The Art of Color... Science? (nikonrumors.com)
		4 points by gbugniot 2 hours ago \| hide \| discuss
21.		The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
		152 points by t-vi 11 hours ago \| hide \| 46 comments
22.		Offline card payments should be possible no later than 1 July 2026 (riksbank.se)
		468 points by sebiw 1 day ago \| hide \| 537 comments
23.		Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
		128 points by dtgriscom 11 hours ago \| hide \| 23 comments
24.		Fluid Glass (chiuhans111.github.io)
		652 points by memalign 1 day ago \| hide \| 109 comments
25.		$912 energy independence without red tape (sunboxlabs.com)
		88 points by nikodunk 2 hours ago \| hide \| 69 comments
26.		Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
		118 points by benbridle 14 hours ago \| hide \| 20 comments
27.		Systems Programming with Zig (manning.com)
		158 points by signa11 17 hours ago \| hide \| 98 comments
28.		Five years as a startup CTO: How, why, and was it worth it? (2024) (distinctplace.com)
		107 points by mooreds 8 hours ago \| hide \| 83 comments
29.		Where it's at:// (overreacted.io)
		389 points by steveklabnik 1 day ago \| hide \| 234 comments
30.		Baseball durations after the pitch clock (leancrew.com)
		51 points by zdw 11 hours ago \| hide \| 67 comments
		More