HNHacker News
TopNewBestAskShowJobs

VitalyAnkh

1,023 karma · joined June 30, 2018

submissionscomments

Emacs 28.1 is out

gnu.org·10 pts·VitalyAnkh·
0

Learning Computer Science with Categories

golem.ph.utexas.edu·3 pts·VitalyAnkh·
0

Bevy game engine 0.6

bevyengine.org·399 pts·VitalyAnkh·
89

The HoTT Game

homotopytypetheory.org·96 pts·VitalyAnkh·
12

General-Purpose Dotfiles Utilities

dotfiles.github.io·3 pts·VitalyAnkh·
0

How to learn mathematics: the asterisk method

geometry.org·350 pts·VitalyAnkh·
76

A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust [pdf]

whileydave.com·1 pts·VitalyAnkh·
0

Gnome doesn't allow other applications to access its private API

gitlab.gnome.org·3 pts·VitalyAnkh·
2

The origins of car and cdr in Lisp

gnu.org·5 pts·VitalyAnkh·
0

CS-E4580 Programming Parallel Computers: Best High Performance Computing Course

ppc.cs.aalto.fi·3 pts·VitalyAnkh·
0

CS-E4580 Programming Parallel Computers: Best High Performance Computing Course

ppc-exercises.cs.aalto.fi·3 pts·VitalyAnkh·
0

This Week in Gnome #1

thisweek.gnome.org·3 pts·VitalyAnkh·
0

XWayland 21.1.2 Released with Nvidia Hardware Acceleration Support

phoronix.com·4 pts·VitalyAnkh·
0

Oxide: The Essence of Rust (2020)

arxiv.org·76 pts·VitalyAnkh·
13

Flameshot – Simple, powerful screenshot tool for all major operating systems

flameshot.org·323 pts·VitalyAnkh·
125

Inheritance Is Not Subtyping

dl.acm.org·3 pts·VitalyAnkh·
0

Inheritance is subtyping [pdf]

cs.rice.edu·4 pts·VitalyAnkh·
0

Revisiting Coroutines [pdf]

inf.puc-rio.br·3 pts·VitalyAnkh·
0

The Elements of Computing Systems, Second Edition

mitpress.mit.edu·574 pts·VitalyAnkh·
97

Learn mathematical logic with Lean theorem prover

leanprover.github.io·4 pts·VitalyAnkh·
0

Is Hurwitz's theorem on composition algebras false?

golem.ph.utexas.edu·5 pts·VitalyAnkh·
0

Arrows of Time

quantamagazine.org·1 pts·VitalyAnkh·
0

Why Emacs must export LC_CTYPE to CJK locale to use X input method

debbugs.gnu.org·1 pts·VitalyAnkh·
0

Math Blogs

ncatlab.org·1 pts·VitalyAnkh·
0

Bevy Game Engine Is Promosing

bevyengine.org·2 pts·VitalyAnkh·
0

This Week in Rust

this-week-in-rust.org·2 pts·VitalyAnkh·
0

Nphysics won't be maintained and Rapier is born: new physics engine for rust

dimforge.com·5 pts·VitalyAnkh·
0

A guide to learning algorithms through LeetCode

github.com·455 pts·VitalyAnkh·
204

The Node Experiment – Exploring Async Basics with Rust

cfsamson.github.io·1 pts·VitalyAnkh·
0

Learn Git Interactively

learngitbranching.js.org·2 pts·VitalyAnkh·
0
Page 1 of 2Next →