Education of a Typing Man
|
|
1
|
159
|
4 February 2024
|
Elixir: Strong arrows: a new approach to gradual typing
|
|
0
|
290
|
20 September 2023
|
Typing "nix-env -i" should not try to install every single package [2014]
|
|
0
|
132
|
5 January 2024
|
Vim is touch-typing on steroids
|
|
1
|
452
|
14 January 2023
|
I am disappointed by dynamic typing
|
|
1
|
289
|
30 November 2022
|
Dynamic Typing and NaN Boxing
|
|
3
|
427
|
10 August 2022
|
The curse of strong typing
|
|
1
|
421
|
2 June 2022
|
Keyboard lets people type so fast it’s banned from typing competitions
|
|
7
|
1330
|
7 January 2022
|
Type: A Directed Typing Experiment (demo)
|
|
1
|
638
|
4 January 2022
|
Emacs Typing Tutor
|
|
1
|
830
|
22 September 2021
|
Structural typing in Rust
|
|
2
|
792
|
1 June 2021
|
Typing is Hard
|
|
1
|
1272
|
15 February 2021
|
Are you a touch typist?
|
|
3
|
925
|
10 December 2020
|