Stories by pron

Very Long Proofs

Speculative optimizations in the Graal Just-In-Time compiler

Speculative optimizations in the Graal Just-In-Time compiler

Virtual Machine Summer School 2016 Videos

[Dr. TLA+ Series] Paxos

Andrew Helwer: Live Lecture on Paxos and TLA+, 10-11:30am PDT

One VM to Rule Them All, One VM to Bind Them (a 3-hour Truffle/Graal tutorial)

Sulong – Execution of LLVM-Based Languages on the JVM

Computation and State Machines: Use math, not PLs, to think about computation [pdf]

Against a Universal Definition of Type

What Happened to the Promise of Software Tools? (2014)

Java 8 Pluggable Type Systems Live Demo

Interactive Theorem Proving in Industry (2012)

The Habits of Highly Cynical People

Everybody Freeze – The extropians want your body

Filesystem Fuzzing with American Fuzzy Lop [pdf]

Just-In-Time Static Type Checking for Dynamic Languages

Everybody Freeze! The extropians want your body

The New Man of 4chan

The New Man of 4chan

1
2
3
4
5
6
7
8
9
10