Stories by pron

Capsule Shield: A Docker Alternative for the JVM

Dynamic Compilation (Graal tutorial, demos and benchmarks)

Leslie Lamport: Programming Should Be More Than Coding

Intensional Equality ;=) for Continuations (1995) [pdf]

Effective Cryptography in the JVM

Debugging designs using exhaustively testable pseudo-code (2011) [pdf]

Crossing the river with TLA+

Case for Defaulting to G1 Garbage Collector in Java 9

Should Your Specification Language Be Typed? (1999) [pdf]

Java: Past, Present, and Future – Brian Goetz

OpenRTS: A 3D Real-Time Strategy Game Engine

Data Center Computers: Modern Challenges in CPU Design

Kotlin M13 is out

Java ME Embedded 8.2 Released

Should Your Specification Language Be Typed? (1999) [pdf]

My experience with using TLA+ in distributed systems class

Truffle Debugging Demo: Debugging multi-language applications [video]

Java 9: The State of the Module System

Researchers: There's a Better Way to Line Up Than 'First Come, First Served'

Programming Coordinated Behavior in Java (2010) [pdf]

2
3
4
5
6
7
8
9
10
11