Hacker News

1.		ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
		217 points by barthelomew 10 hours ago \| hide \| 110 comments
2.		A comparison of Ada and Rust, using solutions to the Advent of Code (github.com/johnperry-math)
		213 points by andsoitis 13 hours ago \| hide \| 140 comments
3.		Newton: physics simulation engine built upon NVIDIA Warp (github.com/newton-physics)
		70 points by skilled 8 hours ago \| hide \| 11 comments
4.		Blog Feeds (blogfeeds.net)
		122 points by stevedsimkins 9 hours ago \| hide \| 47 comments
5.		Mod. 5140 - IBM's First Laptop Computer (richardsapperdesign.com)
		20 points by jumpocelot 4 hours ago \| hide \| 9 comments
6.		Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4 (arxiv.org)
		36 points by bookofjoe 5 hours ago \| hide \| 4 comments
7.		Parrot – type-safe SQL in Gleam, supports SQlite, PostgreSQL and MySQL (github.com/daniellionel01)
		23 points by TheWiggles 4 hours ago \| hide \| 3 comments
8.		AI-powered open-source code laundering (github.com/sudomaker)
		39 points by genkiuncle 5 hours ago \| hide \| 25 comments
9.		XiangShan Vector Floating-Point Unit Design (xiangshan.cc)
		39 points by camel-cdr 6 hours ago \| hide \| 4 comments
10.		Matrix Core Programming on AMD GPUs (salykova.github.io)
		50 points by skidrow 7 hours ago \| hide \| 2 comments
11.		Machine Learnability as a Measure of Order in Aperiodic Sequences (arxiv.org)
		9 points by PaulHoule 3 hours ago \| hide \| discuss
12.		$912 energy independence without red tape (sunboxlabs.com)
		143 points by nikodunk 7 hours ago \| hide \| 96 comments
13.		Mathematical Models/Algorithms for Optimization of Lego Construction Problems [pdf] (dtu.dk)
		30 points by felineflock 6 hours ago \| hide \| discuss
14.		NSA and IETF: Can an attacker purchase standardization of weakened cryptography? (cr.yp.to)
		51 points by zdw 6 hours ago \| hide \| 14 comments
15.		How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
		75 points by PaulHoule 11 hours ago \| hide \| 27 comments
16.		Show HN: Run – a CLI universal code runner I built while learning Rust (github.com/esubaalew)
		71 points by esubaalew 10 hours ago \| hide \| 28 comments
17.		Self-hosting email like it's 1984 (maxadamski.com)
		206 points by xmx98 14 hours ago \| hide \| 133 comments
18.		Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
		211 points by amichail 20 hours ago \| hide \| 205 comments
19.		Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com/lsartory)
		73 points by zdw 11 hours ago \| hide \| 19 comments
20.		Show HN: The Little Book of C (github.com/little-book-of)
		10 points by tamnd 3 hours ago \| hide \| 3 comments
21.		You can't parse XML with regex. Let's do it anyways (sdomi.pl)
		47 points by birdculture 3 hours ago \| hide \| 40 comments
22.		Paged Out Issue #7 [pdf] (pagedout.institute)
		239 points by todsacerdoti 18 hours ago \| hide \| 21 comments
23.		Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
		147 points by dtgriscom 16 hours ago \| hide \| 30 comments
24.		The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
		162 points by t-vi 17 hours ago \| hide \| 55 comments
25.		Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
		138 points by benbridle 19 hours ago \| hide \| 28 comments
26.		Borehole Oscillators (gregegan.net)
		25 points by sohkamyung 5 hours ago \| hide \| 4 comments
27.		Microsoft 365 Copilot's commercial failure (perspectives.plus)
		113 points by jukkan 9 hours ago \| hide \| 77 comments
28.		Baseball durations after the pitch clock (leancrew.com)
		63 points by zdw 16 hours ago \| hide \| 80 comments
29.		The UK is still trying to backdoor encryption for Apple users (eff.org)
		306 points by CharlesW 8 hours ago \| hide \| 109 comments
30.		How I influence tech company politics as a staff software engineer (seangoedecke.com)
		289 points by facundo_olano 13 hours ago \| hide \| 163 comments
		More