C and Assembly

• Algorithms in C
• x86 architecture and optimization
• Assembly Language

Common Lisp

• Planet LISP
• Awesome CL
• Common LISP HyperSpec
• Common Lisp UltraSpec
• Common LISP examples

Compilation

• A Catalogue of Optimizing Transformations

Crypto

• Crypto Book

Emacs

• ErgoEmacs
• Emacs Manual
• Emacs LISP reference
• MELPA

Formal Verification

• Software Foundations Series
• Certified Programming with Dependent Types
• Guillaume Claret
• Coq video tutorials

Go

• Spec
• AWS SDK GO v2
• Dave Cheney Go Archive
• Go Garbage Collector
• 100 Go Mistakes

Haskell

• Typeclassopedia
• What I wish I knew when learning Haskell
• Haskell at work
• All about Monads
• Type Theory & Functional Programming
• Oleg Kiselyov
• Chris Done
• Julie Moronuki
• Gabriel Gonzalez

Linux

• LWN.net
• Elixir
• LXer
• Analyzing the Linux boot process

Mathematica

• Complex Systems
• Power Programming with Mathematica
• Most Common Pitfalls
• Interesting Resources

Network

• Computer Networks: A Systems Approach
• Collection of network tools

Node.js

• Node.js Event Loop
• The Art of Promise-Based Architecture

OS development

• The little book about OS development
• PC Assembly book
• Minimal Linux Live
• Unix Syscalls

Philosophy

• How to read Plato

python

• CPython Internals