Komi (Cactus) Golov
@jesyspa.bsky.social
Lecturer at JetBrains, specialised in programming language theory
Also working on formal verification for Kotlin (SnaKt)
she/they 🏳️🌈 🏳️⚧️
I like programming languages, formal verification, abstract nonsense, tea, TTRPGs, and books.
Also working on formal verification for Kotlin (SnaKt)
she/they 🏳️🌈 🏳️⚧️
I like programming languages, formal verification, abstract nonsense, tea, TTRPGs, and books.
Does she need the microphone to work via the jack? I recently got JBL Tune 770NC and those have been, except for that missing feature, really nice.
November 25, 2025 at 11:57 AM
Does she need the microphone to work via the jack? I recently got JBL Tune 770NC and those have been, except for that missing feature, really nice.
Reposted by Komi (Cactus) Golov
New York Times killed Weinstein and Epstein stories but just asked Ms Rachel if she was funded by Hamas.
November 12, 2025 at 8:50 PM
New York Times killed Weinstein and Epstein stories but just asked Ms Rachel if she was funded by Hamas.
Reposted by Komi (Cactus) Golov
A (semantic) classifier of terms (that can be worked with syntactically).
October 28, 2025 at 6:51 PM
A (semantic) classifier of terms (that can be worked with syntactically).