check it out on soundcloud: soundcloud.com/one-happy-fell…
or some rando automatically generated music video with lyrics: https://youtu.be/wlbio_EyUUU
@onehappyfellow.bsky.social
OCaml dev, pondering The Abstract and The Concrete; soft spot for PLT (in recovery), love making computers sweat, trying to write more, a raging nerd bluesky is just a backup, I’m mostly on twitter happyfellow.bearblog.dev
check it out on soundcloud: soundcloud.com/one-happy-fell…
or some rando automatically generated music video with lyrics: https://youtu.be/wlbio_EyUUU
ya boi dropped a rap single, it's called Riddle Master
full of programming riddles, can you guess all four answers?
enjoyyyy
the real type safety is the errors we caught along the way
05.10.2025 10:22 — 👍 16 🔁 4 💬 0 📌 0mum im a rapper youtu.be/dAK7eAheQF4
02.10.2025 09:37 — 👍 3 🔁 0 💬 0 📌 0distrusting machines is healthy, especially lisp machines
they're always schemeing
creating is hard, extraction is automated. take what's left in the bodies of struggling people, suck it out, convert it into option grants, so that a dev can get a shoebox SF apartment and feel like his changing the world
and he's right, he's changing it. but I wish he would stop.
"$2.7 dollars of gluttony for sale! who'll bid more!", yells out an auction bot
"a teenager with developing gambling addiction, which game with surprise mechanisms is going to drag him down? $3.1 only!"
chatgpt ads announcement reminded me of my old post: we instruct demons to direct people's attention to gambling, fast food, porn, fast fashion, payday loans, to the brink of hell
we took vice, lust, gluttony, greed and securitised it, packaged it up
there's a priest in Rome who lives on a top of a mountain so high, nobody but him is able to climb there
they call him the Inaccessible Cardinal
ur type so fat it requires large elimination
29.09.2025 08:57 — 👍 15 🔁 4 💬 3 📌 0holy mother of banger, this is gold
29.09.2025 14:26 — 👍 3 🔁 0 💬 0 📌 0welcome to the other side, it's nice here
26.09.2025 20:39 — 👍 1 🔁 0 💬 1 📌 0programming riddle:
I'm like regularity but with arrows reversed
when you keep me on hold, I'll preserve
state your business and hold on tight
I won't return, your request is denied
what am I?
new post! it's called "computational tyranny"
it's an extension of a thread I posed here, trying to point at a common thread between a couple of problems I was thinking about recently
happyfellow.bearblog.dev/computationa...
important thing to mention: i'm an outsider.
i got a good plt education as part of my undergrad, i did a very simple plt research, decided not to pursue it further. i don't write compilers for a living.
do with that knowledge what you want!
just a short post describing my ✨feelings✨ about why newcomers might bounce off PLT (it breaks my heart a little each time it happens)
18.07.2025 19:23 — 👍 1 🔁 0 💬 1 📌 0Programming Language Theory has a public relations problem happyfellow.bearblog.dev/programming-...
18.07.2025 19:23 — 👍 1 🔁 0 💬 1 📌 0To all operatives and researchers, please go to typememetics.institute website and start your mandatory session IMMEDIATELY (in the sidebar)
15.07.2025 12:19 — 👍 1 🔁 0 💬 0 📌 0Programmers are wizards who forgot their magic. happyfellow.bearblog.dev/unwise-wizar...
15.07.2025 09:20 — 👍 3 🔁 0 💬 0 📌 0👋
15.07.2025 09:18 — 👍 1 🔁 0 💬 1 📌 010. world is much more malleable than you think
27.06.2025 10:18 — 👍 1 🔁 0 💬 0 📌 09. stocks have value for roughly the same reasons fiat currency has value
27.06.2025 10:18 — 👍 0 🔁 0 💬 1 📌 08. incentives + selection effects + feedback loops explain a lot
27.06.2025 10:17 — 👍 0 🔁 0 💬 1 📌 07. programmers are spell-casters bound by limitations of their own design
27.06.2025 10:17 — 👍 0 🔁 0 💬 1 📌 06. some people are simply not worth your time. doesn't mean it's their fault but stop fretting about it and let it go
27.06.2025 10:17 — 👍 0 🔁 0 💬 1 📌 05. career advice: have a generalist skill set but market yourself as a specialist
27.06.2025 10:17 — 👍 0 🔁 0 💬 1 📌 04. model of domain and codebase residing in devs heads is one of the most important business assets (implications for dev and business incentives following from it are left as an exercise for the reader)
27.06.2025 10:17 — 👍 0 🔁 0 💬 1 📌 03. aesthetic judgement is frequently a substitute for engineering
27.06.2025 10:16 — 👍 0 🔁 0 💬 1 📌 02. almost nobody is serious about pursuing their goals. it's obvious if you compare their actions to what even a half-decent plan would look like
27.06.2025 10:16 — 👍 0 🔁 0 💬 1 📌 01. causes and effects are not fundamental, being able to understand a situation through that lens is an exception not a rule
27.06.2025 10:16 — 👍 0 🔁 0 💬 1 📌 0