Steve Goguen
sgoguen.bsky.social
PLT LARPer and formalism fanboy
👤 Joined on 07 August 2023
448
Followers
527
Following
367
Total Posts
📜 Kullanıcı Geçmişi
- 07 Ağu 2023, 11:34
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@sgoguen.bsky.social - 08 Kas 2023, 23:36
🔄 Profil bilgileri güncellendi
🚫 Blokladığı Kullanıcılar
Alfred N Montestruc
anmontestruc.bsky.social
Martha Acuna
marthaacuna.bsky.social
Luce Leonard
luceleonard.bsky.social
did:plc:iofiabif6dxsl6pydd2eir55
Not Found
did:plc:vstnrt67twishcbq5dzsi3y6
Not Found
did:plc:uqrzig7kdae6gzefliridizw
Not Found
did:plc:cnzyaqj4e6membkftc22zzze
Not Found
did:plc:g4nslram7ryjvn6j5lwexoow
Not Found
did:plc:gjfmxfvgqtjmbho3zv2gnccj
Not Found
Tarô Mágico
taromagico.bsky.social
did:plc:qx3os6t7tyiwsd67vm6ahccp
Not Found
did:plc:27sjfwmwpgbfzikqnrdzhgzc
Not Found
did:plc:dxex7kkrpjdv5qkp7eddvggg
Not Found
Clusterfook
clusterfook.bsky.social
did:plc:ft6ygsr24pgnjgh3xsx2maj7
Not Found
did:plc:vnydm56kn72km3hpyc3fhbkl
Not Found
did:plc:4mggzxnr4j32uw5ecvqqqkay
Not Found
whatdaheel.bsky.social
did:plc:tjwyjafwnxb5bxm4dqeqy264
Not Found
❤️ Beğendiği Gönderiler
All 12 F# developers are amazed! 😂 #meme
Show Post
Wow, what is an update: F# in .NET 11 RC 2 #fsharp github.com/dotnet/core/...
Show Post
> I just learned that there are people who think copyright is an unequivocal evil and artists should give all their labour away for free
Show Post
This is just the beginning of a wider project -- I'm looking forward to seeing where it will go. More generally, I am (like many people) excited by the possibilities that imaginative interfaces will bring to mathematical reasoning.
Show PostMany people just starting out on Lean formalization have enjoyed playing the Natural Numbers Game. Now Autumn Mapes has produced Visual Lean, isomorphic to the original but playable in a lovely intuitive way with clicking and dragging rather than typing. leangame.autumnofautumn.com
Show Post