VitalyAnkh

8 ms·

1. 1.▲
   by VitalyAnkh 4y ago

   I wish org-mode ( https://orgmode.org/ ) was more popular. It's plain text, but way better than any other competitors.
2. 2.▲
   by VitalyAnkh 4y ago

   How is it compared to JetBrains' https://hyperskill.org ? They seems to be competitive products. PS. HyperSkill's pricing is also more competitive. They offer tons of tracks containing hundreds of coding projects at th
3. 3.▲
   Emacs 28.1 is out(gnu.org)

   10 points by VitalyAnkh 5y ago|0 comments
4. 4.▲
   by VitalyAnkh 5y ago

   Paul E. McKenney's Journal: https://paulmck.livejournal.com/
5. 5.▲
   Learning Computer Science with Categories(golem.ph.utexas.edu)

   3 points by VitalyAnkh 5y ago|0 comments
6. 6.▲
   Bevy game engine 0.6(bevyengine.org)

   399 points by VitalyAnkh 5y ago|89 comments
7. 7.▲
   by VitalyAnkh 5y ago

   Oh the PR is so huge. Would this be difficult to review?
8. 8.▲
   by VitalyAnkh 5y ago

   The title reminds me of Doctor Who.
9. 9.▲
   The HoTT Game(homotopytypetheory.org)

   96 points by VitalyAnkh 5y ago|12 comments
10. 10.▲
    by VitalyAnkh 5y ago

    It’s not *Higher* math. It’s just normal math.
11. 11.▲
    General-Purpose Dotfiles Utilities(dotfiles.github.io)

    3 points by VitalyAnkh 5y ago|0 comments
12. 12.▲
    How to learn mathematics: the asterisk method(geometry.org)

    350 points by VitalyAnkh 5y ago|76 comments
13. 13.▲
    A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust [pdf](whileydave.com)

    1 points by VitalyAnkh 5y ago|0 comments
14. 14.▲
    by VitalyAnkh 5y ago

    And this has made flameshot not able to work under Gnome: https://github.com/flameshot-org/flameshot/issues/1910
15. 15.▲
    Gnome doesn't allow other applications to access its private API(gitlab.gnome.org)

    3 points by VitalyAnkh 5y ago|2 comments
16. 16.▲
    The origins of car and cdr in Lisp(gnu.org)

    5 points by VitalyAnkh 5y ago|0 comments
17. 17.▲
    by VitalyAnkh 5y ago

    It's a lot of fun!
18. 18.▲
    CS-E4580 Programming Parallel Computers: Best High Performance Computing Course(ppc.cs.aalto.fi)

    3 points by VitalyAnkh 5y ago|0 comments
19. 19.▲
    CS-E4580 Programming Parallel Computers: Best High Performance Computing Course(ppc-exercises.cs.aalto.fi)

    3 points by VitalyAnkh 5y ago|0 comments
20. 20.▲
    This Week in Gnome #1(thisweek.gnome.org)

    3 points by VitalyAnkh 5y ago|0 comments
21. 21.▲
    XWayland 21.1.2 Released with Nvidia Hardware Acceleration Support(phoronix.com)

    4 points by VitalyAnkh 5y ago|0 comments
22. 22.▲
    Oxide: The Essence of Rust (2020)(arxiv.org)

    76 points by VitalyAnkh 5y ago|13 comments
23. 23.▲
    by VitalyAnkh 6y ago

    Flameshot supports Wayland recently. That why there is a “all major operating systems” in the title of the post.
24. 24.▲
    Flameshot – Simple, powerful screenshot tool for all major operating systems(flameshot.org)

    323 points by VitalyAnkh 6y ago|125 comments
25. 25.▲
    by VitalyAnkh 6y ago

    This article should be written with Rust/Haskell/Scala/OCaml/TypeScript ... or any languages with an insane type system. Anyway it can’t be Go, a language without sum type.
26. 26.▲
    Inheritance Is Not Subtyping(dl.acm.org)

    3 points by VitalyAnkh 6y ago|0 comments
27. 27.▲
    Inheritance is subtyping [pdf](cs.rice.edu)

    4 points by VitalyAnkh 6y ago|0 comments
28. 28.▲
    Revisiting Coroutines [pdf](inf.puc-rio.br)

    3 points by VitalyAnkh 6y ago|0 comments
29. 29.▲
    The Elements of Computing Systems, Second Edition(mitpress.mit.edu)

    574 points by VitalyAnkh 6y ago|97 comments
30. 30.▲
    Learn mathematical logic with Lean theorem prover(leanprover.github.io)

    4 points by VitalyAnkh 6y ago|0 comments