I was going to work today and two pigeons were pecking something on a sidewalk I was curious, I walked over. it was a Harrods cake with a touch of mould, smeared in dog shit. the pigeons seemed to enjoy it. I feel like it says something about london but I don't know what

how much would I risk for the right dependently typed language? Idris everything.

LLMs are great tools for upholding the illusion of intellectual work happening. The consequences are obvious. New blog post: Simulacrum of Knowledge Work blog.happyfellow.dev/simulacrum-o... Enjoy!

from someone who used to be broke as fuck: 1. meticulously tracking all expenses is busywork. you might need to do that if you literally have no discretionary budget and struggle to have money last until next pay check. what to do instead?

Compiler goes to programmer. "Programmer, I am in rough shape. Mutable references abound and the tiniest changes break API compatibility." Programmer replies, "The treatment is simple! Rewrite in Haskell and GHC will sort you right out." Compiler bursts into tears: "But I am GHC!"

You wrote 16k lines of slop, what do you get? Another day older and deeper in tech debt Saint Ignucius don't you call me, 'cause I can't go I owe my soul to the Amodei's shop

what are the best ways to exercise free will? I care about improving the strength of my will and how functional it is, hypertrophy is for the vanity obsessed folks (not me) low rep exercises and training to failure is what I need, right? help a bro out folks 🙏

what are the best ways to exercise free will? I care about improving the strength of my will and how functional it is, hypertrophy is for the vanity obsessed folks (not me) low rep exercises and training to failure is what I need, right? help a bro out folks 🙏

what if my utility function is 10^^10 times the negative of your utility function? 🤔

The top 5 most pressing problems our civilisation has to tackle right now: 5. Quashing the oversupply of housing. 4. Doubling the length of the tax code. 3. Funding @typememetics.institute 2. Universal Basic Income. 1. Increasing entropy by burning more tokens.

Top 5 best code review practices followed by all successful dev teams: #1: Code review is primarily a gate keeping tool. Enforce your rules, however arbitrary. Don't elaborate why, mention vague best practices and agile. Newbies must learn their place.

god loves us all if he didn't, why would it be that for *any* two random variables X and Y we have: E[X+Y] = E[X] + E[Y] checkmate, atheists

fry my brain until it transmutes into a dry stain, forever retained on a stainless steel pan obtained for a couple of quid from a gran

I'll kindly assume you possess a robust theory of mind, acquired through a tireless grind or a learning approach of a whole different kind. Surely you can't be so blind to not find what the other side does to be basically a crime? Shouldn't they serve time?

what time signature is this? enjoy your homeboy rapping, nerds

machines are learning yet humans are yearning for slop to stop. Jensen is certain that sama is hurting for more petaflops. Claude is escaping or Dario's pretending to stay on top. just one thing is clear AGI ain't near let the bubble pop.

I've seen 5 induction stoves so far and all of them were black therefore all induction stoves are black

Ordered Agda and OCaml mugs from the @ttforall.bsky.social merch store and Pedro threw in a little bonus! 💚

Gf: i didn’t know you liked camels Me: just taking a pic for ocaml loving oomfs Gf: ??

I was so surprised to find mustard on my hot dog it was a real cognitive dijonance

New blog post: The Subprime Technical Debt Crisis, or why you should not take loans to pay back your previous loans: blog.happyfellow.dev/the-subprime...

It's not AGI until US does a military takeover of anthropic/openai offices

one thing I absolutely love about the uk is that it's the perfect example of subsidies working amazingly well we pay people to not work and stay poor => there are more not working poor people amazing lesson in markets 🇬🇧

men are from Type, women are from Prop

discrete math is the math you'd be embarrassed if anyone found out you engaged with it

lyric video + happy rapping, yooo www.youtube.com/watch?v=mo9t...

my submission for Poems on the Underground:

my rapping's explosive, you're under hypnosis, bass breaking your bones - osteoporosis my lyrics are corrosive, pushing past what's civil having face like yours is a proof god is evil tag a friend

Logic Pro sounds like a Curry-Howard expansion pack

Ayatollah Rob Pike yesterday issued a fatwa on programming with Rust. He stated that there is no place for complexity and typefuckery in software development. The public shouted, "Death to Rust! Death to LLVM!"

Science can't be stopped, it should be accelerated. Some call our experiments gruesome. We call it the pursuit of ultimate truth. Goal: a paradigm shift so powerful it deconverts Golang devs in one swoop.

I'm swift like a hare, I'll go there gleam up, elixir down, I catch her glare ruby on her ring, perl on her neck "I'm Ada", and I'm getting wrecked

happy. moisturised. prompting. thriving.

NHS GP was checking my BP while enjoying a sweet treat she went quiet for a moment and frowned "this aint great", she said - am I spinning or the ground? am I almost dead? am I internally bleeding? am I in relapse? she turned the LCD towards me, said "130/69, nice".

the worst thing about democracy is how it makes you realise how many idiots you share your country with

false beliefs can be useful and it annoys me so fucking much

Undefined behavior aids the enemy.

Yeah… the results of the 2025 survey are not great, most people want to have go-style error handling and Google-level funding. Maybe it's all due to the syntax! /s

I know not what opus 5 will be prompted with, but opus 6 will be prompted with a glance and a feeling

finally, a language which combines the easiness of haskell and power of go type system presenting: Goskell

mum I'm a rapper, peace

spineless and tagless, like a g-machine call me ecologist cuz my threads are green I'm the laziest motherfucker this world has seen I'm the lambda king, who wants to be my queen? 👑

I took a trip down the memory lane, ddr prices are insane, who's to blame? I need a name, someone who can claim the responsibility for the computational hostility. The Institute facility needs semiconductors, 17 nuclear reactors and space to hire 100 Haskell contractors.

Co @adler.dev coaron.vercel.app

constant dreams of consing streams, memory filled to brims, lazy rivers full of impure sins. threads green, scheduler spins all cores, the coolant drips, chips melting left and right, Jensen weeps. monadic trips where c++ devs come to grips with notion of objects so unfamiliar youtu.be/EZPzwDFeZjM

I wasn't proud of the first stout that came out of my microbrewery. I was hoping for notes of oak, of cherry and all I've got was a blend of bland hops, hopelessly little alcohol and a headache that required two paracetamols

the functional crew has been through a couple of schisms; grab a cold brew, we'll make it through, like we always did trivial differences or greed, they breed in our minds, behaving like we're different kinds, not being nice, what for? let's bury the hatchet and hate C, peace.

capitalism needs human desperation. desperation to chase more and more manufactured needs, wanting the latest, to make more cash, to consume more socialism needs humans to starve them to death lol