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
No Bluesky desde
- Seguidores
- 556
- Seguindo
- 211
- Posts
- 631
- Dias nos rankings
- 0
Resumo
shoe_ _\;^-.-^;/_ _bum (@shoebum.bsky.social) é um usuário do Bluesky desde 23 março 2024. Tem 556 seguidores, segue 211 contas e publicou 631 posts.
Aparições nos rankings
Os melhores dias em que posts desta conta entraram na lista diária do Debya.
Esta conta ainda não apareceu em um ranking diário.
Posts curtidos recentemente
Curtidas públicas da rede 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
Ver 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.
Ver 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
Ver postI am developing this for something incredibly incredibly stupid, but it's a secret for now 🤫
Ver 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
Ver post
Contas que bloqueia
No Bluesky, bloqueios são registros públicos.
