Stories by pjmlp

Maintaining the Unmaintainable: Picking Up the Baton of a Secure Kernel Patchset

Does making the kernel harder make making the kernel harder?

MSVC Back End Updates in 2019 Preview 2: Optimizations, OpenMP, Build Throughput

Lifetime Profile Update in Visual Studio 2019 Preview 2

Kenny Kerr on “The State of C++ on Windows”

A Verified, Efficient Embedding of a Verifiable Assembly Language [pdf]

Darkstar: A Xerox Star Emulator

Zkeme80 – A Forth-Based OS for the TI-84+ Calculator

Applying programming language research ideas to transform spreadsheets

Operating System in 2018

GVisor: Building and Battle Testing a Userspace OS in Go

Stensal SDK: Retrofitting C/C++ code with quasi-memory-safety

Clojure at Apple with David Taylor

Game Programmers and the C++ collapse

Proving Memory Operations – A SPARK Journey

Jonathan Blow on what it would take to ship reliable games on Linux

A deep dive into the world of DOS viruses [video]

MicroPython – Python for Microcontrollers

Fuchsia-ui, a prototype framework for writing Fuchsia modules in Rust

The Early History of F# (HOPL IV – first draft) [pdf]