Hacker News

1.		ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
		179 points by barthelomew 6 hours ago \| hide \| 95 comments
2.		A comparison of Ada and Rust, using solutions to the Advent of Code (github.com/johnperry-math)
		191 points by andsoitis 9 hours ago \| hide \| 125 comments
3.		Newton: physics simulation engine built upon NVIDIA Warp (github.com/newton-physics)
		39 points by skilled 4 hours ago \| hide \| 4 comments
4.		XiangShan Vector Floating-Point Unit Design (xiangshan.cc)
		22 points by camel-cdr 2 hours ago \| hide \| 1 comment
5.		Blog Feeds (blogfeeds.net)
		86 points by stevedsimkins 5 hours ago \| hide \| 40 comments
6.		Show HN: Run – a CLI universal code runner I built while learning Rust (github.com/esubaalew)
		57 points by esubaalew 6 hours ago \| hide \| 20 comments
7.		How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
		63 points by PaulHoule 7 hours ago \| hide \| 16 comments
8.		Matrix Core Programming on AMD GPUs (salykova.github.io)
		23 points by skidrow 3 hours ago \| hide \| discuss
9.		Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4 (arxiv.org)
		3 points by bookofjoe 1 hour ago \| hide \| discuss
10.		Self-hosting email like it's 1984 (maxadamski.com)
		166 points by xmx98 10 hours ago \| hide \| 105 comments
11.		Probiotics Finder (probioticfinder.org)
		4 points by cubefox 1 hour ago \| hide \| discuss
12.		OpenAI's hunger for computing power has Sam Altman dashing around the globe (wsj.com)
		37 points by doener 2 hours ago \| hide \| 19 comments
13.		Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com/lsartory)
		54 points by zdw 7 hours ago \| hide \| 7 comments
14.		Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
		198 points by amichail 16 hours ago \| hide \| 178 comments
15.		Paged Out Issue #7 [pdf] (pagedout.institute)
		225 points by todsacerdoti 14 hours ago \| hide \| 19 comments
16.		Borehole Oscillators (gregegan.net)
		5 points by sohkamyung 1 hour ago \| hide \| discuss
17.		Alibaba cloud FPGA: the $200 Kintex UltraScale+ (essenceia.github.io)
		242 points by signa11 18 hours ago \| hide \| 80 comments
18.		Zig builds are getting faster (mitchellh.com)
		409 points by emschwartz 1 day ago \| hide \| 191 comments
19.		Offline card payments should be possible no later than 1 July 2026 (riksbank.se)
		474 points by sebiw 1 day ago \| hide \| 537 comments
20.		Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
		133 points by dtgriscom 12 hours ago \| hide \| 23 comments
21.		Fluid Glass (chiuhans111.github.io)
		659 points by memalign 1 day ago \| hide \| 109 comments
22.		The Art of Color... Science? (nikonrumors.com)
		8 points by gbugniot 3 hours ago \| hide \| discuss
23.		The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
		153 points by t-vi 13 hours ago \| hide \| 46 comments
24.		The UK is still trying to backdoor encryption for Apple users (eff.org)
		248 points by CharlesW 4 hours ago \| hide \| 86 comments
25.		Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
		125 points by benbridle 15 hours ago \| hide \| 22 comments
26.		Five years as a startup CTO: How, why, and was it worth it? (2024) (distinctplace.com)
		115 points by mooreds 9 hours ago \| hide \| 87 comments
27.		Where it's at:// (overreacted.io)
		393 points by steveklabnik 1 day ago \| hide \| 234 comments
28.		A Network Crumb Back Story: A Baker's Dozen Retrospective (kentik.com)
		3 points by oavioklein 2 hours ago \| hide \| discuss
29.		$912 energy independence without red tape (sunboxlabs.com)
		99 points by nikodunk 3 hours ago \| hide \| 75 comments
30.		New antibiotic targets IBD and AI predicted how it would work (mcmaster.ca)
		195 points by KLK2019 23 hours ago \| hide \| 81 comments
		More