Nikolaj
@nikolajbjorner.bsky.social did:plc:drazet5jebtike4gyxvnuctf
Bluesky’a katılma tarihi:
- Takipçi
- 129
- Takip edilen
- 62
- Post
- 49
- Sıralamaya girdiği gün
- 0
Özet
Nikolaj (@nikolajbjorner.bsky.social), 19 Ekim 2024 tarihinde katılan bir Bluesky kullanıcısı. 129 takipçisi var, 62 hesabı takip ediyor ve 49 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.
Pleased to announce shplait/liquid, a liquid-typed version of shplait, the language of my book PLAI. This version adds liquid-typing, a form of refinement types. It's primarily meant to be a small language for pedagogic purposes to induce people to try grown-up ones later. ↵
Postu gösterI AM thankyouverymuch
Postu gösterSick of hearing about #AI #agents breaking containment? Want to apply formal methods to develop secure, verified sandbox tech atop #seL4? Want to work in beautiful Melbourne? Multiple #postdoc roles available at various levels. Apply now unimelb.wd105.myworkdayjobs.com/en-US/UOM_Ex...
Postu gösterA youtuber puts out a video with craft supplies thrifting places in Oakland? In time for SPLASH? I wonder how much another suitcase costs 😅
Postu gösterIf @satnam6502.bsky.social ever gets the FP castle going in Scotland someone will have to make OchAyeML
Postu göster
Blokladığı hesaplar
Bluesky’da bloklar herkese açık kayıtlardır.