Komi (Cactus) Golov
LightNews LightNews
jesyspa.bsky.social
Komi (Cactus) Golov
@jesyspa.bsky.social
81 followers 150 following 20 posts
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.
Posts Replies Media Videos
jesyspa.bsky.social
Something about writing Lean feels very natural to me
A code snippet consisting of the "sorry" tactic repeated three times.
October 18, 2025 at 12:04 PM
jesyspa.bsky.social
No, Google. Not quite.
screenshot of a portion of an email being composed. The sentence reads "I think we should look into how we can express these things in terms of (some kind of) contracts on the functions, and I think this by itself would make for a reasonable bachelor". Google's autocomplete suggests finishing the sentence with "bachelorette party".
August 5, 2025 at 2:38 PM
jesyspa.bsky.social
Being visible, I suppose
An enby in glasses and a murky-green shirt is looking at the camera. There's some succulents in the background on a windowsill.
March 31, 2025 at 5:31 PM
jesyspa.bsky.social
Girlfriend gave me a haircut, I'm still getting used to it, but I think I like it ^^
Self of an enby with long hair, wearing a green jacket. They have glasses and are smiling.
March 5, 2025 at 12:30 PM