Nikolaj

@nikolajbjorner.bsky.social did:plc:drazet5jebtike4gyxvnuctf

No Bluesky desde 19 outubro 2024

Resumo

Nikolaj (@nikolajbjorner.bsky.social) é um usuário do Bluesky desde 19 outubro 2024. Tem 129 seguidores, segue 62 contas e publicou 49 posts.

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.

Curtidas públicas da rede Bluesky.

Shriram Krishnamurthi@shriram.bsky.social13/10/2026 02:09
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. ↵
Ver post
Hila Peleg@hilacodes.bsky.social06/10/2026 18:00
I AM thankyouverymuch
Ver post
Toby Murray@tobycmurray.bsky.social24/09/2026 10:22
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...
Ver post
Hila Peleg@hilacodes.bsky.social29/08/2026 16:51
A youtuber puts out a video with craft supplies thrifting places in Oakland? In time for SPLASH? I wonder how much another suitcase costs 😅
Ver post
Thomas Dickerson@elfprince13.mumak.app26/08/2026 04:06
If @satnam6502.bsky.social ever gets the FP castle going in Scotland someone will have to make OchAyeML
Ver post

No Bluesky, bloqueios são registros públicos.