1. | | Emacs 28.1 is out (gnu.org) |
|
10 points by VitalyAnkh on April 4, 2022 | past
|
2. | | Learning Computer Science with Categories (utexas.edu) |
|
3 points by VitalyAnkh on Jan 31, 2022 | past
|
3. | | Bevy game engine 0.6 (bevyengine.org) |
|
399 points by VitalyAnkh on Jan 8, 2022 | past | 89 comments
|
4. | | The HoTT Game (homotopytypetheory.org) |
|
96 points by VitalyAnkh on Dec 9, 2021 | past | 12 comments
|
5. | | General-Purpose Dotfiles Utilities (dotfiles.github.io) |
|
3 points by VitalyAnkh on Nov 5, 2021 | past
|
6. | | How to learn mathematics: the asterisk method (geometry.org) |
|
350 points by VitalyAnkh on Oct 22, 2021 | past | 76 comments
|
7. | | A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust [pdf] (whileydave.com) |
|
1 point by VitalyAnkh on Oct 20, 2021 | past
|
8. | | Gnome doesn't allow other applications to access its private API (gnome.org) |
|
3 points by VitalyAnkh on Oct 18, 2021 | past | 2 comments
|
9. | | The origins of car and cdr in Lisp (gnu.org) |
|
5 points by VitalyAnkh on Oct 5, 2021 | past
|
10. | | CS-E4580 Programming Parallel Computers: Best High Performance Computing Course (aalto.fi) |
|
3 points by VitalyAnkh on July 22, 2021 | past
|
11. | | CS-E4580 Programming Parallel Computers: Best High Performance Computing Course (aalto.fi) |
|
3 points by VitalyAnkh on July 22, 2021 | past
|
12. | | This Week in Gnome #1 (gnome.org) |
|
3 points by VitalyAnkh on July 18, 2021 | past
|
13. | | XWayland 21.1.2 Released with Nvidia Hardware Acceleration Support (phoronix.com) |
|
4 points by VitalyAnkh on July 9, 2021 | past
|
14. | | Oxide: The Essence of Rust (2020) (arxiv.org) |
|
76 points by VitalyAnkh on May 15, 2021 | past | 13 comments
|
15. | | Flameshot – Simple, powerful screenshot tool for all major operating systems (flameshot.org) |
|
323 points by VitalyAnkh on March 13, 2021 | past | 125 comments
|
16. | | Inheritance Is Not Subtyping (acm.org) |
|
3 points by VitalyAnkh on Feb 7, 2021 | past
|
17. | | Inheritance is subtyping [pdf] (rice.edu) |
|
4 points by VitalyAnkh on Feb 7, 2021 | past
|
18. | | Revisiting Coroutines [pdf] (inf.puc-rio.br) |
|
3 points by VitalyAnkh on Feb 7, 2021 | past
|
19. | | The Elements of Computing Systems, Second Edition (mitpress.mit.edu) |
|
574 points by VitalyAnkh on Feb 5, 2021 | past | 97 comments
|
20. | | Learn mathematical logic with Lean theorem prover (leanprover.github.io) |
|
4 points by VitalyAnkh on Nov 21, 2020 | past
|
21. | | Is Hurwitz's theorem on composition algebras false? (utexas.edu) |
|
5 points by VitalyAnkh on Sept 30, 2020 | past
|
22. | | Arrows of Time (quantamagazine.org) |
|
1 point by VitalyAnkh on Sept 5, 2020 | past
|
23. | | Why Emacs must export LC_CTYPE to CJK locale to use X input method (debbugs.gnu.org) |
|
1 point by VitalyAnkh on Aug 31, 2020 | past
|
24. | | Math Blogs (ncatlab.org) |
|
1 point by VitalyAnkh on Aug 20, 2020 | past
|
25. | | Bevy Game Engine Is Promosing (bevyengine.org) |
|
2 points by VitalyAnkh on Aug 20, 2020 | past
|
26. | | This Week in Rust (this-week-in-rust.org) |
|
2 points by VitalyAnkh on Aug 20, 2020 | past
|
27. | | Nphysics won't be maintained and Rapier is born: new physics engine for rust (dimforge.com) |
|
5 points by VitalyAnkh on Aug 19, 2020 | past
|
28. | | A guide to learning algorithms through LeetCode (github.com/labuladong) |
|
455 points by VitalyAnkh on Aug 15, 2020 | past | 204 comments
|
29. | | The Node Experiment – Exploring Async Basics with Rust (cfsamson.github.io) |
|
1 point by VitalyAnkh on Aug 12, 2020 | past
|
30. | | Learn Git Interactively (learngitbranching.js.org) |
|
2 points by VitalyAnkh on Aug 12, 2020 | past
|
|
|
More |