dargscisyhp
A Simple Guide to Five Normal Forms in Relational Database Theory (1982)
How to Disagree
Relativistic Space Invaders
Re:1D Chess
on Friday April 10, 2026 @04:24PM (#47723226)
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.
EWM: The Emacs Wayland Manager
Hello Worg, the Org-Mode Community
The Linux Graphics Stack in a Nutshell
I'm an award winning mathematician. Trump just cut my funding
Terence Tao weighs in on the suspension of UCLA grants
Re:NSF suspends nearly 300 UCLA grants (Terence Tao, Plasma Science Fa...
on Friday August 01, 2025 @02:55PM (#44760907)
Yea, but most other immigrants are also far from being that productive.
NSF suspends nearly 300 UCLA grants (Terence Tao, Plasma Science Facility, etc.)
Mezzano, an operating system written in Common Lisp
On "local" and "global" errors in mathematical papers, and how to detect them
Re:Org Tutorials
on Wednesday July 23, 2025 @03:35PM (#44663078)
Syncthing, maybe?
Org Tutorials
Do Clouds Mostly Form Above the Lakes?
How "Do Your Own Research" Became a Slogan for Epistemic Collapse
Theory of Stupidity [pdf]
Formalizing a Proof in Lean Using GitHub Copilot Only [video]
5 Steps to N-Body Simulation
Re:Exwm: Emacs X Window Manager
on Sunday April 13, 2025 @06:19PM (#43676274)
Been using it for a couple of years, and in practice it does not cause me much trouble, at least not for me.
Lectures on the Geometric Anatomy of Theoretical Physics
The Art of Scripting HTTP Requests Using Curl
Re:Living in your programming environment [pdf]
on Wednesday February 26, 2025 @03:08PM (#43187631)
You can already do this using Emacs with EXWM. I've been living this way for years.