Stories by pjmlp

JuliaCon 2016 Keynote, Fortress Features and Lessons Learned, Guy Steele

So you think you know C?

Java for STM32J microcontrollers

KreMlin: from (a subset of) F* to C

NET Native Compilation for Cortex-M0/3/4 ISAs

Ultibo – An embedded or bare metal development environment for Raspberry Pi

A Comparison of SPARK with MISRA C and Frama-C [pdf]

Android: Protecting the Kernel by Jeffrey Vander Stoep, Google

Java: The No. 1 Platform for IoT Development

The Silver Bullet Syndrome

The Design of C++ (1994) [video]

Java AOT Compilation (JavaZone 2016)

Secure C++ Programming (CppCon 2015)

Faster Ruby, JavaScript and Other Languages Using Graal and Truffle

Joe Duffy's Presentation “Safe Systems Programming in C# and .NET”

What’s a computer? Just ask Cortana

NDK Android.mk files are being replaced by Soong, written in Go

Mobile and Windows PCs the platform of choice for British gamedevs

JVM Language Summit 2016 videos

Android Security Bulletin

135 136 137 138 139 140 141 142 143 144