watering bong
@bongwatering.bsky.social
Kinda he/him
kinda stupid
kinda rust
kinda chess
kinda gay (?)
kinda 2d platformers
kinda developer
kinda opensuse
kinda game dev
kinda godot
kinda writer (really kinda)
kinda funny (not really)
kinda music (very not really)
kinda stupid
kinda rust
kinda chess
kinda gay (?)
kinda 2d platformers
kinda developer
kinda opensuse
kinda game dev
kinda godot
kinda writer (really kinda)
kinda funny (not really)
kinda music (very not really)
“You have a degree in computer science?”
“Yeah?”
“What programming languages do you know?”
“Haskell, Scheme, Prolog, Lisp, some Agda, oh and ML”
“Oh ML? You mean machine learning? Wanna join my startup?”
“No, ML as MetaLanguage. You know, functional language, Hindley–Milner type inference? No?”
“Yeah?”
“What programming languages do you know?”
“Haskell, Scheme, Prolog, Lisp, some Agda, oh and ML”
“Oh ML? You mean machine learning? Wanna join my startup?”
“No, ML as MetaLanguage. You know, functional language, Hindley–Milner type inference? No?”
January 27, 2026 at 2:12 PM
“You have a degree in computer science?”
“Yeah?”
“What programming languages do you know?”
“Haskell, Scheme, Prolog, Lisp, some Agda, oh and ML”
“Oh ML? You mean machine learning? Wanna join my startup?”
“No, ML as MetaLanguage. You know, functional language, Hindley–Milner type inference? No?”
“Yeah?”
“What programming languages do you know?”
“Haskell, Scheme, Prolog, Lisp, some Agda, oh and ML”
“Oh ML? You mean machine learning? Wanna join my startup?”
“No, ML as MetaLanguage. You know, functional language, Hindley–Milner type inference? No?”