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/

A tribute to the original series of articles Let's Build a Compiler (Jack Crenshaw) written by Marcel Hendrix. The structure is the same, but the implementation language is Forth and the target is x86.

http://home.iae.nl/users/mhx/crenshaw/tiny.html

A nice talk at FOSDEM about writing a FORTH compiler for the classic Gameboy through reverse engineering of a working hello-world ROM.

https://fosdem.org/2019/schedule/event/retro_gbforth/

A tiny non-recursive build system based on GNU make.

https://github.com/dmoulding/boilermake

Perhaps you remember that I already wrote about the programming language Factor. Today I want to post a link to an unofficial tutorial for beginners, which makes clear the "taste of the language"

https://andreaferretti.github.io/factor-tutorial/

#forth #tutorial #programming