dargscisyhp's submissions

1.		Relativistic Space Invaders (github.com/jarrydac)
		4 points by dargscisyhp 10 days ago \| past \| discuss
2.		EWM: The Emacs Wayland Manager (codeberg.org/ezemtsov)
		3 points by dargscisyhp 3 months ago \| past
3.		Hello Worg, the Org-Mode Community (orgmode.org)
		154 points by dargscisyhp 3 months ago \| past \| 51 comments
4.		The Linux Graphics Stack in a Nutshell (lwn.net)
		2 points by dargscisyhp 4 months ago \| past
5.		I'm an award winning mathematician. Trump just cut my funding (ofthebrave.org)
		51 points by dargscisyhp 9 months ago \| past \| 7 comments
6.		Terence Tao on the suspension of UCLA grants (mathstodon.xyz)
		280 points by dargscisyhp 10 months ago \| past \| 305 comments
7.		NSF suspends nearly 300 UCLA grants (Terence Tao, Plasma Science Facility, etc.) (grant-witness.us)
		36 points by dargscisyhp 10 months ago \| past \| 1 comment
8.		Mezzano, an operating system written in Common Lisp (github.com/froggey)
		114 points by dargscisyhp 10 months ago \| past \| 25 comments
9.		On "local" and "global" errors in mathematical papers, and how to detect them (terrytao.wordpress.com)
		4 points by dargscisyhp 10 months ago \| past
10.		Org tutorials (orgmode.org)
		189 points by dargscisyhp 10 months ago \| past \| 74 comments
11.		Do Clouds Mostly Form Above the Lakes? (reddit.com)
		3 points by dargscisyhp 11 months ago \| past
12.		How "Do Your Own Research" Became a Slogan for Epistemic Collapse (infinitehearsay.com)
		9 points by dargscisyhp on May 29, 2025 \| past \| 2 comments
13.		Theory of Stupidity [pdf] (onthewing.org)
		72 points by dargscisyhp on May 28, 2025 \| past \| 28 comments
14.		Formalizing a Proof in Lean Using GitHub Copilot Only [video] (youtube.com)
		4 points by dargscisyhp on May 17, 2025 \| past
15.		Writing N-body gravity simulations code in Python (alvinng4.github.io)
		153 points by dargscisyhp on May 10, 2025 \| past \| 47 comments
16.		Lectures on the Geometric Anatomy of Theoretical Physics (youtube.com)
		3 points by dargscisyhp on April 11, 2025 \| past
17.		The Art of Scripting HTTP Requests Using Curl (curl.se)
		2 points by dargscisyhp on April 10, 2025 \| past
18.		Advanced Python Development Workflow in Emacs (blog.serghei.pl)
		3 points by dargscisyhp on Dec 1, 2024 \| past
19.		Brewington Hardaway Becomes First U.S. Born Black Grandmaster (chess.com)
		16 points by dargscisyhp on Nov 10, 2024 \| past \| 3 comments
20.		The Book Written by Tiny Paws (webtoons.com)
		2 points by dargscisyhp on Nov 6, 2024 \| past
21.		Yale prof solves part of math's 'Rosetta (yale.edu)
		12 points by dargscisyhp on Nov 4, 2024 \| past \| 1 comment
22.		When are two proofs of the same theorem different proofs (mathoverflow.net)
		3 points by dargscisyhp on Oct 29, 2024 \| past
23.		John J. Hopfield Talk, "Collective Properties of Neuronal Networks" [video] (youtube.com)
		2 points by dargscisyhp on Oct 24, 2024 \| past
24.		A Guided Tour of Emacs (gnu.org)
		6 points by dargscisyhp on Oct 23, 2024 \| past \| 1 comment
25.		Why (Chess) Opening Statistics Are Wrong (lichess.org)
		2 points by dargscisyhp on Oct 1, 2024 \| past
26.		An astrophysicist attempts to measure the physics of Outer Wilds (thephysicsmill.com)
		1 point by dargscisyhp on Sept 21, 2024 \| past
27.		Investigating Cleo (cleoinvestigation.notion.site)
		7 points by dargscisyhp on Sept 7, 2024 \| past \| 1 comment
28.		Rosser's Theorem via Turing Machines (2011) (scottaaronson.blog)
		67 points by dargscisyhp on June 20, 2024 \| past \| 9 comments
29.		Programming with Lambda Calculus (hbr.github.io)
		14 points by dargscisyhp on June 14, 2024 \| past
30.		What Justifies Dimensional Analysis? (physics.stackexchange.com)
		2 points by dargscisyhp on June 5, 2024 \| past
		More

HN For You