@zakharof.bsky.social did:plc:4q2izsg7uvook7v4ihfrnjcb
Bei Bluesky seit
- Follower
- 27
- Folgt
- 402
- Posts
- 39
- Tage in Ranglisten
- 0
Zusammenfassung
(@zakharof.bsky.social) ist seit 13 Februar 2025 auf Bluesky. Das Konto hat 27 Follower, folgt 402 Konten und hat 39 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.
Why don’t we have edits? How might we implement edits? @verdverm.com dives in and shows one way we can get to edits. He’ll also be at #ATmosphereConf if you want to jam on the nuances of editing in person.
Post anzeigenthe thing that’s exciting to me about Lean is that it’s able to capture things in the mathematical sense (obviously because that’s its purpose). i’m so used to dealing with floats or int or JS Numbers, it’s hard to imagine reals and their properties actually being captured. same with props, sets
Post anzeigenNew Penny Arcade for your Wednesday! #MarvelRivals www.penny-arcade.com/comic/2025/0...
Post anzeigenAnother lovely capture from the Live At Kevin’s studio series. You can watch the full Come Away With Me now: www.youtube.com/watch?v=1264...
Post anzeigenBitcoin dived after the hot inflation print
Post anzeigen
Blockierte Konten
Blockierungen sind auf Bluesky öffentlich.
Dieses Konto blockiert niemanden.