june

oh god what is this documentation for

i think a lot of people would be upset with that decision haha

is this assuming 0 and None should be considered equivalent?

thank you! your blog has already been so valuable for learning more about haskell and type type theory

(i hope it’s okay to use your type system implementation as reference and inspiration)

finding grace and grace browser was the most excited i’ve been discovering a project in some time. amazing work it is so so cool

the desktop metaphor was the wrong path in the tech tree

and then despite this obsession they still don’t have anywhere near The Right Beliefs

you can do that in firefox as of quite recently

“Generated code is very readable and closely corresponds with the original” and “Advanced optimisations” sound like they should be in conflict

i want to target JS as well so i will look into this

could i use the atproto did documents (and the contained signing key) to get a free semi-decentralised user and login system for some non-atproto software i’m working on. sounds way easier then dealing with oauth

this is evil, but now i too want this

A section of the Bayeux tapestry, a black shape with a slightly orange tip hangs from or behind a soldiers tunic. It’s unclear what it is.

Here’s the disputed penis which the post did not include. Source: www.theguardian.com/world/2025/a...

a northernlion video playing on a celestial CRT TV on a bookshelf

(discord screenshot) june: the term "detransitioner" should be protected by law like Champagne, Tequila and ANZAC biscuit ewlame: LOL strong take im behind it june: you're only a detransitioner if you socially and/or medically transitioned for over a year, otherwise you're a just a sparkling faggot

A slide from a lecture on removing indirect left recursion from a grammer.

they’re doing this to you in the qrts

indent creating a code block in markdown is so annoying, equal in damage to software as the null pointer

lingscars.com is boring now 😔

which did implementation is good

i was so excited when i found out airdrop had been reversed, but for some reason my laptop wifi card is incompatible ;_;

bait used to be believable

I CAN’T TAKE HER FLOW IF I CAN’T TAKE HER MAN

brave is just chrome with built in adblocker and cryptocurrency nonsense

did:ipv6 when

it should be embarrassing to be this wrong and alarmist

sorry what do you mean by ‘don’t believe in’, how does the gleam type system work instead?

Add a new media type toggle next to the feed icon so that every feed can be video. Could have all, text, image, video, audio and link.

this is one of the most functional programmer things i’ve ever read (well done)

that’s genius

i really hope peertube picks up some momentum now they have an app, but they have a while to go experience wise (especially with onboarding like all the fediverse)