Type Theory Forall
ttforall.bsky.social
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
👤 Joined on 03 January 2025
198
Followers
189
Following
199
Total Posts
📜 Kullanıcı Geçmişi
- 03 Oca 2025, 14:58
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@ttforall.bsky.social
🚫 Blokladığı Kullanıcılar
Bu kullanıcının blokladığı kullanıcı bulunamadı.
❤️ Beğendiği Gönderiler
look how they massacred my boy.
Show Post
PAUL: What’s in the box? REVEREND MOTHER: Pain. [PAUL hesitantly puts his hand in the BOX, then FROWNS IN CONFUSION. He pulls out A BAGUETTE.] REVEREND MOHER: Hōn hōn,
Show Post
im so excited about the direction videogames are going in!!!
Show Post
How to adapt CS degrees to AI? Here's my take: wiki.alcidesfonseca.com/blog/fall-20... looking for feedback from you.
Show Post
pense num festival foda
Show Post