Hacker News

1.		The Mirror Fusion Test Facility (2023) (beautifulpublicdata.com)
		33 points by not_a_boat 1 hour ago \| hide \| 14 comments
2.		CBMC: C bounded model checker (2021) (cprover.org)
		16 points by fanf2 2 hours ago \| hide \| 2 comments
3.		Vulture shortage threatens Zoroastrian burial rites (theguardian.com)
		46 points by YeGoblynQueenne 3 hours ago \| hide \| 29 comments
4.		Spotify getting into enterprise IT tools (techcrunch.com)
		16 points by iamzycon 45 minutes ago \| hide \| discuss
5.		The Matrix: A Bayesian learning model for LLMs (arxiv.org)
		14 points by stoniejohnson 6 hours ago \| hide \| 4 comments
6.		Folding and One Straight Cut Suffice [pdf] (1999) (imsc.res.in)
		83 points by downboots 11 hours ago \| hide \| 12 comments
7.		Show HN: BandMatch – “Tinder” but for finding musicians to create bands/collab (bandmatch.app)
		399 points by pg5 21 hours ago \| hide \| 202 comments
8.		Trayd (YC S23) Is Hiring Technical Customer Success Associate (ycombinator.com)
		4 hours ago \| hide
9.		Unique volumes of Brothers Grimm fairy tales discovered in Poland (nv.ua)
		386 points by coloneltcb 1 day ago \| hide \| 113 comments
10.		I never stopped learning from Daniel Dennett (nautil.us)
		109 points by dnetesn 14 hours ago \| hide \| 12 comments
11.		Figma’s Journey to TypeScript (figma.com)
		195 points by soheilpro 13 hours ago \| hide \| 176 comments
12.		Show HN: I built a free in-browser Llama 3 chatbot powered by WebGPU (github.com/abi)
		389 points by abi 18 hours ago \| hide \| 90 comments
13.		Understanding Open Podcast Prefix Project (OP3) with John Spurlock (castopod.org)
		17 points by walterbell 10 hours ago \| hide \| 13 comments
14.		Ask HN: How to handle user file uploads?
		59 points by matusgallik008 19 hours ago \| hide \| 58 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)
		85 points by domdomegg 4 hours ago \| hide \| 30 comments
17.		The Nature of Code (2nd Edition) (natureofcode.com)
		352 points by skilled 1 day ago \| hide \| 39 comments
18.		AI copilots are changing how coding is taught (ieee.org)
		201 points by Brajeshwar 1 day ago \| hide \| 390 comments
19.		The Physics of Karate (2021) (jstor.org)
		115 points by PaulHoule 20 hours ago \| hide \| 91 comments
20.		How hard can generating 1024-bit primes be? (glitchcomet.com)
		224 points by techedlaksh 22 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.		SATO: Stable Text-to-Motion Framework (sato-team.github.io)
		103 points by Sajarin 22 hours ago \| hide \| 18 comments
23.		Making a 3D modeler in C in a week (danielchasehooper.com)
		610 points by jasim 1 day ago \| hide \| 174 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.		TORAX is a differentiable tokamak core transport simulator (github.com/google-deepmind)
		95 points by yeldarb 21 hours ago \| hide \| 15 comments
26.		A Mathematical Theory of Communication [pdf] (math.harvard.edu)
		252 points by luu 1 day ago \| hide \| 43 comments
27.		Manta Ray UUV prototype completes in-water testing (darpa.mil)
		123 points by Luc 1 day ago \| hide \| 79 comments
28.		Show HN: Bloom – A shadcn like UI library for Elixir and Phoenix (bloom-ui.fly.dev)
		142 points by bustylasercanon 15 hours ago \| hide \| 15 comments
29.		Lowercase – A simple way to take and share notes (lowercase.app)
		195 points by siegers 1 day ago \| hide \| 144 comments
30.		StructLM: Towards Building Generalist Models for Structured Knowledge Grounding (arxiv.org)
		65 points by PaulHoule 20 hours ago \| hide \| discuss
		More