Lightnews — Scholar-powered news

One Happy Fellow

@onehappyfellow.bsky.social

51 followers 67 following 35 posts

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

Posts Media Videos Starter Packs

Reposted by One Happy Fellow

sabine 🐫🦀 / "use ocaml"; @sabine.sh · 5d

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

4 16

One Happy Fellow @onehappyfellow.bsky.social · 8d

mum im a rapper youtu.be/dAK7eAheQF4

Riding OCaml my Caml

YouTube video by Happy Fellow

youtu.be

One Happy Fellow @onehappyfellow.bsky.social · 9d

distrusting machines is healthy, especially lisp machines

they're always schemeing

One Happy Fellow @onehappyfellow.bsky.social · 9d

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.

One Happy Fellow @onehappyfellow.bsky.social · 9d

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

1 1

One Happy Fellow @onehappyfellow.bsky.social · 9d

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

1 1

One Happy Fellow @onehappyfellow.bsky.social · 10d

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

1 4

Reposted by One Happy Fellow

★ @lexa.qexat.com · 11d

ur type so fat it requires large elimination

3 4 15

One Happy Fellow @onehappyfellow.bsky.social · 11d

holy mother of banger, this is gold

One Happy Fellow @onehappyfellow.bsky.social · 13d

welcome to the other side, it's nice here

1 1

One Happy Fellow @onehappyfellow.bsky.social · 18d

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?

One Happy Fellow @onehappyfellow.bsky.social · Jul 23

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

1 4

One Happy Fellow @onehappyfellow.bsky.social · Jul 18

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!

One Happy Fellow @onehappyfellow.bsky.social · Jul 18

just a short post describing my ✨feelings✨ about why newcomers might bounce off PLT (it breaks my heart a little each time it happens)

1 1

One Happy Fellow @onehappyfellow.bsky.social · Jul 18

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

1 1

One Happy Fellow @onehappyfellow.bsky.social · Jul 15

To all operatives and researchers, please go to typememetics.institute website and start your mandatory session IMMEDIATELY (in the sidebar)

ITSMR :: Secure Terminal

typememetics.institute

One Happy Fellow @onehappyfellow.bsky.social · Jul 15

Programmers are wizards who forgot their magic. happyfellow.bearblog.dev/unwise-wizar...

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

happyfellow.bearblog.dev

One Happy Fellow @onehappyfellow.bsky.social · Jul 15

👋

1 1

One Happy Fellow @onehappyfellow.bsky.social · Jun 27

10. world is much more malleable than you think

One Happy Fellow @onehappyfellow.bsky.social · Jun 27

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

One Happy Fellow @onehappyfellow.bsky.social · Jun 27

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

One Happy Fellow @onehappyfellow.bsky.social · Jun 27

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

One Happy Fellow @onehappyfellow.bsky.social · Jun 27

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

One Happy Fellow @onehappyfellow.bsky.social · Jun 27

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

One Happy Fellow @onehappyfellow.bsky.social · Jun 27

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)