VitalyAnkh
- Karma
- 1,023
- Created
- June 30, 2018 (8y ago)
- Submissions
- 0
- Emacs 28.1 is out (gnu.org)
- Learning Computer Science with Categories (golem.ph.utexas.edu)
- Bevy game engine 0.6 (bevyengine.org)
- The HoTT Game (homotopytypetheory.org)
- General-Purpose Dotfiles Utilities (dotfiles.github.io)
- How to learn mathematics: the asterisk method (geometry.org)
- Gnome doesn't allow other applications to access its private API (gitlab.gnome.org)
- The origins of car and cdr in Lisp (gnu.org)
- CS-E4580 Programming Parallel Computers: Best High Performance Computing Course (ppc-exercises.cs.aalto.fi)
- This Week in Gnome #1 (thisweek.gnome.org)
- Oxide: The Essence of Rust (2020) (arxiv.org)
- Inheritance Is Not Subtyping (dl.acm.org)
- Inheritance is subtyping [pdf] (cs.rice.edu)
- Revisiting Coroutines [pdf] (inf.puc-rio.br)
- The Elements of Computing Systems, Second Edition (mitpress.mit.edu)
- Learn mathematical logic with Lean theorem prover (leanprover.github.io)
- Is Hurwitz's theorem on composition algebras false? (golem.ph.utexas.edu)
- Arrows of Time (quantamagazine.org)
- Why Emacs must export LC_CTYPE to CJK locale to use X input method (debbugs.gnu.org)
- Math Blogs (ncatlab.org)
- Bevy Game Engine Is Promosing (bevyengine.org)