Stories by pjmlp

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]

Why I refuse to code Android apps in Kotlin

Kevlin Henney – Procedural Programming: It's Back? It Never Went Away

CppCon 2018: Secure Coding Best Practices: Part 1 of 2

Announcing Bolero: F# tools for WebAssembly

ESET discovers 21 new Linux malware families