dargscisyhp's submissions

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

HN For You