Hacker News

1.		The Mirror Fusion Test Facility (2023) (beautifulpublicdata.com)
		31 points by not_a_boat 1 hour ago \| hide \| 13 comments
2.		CBMC: C bounded model checker (2021) (cprover.org)
		11 points by fanf2 2 hours ago \| hide \| 2 comments
3.		Vulture shortage threatens Zoroastrian burial rites (theguardian.com)
		43 points by YeGoblynQueenne 3 hours ago \| hide \| 27 comments
4.		Folding and One Straight Cut Suffice [pdf] (1999) (imsc.res.in)
		81 points by downboots 11 hours ago \| hide \| 12 comments
5.		Spotify getting into enterprise IT tools (techcrunch.com)
		7 points by iamzycon 35 minutes ago \| hide \| discuss
6.		The Matrix: A Bayesian learning model for LLMs (arxiv.org)
		12 points by stoniejohnson 6 hours ago \| hide \| 4 comments
7.		Show HN: BandMatch – “Tinder” but for finding musicians to create bands/collab (bandmatch.app)
		398 points by pg5 21 hours ago \| hide \| 202 comments
8.		Trayd (YC S23) Is Hiring Technical Customer Success Associate (ycombinator.com)
		3 hours ago \| hide
9.		Unique volumes of Brothers Grimm fairy tales discovered in Poland (nv.ua)
		385 points by coloneltcb 1 day ago \| hide \| 113 comments
10.		Figma’s Journey to TypeScript (figma.com)
		192 points by soheilpro 13 hours ago \| hide \| 173 comments
11.		I never stopped learning from Daniel Dennett (nautil.us)
		107 points by dnetesn 14 hours ago \| hide \| 12 comments
12.		Show HN: I built a free in-browser Llama 3 chatbot powered by WebGPU (github.com/abi)
		386 points by abi 18 hours ago \| hide \| 89 comments
13.		Understanding Open Podcast Prefix Project (OP3) with John Spurlock (castopod.org)
		17 points by walterbell 10 hours ago \| hide \| 12 comments
14.		Ask HN: How to handle user file uploads?
		57 points by matusgallik008 19 hours ago \| hide \| 57 comments
15.		A Clock in the Forest (noemamag.com)
		37 points by Caiero 14 hours ago \| hide \| 4 comments
16.		I don't want to fill out your contact form (adamjones.me)
		80 points by domdomegg 4 hours ago \| hide \| 26 comments
17.		The Nature of Code (2nd Edition) (natureofcode.com)
		351 points by skilled 1 day ago \| hide \| 38 comments
18.		The Physics of Karate (2021) (jstor.org)
		115 points by PaulHoule 20 hours ago \| hide \| 91 comments
19.		AI copilots are changing how coding is taught (ieee.org)
		199 points by Brajeshwar 1 day ago \| hide \| 387 comments
20.		How hard can generating 1024-bit primes be? (glitchcomet.com)
		222 points by techedlaksh 21 hours ago \| hide \| 69 comments
21.		I’m writing a new vector search SQLite Extension (alexgarcia.xyz)
		466 points by sebg 1 day ago \| hide \| 85 comments
22.		Show HN: Bloom – A shadcn like UI library for Elixir and Phoenix (bloom-ui.fly.dev)
		140 points by bustylasercanon 15 hours ago \| hide \| 15 comments
23.		SATO: Stable Text-to-Motion Framework (sato-team.github.io)
		103 points by Sajarin 21 hours ago \| hide \| 18 comments
24.		DNS traffic can leak outside the VPN tunnel on Android (mullvad.net)
		743 points by ementally 1 day ago \| hide \| 344 comments
25.		Making a 3D modeler in C in a week (danielchasehooper.com)
		608 points by jasim 1 day ago \| hide \| 174 comments
26.		TORAX is a differentiable tokamak core transport simulator (github.com/google-deepmind)
		95 points by yeldarb 21 hours ago \| hide \| 15 comments
27.		A Mathematical Theory of Communication [pdf] (math.harvard.edu)
		252 points by luu 1 day ago \| hide \| 41 comments
28.		Manta Ray UUV prototype completes in-water testing (darpa.mil)
		123 points by Luc 1 day ago \| hide \| 79 comments
29.		Lowercase – A simple way to take and share notes (lowercase.app)
		195 points by siegers 1 day ago \| hide \| 143 comments
30.		StructLM: Towards Building Generalist Models for Structured Knowledge Grounding (arxiv.org)
		65 points by PaulHoule 19 hours ago \| hide \| discuss
		More