dargscisyhp | Dark Hacker News

user:	dargscisyhp
created:	April 24, 2021
karma:	797

1.	How to Disagree(paulgraham.com) 3 points by dargscisyhp 2 days ago \| 0 comments
2.	Relativistic Space Invaders(github.com) 4 points by dargscisyhp 90 days ago \| 0 comments
3.	EWM: The Emacs Wayland Manager(codeberg.org) 3 points by dargscisyhp 183 days ago \| 0 comments
4.	Hello Worg, the Org-Mode Community(orgmode.org) 154 points by dargscisyhp 185 days ago \| 51 comments
5.	The Linux Graphics Stack in a Nutshell(lwn.net) 2 points by dargscisyhp 203 days ago \| 0 comments
6.	I'm an award winning mathematician. Trump just cut my funding(newsletter.ofthebrave.org) 51 points by dargscisyhp 1 year ago \| 7 comments
7.	Terence Tao on the suspension of UCLA grants(mathstodon.xyz) 280 points by dargscisyhp 1 year ago \| 305 comments
8.	NSF suspends nearly 300 UCLA grants (Terence Tao, Plasma Science Facility, etc.)(grant-witness.us) 36 points by dargscisyhp 1 year ago \| 1 comment
9.	Mezzano, an operating system written in Common Lisp(github.com) 114 points by dargscisyhp 1 year ago \| 25 comments
10.	On "local" and "global" errors in mathematical papers, and how to detect them(terrytao.wordpress.com) 4 points by dargscisyhp 1 year ago \| 0 comments
11.	Org tutorials(orgmode.org) 189 points by dargscisyhp 1 year ago \| 74 comments
12.	Do Clouds Mostly Form Above the Lakes?(old.reddit.com) 3 points by dargscisyhp 1 year ago \| 0 comments
13.	How "Do Your Own Research" Became a Slogan for Epistemic Collapse(infinitehearsay.com) 9 points by dargscisyhp 1 year ago \| 2 comments
14.	Theory of Stupidity [pdf](onthewing.org) 72 points by dargscisyhp 1 year ago \| 28 comments
15.	Formalizing a Proof in Lean Using GitHub Copilot Only [video](youtube.com) 4 points by dargscisyhp 1 year ago \| 0 comments
16.	Writing N-body gravity simulations code in Python(alvinng4.github.io) 153 points by dargscisyhp 1 year ago \| 47 comments
17.	1 points by dargscisyhp 1 year ago \| discuss
18.	1 year ago \| discuss
19.	Lectures on the Geometric Anatomy of Theoretical Physics(youtube.com) 3 points by dargscisyhp 1 year ago \| 0 comments
20.	The Art of Scripting HTTP Requests Using Curl(curl.se) 2 points by dargscisyhp 1 year ago \| 0 comments
21.	Advanced Python Development Workflow in Emacs(blog.serghei.pl) 3 points by dargscisyhp 1 year ago \| 0 comments
22.	Brewington Hardaway Becomes First U.S. Born Black Grandmaster(chess.com) 16 points by dargscisyhp 1 year ago \| 3 comments
23.	The Book Written by Tiny Paws(webtoons.com) 2 points by dargscisyhp 1 year ago \| 0 comments
24.	Yale prof solves part of math's 'Rosetta(news.yale.edu) 12 points by dargscisyhp 1 year ago \| 1 comment
25.	When are two proofs of the same theorem different proofs(mathoverflow.net) 3 points by dargscisyhp 1 year ago \| 0 comments