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
Sur Bluesky depuis le
- Abonnés
- 556
- Abonnements
- 211
- Posts
- 631
- Jours dans les classements
- 0
Résumé
shoe_ _\;^-.-^;/_ _bum (@shoebum.bsky.social) est sur Bluesky depuis le 23 mars 2024. Le compte a 556 abonnés, suit 211 comptes et a publié 631 posts.
Présence dans les classements
Les meilleurs jours où les posts de ce compte sont entrés dans le top quotidien de Debya.
Ce compte n’est encore apparu dans aucun classement quotidien.
Posts aimés récemment
J’aime publics du réseau Bluesky.
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
Voir le postInspired 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.
Voir le postMy 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
Voir le postI am developing this for something incredibly incredibly stupid, but it's a secret for now 🤫
Voir le postFinally, 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
Voir le post
Comptes bloqués
Sur Bluesky, les blocages sont publics.
