Komi Golova

@jesyspa.bsky.social did:plc:hpdos6vayhnzqthom6ec3aij

Lecturer at JetBrains, specialised in programming language theory Also working on formal verification (SnaKt) and semantics for Kotlin she/her 🏳️‍🌈 🏳️‍⚧️ I like programming languages, formal verification, abstract nonsense, tea, TTRPGs, and books.

Bei Bluesky seit 3 Juli 2023

Follower: 142
Folgt: 264
Posts: 97
Tage in Ranglisten: 0

Zusammenfassung

Komi Golova (@jesyspa.bsky.social) ist seit 3 Juli 2023 auf Bluesky. Das Konto hat 142 Follower, folgt 264 Konten und hat 97 Posts veröffentlicht.

Ranglisten-Platzierungen

Die besten Tage, an denen Posts dieses Kontos in Debyas Tagesliste kamen.

Dieses Konto war noch in keiner Tagesrangliste.

Zuletzt gelikte Posts

Öffentliche Likes aus dem Bluesky-Netzwerk.

kira ☆@kira.ws04.11.2026 06:10
i don’t mistake a better seat map for liberation. but breaking the trifecta during the next two years of AI takeoff matters enormously, and anti-trans panic losing where they bet on it feels fucking good. tonight the fascists are losing. i’m going to enjoy it ♡
Post anzeigen
heartpunk (sophie!!)@heartpunk.com02.11.2026 18:14
hrmmm how do i get a message to delve town...
Post anzeigen
heartpunk (sophie!!)@heartpunk.com02.11.2026 18:12
it's only funny bcz it's not existentially threatening anymore heh
Post anzeigen
heartpunk (sophie!!)@heartpunk.com02.11.2026 18:11
maybe if i keep opening up enough PRs they can develop into a civilization and start merging themselves?
Post anzeigen
mr. TIM@timkellogg.me02.11.2026 15:30
the biggest problem in AI now is alignment, which i’d break down to 1. monitoring — it clearly explains what it’s doing 2. values adherence — it makes decisions in line with your values, what you would’ve decided i don’t think #2 can ever come for free, it’s always in your head until it’s not
Post anzeigen

Melde dich an, um mehr zu sehen

Blockierte Konten

Blockierungen sind auf Bluesky öffentlich.