Hacker News

1.		What .NET 10 GC Changes Mean for Developers (roxeem.com)
		51 points by roxeem 3 hours ago \| hide \| 1 comment
2.		ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
		246 points by barthelomew 12 hours ago \| hide \| 126 comments
3.		Way past its prime: how did Amazon get so rubbish? (theguardian.com)
		73 points by sandebert 1 hour ago \| hide \| 54 comments
4.		Microsoft Surface Pen Compatibility / Interoperability FAQ (2024) (dancharblog.wordpress.com)
		11 points by Lammy 2 hours ago \| hide \| discuss
5.		Parrot – type-safe SQL in Gleam, supports SQlite, PostgreSQL and MySQL (github.com/daniellionel01)
		44 points by TheWiggles 6 hours ago \| hide \| 6 comments
6.		A comparison of Ada and Rust, using solutions to the Advent of Code (github.com/johnperry-math)
		224 points by andsoitis 15 hours ago \| hide \| 147 comments
7.		Newton: physics simulation engine built upon NVIDIA Warp (github.com/newton-physics)
		85 points by skilled 10 hours ago \| hide \| 14 comments
8.		Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4 (arxiv.org)
		49 points by bookofjoe 7 hours ago \| hide \| 6 comments
9.		Mod. 5140 - IBM's First Laptop Computer (richardsapperdesign.com)
		36 points by jumpocelot 6 hours ago \| hide \| 12 comments
10.		Blog Feeds (blogfeeds.net)
		146 points by stevedsimkins 11 hours ago \| hide \| 52 comments
11.		Machine Learnability as a Measure of Order in Aperiodic Sequences (arxiv.org)
		20 points by PaulHoule 5 hours ago \| hide \| 1 comment
12.		Matrix Core Programming on AMD GPUs (salykova.github.io)
		63 points by skidrow 9 hours ago \| hide \| 2 comments
13.		NSA and IETF: Can an attacker purchase standardization of weakened cryptography? (cr.yp.to)
		79 points by zdw 8 hours ago \| hide \| 34 comments
14.		XiangShan Vector Floating-Point Unit Design (xiangshan.cc)
		48 points by camel-cdr 8 hours ago \| hide \| 5 comments
15.		$912 energy independence without red tape (sunboxlabs.com)
		159 points by nikodunk 9 hours ago \| hide \| 107 comments
16.		Americans increasingly see legal sports betting as a bad thing for society (pewresearch.org)
		67 points by aloukissas 2 hours ago \| hide \| 54 comments
17.		How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
		84 points by PaulHoule 13 hours ago \| hide \| 27 comments
18.		Mathematical Models/Algorithms for Optimization of Lego Construction Problems [pdf] (dtu.dk)
		37 points by felineflock 8 hours ago \| hide \| discuss
19.		Show HN: Run – a CLI universal code runner I built while learning Rust (github.com/esubaalew)
		77 points by esubaalew 12 hours ago \| hide \| 28 comments
20.		Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
		220 points by amichail 22 hours ago \| hide \| 211 comments
21.		Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com/lsartory)
		78 points by zdw 13 hours ago \| hide \| 21 comments
22.		Paged Out Issue #7 [pdf] (pagedout.institute)
		250 points by todsacerdoti 20 hours ago \| hide \| 21 comments
23.		Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
		149 points by dtgriscom 18 hours ago \| hide \| 30 comments
24.		The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
		171 points by t-vi 19 hours ago \| hide \| 55 comments
25.		Self-hosting email like it's 1984 (maxadamski.com)
		221 points by xmx98 16 hours ago \| hide \| 146 comments
26.		Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
		144 points by benbridle 21 hours ago \| hide \| 28 comments
27.		Borehole Oscillators (gregegan.net)
		35 points by sohkamyung 7 hours ago \| hide \| 10 comments
28.		Baseball durations after the pitch clock (leancrew.com)
		63 points by zdw 18 hours ago \| hide \| 84 comments
29.		How I influence tech company politics as a staff software engineer (seangoedecke.com)
		299 points by facundo_olano 15 hours ago \| hide \| 166 comments
30.		Microsoft 365 Copilot's commercial failure (perspectives.plus)
		138 points by jukkan 11 hours ago \| hide \| 91 comments
		More