The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source …

Writing an OS in Rust

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

ECMAScript compatibility tables

HTML5/EPUB3 version of SICP

Data Science at the Command Line

The Architecture of Open Source Applications

The Power of Prolog: Introduction to modern Prolog

Chicago undergraduate mathematics bibliography

Web Application Security Working Group repo

The user home repository for the Mathematics in Lean tutorial.

Material for The Mathematical Engineering of Deep Learning. See https://deeplearningmath.org

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

WebAppSec Content Security Policy

Sigstore documentation

A robust HTML5 context parser that parses HTML 5 web pages and reports the execution context of each character.

A Modest Content Security Proposal

Egyptian hieroglyps and Eurasian languages

Diagrams to visually learn Falco and its eBPF probe