Debya

justin from the internet

justin from the internet

threlk.net

community knowledge gardener and research trailguide, using the ladders of inference and abstraction like a via ferrata, watching the yaks get shaved from behind chesterton’s fence, dancing with systems in the meadow next to your data lake

👤 Joined on 21 Juni 2023

869

Followers

867

Following

3979

Total Posts

📜 Kullanıcı Geçmişi

  • 21 Haz 2023, 14:24
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @justinthrelkeld.bsky.social
  • 13 Kas 2023, 01:28
    🔄 Profil bilgileri güncellendi
  • 27 Haz 2024, 00:19
    ✏️ Kullanıcı adı değişti: @justinthrelkeld.bsky.social → @justin.thrlkld.me
  • 24 May 2025, 17:04
    ✏️ Kullanıcı adı değişti: @justin.thrlkld.me → @threlk.net

❤️ Beğendiği Gönderiler

Hazel Weakly
31 Oktober 2026 23:19

I really need y’all to understand that “I had AI generate a bunch of gibberish code in a theorem prover that I can’t read and don’t know how to operate” does not count as formal verification It is really *truly* starting to grate on me

Show Post
Max Nichols
31 Oktober 2026 23:19

Holy shit the Mexico City Dia De Los Muertos parade this year is stunning stuff www.instagram.com/popular/mexi...

Show Post
Robert Johansen
31 Oktober 2026 23:18

Ghoulean logic

Show Post
Jason Moore
31 Oktober 2026 23:17

Always a logical post this time of year

Show Post
Jesse Raub
31 Oktober 2026 23:15

and people say Spectre isn’t good. it’s actually very good

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

Sprache auswählen