2026年11月6日の Tibo の投稿

返信先 @thsottiaux

More things to come, join our Cyber at the Frontier livestream on November 12, 10am PT: https://t.co/GiwgmJXL1t

返信 55 · リポスト 5 · いいね 156

返信先 @andrewcshin7

@andrewcshin7 No

返信 88 · リポスト 6 · いいね 600

返信先 @ThePrimeagen

@ThePrimeagen My loop caught this. It's the future

返信 31 · リポスト 2 · いいね 330

返信先 @ajambrosino

@ajambrosino @pablostanley Feedback is a gift

返信 10 · リポスト 4 · いいね 179

返信先 @Sergey_Rura

@Sergey_Rura There is no going back. Software is changed forever.

返信 24 · リポスト 17 · いいね 814

返信先 @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 · リポスト 69 · いいね 2,226

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 · リポスト 619 · いいね 14,470

返信先 @maxleiter

@maxleiter Hi Max 👀

返信 64 · リポスト 4 · いいね 674

返信先 @Layton_Gott

@Layton_Gott Basement is full of wonders

返信 87 · リポスト 20 · いいね 1,742