Archive

• Introduction to datalog -- Data Integration The Relational Logic Approach by Michael Genesereth

• "I See What You Mean" by Peter Alvaro - YouTube -- "From model + proof theory and datalog to dedalus and Bloom: a pledge for logic programming. by palvaro".

• Datalog Educational System

• Datalog is an inspiration for Open Policy Agent's Rego language. Rego extends Datalog to support structured document models such as JSON.

• LogicBlox – Datalog REPL Tutorial | Hacker News -- has a bunch of datalog related links to explore in leisure.

• An introduction to Datalog at michelin.io

• xtdb-tutorial at nextjournal

Presentation tools

• Simon Willison's Present - put URLs in a .txtfile, this software will present them. Can also use a remote to control it from your phone. See I vibe coded my dream macOS presentation app.
• ASCIInema -- "Record and share your terminal sessions, the right way."
• Deckset for Mac: Turn your notes into beautiful presentations -- is my favored presentation tool now. See "Intrusion Detection Systems" presentation given by me in Feb 2018.
  • Update Dec 2025; AI Code Assistants are accelarating feature development
• Marp -- Markdown Presentation Writer
• carbon.now.sh allows you to create nice looking images of the source code. Especially useful to include in presentation tools which do not do inline code highlighting (eg: Powerpoint?)
• github.com/phikal/slides -- A tool to create clean postscript slides written in golang by Philip Kaludercic. Overview is here (archive link)

• munen/p_slides: dead simple way to create semantic, nice to look at slides - without any dependencies
• Making the most of Racket's #lang slideshow
• https://play.presenta.cc/ -- create presentations using text/markdown/yaml/javascript only. Has an online editor with live preview.
• NimiSlides -- create reveal.js themed presentations by writing nim code. See showcase

Installing metropolis beamer theme on Mac

metropolis is a modern beamer theme that uses Mozilla's Fira Sans typeface.

git clone git@github.com:matze/mtheme.git
cd mtheme
make
mkdir -p `kpsewhich -var-value TEXMFHOME`/tex/latex/beamer/base/themes/theme
cp *.sty `kpsewhich -var-value TEXMFHOME`/tex/latex/beamer/base/themes/theme

See also: TeXLive

Object-oriented programming: some history, and challenges for the next fifty years

This article is based on a lecture given on 22ndAugust 2011, on theoccasion of the scientific opening of the Ole-Johan Dahl hus at the Universityof Oslo. It looks at the foundational ideas fromSimulathat stand behindobject-orientation, how those ideas have evolved to become the dominantprogramming paradigm, and what they have to offer as we approach thechallenges of the next fifty years of informatics.

• OOP Before OOP with Simula
• What would OOP without inheritance look like? By Ted Kaninski
• What's wrong with inheritance? [Feb 2018]

• Functional inheritance vs prototypal inheritance

• ACCU :: OOP Is not Essential; Oct 2019.

• Wizards and warriors, part one | Fabulous adventures in coding

• Wizards and warriors, part two | Fabulous adventures in coding

• Wizards and warriors, part three | Fabulous adventures in coding

• Wizards and warriors, part four | Fabulous adventures in coding

• Wizards and warriors, part five | Fabulous adventures in coding

• SOLID: the next step is Functional

• The "OO" Antipattern – Arthur O'Dwyer – Stuff mostly about C++; May 2020.

See also: elixir and gleam

Concepts

• ferd.ca -> The Zen of Erlang [Feb 2016]
• Erlang Scheduler Details and Why It Matters - Hamidreza Soleimani's Blog [Feb 2016]
• Ode to Erlang
• Elixir and The Beam: How Concurrency Really Works – Flatiron Labs – Medium
• The soul of Erlang by Sasa Juric (2019) which shows off the essence of the BEAM. I think it might actually be easier to inspect the BEAM over those other VMs. For one, it is much older and stable. And secondly, the BEAM has a lot of self-introspection features. -- via

Scalability

