RealityVoid's favorites

1.		Show HN: Now I Get It – Translate scientific papers into interactive webpages (nowigetit.us)
		294 points by jbdamask 2 days ago \| 128 comments
2.		10-202: Introduction to Modern AI (CMU) (modernaicourse.org)
		251 points by vismit2000 1 day ago \| 60 comments
3.		Microgpt (karpathy.github.io)
		1852 points by tambourine_man 1 day ago \| 310 comments
4.		Steering interpretable language models with concept algebra (guidelabs.ai)
		77 points by luulinh90s 4 days ago \| 8 comments
5.		The Missing Semester of Your CS Education – Revised for 2026 (csail.mit.edu)
		452 points by anishathalye 6 days ago \| 132 comments
6.		Generalized Sequential Probability Ratio Test for Families of Hypotheses [pdf] (columbia.edu)
		33 points by luu 10 days ago \| 6 comments
7.		Show HN: Sowbot – Open-hardware agricultural robot (ROS2, RTK GPS) (sowbot.co.uk)
		181 points by Sabrees 6 days ago \| 45 comments
8.		Six Math Essentials (terrytao.wordpress.com)
		317 points by digital55 7 days ago \| 63 comments
9.		Show HN: Llama 3.1 70B on a single RTX 3090 via NVMe-to-GPU bypassing the CPU (github.com/xaskasdf)
		395 points by xaskasdf 8 days ago \| 101 comments
10.		Lean 4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com)
		145 points by tesserato 13 days ago \| 64 comments
11.		Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels (github.com/park07)
		62 points by anonymoosestdnt 12 days ago \| 28 comments
12.		Learning Lean: Part 1 (rkirov.github.io)
		131 points by vinhnx 15 days ago \| 16 comments
13.		Thank HN: You helped save 33k lives
		1147 points by chaseadam17 12 days ago \| 112 comments
14.		AI adoption and Solow's productivity paradox (fortune.com)
		792 points by virgildotcodes 12 days ago \| 752 comments
15.		Animated Knots (animatedknots.com)
		345 points by ostacke 28 days ago \| 49 comments
16.		Show HN: Artifact Keeper – Open-Source Artifactory/Nexus Alternative in Rust (github.com/artifact-keeper)
		166 points by bsgeraci 24 days ago \| 69 comments
17.		Parametric CAD in Rust (campedersen.com)
		241 points by ecto 33 days ago \| 172 comments
18.		Design Thinking Books (2024) (designorate.com)
		309 points by rrm1977 39 days ago \| 155 comments
19.		The five orders of ignorance (2000) (acm.org)
		90 points by svilen_dobrev 49 days ago \| 23 comments
20.		Ask HN: How can we solve the loneliness epidemic?
		799 points by publicdebates 45 days ago \| 1245 comments
21.		What a year of solar and batteries saved us in 2025 (scotthelme.co.uk)
		243 points by MattSayar 47 days ago \| 358 comments
22.		Solo ASIC tapeout on a budget: detailed write up (essenceia.github.io)
		65 points by random_duck 56 days ago \| 11 comments
23.		PySDR: A Guide to SDR and DSP Using Python (pysdr.org)
		230 points by kklisura 63 days ago \| 13 comments
24.		Inside the proton, the ‘most complicated thing you could possibly imagine’ (2022) (quantamagazine.org)
		152 points by tzury 65 days ago \| 62 comments
25.		Some Junk Theorems in Lean (github.com/james-hanson)
		91 points by saithound 69 days ago \| 61 comments
26.		All about automotive lidar (mainstreetautonomy.com)
		211 points by dllu 3 months ago \| 103 comments
27.		Litex: Formal math for everyone – set theory examples with Lean comparison (litexlang.com)
		30 points by litexlang 73 days ago \| 11 comments
28.		Ask HN: What are the best engineering blogs with real-world depth?
		474 points by nishilpatel 69 days ago \| 141 comments
29.		A guide to local coding models (aiforswes.com)
		607 points by mpweiher 70 days ago \| 351 comments
30.		OpenSCAD is kinda neat (nuxx.net)
		327 points by c0nsumer 71 days ago \| 253 comments
		More