SilasX's favorites | Hacker News

1.		A SAT Attack on Tarski's High School Algebra Problem (arxiv.org)
		98 points by matt_d 30 days ago \| 39 comments
2.		Ten advances in mathematics and theoretical computer science (openai.com)
		632 points by milkshakes 38 days ago \| 942 comments
3.		Leave It to Manus (manus.im)
		51 points by doener on March 8, 2025 \| 35 comments
4.		Defensive Communication (1961) (reagle.org)
		138 points by rzk on Nov 12, 2024 \| 65 comments
5.		The Missing Semester of Your CS Education – Revised for 2026 (csail.mit.edu)
		457 points by anishathalye 6 months ago \| 132 comments
6.		Building an HTML-first site doubled our users overnight (mohkohn.co.uk)
		1278 points by edent 3 months ago \| 569 comments
7.		“Why not just use Lean?” (lawrencecpaulson.github.io)
		304 points by ibobev 4 months ago \| 209 comments
8.		Waymo says can't avoid bike lanes because riders want to be dropped off in them (road.cc)
		245 points by randycupertino 4 months ago \| 440 comments
9.		Why senior developers fail to communicate their expertise (nair.sh)
		826 points by nilirl 4 months ago \| 333 comments
10.		[flagged] Show HN: How LLMs Work – Interactive visual guide based on Karpathy's lecture (ynarwal.github.io)
		245 points by ynarwal__ 4 months ago \| 55 comments
11.		Executing programs inside transformers with exponentially faster inference (percepta.ai)
		330 points by u1hcw9nx 6 months ago \| 130 comments
12.		How to talk to anyone and why you should (theguardian.com)
		668 points by Looky1173 6 months ago \| 553 comments
13.		The EU moves to kill infinite scrolling (politico.eu)
		785 points by danso 6 months ago \| 934 comments
14.		Almost everything on computers is perceptually slower than it was in 1983 (tttthreads.com)
		498 points by dredmorbius on Nov 7, 2017 \| 341 comments
15.		Windows 11's Patch Tuesday nightmare gets worse (windowscentral.com)
		438 points by 01-_- 7 months ago \| 350 comments
16.		The Art of Finishing (bytedrum.com)
		711 points by emmorts on Sept 2, 2024 \| 165 comments
17.		Ask HN: How can we solve the loneliness epidemic?
		799 points by publicdebates 7 months ago \| 1245 comments
18.		The creator of Claude Code's Claude setup (twitter.com/bcherny)
		568 points by KothuRoti 8 months ago \| 403 comments
19.		Ripple, a puzzle game about 2nd and 3rd order effects (ripplegame.app)
		155 points by mooreds 8 months ago \| 41 comments
20.		Neural Networks: Zero to Hero (karpathy.ai)
		791 points by suioir 8 months ago \| 77 comments
21.		OMSCS Open Courseware (gatech.edu)
		237 points by kerim-ca 9 months ago \| 103 comments
22.		The New AI Consciousness Paper (astralcodexten.com)
		149 points by rbanffy 9 months ago \| 296 comments
23.		The Case That A.I. Is Thinking (newyorker.com)
		278 points by ascertain 10 months ago \| 1011 comments
24.		The cryptography behind electronic passports (trailofbits.com)
		200 points by tatersolid 10 months ago \| 122 comments
25.		Using AI to negotiate a $195k hospital bill down to $33k (threads.com)
		1034 points by stevenhubertron 10 months ago \| 923 comments
26.		Why Busy Beaver hunters fear the Antihydra (benbrubaker.com)
		238 points by Bogdanp 10 months ago \| 78 comments
27.		Why formalize mathematics – more than catching errors (rkirov.github.io)
		224 points by birdculture 10 months ago \| 75 comments
28.		Radios, how do they work? (2024) (lcamtuf.substack.com)
		254 points by aqrashik 10 months ago \| 66 comments
29.		Build your own database (nan.fyi)
		547 points by nansdotio 10 months ago \| 93 comments
30.		My Deus Ex lipsyncing fix mod (joewintergreen.com)
		275 points by jonny_eh 11 months ago \| 177 comments
		More