If I am so lazy, why am I always so exhausted?

proposal for a genre: faux-critique it is a story that is told through a detailed, chapter-by-chapter, (often as a draft of a) critique of it for which the critic discovers that they are part of said story, while slowly, but not fully transitioning to a personal diary format

Haskellers! does anyone know how GHC elaborates type classes like Functor, etc. into GHC Core, when Core doesn't have Rank-2 polymorphism by default? how are the methods polymorphic?

(fictional writing, french) tw mention of suicide, gore --- Sous la belle étoile, Samuel partit seul. Son cadavre ouvert, couvert de marques du train de nuit passé à pleine vitesse, à moitié déchiqueté par les charognards qui savent trouver leur festin au bord des rails, [...]

nowadays people make LLMs write code for other LLMs

That we continue to persist at all is a testament to our faith in one another.

A tremendous loneliness comes over you. Everybody in the world is doing something without you.

KIM KITSURAGI - “You need to get your shit together.” YOU - “But I don't wanna get my shit together!” KIM KITSURAGI - “Then the world will turn away from you, and leave you behind.”

man i dont wanna do anything today

hi ko-fi.com/qexat

level 47 IS PISSING ME OFF

i'm putting the feelers out for frontend-y dev rel-y docs-y gigs that are 2-3 days a week. if you know someone looking for someone who can do gleam/elm/react/write words, hit me up 💕

The reaction Disney fans are having makes think maybe the Harry Potter fans are just bigots who don’t care after all.

Do you remember, the 21st night of September.

what the fuck happened

agree 👍 or disagree 👎 the BEST farts are the ones that go BOOF 💨‼️ the worst ones go plrrrt ☹️

Signal Messenger: Embrace, extend, extinguish iczelia.net/posts/signal...

as far as i can tell QuantifiedConstraints dont support multiple type variables so i dont think i can do that

does haskell support rank 2 constraint-polymorphic typeclasses

I LUH YOU

IM RIGHT - dashare.zone ADMIN

some of yall be like that

btw im still working on violette just more theoretically and not on the repo directly but ill be back to it soon

Pronouns in UEFI

let 𝕃 a language let P a program such that P ∈ 𝕃 let 𝕃ₜ ⊆ 𝕃 where ∀p ∈ 𝕃ₜ, p is well-typed if P ∈ 𝕃ₜ, then P is well-typed

i think im gonna decouple inference from checking with a type-suspended IR

turns out that trying to apply with holes for inferred parameters before type inference is a stupid idea

We officially announced the 2.5.0 release 🍾 (github.com/xhtmlboi/yoc...) of YOCaml, a statically blog genetator framework written in #OCaml discuss.ocaml.org/t/ann-yocaml... And this new release is attached by a guide: yocaml.github.io/tutorial/ 🐫 Happy Hacking 🐫

:juh:

maaza lychee is peak man

🌟 SEMANA DO CONSUMIDOR 🌟 A loja está aberta com cupom de 10% off para compras acima de 50 reais até dia 21/9. Utilize CONSUMIDOR10 no carrinho 🚨 Acesse o site e confira os lançamentos e produtos em queima de estoque que não voltarão mais! 🌸 loja.yaswinart.com.br 🌸

No you don't understand. My Rust isn't gonna have a borrow checker. Instead, it'll have something that does 80% of what a borrow checker does and is memory safe 80% of the time. We trust programmers to handle the 20% safely

"im making a language that is basically rust but simpler"

Hey, #ruby folks! I've been one of the #RubyGems maintainers for the last decade. Ruby Central has forcefully taken control of the RubyGems organization on GitHub, the `rubygems-update` and `bundler` gems on rubygems[.]org, and more. You can read the details here: pup-e.com/goodbye-ruby...

🎛️ SYSADMIN MIXING TIP 🎛️ 👉 Sidechain your CPU usage with your IO delay for a super clean mix 🤑🤑

Told a selfcester "You do you" and they passed out on the spot

the search for FUN OCaml 2026 venues is in a critical phase now identifying venues worth visiting key points: - a great stage - good to reach by train and airplane - good internet & wifi - capacity for 100 people

There's another Gleam meetup! This time, Spanish speaking Gleamlins are meeting online, on 15 Oct. More details TBA, join our discord to learn more ⭐

Poleaxe girl lineart:

oof, what a disappointing way to end more than 15 years of open source work. (summary by @duckinator.bsky.social at pup-e.com/goodbye-ruby...). good luck to the remaining RubyGems team, and it’s time to focus my energy on new projects that I’m truly excited about, like rv.dev

bonjour mademoiselle jadore les croissants bonne soirée

I'm still very much in need of a project. I'm expensive and worth it

sorry de bruijn im fine with α-equivalence

The Amphora of Great Intelligence (AGI) #webcomic #krita #miniFantasyTheater

Rappel que dire "les riches risquent de se barrer" revient à dire aux autres "vous ça va, on peut vous racketter vous êtes coincés ici."

Sometimes I feel like a ghost, unable to make meaningful changes to my life, while not being believed when I tell people how much I try.

@lexa.qexat.com you bastard, our conversation about unification modulo equational theories has kept me thinking consistently about unification theory, how of all things did THIS happen? AHhAhajzjsksk