Best of 2021

The blog posts Hacker News loved most in 2021. 5,820 posts.

Any topic
2961

Typing Is Hard

Type checking is the process of taking a given program in some programming language and working out whether all variables and expressions have the correct types, i.e. strings are assigned to strings, arithmetic expressions involve only numbers, etc. Some languages also offer type inference , tasking the compiler with…

2966

Loom EGA/VGA Comparison

The original EGA background art for Loom was made by Mark Ferrari . The character art was done by Gary Winnick and Steve Purcell . Gary Winnick designed the sprites and did most of the sprite animation, while Steve Purcell did the larger character portraits and some additional animation. Ken Macklin did the effects…

2969

Fitting a FORTH in 512 bytes

Software is full of circular dependencies if you look deep enough. Compilers written in the language they compile are the most obvious example, but not the only one. To compile a kernel, you need a running kernel. Linkers, build systems, shells. Even text editors, if you want to write the code instead of just…