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
Bluesky’a katılma tarihi:
- Takipçi
- 556
- Takip edilen
- 211
- Post
- 631
- Sıralamaya girdiği gün
- 0
Özet
shoe_ _\;^-.-^;/_ _bum (@shoebum.bsky.social), 23 Mart 2024 tarihinde katılan bir Bluesky kullanıcısı. 556 takipçisi var, 211 hesabı takip ediyor ve 631 post paylaştı.
Sıralama geçmişi
Bu hesabın postlarının Debya günlük listesine girdiği en iyi günler.
Bu hesap henüz günlük sıralamaya girmedi.
Son beğendiği postlar
Bluesky ağındaki herkese açık beğeniler.
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
Postu gösterInspired 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.
Postu gösterMy 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
Postu gösterI am developing this for something incredibly incredibly stupid, but it's a secret for now 🤫
Postu gösterFinally, 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
Postu göster
Blokladığı hesaplar
Bluesky’da bloklar herkese açık kayıtlardır.
