Hacker News

1.		A Comparison of Ada and Rust, Using Solutions to the Advent of Code (github.com/johnperry-math)
		122 points by andsoitis 3 hours ago \| hide \| 52 comments
2.		Use theorem provers to ensure the correctness of your LLM's reasoning (github.com/debarghag)
		11 points by barthelomew 25 minutes ago \| hide \| discuss
3.		Five Years as a Startup CTO: How, Why, and Was It Worth It? (distinctplace.com)
		56 points by mooreds 3 hours ago \| hide \| 35 comments
4.		Knowledge Infusion Scaling Law for Pre-Training Large Language Models (arxiv.org)
		15 points by PaulHoule 1 hour ago \| hide \| 1 comment
5.		How I influence tech company politics as a staff software engineer (seangoedecke.com)
		172 points by facundo_olano 3 hours ago \| hide \| 99 comments
6.		Self-Hosting Email Like It's 1984 (maxadamski.com)
		51 points by xmx98 4 hours ago \| hide \| 24 comments
7.		The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
		119 points by t-vi 7 hours ago \| hide \| 30 comments
8.		Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
		98 points by dtgriscom 6 hours ago \| hide \| 21 comments
9.		Flock's gunshot detection microphones will start listening for human voices (eff.org)
		171 points by hhs 4 hours ago \| hide \| 90 comments
10.		Paged Out Issue #7 [pdf] (pagedout.institute)
		179 points by todsacerdoti 8 hours ago \| hide \| 13 comments
11.		Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
		142 points by amichail 10 hours ago \| hide \| 112 comments
12.		Alibaba cloud FPGA: the $200 Kintex UltraScale+ (essenceia.github.io)
		204 points by signa11 12 hours ago \| hide \| 56 comments
13.		Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
		87 points by benbridle 9 hours ago \| hide \| 8 comments
14.		Zig builds are getting faster (mitchellh.com)
		379 points by emschwartz 20 hours ago \| hide \| 173 comments
15.		Offline card payments should be possible no later than 1 July 2026 (riksbank.se)
		448 points by sebiw 22 hours ago \| hide \| 509 comments
16.		Systems Programming with Zig (manning.com)
		121 points by signa11 12 hours ago \| hide \| 60 comments
17.		Time needed to factor large integers (johndcook.com)
		15 points by ibobev 3 hours ago \| hide \| 4 comments
18.		Privacy Harm Is Harm (eff.org)
		44 points by hn_acker 2 hours ago \| hide \| 9 comments
19.		The Architecture of Learning: From Statistics to Intelligence (little-book-of.github.io)
		55 points by scapbi 5 hours ago \| hide \| 5 comments
20.		Fluid Glass (chiuhans111.github.io)
		590 points by memalign 23 hours ago \| hide \| 99 comments
21.		New antibiotic targets IBD and AI predicted how it would work (mcmaster.ca)
		177 points by KLK2019 17 hours ago \| hide \| 62 comments
22.		Where it's at:// (overreacted.io)
		348 points by steveklabnik 20 hours ago \| hide \| 213 comments
23.		How functional programming shaped and twisted front end development (alfy.blog)
		80 points by jicea 5 hours ago \| hide \| 55 comments
24.		BiDirectional text in the terminal emulators and console programs(2020) (gist.github.com)
		4 points by elashri 2 hours ago \| hide \| discuss
25.		PEP 810 – Explicit lazy imports (readthedocs.build)
		371 points by azhenley 1 day ago \| hide \| 214 comments
26.		Old Stockholm Telephone Tower (wikipedia.org)
		126 points by ZeljkoS 16 hours ago \| hide \| 33 comments
27.		Jeff Bezos says AI is in a bubble but society will get 'gigantic' benefits (cnbc.com)
		249 points by belter 1 day ago \| hide \| 546 comments
28.		The collapse of the econ PhD job market (chrisbrunet.com)
		177 points by Ozarkian 1 day ago \| hide \| 266 comments
29.		Jules, remote coding agent from Google Labs, announces API (jules.google)
		199 points by watkajtys 23 hours ago \| hide \| 66 comments
30.		Toyota runs a car-hacking event to boost security (2024) (toyotatimes.jp)
		121 points by octagons 15 hours ago \| hide \| 88 comments
		More