Stories by pron

Two AIs Compete at Variant Sudoku [video]

Postcards from the Peak of Complexity by Brian Goetz

Project Babylon – Code Reflection in Java

The Rich Are Crazier Than You and Me

Blood and the Machine: The Return of Reactionary Modernism

The End of Silicon Valley?

Sleeping Soundly with the Help of TLA+

Selectively Shifting and Constraining Computation in Java

Distributed systems showdown – TLA+ vs. real code

TLA+: Viewed from 40k Feet and Ground Level

The Business Costs of Technical Debt [pdf]

The First Zig Website Redesign

The Argument Against Quantum Computers – A Very Short Introduction

A Formal Model of Cache Speculation Side-Channels

A Formal Model of Cache Speculation Side-Channels

Zig Live Coding: Self-Hosted Incremental Compilation Debug Info

A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue

TLA+ for Startups (Part 2)

TLA+ for Startups (Part 1)

1
2
3
4
5
6
7
8
9
10