Skip to content

Top Best Ask Show New Jobs

we6251 | Better HN

we6251

8 karmaJoined November 9, 202413 submissions

Recent submissions

1

Towards Autonomous Protocol Proofs (opens in new tab)

(will62794.github.io)

2we62512mo ago0

2

One-Off Verified Transpilation with Claude (opens in new tab)

(will62794.github.io)

1we62515mo ago0

3

Modern Views of Transaction Isolation (opens in new tab)

(will62794.github.io)

2we62517mo ago0

4

Fixing a MongoDB Replication Protocol Bug with TLA+ [video] (opens in new tab)

(youtube.com)Video

2we62518mo ago0

5

LittleData: Smart LED Display (opens in new tab)

(old.tomorrow-lab.com)

3we62519mo ago0

6

Logless Raft (opens in new tab)

(will62794.github.io)

3we625110mo ago0

7

Interactive Formal Specifications (opens in new tab)

(will62794.github.io)

2we62511y ago0

8

Transactions as Transformers (opens in new tab)

(will62794.github.io)

1we62511y ago0

9

Transactions as Transformers (opens in new tab)

(will62794.github.io)

1we62511y ago0

10

Spectacle: Interactive tool for exploring and visualizing formal specifications (opens in new tab)

(github.com)GitHub

5we62511y ago0

11

Interactive Explorer for Formal Specifications (opens in new tab)

(github.com)GitHub

3we62511y ago0