A site about internals of the Turbo Pascal compiler.

http://turbopascal.org

A talk of Piotr Padlewski at CppCon 2017 about undefined behavior in C++.

https://www.youtube.com/watch?v=ehyHyAIa5so

Some nice quotes on C and C++ programming.

I have stopped reading Stephen King novels. Now I just read C code instead. Richard A. O'Keefe

When it's 3 A.M., and you've been debugging for 12 hours, and you encounter a virtual static friend protected volatile templated function pointer, you want to go into hibernation and awake as a werewolf and then find the people who wrote the C++ standard and bring ruin to the things that they love. James Mickens

The last good thing written in C was Franz Schubert's Symphony number 9." Erwin Dieterich

Статья Александра Дёмина про виртуальный процессор лишь с одной инструкцией — стрелкой Пирса.

http://demin.ws/blog/russian/2010/03/26/one-command-cpu/

Well known speech from Google I/O 2009. The Myth of the Genius Programmer.

https://youtu.be/0SARbwvhupQ

A dissertation on implementation of a Typed Scheme programming language, one of the languages available in the DrRacket programming environment. In the dissertation the well known functional programming language Scheme was extended to support mandatory explicit type annotations.

http://www.ccs.neu.edu/home/samth/dissertation.pdf

A beautiful introduction to the Scheme programming language. Having the tutorial passed you will definitely know everything necessary to read SICP.

http://www.shido.info/lisp/idx_scm_e.html

A statically typed research programming language for realtime applications with compile-time object ownership tracking.

https://github.com/carp-lang/Carp

An article with adaptation of the technique proposed by Alessandro Warth in Packrat Parsesrs Can Support Left Recursion to the case of "pure" PEGs.

https://tratt.net/laurie/research/pubs/papers/tratt__direct_left_recursive_parsing_expression_grammars.pdf

An example of a packrat parser written by Richard WM Jones in Ocaml to parse a simple left-recursive grammar.

https://rwmj.wordpress.com/2010/12/29/packrat-parser-with-left-recursion/

A tutorial on writing a toy Web browser engine in Rust.

https://limpet.net/mbrubeck/2014/08/08/toy-layout-engine-1.html

A repository with correctness proves of the leftpad function written in HOL4, Isabelle, Agda, Idris, Coq and etc.

https://github.com/hwayne/lets-prove-leftpad

Хороший блог на русском языке о системном программировании, радиоэлектроннике и микроконтроллерах.

https://eax.me

A great blog focused mainly on the Rust programming language.

https://words.steveklabnik.com

Retro Recipes is a show focused on refurbrishing of retro computers and history of personal computing.

https://www.youtube.com/channel/UC6gARF3ICgaLfs3o2znuqXA

GrafX2 is a modern pixel art editor highly inspired by the Amiga's version of Deluxe Paint. I like this program not only because of its functional strengths, but also because of the interface made with own retro-looking UI toolkit.

http://grafx2.chez.com/

A Type 1 reference hypervisor for X86 supported by Intel and Linux Foundation. It targets the automotive and IOT applications.

https://projectacrn.org

Supplementary materials to the compilers course of the Michigan State University.

https://www.cse.msu.edu/~cse450/Lectures/

A denoscription of the way how BISON-generated LALR(1) parsers work internally, all the internal data tables are compared to the ones described in the well known Dragon Book.

https://www.cs.uic.edu/~spopuri/cparser.html

A beautiful collection of extremely tiny compilers of simple programming languages.

https://github.com/marcpaq/b1fipl

An amazing list of articles written by Matt Might on various topics, from lambda calculus to compilers development, from tips for academic talks to cryptography.

http://matt.might.net/articles/