Education of a Typing Man
|
|
1
|
124
|
4 February 2024
|
Elixir: Strong arrows: a new approach to gradual typing
|
|
0
|
260
|
20 September 2023
|
Typing "nix-env -i" should not try to install every single package [2014]
|
|
0
|
120
|
5 January 2024
|
Vim is touch-typing on steroids
|
|
1
|
430
|
14 January 2023
|
I am disappointed by dynamic typing
|
|
1
|
269
|
30 November 2022
|
Dynamic Typing and NaN Boxing
|
|
3
|
409
|
10 August 2022
|
The curse of strong typing
|
|
1
|
410
|
2 June 2022
|
Keyboard lets people type so fast it’s banned from typing competitions
|
|
7
|
1279
|
7 January 2022
|
Type: A Directed Typing Experiment (demo)
|
|
1
|
620
|
4 January 2022
|
Emacs Typing Tutor
|
|
1
|
791
|
22 September 2021
|
Structural typing in Rust
|
|
2
|
767
|
1 June 2021
|
Typing is Hard
|
|
1
|
1249
|
15 February 2021
|
Are you a touch typist?
|
|
3
|
907
|
10 December 2020
|