Hacker News

1.		You can't parse XML with regex. Let's do it anyways (sdomi.pl)
		26 points by birdculture 1 hour ago \| hide \| 7 comments
2.		ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
		203 points by barthelomew 8 hours ago \| hide \| 102 comments
3.		Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4 (arxiv.org)
		28 points by bookofjoe 3 hours ago \| hide \| 3 comments
4.		A comparison of Ada and Rust, using solutions to the Advent of Code (github.com/johnperry-math)
		207 points by andsoitis 11 hours ago \| hide \| 135 comments
5.		Newton: physics simulation engine built upon NVIDIA Warp (github.com/newton-physics)
		56 points by skilled 6 hours ago \| hide \| 9 comments
6.		Blog Feeds (blogfeeds.net)
		107 points by stevedsimkins 7 hours ago \| hide \| 43 comments
7.		Mod. 5140 - IBM's First Laptop Computer (richardsapperdesign.com)
		13 points by jumpocelot 2 hours ago \| hide \| 1 comment
8.		Matrix Core Programming on AMD GPUs (salykova.github.io)
		39 points by skidrow 5 hours ago \| hide \| discuss
9.		XiangShan Vector Floating-Point Unit Design (xiangshan.cc)
		32 points by camel-cdr 4 hours ago \| hide \| 3 comments
10.		Show HN: Run – a CLI universal code runner I built while learning Rust (github.com/esubaalew)
		66 points by esubaalew 8 hours ago \| hide \| 25 comments
11.		NSA and IETF: Can an attacker purchase standardization of weakened cryptography? (cr.yp.to)
		29 points by zdw 4 hours ago \| hide \| 2 comments
12.		How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
		71 points by PaulHoule 9 hours ago \| hide \| 24 comments
13.		Mathematical Models/Algorithms for Optimization of Lego Construction Problems [pdf] (dtu.dk)
		21 points by felineflock 4 hours ago \| hide \| discuss
14.		One Battle After Another: PTA and the Death of Revolutionary Cinema (letterboxd.com)
		8 points by Rant423 1 hour ago \| hide \| 6 comments
15.		Self-hosting email like it's 1984 (maxadamski.com)
		190 points by xmx98 12 hours ago \| hide \| 121 comments
16.		Borehole Oscillators (gregegan.net)
		19 points by sohkamyung 3 hours ago \| hide \| 1 comment
17.		AI-powered open-source code laundering (github.com/sudomaker)
		7 points by genkiuncle 3 hours ago \| hide \| 1 comment
18.		Parrot – type-safe SQL in Gleam, supports SQlite, PostgreSQL and MySQL (github.com/daniellionel01)
		4 points by TheWiggles 2 hours ago \| hide \| discuss
19.		Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com/lsartory)
		64 points by zdw 9 hours ago \| hide \| 17 comments
20.		Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
		207 points by amichail 18 hours ago \| hide \| 191 comments
21.		Microsoft 365 Copilot is a commercial failure (perspectives.plus)
		71 points by jukkan 7 hours ago \| hide \| 59 comments
22.		Paged Out Issue #7 [pdf] (pagedout.institute)
		234 points by todsacerdoti 16 hours ago \| hide \| 19 comments
23.		Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
		143 points by dtgriscom 14 hours ago \| hide \| 26 comments
24.		The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
		159 points by t-vi 15 hours ago \| hide \| 49 comments
25.		Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
		134 points by benbridle 17 hours ago \| hide \| 24 comments
26.		$912 energy independence without red tape (sunboxlabs.com)
		124 points by nikodunk 5 hours ago \| hide \| 92 comments
27.		The UK is still trying to backdoor encryption for Apple users (eff.org)
		275 points by CharlesW 6 hours ago \| hide \| 102 comments
28.		Five years as a startup CTO: How, why, and was it worth it? (2024) (distinctplace.com)
		123 points by mooreds 11 hours ago \| hide \| 91 comments
29.		Baseball durations after the pitch clock (leancrew.com)
		59 points by zdw 14 hours ago \| hide \| 74 comments
30.		How I influence tech company politics as a staff software engineer (seangoedecke.com)
		278 points by facundo_olano 11 hours ago \| hide \| 160 comments
		More