Hacker News

1.		Adding row polymorphism to Damas-Hindley-Milner (bernsteinbear.com)
		94 points by surprisetalk 5 hours ago \| hide \| 15 comments
2.		Solving Sudoku in Python Packaging (github.com/konstin)
		156 points by Yenrabbit 8 hours ago \| hide \| 31 comments
3.		Ataraxia (wikipedia.org)
		29 points by keepamovin 2 hours ago \| hide \| 7 comments
4.		The Dawn of a New Era for Supernova 1987a (nasa.gov)
		80 points by raattgift 8 hours ago \| hide \| 12 comments
5.		Computer use, a new Claude 3.5 Sonnet, and Claude 3.5 Haiku (anthropic.com)
		1186 points by weirdcat 19 hours ago \| hide \| 621 comments
6.		USGS uses machine learning to show large lithium potential in Arkansas (usgs.gov)
		283 points by antidnan 17 hours ago \| hide \| 173 comments
7.		Show HN: Open-source Counter-Strike-like game (github.com/solcloud)
		304 points by solcloud 18 hours ago \| hide \| 85 comments
8.		The Tragedy of Google Books (2017) (theatlantic.com)
		273 points by lispybanana 16 hours ago \| hide \| 118 comments
9.		How DRAM changed the world (micron.com)
		88 points by sandwichsphinx 12 hours ago \| hide \| 55 comments
10.		Solving the Mystery of ARM7TDMI Multiply Carry Flag (bmchtech.github.io)
		59 points by skrrtww 9 hours ago \| hide \| 20 comments
11.		Show HN: I made tool for slicing up samples to Ableton Move presets (github.com/alexfedosov)
		23 points by alex_x 4 hours ago \| hide \| 7 comments
12.		A new JSON data type for ClickHouse (clickhouse.com)
		317 points by markhneedham 19 hours ago \| hide \| 69 comments
13.		Paper finds provably minimal counterfactual explanations (aaai.org)
		24 points by cheekyfibonacci 6 hours ago \| hide \| 7 comments
14.		NewsCatcher (YC S22) Is Hiring Web Scraping/Crawling Engineers (newscatcherapi.com)
		3 hours ago \| hide
15.		Why computational predictive toxicology is hard (owlposting.com)
		9 points by abhishaike 4 hours ago \| hide \| 2 comments
16.		Show HN: ClickHouse User Defined Table Function in Python (github.com/auxten)
		5 points by auxten 3 hours ago \| hide \| discuss
17.		Coreboot port for 486 motherboard (UM8881/6) (github.com/pc2005cz)
		78 points by rasz 14 hours ago \| hide \| 10 comments
18.		Implementing Brainfuck in APL (wilsonb.com)
		47 points by pabs3 11 hours ago \| hide \| 14 comments
19.		Triaging Clang C++ front end bugs (shafik.github.io)
		21 points by todsacerdoti 7 hours ago \| hide \| discuss
20.		Show HN: Rust Web Framework (github.com/levkk)
		425 points by levkk 20 hours ago \| hide \| 214 comments
21.		Two examples of hover styles on images (alexwlchan.net)
		33 points by speckx 10 hours ago \| hide \| 35 comments
22.		Ask HN: What's the most creative 'useless' program you've ever written?
		171 points by reverseCh 15 hours ago \| hide \| 250 comments
23.		Huawei makes divorce from Android official with HarmonyOS NEXT launch (theregister.com)
		18 points by rustyparkour 1 hour ago \| hide \| 4 comments
24.		An Illustrated Guide to Maritime Signal Flags (rabbitwaves.ca)
		130 points by gaws 17 hours ago \| hide \| 29 comments
25.		The PlanetScale vectors public beta (planetscale.com)
		106 points by ksec 18 hours ago \| hide \| 26 comments
26.		FTC's rule banning fake online reviews goes into effect (go.com)
		493 points by indus 19 hours ago \| hide \| 274 comments
27.		Migration of the build system to autosetup (sqlite.org)
		81 points by sgbeal 6 hours ago \| hide \| 21 comments
28.		First images from Euclid are in (esa.int)
		1295 points by mooreds 1 day ago \| hide \| 357 comments
29.		I Got Dysentary So You Don't Have To (eukaryotewritesblog.com)
		77 points by l1n 12 hours ago \| hide \| 51 comments
30.		One Plus One Equals Two (2006) (plover.com)
		102 points by lemper 23 hours ago \| hide \| 52 comments
		More