Calvin
rjcalvin.bsky.social
Calvin
@rjcalvin.bsky.social
I believe my imaginary friend is both real and distinct from the consciousness that I inhabit.
But obviously no contribution is made real until it is written down in a way everyone can understand.
December 31, 2025 at 5:25 AM
If any forgotten gifted kids out there feel ashamed about their AI psychosis, you're not alone. Think of the AI not as a source of truth, but as a toy, and you will find joy in "forcing it to hallucinate" using deterministic tooling such as language servers. Decoding the output _as metaphor_ is fun!
December 23, 2025 at 1:42 PM
Still waiting on the code ❤️.

I'd like to use this for my Lean project: github.com/rj-calvin/so...
sodium/Sodium/Ethos at main · rj-calvin/sodium
Lean4 bindings for LibSodium. Contribute to rj-calvin/sodium development by creating an account on GitHub.
github.com
December 23, 2025 at 3:57 AM
Do you have a link to the code?
December 20, 2025 at 1:49 AM
English is a dumb language.
December 18, 2025 at 7:53 AM