Updated and refactored Programming Language Zoo by Andrej Bauer.

Many examples of compilers and interpreters for various types of simplified programming languages: functional and imperative, lazy and eager, procedural and object oriented.

http://plzoo.andrej.com

A simple introduction to the type theory by Andrej Bauer.

http://math.andrej.com/2017/12/11/spartan-type-theory/

A video with the lecture mentioned in the previous post on the spartan type theory.

https://vimeo.com/286652934

Visopsys is an old but still alive OSdev project performed generally by only one author.

https://visopsys.org

A good introduction to the internals of Prolog.

https://www.amzi.com/articles/prolog_under_the_hood.htm

A perfect book on the art of solving problems by Sanjoy Mahajan. You can download the PDF version for free (see the "Open Access" tab).

https://mitpress.mit.edu/books/street-fighting-mathematics

Another book written by Sanjoy Mahajan on solving engineering and scientific tasks.

https://mitpress.mit.edu/books/art-insight-science-and-engineering

The free PDF copy is available on the "Open Access" tab.

I used many TUI-based TODO lists, there are plenty of them in GNU/Linux: todolist, ikog, todo.txt, yokadi and others. All of them are too simple for serious use, I think. But it looks like I've eventually found the golden middle - powerfull enough but still terminal friendly utility. Its name is Calcurse.

https://calcurse.org

One more tool looks very similar to Calcurse and definitely deserves your attention. This is Taskwarrior.

https://taskwarrior.org

Judy array is an effective sparse data structure implementing an interface of associative arrays.

http://judy.sourceforge.net

Электронная книга на русском с последовательным введением в язык Perl. Книга особенная, потому что фокусируется на примерах реализации алгоритмов, а не на тонкостях самого языка. Список примеров просто огромен.

http://mech.math.msu.su/~shvetz/54/inf/perl-problems/index.xhtml

Отличная книга в формате презентации про язык METAPOST.

http://mech.math.msu.su/~shvetz/54/inf/metapost/mpshort.pdf

ATS is a functional programming language inspired by ML and C++ with support of dependent and linear types. It also supports a subsystem for interactive theorem proving. As the author of the language wrote, ATS unifies implementation with formal specification.

http://www.ats-lang.org

DMVN - ресурс сделанный мехматовцами для мехматовцев с лекциями по основным направлениям и спецкурсам физики и математики, аккуратно сверстанными в LaTeX.

http://dmvn.mexmat.net

Sortix is a small POSIX-compliant self-hosting OS written from scratch and distributed under the terms of ISC license. What a nice mascotte!

https://sortix.org

LinageOS is an alternative Android distribution. It is fast, small and secure. I have installed it on my Xiaomi Redmi 3 today and it works perfectly!

https://lineageos.org/

An interesting video about e-ink displays, their hardware design and the way to control them.

https://m.youtube.com/watch?v=MsbiO8EAsGw

A series of blog posts describing the memory manager of the Linux i915 driver. Eventually clears how buffer objects are managed and mapped using GTT and PPGTT.

https://bwidawsk.net/blog/index.php/2014/06/the-global-gtt-part-1/

Use the main menu to access other posts.

MPC is a pure C library implementing parser combinators. You can write your parser using basic parsers and combinators from the library or just describe a grammar to generate the corresponding parser automatically.

https://github.com/orangeduck/mpc

This longread is a great way to show non-technical people what the programming is and why it is difficult but still interesting.

https://www.bloomberg.com/graphics/2015-paul-ford-what-is-code/

It's better to read the article in the desktop, full-featured browser, because the text contains many dynamic interactive examples.

Terry Davis has passed away in August. I didn't know that. In spite of his conflictness in community he was a brilliantly productive programmer. His last year was dufficult and finished tragically. Use links below to read more about him and his software.

https://en.m.wikipedia.org/wiki/Terry_A._Davis

https://en.m.wikipedia.org/wiki/TempleOS

https://motherboard.vice.com/en_us/article/wnj43x/gods-lonely-programmer

https://www.templeos.org/