Primitive Kolmogorov complexity is computable (lewish.io)

Screenshot of lewish.io: Primitive Kolmogorov complexity is computable

First screen, captured 1 year ago.

Looks similar

Screenshot of joshmcguigan.com: Swapping GNU coreutils for uutils coreutils on Gentoo Linux

Swapping GNU coreutils for uutils coreutils on Gentoo Linux (joshmcguigan.com)

76 points by JoshMcguigan 2 years ago | 63 comments

Screenshot of healeycodes.com: I added some optimizations to my compiler that turns Lisp into JavaScript

I added some optimizations to my compiler that turns Lisp into JavaScript (healeycodes.com)

102 points by healeycodes 2 years ago | 17 comments

Screenshot of magiroux.com: Eight Years of GraphQL

Eight Years of GraphQL (magiroux.com)

74 points by fagnerbrack 2 years ago | 58 comments

Screenshot of danieljharvey.github.io: Compiling a Functional Language to LLVM (2023)

Compiling a Functional Language to LLVM (2023)(danieljharvey.github.io)

54 points by PaulHoule 1 year ago | 0 comments

Screenshot of seriot.ch: A Minsky machine in ncurses terminfo

A Minsky machine in ncurses terminfo (seriot.ch)

29 points by beefburger 24 days ago | 9 comments

Nicolas Seriot's article showing ncurses terminfo parameter expansion can simulate a two-counter Minsky machine, making it computationally universal, with a Fibonacci demo.

terminfo ncurses minsky-machine turing-completeness

Screenshot of msinilo.pl: Compilers are too smart

Compilers are too smart (msinilo.pl)

99 points by todsacerdoti 2 years ago | 50 comments

Looks similar

Swapping GNU coreutils for uutils coreutils on Gentoo Linux(joshmcguigan.com)

I added some optimizations to my compiler that turns Lisp into JavaScript(healeycodes.com)

Eight Years of GraphQL(magiroux.com)