HNHacker News
TopNewBestAskShowJobs

dargscisyhp

805 karma · joined April 24, 2021

submissionscomments

A Simple Guide to Five Normal Forms in Relational Database Theory (1982)

bkent.net·14 pts·dargscisyhp·
0

Relativistic Space Invaders

github.com·4 pts·dargscisyhp·
0

EWM: The Emacs Wayland Manager

codeberg.org·3 pts·dargscisyhp·
0

Hello Worg, the Org-Mode Community

orgmode.org·154 pts·dargscisyhp·
51

The Linux Graphics Stack in a Nutshell

lwn.net·2 pts·dargscisyhp·
0

I'm an award winning mathematician. Trump just cut my funding

newsletter.ofthebrave.org·51 pts·dargscisyhp·
7

Terence Tao on the suspension of UCLA grants

mathstodon.xyz·280 pts·dargscisyhp·
305

NSF suspends nearly 300 UCLA grants (Terence Tao, Plasma Science Facility, etc.)

grant-witness.us·36 pts·dargscisyhp·
1

Mezzano, an operating system written in Common Lisp

github.com·114 pts·dargscisyhp·
25

On "local" and "global" errors in mathematical papers, and how to detect them

terrytao.wordpress.com·4 pts·dargscisyhp·
0

Org tutorials

orgmode.org·189 pts·dargscisyhp·
74

Do Clouds Mostly Form Above the Lakes?

old.reddit.com·3 pts·dargscisyhp·
0

How "Do Your Own Research" Became a Slogan for Epistemic Collapse

infinitehearsay.com·9 pts·dargscisyhp·
2

Theory of Stupidity [pdf]

onthewing.org·72 pts·dargscisyhp·
28

Formalizing a Proof in Lean Using GitHub Copilot Only [video]

youtube.com·4 pts·dargscisyhp·
0

Writing N-body gravity simulations code in Python

alvinng4.github.io·153 pts·dargscisyhp·
47

Lectures on the Geometric Anatomy of Theoretical Physics

youtube.com·3 pts·dargscisyhp·
0

The Art of Scripting HTTP Requests Using Curl

curl.se·2 pts·dargscisyhp·
0

Advanced Python Development Workflow in Emacs

blog.serghei.pl·3 pts·dargscisyhp·
0

Brewington Hardaway Becomes First U.S. Born Black Grandmaster

chess.com·16 pts·dargscisyhp·
3

The Book Written by Tiny Paws

webtoons.com·2 pts·dargscisyhp·
0

Yale prof solves part of math's 'Rosetta

news.yale.edu·12 pts·dargscisyhp·
1

When are two proofs of the same theorem different proofs

mathoverflow.net·3 pts·dargscisyhp·
0

John J. Hopfield Talk, "Collective Properties of Neuronal Networks" [video]

youtube.com·2 pts·dargscisyhp·
0

A Guided Tour of Emacs

gnu.org·6 pts·dargscisyhp·
1

Why (Chess) Opening Statistics Are Wrong

lichess.org·2 pts·dargscisyhp·
0

An astrophysicist attempts to measure the physics of Outer Wilds

thephysicsmill.com·1 pts·dargscisyhp·
0

Investigating Cleo

cleoinvestigation.notion.site·7 pts·dargscisyhp·
1

Rosser's Theorem via Turing Machines (2011)

scottaaronson.blog·67 pts·dargscisyhp·
9

Programming with Lambda Calculus

hbr.github.io·14 pts·dargscisyhp·
0
Page 1 of 3Next →