Hacker News

1.		The Future of TLA+ [pdf] (lamport.azurewebsites.net)
		58 points by tkhattra 1 hour ago \| hide \| 6 comments
2.		The 4-chan Go programmer (dolthub.com)
		63 points by ingve 1 hour ago \| hide \| 11 comments
3.		Window Maker: X11 window manager with the look and feel of the NeXTSTEP UI (windowmaker.org)
		50 points by lnyan 1 hour ago \| hide \| 20 comments
4.		Maker Skill Trees (github.com/sjpiper145)
		92 points by saulpw 2 hours ago \| hide \| 32 comments
5.		Scaling Rails and Postgres to Users at Microsoft: Lessons and Takeaways (stepchange.work)
		20 points by htormey 1 hour ago \| hide \| discuss
6.		New Anti-Toxicity Features on Bluesky (bsky.social)
		24 points by runarberg 1 hour ago \| hide \| 9 comments
7.		Kotlin for Data Analysis (kotlinlang.org)
		16 points by saikatsg 1 hour ago \| hide \| 1 comment
8.		The journey of an internet packet: Exploring networks with traceroute (sebastianmarines.com)
		273 points by marinesebastian 9 hours ago \| hide \| 91 comments
9.		Panasonic Toughbook 40 (panasonic.com)
		41 points by fidotron 3 hours ago \| hide \| 52 comments
10.		Show HN: IPA, a GUI for exploring inner details of PDFs (github.com/seekbytes)
		177 points by nicolodev 9 hours ago \| hide \| 27 comments
11.		High-temperature Gibbs states are unentangled and efficiently preparable (arxiv.org)
		37 points by KolenCh 4 hours ago \| hide \| 5 comments
12.		Reflex (YC W23) Is Hiring Python Software Engineers (ycombinator.com)
		2 hours ago \| hide
13.		A dishwasher can make or break a restaurant (2017) (washingtonpost.com)
		168 points by mhb 9 hours ago \| hide \| 325 comments
14.		Typing lists and tuples in Elixir (elixir-lang.org)
		151 points by idmitrievsky 8 hours ago \| hide \| 35 comments
15.		Formal CHERI: design-time proof of full-scale architecture security properties (lightbluetouchpaper.org)
		81 points by fanf2 8 hours ago \| hide \| 23 comments
16.		OpenAI in Talks for Funding Round Valuing It Above $100B (wsj.com)
		15 points by htrp 21 minutes ago \| hide \| 13 comments
17.		Show HN: Every open source tool from the "What's HN working on" thread (github.com/getomni-ai)
		111 points by themanmaran 4 hours ago \| hide \| 16 comments
18.		Show HN: Shed Light on Your Go Binary Bloat with Go Size Analyzer (github.com/zxilly)
		35 points by zxilly 4 hours ago \| hide \| 2 comments
19.		Diffusion models are real-time game engines (gamengen.github.io)
		965 points by jmorgan 17 hours ago \| hide \| 348 comments
20.		Stoke awarded contract to develop space mobility capabilities (stokespace.com)
		23 points by rbanffy 2 hours ago \| hide \| 1 comment
21.		What is the longest known sequence that repeats in Pi? (homelab) (sponaugle.com)
		29 points by sponaugle 5 hours ago \| hide \| 52 comments
22.		PC Floppy Copy Protection: Formaster Copy-Lock (martypc.blogspot.com)
		42 points by ingve 8 hours ago \| hide \| 14 comments
23.		Microsoft donates the Mono Project to the Wine team (mono-project.com)
		1299 points by itherseed 1 day ago \| hide \| 430 comments
24.		Human population dynamics in Paleolithic inferred from fossil dental phenotypes (science.org)
		9 points by diodorus 3 hours ago \| hide \| discuss
25.		Boxxy puts bad Linux applications in a box with only their files (github.com/queer)
		123 points by icar 13 hours ago \| hide \| 89 comments
26.		The scalpel: From flint to zirconium-coated steel (2018) (facs.org)
		7 points by accrual 3 hours ago \| hide \| discuss
27.		Show HN: Claude Artifacts" but creating real web apps (gptengineer.app)
		29 points by antonoo 4 hours ago \| hide \| 10 comments
28.		COSMIC Alpha Released (system76.com)
		241 points by fisian 13 hours ago \| hide \| 161 comments
29.		In pre-WWII Berlin, the shape of your roof was a political decision (atlasobscura.com)
		69 points by amadeuspagel 5 hours ago \| hide \| 83 comments
30.		State and time are the same thing (buttondown.com)
		31 points by BerislavLopac 7 hours ago \| hide \| 19 comments
		More