Hacker News

1.		What .NET 10 GC Changes Mean for Developers (roxeem.com)
		19 points by roxeem 2 hours ago \| hide \| 1 comment
2.		ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
		233 points by barthelomew 11 hours ago \| hide \| 119 comments
3.		Way past its prime: how did Amazon get so rubbish? (theguardian.com)
		12 points by sandebert 11 minutes ago \| hide \| discuss
4.		A comparison of Ada and Rust, using solutions to the Advent of Code (github.com/johnperry-math)
		219 points by andsoitis 14 hours ago \| hide \| 143 comments
5.		Parrot – type-safe SQL in Gleam, supports SQlite, PostgreSQL and MySQL (github.com/daniellionel01)
		32 points by TheWiggles 5 hours ago \| hide \| 6 comments
6.		Blog Feeds (blogfeeds.net)
		134 points by stevedsimkins 10 hours ago \| hide \| 50 comments
7.		Newton: physics simulation engine built upon NVIDIA Warp (github.com/newton-physics)
		77 points by skilled 9 hours ago \| hide \| 12 comments
8.		Machine Learnability as a Measure of Order in Aperiodic Sequences (arxiv.org)
		15 points by PaulHoule 4 hours ago \| hide \| discuss
9.		Mod. 5140 - IBM's First Laptop Computer (richardsapperdesign.com)
		26 points by jumpocelot 5 hours ago \| hide \| 12 comments
10.		Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4 (arxiv.org)
		41 points by bookofjoe 6 hours ago \| hide \| 4 comments
11.		Matrix Core Programming on AMD GPUs (salykova.github.io)
		56 points by skidrow 8 hours ago \| hide \| 2 comments
12.		Show HN: The Little Book of C (github.com/little-book-of)
		24 points by tamnd 4 hours ago \| hide \| 4 comments
13.		Americans increasingly see legal sports betting as a bad thing for society (pewresearch.org)
		38 points by aloukissas 1 hour ago \| hide \| 24 comments
14.		XiangShan Vector Floating-Point Unit Design (xiangshan.cc)
		45 points by camel-cdr 7 hours ago \| hide \| 5 comments
15.		$912 energy independence without red tape (sunboxlabs.com)
		154 points by nikodunk 8 hours ago \| hide \| 103 comments
16.		Mathematical Models/Algorithms for Optimization of Lego Construction Problems [pdf] (dtu.dk)
		35 points by felineflock 7 hours ago \| hide \| discuss
17.		NSA and IETF: Can an attacker purchase standardization of weakened cryptography? (cr.yp.to)
		61 points by zdw 7 hours ago \| hide \| 25 comments
18.		How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
		80 points by PaulHoule 12 hours ago \| hide \| 27 comments
19.		Show HN: Run – a CLI universal code runner I built while learning Rust (github.com/esubaalew)
		76 points by esubaalew 11 hours ago \| hide \| 28 comments
20.		Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
		217 points by amichail 21 hours ago \| hide \| 210 comments
21.		Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com/lsartory)
		76 points by zdw 12 hours ago \| hide \| 20 comments
22.		Self-hosting email like it's 1984 (maxadamski.com)
		213 points by xmx98 15 hours ago \| hide \| 140 comments
23.		Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
		148 points by dtgriscom 17 hours ago \| hide \| 30 comments
24.		Paged Out Issue #7 [pdf] (pagedout.institute)
		242 points by todsacerdoti 19 hours ago \| hide \| 21 comments
25.		The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
		164 points by t-vi 18 hours ago \| hide \| 55 comments
26.		Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
		140 points by benbridle 20 hours ago \| hide \| 28 comments
27.		Borehole Oscillators (gregegan.net)
		30 points by sohkamyung 6 hours ago \| hide \| 6 comments
28.		Microsoft 365 Copilot's commercial failure (perspectives.plus)
		122 points by jukkan 10 hours ago \| hide \| 80 comments
29.		Baseball durations after the pitch clock (leancrew.com)
		63 points by zdw 17 hours ago \| hide \| 83 comments
30.		AI-powered open-source code laundering (github.com/sudomaker)
		62 points by genkiuncle 6 hours ago \| hide \| 48 comments
		More