Tibo Reset

Tibo on X · one UTC day

Tibo's posts on November 6, 2026

What Tibo (@thsottiaux) wrote on X on November 6, 2026 (UTC): 9 posts and replies in the archive, newest first.

Friday, Nov 6 · 9 posts UTC

Tibo @thsottiaux

Replying to @thsottiaux

Formal proofs of tens of millions of lines of code are not a ridiculous thing anymore and within the realm of what should be considered when designing new systems.

129 replies · 69 reposts · 2,226 likes

View on X ↗
Tibo @thsottiaux

I can confidently say that humans were not very good at writing secure infrastructure. The endstate will be hypersecure infrastructure and software for all, but we're going to go through some turbulence before we reach that.

1,036 replies · 619 reposts · 14,470 likes

View on X ↗

Other days in November 2026

Nov 1 · 11 Nov 2 · 5 Nov 3 · 5 Nov 4 · 10 Nov 5 · 27 Nov 7 · 19 Nov 8 · 11

About this mirror

Public posts collected through the X API. Images, videos and reposts are not shown, and a post deleted on X may still be listed here.