🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

first: told ya! second, for people asking "how can you ban vpns?", it's simple: you ban it, give yourself powers to prosecute, fine, disconnect from payment networks, done

type theory is something a group of consenting adults should enjoy behind closed doors doing it in public is NOT ok

who do I tag to compilation about broken notifications now?

Slim Jimmy Neovim is cardio for your fingers, emacs is yoga for your fingers.

I’m back with another, 3+ hour episode of the Func Prog Podcast! Get ready for a deep dive into the world of programming language design and type systems with Aram Hăvărneanu Link in comments 👇

a couple of hours chopped up between commute, 15 minute break at work, etc is not the same as having an hour of uninterrupted time agreed that spending these bits of time on doomscrolling is bad but DHH should understand difference between a block of time and bits of time

is there a type-theoretic/computational interpretation of the classical equivalence between "P => Q" and "not P \/ Q"?

what stops you from tweeting like this?

we need a new party to ensure type-safety for all people in the uk

solid quote

you chose to be unhappy. it's your fault. unhappy is familiar, comfortable. pain of admitting you chose unhappiness is stronger than your will for happiness you're weak. you're a coward. the earlier you admit it, the earlier you'll be over it. then you might even be happy.

we should have a banger writing retreat in Bangor, Wales

you have to choose

epic verse > epic arse

how long should a hug last? if you don't know someone well: 0-2s good friends: 2-5s person you love the most: hug so long and so tight that you meld into one

how much do you make per year in usd

A promise is a monad in the same way floating point addition is associative