shoe_ _\;^-.-^;/_ _bum
@shoebum.bsky.social did:plc:vphx2rwfppnkbchj552kyrwe
I might post less here and more at https://shubhamkumar13.codeberg.page Watch me on : twitch.tv/shoe_bum
Bei Bluesky seit
- Follower
- 556
- Folgt
- 211
- Posts
- 631
- Tage in Ranglisten
- 0
Zusammenfassung
shoe_ _\;^-.-^;/_ _bum (@shoebum.bsky.social) ist seit 23 März 2024 auf Bluesky. Das Konto hat 556 Follower, folgt 211 Konten und hat 631 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.
Perla v1.0.0-beta-034 is out! New test runner support for client-side code Both the release and the docs have been updated! more info below 👇 #dotnet #fsharp
Post anzeigenInspired by a few blogs I read recently I’m building my own blog in #fsharp and finding it very easy. It’s one of my favourite langs but I don’t use it nearly enough.
Post anzeigenMy Spectre Console Foo needs a bit of work, but the test runner is actually testing now with live changes 😌😮💨 I'm finally close enough to Perla v1... slow and steady #dotnet #fsharp
Post anzeigenI am developing this for something incredibly incredibly stupid, but it's a secret for now 🤫
Post anzeigenFinally, a w̶e̶a̶p̶o̶n̶ tool to surpass LeanDojo~ (Creating a Lean Context directly inside Lean itself, and then submitting tactics and backtracking programmatically) #LeanProver #Lean
Post anzeigen
Blockierte Konten
Blockierungen sind auf Bluesky öffentlich.
