Debya

asker the gauche, glycojohn destroyer of carbs

asker the gauche, glycojohn destroyer of carbs

johnbender.bsky.social

Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.

👤 Joined on 07 July 2023

189

Followers

96

Following

541

Total Posts

📜 Kullanıcı Geçmişi

  • 07 Tem 2023, 03:39
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @johnbender.bsky.social
  • 10 Kas 2023, 02:52
    🔄 Profil bilgileri güncellendi

❤️ Beğendiği Gönderiler

Museum of Twitter
20 October 2026 16:24

Show Post
Kristi Yamaguccimane
20 October 2026 16:23

Probably gonna do a Barbenheimer this weekend. Call it Hadouken See Everything.

Show Post
Tamoor Hussain
20 October 2026 16:23

Happy NBA opening day to those who celebrate

Show Post
Matthew Yglesias
20 October 2026 12:05

Elizabeth Holmes is an outlier but she’s part of a whole spectrum through which our society has become way too indulgent — in business, politics, policy, media, and beyond — of people who lie to or mislead others. www.slowboring.com/p/our-cultur...

Show Post
David Sancho
19 October 2026 16:57

I was interviewing someone with 4 years of OCaml experience, and said: "The language solved problems I didn't know I had, but the tooling invented problems I didn't know were possible"

Show Post
Daha fazlası için üye girişi yap

Select language

Install App

Install App