Hacker News

1.		ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
		95 points by barthelomew 2 hours ago \| hide \| 54 comments
2.		A comparison of Ada and Rust, using solutions to the Advent of Code (github.com/johnperry-math)
		147 points by andsoitis 5 hours ago \| hide \| 87 comments
3.		The UK is still trying to backdoor encryption for Apple users (eff.org)
		92 points by CharlesW 51 minutes ago \| hide \| 14 comments
4.		Blog Feeds (blogfeeds.net)
		16 points by stevedsimkins 1 hour ago \| hide \| 10 comments
5.		Knowledge Infusion Scaling Law for Pre-Training Large Language Models (arxiv.org)
		31 points by PaulHoule 3 hours ago \| hide \| 3 comments
6.		Show HN: Run – a CLI universal code runner I built while learning Rust (github.com/esubaalew)
		24 points by esubaalew 2 hours ago \| hide \| 6 comments
7.		Five years as a startup CTO: How, why, and was it worth it? (2024) (distinctplace.com)
		91 points by mooreds 5 hours ago \| hide \| 61 comments
8.		Self-hosting email like it's 1984 (maxadamski.com)
		106 points by xmx98 6 hours ago \| hide \| 64 comments
9.		The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
		143 points by t-vi 9 hours ago \| hide \| 41 comments
10.		Man buys used Tesla only to discover it's banned from Supercharger network (cbsnews.com)
		8 points by toomanyrichies 21 minutes ago \| hide \| 3 comments
11.		Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
		164 points by amichail 12 hours ago \| hide \| 144 comments
12.		Paged Out Issue #7 [pdf] (pagedout.institute)
		193 points by todsacerdoti 10 hours ago \| hide \| 13 comments
13.		Alibaba cloud FPGA: the $200 Kintex UltraScale+ (essenceia.github.io)
		218 points by signa11 14 hours ago \| hide \| 66 comments
14.		Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
		117 points by dtgriscom 8 hours ago \| hide \| 21 comments
15.		Zig builds are getting faster (mitchellh.com)
		387 points by emschwartz 22 hours ago \| hide \| 183 comments
16.		Offline card payments should be possible no later than 1 July 2026 (riksbank.se)
		455 points by sebiw 1 day ago \| hide \| 527 comments
17.		Systems Programming with Zig (manning.com)
		141 points by signa11 14 hours ago \| hide \| 79 comments
18.		The mini smartphones from Japan you've never heard about [video] (youtube.com)
		30 points by bane 5 hours ago \| hide \| 19 comments
19.		Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
		98 points by benbridle 11 hours ago \| hide \| 15 comments
20.		Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com/lsartory)
		13 points by zdw 3 hours ago \| hide \| discuss
21.		Fluid Glass (chiuhans111.github.io)
		617 points by memalign 1 day ago \| hide \| 105 comments
22.		How I influence tech company politics as a staff software engineer (seangoedecke.com)
		214 points by facundo_olano 5 hours ago \| hide \| 131 comments
23.		Solaris 2.1 for x86 (2017) (os2museum.com)
		7 points by naves 2 hours ago \| hide \| discuss
24.		Flock's gunshot detection microphones will start listening for human voices (eff.org)
		238 points by hhs 6 hours ago \| hide \| 158 comments
25.		Where it's at:// (overreacted.io)
		367 points by steveklabnik 22 hours ago \| hide \| 224 comments
26.		New antibiotic targets IBD and AI predicted how it would work (mcmaster.ca)
		184 points by KLK2019 19 hours ago \| hide \| 70 comments
27.		PEP 810 – Explicit lazy imports (readthedocs.build)
		377 points by azhenley 1 day ago \| hide \| 222 comments
28.		How functional programming shaped and twisted front end development (alfy.blog)
		101 points by jicea 7 hours ago \| hide \| 69 comments
29.		Jeff Bezos says AI is in a bubble but society will get 'gigantic' benefits (cnbc.com)
		265 points by belter 1 day ago \| hide \| 562 comments
30.		Old Stockholm Telephone Tower (wikipedia.org)
		139 points by ZeljkoS 18 hours ago \| hide \| 35 comments
		More