İçeriğe geç

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.

  • Shriram Krishnamurthi@shriram.bsky.social

    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öster
  • Hila Peleg@hilacodes.bsky.social

    I AM thankyouverymuch

    Postu göster
  • Toby Murray@tobycmurray.bsky.social

    Sick 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öster
  • Hila Peleg@hilacodes.bsky.social

    A 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öster
  • Thomas Dickerson@elfprince13.mumak.app

    If @satnam6502.bsky.social ever gets the FP castle going in Scotland someone will have to make OchAyeML

    Postu göster

Daha fazlası için üye girişi yap

Blokladığı hesaplar

Bluesky’da bloklar herkese açık kayıtlardır.