Nikolaj

Apariciones en rankings

Los mejores días en que los posts de esta cuenta entraron en la lista diaria de Debya.

Esta cuenta aún no ha aparecido en un ranking diario.

Posts que le gustaron recientemente

Me gusta públicos de la red 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

Inicia sesión para ver más

Cuentas que bloquea

En Bluesky los bloqueos son registros públicos.

• fotomaniac.bsky.social@fotomaniac.bsky.social
• MSP Dude@dallasdilf.bsky.social
• Homoerotic Fantasy (ai and real)@oophytum.bsky.social

Cargar más