Stories by pjmlp

Comparing Ada and High Integrity C++

Writing on Air with Ada

Mozilla's Obsidian API Proposal (Web GPU Draf Proposal)

“Engineering You”, Keynote by Martin Thompson at Devoxx

The C+ Programming Language (DDJ 1993)

Ten Commandments for C Programmers by Henry Spencer (1987)

Insomniac’s Web Tools Postmortem at GDC 2017 [pdf]

ARM Talks Mali Vulkan, Lack of Open Drivers and More Linaro Budapest 17

Retrofitting Linear Types in Haskell [pdf]

Google's Graphics API Debugger for Android OpenGL ES and Vulkan

Project Everest, a verified HTTPS stack in F*

Verified Low-Level Programming Embedded in F*

Architectural Support for a Memory-Safe C Abstract Machine (2015) [pdf]

Getting started with the Ada Drivers Library device drivers

Typestate-oriented programming in F*

SIMD Widen, Narrow, and Convert for Vector Comming to .NET

MonoGame will be on Nintendo Switch

The Legend of Long JVM Startup Times and Clojure

Detecting Strict Aliasing Violations in the Wild

Twitter experiences with Graal in a production environment (video, FOSDEM 2017)