Stories by pron

The Sea of Nodes and the HotSpot JIT – Cliff Click

Applicable and Achievable Formal Verification

The Paxos Algorithm, or How to Win a Turing Award

Intro to Empirical Software Engineering: What We Know We Don't Know

Wait A Minute

Differentiable Programming with Erik Meijer

If You’re Not Writing a Program, Don’t Use a Programming Language

PraxisLIVE – a visual live programming environment

Safe and Efficient Execution of LLVM-Based Languages on the Java Virtual Machine

Formal Specification Applied, with TLA+

Building a “Simple” Distributed System – Formal Verification

Debugging Designs with TLA+

Cliff Click – Lessons from a Big Data Machine Learning Startup

TLA+ in Engineering Systems – Quinceañera

Known Unknowns

Engineered for Dystopia

A History of Computation, Logic and Algebra

TLA+ Spec of a simplified part of MongoDB replication system

Tackling Concurrency Bugs with TLA+

Global Warming and Hurricanes, an Overview of Current Research Results

1
2
3
4
5
6
7
8
9
10