• How scalable is Erlang?, quora answer by Ulf Winger. [Aug 2015]
• Whatsapp server architecture [Sep 2014]

Books / Learning Resouces

• Spawned Shelter - the best articles, videos and books for learning Erlang, the internals of its virtual machine and other languages that run on top of it

• happi/theBeamBook: A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

• Adopting Erlang is an ongoing effort to gather all the resources that will help you use Erlang in a business. The booksite is divided in three sections focusing particularly on Erlang/OTP’s higher level concepts in the current open source ecosystem, how to use it in production (while setting up a pipeline for continuous development and delivery), and how to build a team when you’re starting from scratch.

Papers / videos

• History of Erlang
• Making Reliable Distributed Systems in the Presence of software errors - PhD thesis of Joe Armstrong
• Greg Young - The art of destroying software on Vimeo

Emacs

• Erlang mode for Emacs.
• Setup and usage notes.

John Daily's collection of Erlang links.

Instruction

• Learn You Some Erlang
• Joe Armstrong's Ph.D. thesis (PDF)
• Introduction to Erlang blog series
• The Architecture of Open Source Applications: Riak and Erlang/OTP
• Getting Started with Erlang User's Guide
• OTP Design Principles User's Guide

Documentation

• Official Erlang docs
• Alternative presentation of Erlang docs

Community

• Erlang Solutions
• ErlangCentral
• Erlware
• Planet Erlang
• TrapExit (retired, frequently broken)

Mailing lists

• Erlang questions
• Erlang.org list of lists

Advocacy

• What can i only do in erlang? / 2014-11-05
• Erlang is not a Concurrent Functional Programming Language
• Systems that Run Forever Self-heal and Scale: Lambda Jam keynote by Joe Armstrong
• Erlang's Open Telecom Platform (OTP) Framework: QCon talk by Steve Vinoski
• Erlang – A survey of the language and its industrial applications (PostScript)

Experience Reports

• 10 Lessons from Decade with Erlang – Erlang Battleground – Medium Oct 2018.

Style

• Solving Embarrassingly Obvious Problems In Erlang
• More Embarrassingly Obvious Problems
• Programming Rules and Conventions (incomplete)

Libraries

• Kerl is analogous to virtualenv in python
• Expm is the package manager for Erlang and Elixir.
• distributerl - Building blocks for Erlang/OTP systems using distributed algorithms.
• Rebar3 -- build/distribute erlang apps.
• recon -- Collection of functions and scripts to debug Erlang in production. by ferd; see other libs by him on GH.

NIFs

• Rustler - Safe Elixir and Erlang NIFs in Rust

Tools

• How to analyse a BEAM core dump -- debugging by attaching GDB to a Erlang process.
• ErlyBerly -- Erlang visual tracing tool.

Projects

• GitHub Erlang repositories
• Comprehensive Erlang Archive Network (unclear if still active)
• Project fifo uses Erlang.

Exercises

• Études for Erlang
• Erlang Programming Exercises

General functional programming exercises

• Project Euler
• Programming Praxis
• Rosalind

Alternative languages targeting the Erlang VM

• Joxa
• Lisp-flavored Erlang (LFE)
• Elixir

Scheduling

• How Erlang does scheduling | JLOUIS Ramblings

Misc

• Mostly Erlang (podcast)
• Erlang interviews and resources
• John Daily's Erlang resources
• Why Erlang Syntax is the way the it is
• BEAM VM Wisdoms 1.0 documentation

Blogs

• Joe Devivo

• silentbicycle/ansible_thinkpad: Example Ansible-based setup for a 6th gen. Thinkpad X1 Carbon

• Best practices for ansible (presentation)

To look into:

• Mitogen for Ansible — Mitogen 0.2.3 documentation

• Operon: Ansible®-compatible automation for huge networks – Network Genomics. Announcement blog post -- this appears to be from the same people who did Mitogen.

• pyinfra automates infrastructure super fast at massive scale
• Ansible is a Lisp; Apr 2024. "Ansible is homoiconic and has syntactic macros"