HN Explorer

dargscisyhp

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