VitalyAnkh

Recent Submissions

1. 1. ▲ Emacs 28.1 is out (gnu.org) 10 points · 3 years ago · 0 comments
2. 2. ▲ Learning Computer Science with Categories (golem.ph.utexas.edu) 3 points · 3 years ago · 0 comments
3. 3. ▲ Bevy game engine 0.6 (bevyengine.org) 399 points · 4 years ago · 89 comments
4. 4. ▲ The HoTT Game (homotopytypetheory.org) 96 points · 4 years ago · 12 comments
5. 5. ▲ General-Purpose Dotfiles Utilities (dotfiles.github.io) 3 points · 4 years ago · 0 comments
6. 6. ▲ How to learn mathematics: the asterisk method (geometry.org) 350 points · 4 years ago · 76 comments
7. 7. ▲ A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust [pdf] (whileydave.com) 1 point · 4 years ago · 0 comments
8. 8. ▲ Gnome doesn't allow other applications to access its private API (gitlab.gnome.org) 3 points · 4 years ago · 2 comments
9. 9. ▲ The origins of car and cdr in Lisp (gnu.org) 5 points · 4 years ago · 0 comments
10. 10. ▲ CS-E4580 Programming Parallel Computers: Best High Performance Computing Course (ppc.cs.aalto.fi) 3 points · 4 years ago · 0 comments