dargscisyhp

8 ms·

1.
A Simple Guide to Five Normal Forms in Relational Database Theory (1982)(bkent.net)
14 points by dargscisyhp 15d ago|0 comments
2.
How to Disagree(paulgraham.com)
3 points by dargscisyhp 23d ago|0 comments
3.
Relativistic Space Invaders(github.com)
4 points by dargscisyhp 4mo ago|0 comments
4.
by dargscisyhp 5mo ago
That is a standard rule in chess. If your opponent has no legal moves (i.e. no way to move without moving his king into check) and is not currently in check, it is considered stalemate, which is a draw.
5.
EWM: The Emacs Wayland Manager(codeberg.org)
3 points by dargscisyhp 7mo ago|0 comments
6.
Hello Worg, the Org-Mode Community(orgmode.org)
154 points by dargscisyhp 7mo ago|51 comments
7.
The Linux Graphics Stack in a Nutshell(lwn.net)
2 points by dargscisyhp 8mo ago|0 comments
8.
I'm an award winning mathematician. Trump just cut my funding(newsletter.ofthebrave.org)
51 points by dargscisyhp 1y ago|7 comments
9.
Terence Tao on the suspension of UCLA grants(mathstodon.xyz)
280 points by dargscisyhp 1y ago|305 comments
10.
by dargscisyhp 1y ago
Yea, but most other immigrants are also far from being that productive.
11.
NSF suspends nearly 300 UCLA grants (Terence Tao, Plasma Science Facility, etc.)(grant-witness.us)
36 points by dargscisyhp 1y ago|1 comments
12.
Mezzano, an operating system written in Common Lisp(github.com)
114 points by dargscisyhp 1y ago|25 comments
13.
On "local" and "global" errors in mathematical papers, and how to detect them(terrytao.wordpress.com)
4 points by dargscisyhp 1y ago|0 comments
14.
by dargscisyhp 1y ago
Syncthing, maybe?
15.
Org tutorials(orgmode.org)
189 points by dargscisyhp 1y ago|74 comments
16.
Do Clouds Mostly Form Above the Lakes?(old.reddit.com)
3 points by dargscisyhp 1y ago|0 comments
17.
How "Do Your Own Research" Became a Slogan for Epistemic Collapse(infinitehearsay.com)
9 points by dargscisyhp 1y ago|2 comments
18.
Theory of Stupidity [pdf](onthewing.org)
72 points by dargscisyhp 1y ago|28 comments
19.
Formalizing a Proof in Lean Using GitHub Copilot Only [video](youtube.com)
4 points by dargscisyhp 1y ago|0 comments
20.
Writing N-body gravity simulations code in Python(alvinng4.github.io)
153 points by dargscisyhp 1y ago|47 comments
21.
by dargscisyhp 1y ago
Been using it for a couple of years, and in practice it does not cause me much trouble, at least not for me.
22.
Lectures on the Geometric Anatomy of Theoretical Physics(youtube.com)
3 points by dargscisyhp 1y ago|0 comments
23.
The Art of Scripting HTTP Requests Using Curl(curl.se)
2 points by dargscisyhp 1y ago|0 comments
24.
by dargscisyhp 2y ago
You can already do this using Emacs with EXWM. I've been living this way for years.
25.
Advanced Python Development Workflow in Emacs(blog.serghei.pl)
3 points by dargscisyhp 2y ago|0 comments
26.
Brewington Hardaway Becomes First U.S. Born Black Grandmaster(chess.com)
16 points by dargscisyhp 2y ago|3 comments
27.
The Book Written by Tiny Paws(webtoons.com)
2 points by dargscisyhp 2y ago|0 comments
28.
Yale prof solves part of math's 'Rosetta(news.yale.edu)
12 points by dargscisyhp 2y ago|1 comments
29.
When are two proofs of the same theorem different proofs(mathoverflow.net)
3 points by dargscisyhp 2y ago|0 comments
30.
John J. Hopfield Talk, "Collective Properties of Neuronal Networks" [video](youtube.com)
2 points by dargscisyhp 2y ago|0 comments

More ›