The Dafny Programming and Verification Language and tools

We discuss how to make sure that your access to TLS (thread-local storage) is fast, and how the presence of constructors and shared libraries affects the access time.

Yep. We got the Doom engine running purely in TypeScript types. Like. For real. We’ve prepared two more videos, one answering “why we did this” (storytime format) and another answering “how we did this” (technical deep-dive). What would you like to hear…

Over the last decade, we’ve seen great advancements in distributed systems, but the way we program them has seen few fundamental improvements. While we can sometimes abstract away distribution (Spark, Redis, etc.), developers still struggle with challenges…

The first part of a two-part article which will illustrate how to redirect the PLT of a process through the injection of a shared object into its address space.

A real-life example how delimited control invalidates what seemed to be really safe optimizations

An overview of a class of data structures I didn't know about!

Embarking on a native port of the existing TypeScript compiler and toolset to achieve a 10x performance speed-up.