Henrik
banner
henrikvt.com
Henrik
@henrikvt.com
dev, sysadmin, transit enthusiast (he/him)
https://henrikvt.com
https://mstdn.unicycl.ing/@henrik
🏳️‍🌈🏳️‍⚧️queer rights are human rights
AI is a useful research tool, or something to help you get unstuck from problems. But do not let it be the thing that solves your problems fully.
December 26, 2025 at 1:03 AM
No, having used up 1 billion tokens on ChatGPT is not some sort of achievement. It's indicative of your willingness to let your brain atrophy.
The difference between LLMs and people is our ability to reason about problems. Choices that will make sense 12 or 120 months later.
December 26, 2025 at 1:03 AM
I'm aware of iota, but the issue I'm referring to is a syntax one. Many languages have a keyword for enums which allows you to reference enum values within their own scope. This is opposed to the go way which is just referencing them as constants, which then requires a naming scheme for clarity.
October 28, 2025 at 2:13 PM
just please if i could do pattern matching a-la Rust/OCaml then it'd be PERFECT
October 27, 2025 at 3:04 AM