chadcmulligan's favorites

1.		I tried Gleam for Advent of Code (tymscar.com)
		350 points by tymscar 8 days ago \| 212 comments
2.		Lean theorem prover mathlib (github.com/leanprover-community)
		83 points by downboots 8 days ago \| 4 comments
3.		Cryptids (bbchallenge.org)
		130 points by frozenseven 15 days ago \| 19 comments
4.		Cloth Simulation (mikail-khan.com)
		208 points by adamch 19 days ago \| 41 comments
5.		Shop Sans is a typeface for curved text paths (futurefonts.com)
		212 points by tobr 39 days ago \| 52 comments
6.		Show HN: Browser-based interactive 3D Three-Body problem simulator (trisolarchaos.com)
		249 points by jgchaos 33 days ago \| 113 comments
7.		Fourier Transforms (continuummechanics.org)
		178 points by o4c 46 days ago \| 32 comments
8.		How to make a Smith chart (johndcook.com)
		169 points by tzury 58 days ago \| 33 comments
9.		The Burrows-Wheeler Transform (sandbox.bio)
		157 points by g0xA52A2A 73 days ago \| 40 comments
10.		Newton: physics simulation engine built upon NVIDIA Warp (github.com/newton-physics)
		130 points by skilled 81 days ago \| 32 comments
11.		Dear ImGui: Graphical User Interface library for C++ (github.com/ocornut)
		146 points by _benj on Dec 20, 2023 \| 109 comments
12.		What is a color space? (makingsoftware.com)
		265 points by vinhnx 3 months ago \| 51 comments
13.		Lazy-brush – smooth drawing with mouse or finger (dulnan.net)
		596 points by tvdvd 4 months ago \| 73 comments
14.		Tversky Neural Networks (gonzoml.substack.com)
		131 points by che_shr_cat 4 months ago \| 12 comments
15.		Sumo – Simulation of Urban Mobility (eclipse.dev)
		154 points by Stevvo 4 months ago \| 30 comments
16.		Programming vehicles in games (wassimulator.com)
		324 points by Bogdanp 4 months ago \| 73 comments
17.		I'm unsatisfied with easing functions (davepagurek.com)
		47 points by surprisetalk 5 months ago \| 2 comments
18.		Unsafe and Unpredictable: My Volvo EX90 Experience (myvolvoex90.com)
		408 points by prova_modena 5 months ago \| 421 comments
19.		Introduction to Digital Filters (2024) (stanford.edu)
		108 points by ofalkaed 5 months ago \| 23 comments
20.		Graphical Linear Algebra (graphicallinearalgebra.net)
		304 points by hyperbrainer 5 months ago \| 26 comments
21.		Libpostal: C library for parsing/normalizing street addresses around the world (github.com/openvenues)
		104 points by nateb2022 5 months ago \| 39 comments
22.		How to render a mesh gradient using RBF interpolation (notion.so)
		17 points by olpyhn 5 months ago \| 4 comments
23.		Last fifty years of integer linear programming: Recent practical advances (2024) (hal.science)
		216 points by teleforce 6 months ago \| 83 comments
24.		Rendering Crispy Text on the GPU (osor.io)
		420 points by ibobev 6 months ago \| 130 comments
25.		Demystifying Debuggers (rfleury.com)
		177 points by ibobev 6 months ago \| 34 comments
26.		How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (kirancodes.me)
		81 points by gopiandcode 7 months ago \| 17 comments
27.		“A calculator app? Anyone could make that” (chadnauseam.com)
		1821 points by pie_flavor 10 months ago \| 430 comments
28.		Modern-Day Oracles or Bullshit Machines? How to thrive in a ChatGPT world (thebullshitmachines.com)
		930 points by ctbergstrom 10 months ago \| 603 comments
29.		Keep 'em (not) separated: detecting discontinuities in grid graphs (holm.dog)
		27 points by friendshaver 10 months ago \| 12 comments
30.		Show HN: Ldump – serialize any Lua data (github.com/girvel)
		96 points by girvel 10 months ago \| 41 comments
		More