Hacker News

1.		Use theorem provers to ensure the correctness of your LLM's reasoning (github.com/debarghag)
		57 points by barthelomew 1 hour ago \| hide \| 24 comments
2.		A Comparison of Ada and Rust, Using Solutions to the Advent of Code (github.com/johnperry-math)
		134 points by andsoitis 4 hours ago \| hide \| 71 comments
3.		Five Years as a Startup CTO: How, Why, and Was It Worth It? (distinctplace.com)
		80 points by mooreds 4 hours ago \| hide \| 47 comments
4.		Knowledge Infusion Scaling Law for Pre-Training Large Language Models (arxiv.org)
		26 points by PaulHoule 2 hours ago \| hide \| 2 comments
5.		Show HN: Run – a CLI universal code runner I built while learning Rust (github.com/esubaalew)
		11 points by esubaalew 1 hour ago \| hide \| 3 comments
6.		The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
		133 points by t-vi 7 hours ago \| hide \| 36 comments
7.		Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
		107 points by dtgriscom 7 hours ago \| hide \| 21 comments
8.		Self-Hosting Email Like It's 1984 (maxadamski.com)
		86 points by xmx98 5 hours ago \| hide \| 54 comments
9.		The mini smartphones from Japan you've never heard about [video] (youtube.com)
		22 points by bane 4 hours ago \| hide \| 4 comments
10.		Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
		157 points by amichail 11 hours ago \| hide \| 124 comments
11.		Paged Out Issue #7 [pdf] (pagedout.institute)
		185 points by todsacerdoti 9 hours ago \| hide \| 13 comments
12.		How I influence tech company politics as a staff software engineer (seangoedecke.com)
		202 points by facundo_olano 4 hours ago \| hide \| 119 comments
13.		Alibaba cloud FPGA: the $200 Kintex UltraScale+ (essenceia.github.io)
		212 points by signa11 13 hours ago \| hide \| 61 comments
14.		Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
		94 points by benbridle 10 hours ago \| hide \| 12 comments
15.		Zig builds are getting faster (mitchellh.com)
		383 points by emschwartz 21 hours ago \| hide \| 179 comments
16.		Offline card payments should be possible no later than 1 July 2026 (riksbank.se)
		451 points by sebiw 23 hours ago \| hide \| 522 comments
17.		Systems Programming with Zig (manning.com)
		132 points by signa11 13 hours ago \| hide \| 69 comments
18.		Privacy Harm Is Harm (eff.org)
		62 points by hn_acker 3 hours ago \| hide \| 19 comments
19.		The Architecture of Learning: From Statistics to Intelligence (little-book-of.github.io)
		60 points by scapbi 6 hours ago \| hide \| 7 comments
20.		Fluid Glass (chiuhans111.github.io)
		606 points by memalign 23 hours ago \| hide \| 103 comments
21.		Where it's at:// (overreacted.io)
		357 points by steveklabnik 21 hours ago \| hide \| 219 comments
22.		New antibiotic targets IBD and AI predicted how it would work (mcmaster.ca)
		181 points by KLK2019 18 hours ago \| hide \| 67 comments
23.		Flock's gunshot detection microphones will start listening for human voices (eff.org)
		203 points by hhs 5 hours ago \| hide \| 144 comments
24.		BiDirectional text in the terminal emulators and console programs(2020) (gist.github.com)
		8 points by elashri 3 hours ago \| hide \| discuss
25.		How functional programming shaped and twisted front end development (alfy.blog)
		92 points by jicea 6 hours ago \| hide \| 60 comments
26.		PEP 810 – Explicit lazy imports (readthedocs.build)
		372 points by azhenley 1 day ago \| hide \| 217 comments
27.		Jeff Bezos says AI is in a bubble but society will get 'gigantic' benefits (cnbc.com)
		259 points by belter 1 day ago \| hide \| 557 comments
28.		Old Stockholm Telephone Tower (wikipedia.org)
		135 points by ZeljkoS 17 hours ago \| hide \| 33 comments
29.		Why NetNewsWire Is Not a Web App (inessential.com)
		3 points by frizlab 17 minutes ago \| hide \| 1 comment
30.		Jules, remote coding agent from Google Labs, announces API (jules.google)
		203 points by watkajtys 1 day ago \| hide \| 66 comments
		More