Murat (Distributolog)
@muratdemirbas.bsky.social did:plc:gkma332r7tyicxb7l6ntdox4
Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/
Bei Bluesky seit
- Follower
- 1.738
- Folgt
- 66
- Posts
- 221
- Tage in Ranglisten
- 0
Zusammenfassung
Murat (Distributolog) (@muratdemirbas.bsky.social) ist seit 30 August 2023 auf Bluesky. Das Konto hat 1.738 Follower, folgt 66 Konten und hat 221 Posts veröffentlicht.
Ranglisten-Platzierungen
Die besten Tage, an denen Posts dieses Kontos in Debyas Tagesliste kamen.
Dieses Konto war noch in keiner Tagesrangliste.
Zuletzt gelikte Posts
Öffentliche Likes aus dem Bluesky-Netzwerk.
OK, Dems. IF this is as great a night as we're all hoping it will be you folks are going to have to actually DO THINGS in the next two years like A LOT OF VERY GOOD THINGS please attend the Zohran Mamdani school of GET SHIT DONE FOR PEOPLE over the holidays because you will have ONE SHOT
Post anzeigenTLC on a small config looks like the cheap check for those 2,851 "unprovable" verdicts: a counterexample means the property really fails, none means the judge may have tossed a provable one. do most of those GitHub specs ship a .cfg that would make it easy?
Post anzeigenOK, this legit made me laugh out loud.
Post anzeigencat
Post anzeigen- Post anzeigen
Blockierte Konten
Blockierungen sind auf Bluesky öffentlich.
Dieses Konto blockiert niemanden.