One Happy Fellow's Avatar

One Happy Fellow

@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

52 Followers  |  67 Following  |  37 Posts  |  Joined: 24.05.2025  |  1.6356

Latest posts by onehappyfellow.bsky.social on Bluesky

check it out on soundcloud: soundcloud.com/one-happy-fell…

or some rando automatically generated music video with lyrics: https://youtu.be/wlbio_EyUUU

15.10.2025 14:01 — 👍 2    🔁 0    💬 0    📌 0
Post image

ya boi dropped a rap single, it's called Riddle Master

full of programming riddles, can you guess all four answers?

enjoyyyy

15.10.2025 14:01 — 👍 1    🔁 0    💬 1    📌 0

the real type safety is the errors we caught along the way

05.10.2025 10:22 — 👍 16    🔁 4    💬 0    📌 0
Riding OCaml my Caml
YouTube video by Happy Fellow Riding OCaml my Caml

mum im a rapper youtu.be/dAK7eAheQF4

02.10.2025 09:37 — 👍 3    🔁 0    💬 0    📌 0

distrusting machines is healthy, especially lisp machines

they're always schemeing

30.09.2025 17:51 — 👍 1    🔁 0    💬 0    📌 0

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.

30.09.2025 17:30 — 👍 1    🔁 0    💬 0    📌 0

"$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!"

30.09.2025 17:30 — 👍 1    🔁 0    💬 1    📌 0

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

30.09.2025 17:30 — 👍 1    🔁 0    💬 1    📌 0

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

29.09.2025 19:29 — 👍 4    🔁 1    💬 0    📌 0

ur type so fat it requires large elimination

29.09.2025 08:57 — 👍 15    🔁 4    💬 3    📌 0

holy mother of banger, this is gold

29.09.2025 14:26 — 👍 3    🔁 0    💬 0    📌 0

welcome to the other side, it's nice here

26.09.2025 20:39 — 👍 1    🔁 0    💬 1    📌 0

programming 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?

22.09.2025 12:18 — 👍 1    🔁 0    💬 0    📌 0
Post image

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...

23.07.2025 13:03 — 👍 4    🔁 1    💬 0    📌 0

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!

18.07.2025 19:23 — 👍 1    🔁 0    💬 0    📌 0

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    📌 0
Post image

Programming Language Theory has a public relations problem happyfellow.bearblog.dev/programming-...

18.07.2025 19:23 — 👍 1    🔁 0    💬 1    📌 0
ITSMR :: Secure Terminal

To 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    📌 0
Preview
Wizards who forgot their magic We are wizards who have forgotten we can do magic. Every morning, millions of us sit before our scrying mirrors, weaving spells that can topple government...

Programmers 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    📌 0

10. world is much more malleable than you think

27.06.2025 10:18 — 👍 1    🔁 0    💬 0    📌 0

9. stocks have value for roughly the same reasons fiat currency has value

27.06.2025 10:18 — 👍 0    🔁 0    💬 1    📌 0

8. incentives + selection effects + feedback loops explain a lot

27.06.2025 10:17 — 👍 0    🔁 0    💬 1    📌 0

7. programmers are spell-casters bound by limitations of their own design

27.06.2025 10:17 — 👍 0    🔁 0    💬 1    📌 0

6. 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    📌 0

5. career advice: have a generalist skill set but market yourself as a specialist

27.06.2025 10:17 — 👍 0    🔁 0    💬 1    📌 0

4. 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    📌 0

3. aesthetic judgement is frequently a substitute for engineering

27.06.2025 10:16 — 👍 0    🔁 0    💬 1    📌 0

2. 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    📌 0

1. 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

@onehappyfellow is following 20 prominent accounts