wwilson on Hacker News

1

A Fighting Retreat (opens in new tab)

(antithesis.com)

1wwilson19d ago0

2

Formal Methods for Rust Unsafe (opens in new tab)

(antithesis.com)

4wwilson27d ago0

3

We interfaced single-threaded C++ with multi-threaded Rust and lived (opens in new tab)

(antithesis.com)

1wwilson3mo ago0

4

Test ACID compliance with a ring test (opens in new tab)

(antithesis.com)

1wwilson3mo ago0

5

When your customer leads your Series A (opens in new tab)

(antithesis.com)

16wwilson3mo ago0

6

Startups promise to catch bugs in AI-generated software (opens in new tab)

(ft.com)

2wwilson3mo ago0

7

They don't even have eyes (opens in new tab)

(antithesis.com)

5wwilson4mo ago0

8

Did you get lucky or unlucky? (opens in new tab)

(antithesis.com)

2wwilson5mo ago0

9

Global Crossing Is Reborn (opens in new tab)

(pracap.com)

2wwilson6mo ago0

10

Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video] (opens in new tab)

(youtube.com)

2wwilson7mo ago0

11

FoundationDB: From Idea to Apple Acquisition (opens in new tab)

(youtube.com)

4wwilson8mo ago0

12

Let's all write good software [video] (opens in new tab)

(youtube.com)

2wwilson9mo ago0

13

Fix the New Things First (opens in new tab)

(antithesis.com)

2wwilson10mo ago0

wwilson

Recent submissions

A Fighting Retreat (opens in new tab)

Formal Methods for Rust Unsafe (opens in new tab)

We interfaced single-threaded C++ with multi-threaded Rust and lived (opens in new tab)

Test ACID compliance with a ring test (opens in new tab)

When your customer leads your Series A (opens in new tab)

Startups promise to catch bugs in AI-generated software (opens in new tab)

They don't even have eyes (opens in new tab)

Did you get lucky or unlucky? (opens in new tab)

Global Crossing Is Reborn (opens in new tab)

Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video] (opens in new tab)

FoundationDB: From Idea to Apple Acquisition (opens in new tab)

Let's all write good software [video] (opens in new tab)

Fix the New Things First (opens in new tab)

Recent submissions

A Fighting Retreat (opens in new tab)

Formal Methods for Rust Unsafe (opens in new tab)

We interfaced single-threaded C++ with multi-threaded Rust and lived (opens in new tab)

Test ACID compliance with a ring test (opens in new tab)

When your customer leads your Series A (opens in new tab)

Startups promise to catch bugs in AI-generated software (opens in new tab)

They don't even have eyes (opens in new tab)

Did you get lucky or unlucky? (opens in new tab)

Global Crossing Is Reborn (opens in new tab)

Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video] (opens in new tab)

FoundationDB: From Idea to Apple Acquisition (opens in new tab)

Let's all write good software [video] (opens in new tab)

Fix the New Things First (opens in new tab)