Hacker News

1.		ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
		192 points by barthelomew 7 hours ago \| hide \| 98 comments
2.		Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4 (arxiv.org)
		18 points by bookofjoe 2 hours ago \| hide \| discuss
3.		A comparison of Ada and Rust, using solutions to the Advent of Code (github.com/johnperry-math)
		202 points by andsoitis 10 hours ago \| hide \| 129 comments
4.		Newton: physics simulation engine built upon NVIDIA Warp (github.com/newton-physics)
		49 points by skilled 5 hours ago \| hide \| 9 comments
5.		Blog Feeds (blogfeeds.net)
		95 points by stevedsimkins 6 hours ago \| hide \| 40 comments
6.		XiangShan Vector Floating-Point Unit Design (xiangshan.cc)
		27 points by camel-cdr 3 hours ago \| hide \| 2 comments
7.		Matrix Core Programming on AMD GPUs (salykova.github.io)
		31 points by skidrow 4 hours ago \| hide \| discuss
8.		Microsoft 365 Copilot is a commercial failure (perspectives.plus)
		43 points by jukkan 6 hours ago \| hide \| 28 comments
9.		How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
		69 points by PaulHoule 8 hours ago \| hide \| 20 comments
10.		Show HN: Run – a CLI universal code runner I built while learning Rust (github.com/esubaalew)
		62 points by esubaalew 7 hours ago \| hide \| 21 comments
11.		Mod. 5140 - IBM's First Laptop Computer (richardsapperdesign.com)
		5 points by jumpocelot 1 hour ago \| hide \| discuss
12.		Borehole Oscillators (gregegan.net)
		11 points by sohkamyung 2 hours ago \| hide \| 1 comment
13.		Mathematical Models/Algorithms for Optimization of Lego Construction Problems [pdf] (dtu.dk)
		9 points by felineflock 3 hours ago \| hide \| discuss
14.		Self-hosting email like it's 1984 (maxadamski.com)
		182 points by xmx98 11 hours ago \| hide \| 116 comments
15.		Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com/lsartory)
		61 points by zdw 8 hours ago \| hide \| 15 comments
16.		Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
		201 points by amichail 17 hours ago \| hide \| 182 comments
17.		Unchecked and Unaccountable: How DOGE Jeopardizes Americans' Data (senate.gov)
		38 points by defrost 2 hours ago \| hide \| 5 comments
18.		OpenAI's hunger for computing power has Sam Altman dashing around the globe (wsj.com)
		50 points by doener 3 hours ago \| hide \| 37 comments
19.		Paged Out Issue #7 [pdf] (pagedout.institute)
		228 points by todsacerdoti 15 hours ago \| hide \| 19 comments
20.		NSA and IETF: Can an attacker purchase standardization of weakened cryptography? (cr.yp.to)
		12 points by zdw 3 hours ago \| hide \| 1 comment
21.		Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
		139 points by dtgriscom 13 hours ago \| hide \| 25 comments
22.		The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
		155 points by t-vi 14 hours ago \| hide \| 48 comments
23.		Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
		127 points by benbridle 16 hours ago \| hide \| 23 comments
24.		$912 energy independence without red tape (sunboxlabs.com)
		116 points by nikodunk 4 hours ago \| hide \| 85 comments
25.		The UK is still trying to backdoor encryption for Apple users (eff.org)
		257 points by CharlesW 5 hours ago \| hide \| 91 comments
26.		The Art of Color... Science? (nikonrumors.com)
		11 points by gbugniot 4 hours ago \| hide \| 1 comment
27.		Five years as a startup CTO: How, why, and was it worth it? (2024) (distinctplace.com)
		119 points by mooreds 10 hours ago \| hide \| 89 comments
28.		Baseball durations after the pitch clock (leancrew.com)
		56 points by zdw 13 hours ago \| hide \| 72 comments
29.		How I influence tech company politics as a staff software engineer (seangoedecke.com)
		271 points by facundo_olano 10 hours ago \| hide \| 158 comments
30.		A Network Crumb Back Story: A Baker's Dozen Retrospective (kentik.com)
		7 points by oavioklein 3 hours ago \| hide \| discuss
		More