Отличная книга в формате презентации про язык 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/

Many members of the OSDEV community thought that Terry Devis was a kind of computer freak and considered his OS as an odd job. But, actually, Temple OS always had many strong features that one couldn't find in mainstream operating systems. The following article reveals such hidden things.

http://www.codersnotes.com/notes/a-constructive-look-at-templeos/

From the following video you will learn why it’s dangerous to think that we know everything about computer programming:

https://m.youtube.com/watch?v=8pTEmbeENF4

Поверхностное введение во внутренности LuaJIT на русском.

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

A video with detailed review of interesting parts one can find in LuaJIT.

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

The following article shows why patch-based version control systems like Darcs and Pijul matter.

https://tahoe-lafs.org/~zooko/badmerge/simple.html

A history of attacks on cryptographic hash functions.

https://z.cash/technology/history-of-hash-function-attacks

A hacker-friendly static site generator named sblg.

https://kristaps.bsd.lv/sblg/

Prose is an open source web application for content authoring on static web sites hosted on github. It supports Jekyll and detects its Markdown pages, performs syntax highlighting, shows previews with full template substitution and so on.

http://prose.io/

A tiny collection of simple but playable games written in C and SDL. Compiled with TCC!

https://github.com/superjer/tinyc.games

Most of us know the game Super Mario Bros, but not many of us know about a glitch in the game that allows teleportation to World -1 (minus one) through the warp zone (yes, those small underground rooms with green pipes allowing next level selection).

The following article explains why such behavior can be possible. Again, this is not an easter egg or hidden level, the whole additional world is just a glitch!

https://smcgamer.wordpress.com/2010/09/09/deconstructing-the-minus-world/amp/