Hacker News

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