Hacker News

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