Im not even slightly related to those clusters
09.02.2026 15:41 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0@bisimulation.bsky.social
liquid type in liquid type connoisseur alecsferra.github.io
Im not even slightly related to those clusters
09.02.2026 15:41 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0??
09.02.2026 13:17 โ ๐ 2 ๐ 0 ๐ฌ 1 ๐ 0The idea is that you want the biggest or the smallest thing that satisfies some properties, and the smallness.bigness is given by the fact that you can sort of factorize something to something else
09.02.2026 08:37 โ ๐ 2 ๐ 0 ๐ฌ 1 ๐ 0Good
08.02.2026 14:13 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0Yeah I often write down my own assembly instead of running the compiler because I'm smarter than the optimizer
08.02.2026 07:01 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0Its harder to find a game dev with literally one good opinion than a billionaire that is not a pedophile
07.02.2026 14:46 โ ๐ 17 ๐ 2 ๐ฌ 1 ๐ 0Can't agree more, you add macros when you failed the design of your pl
07.02.2026 04:41 โ ๐ 4 ๐ 0 ๐ฌ 0 ๐ 0They are just jealous that they can't even compare
07.02.2026 04:39 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0When I lived in the Netherlands i just made coffee at home, also they don't even know what is an espresso
03.02.2026 18:42 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0Yeah much better having 1โฌ espressos and a failing economy
03.02.2026 16:34 โ ๐ 2 ๐ 0 ๐ฌ 1 ๐ 0Data mining companies duh
03.02.2026 11:57 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0What are some good android games to waste 10 mins?
31.01.2026 17:46 โ ๐ 4 ๐ 0 ๐ฌ 1 ๐ 0Yes
30.01.2026 19:40 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0I do softcore type theory btw
30.01.2026 17:18 โ ๐ 8 ๐ 0 ๐ฌ 2 ๐ 1But I'm also of the opinion that artists are not entitled to have a job if people want slop let them have the slop
30.01.2026 16:06 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Im totally anti copyright but if copyright laws are enforced harshly against common citizens they should also be enforced against companies
30.01.2026 16:01 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0No is just that the water cope its simply stupid
30.01.2026 13:42 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0(Stolen meme)
30.01.2026 12:50 โ ๐ 5 ๐ 0 ๐ฌ 0 ๐ 0No writing code
30.01.2026 06:40 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0monkeytype for haskell
you gotta get above 100 wpm on this for the horomones
29.01.2026 18:12 โ ๐ 3 ๐ 1 ๐ฌ 1 ๐ 0Wtf haskell themed typing test???
29.01.2026 18:28 โ ๐ 2 ๐ 0 ๐ฌ 1 ๐ 0"Pick an universe big enough" dude fuck you
29.01.2026 17:47 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0Im tired of models and denotational semantics, cant wait to do something else
29.01.2026 17:35 โ ๐ 4 ๐ 0 ๐ฌ 1 ๐ 0Nope
29.01.2026 15:21 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Skeleton face bleeding with the text around it, in an infinite circle: "I learn American politics against my will -> I learn American politics against my will -> I learn American politics against my will..."
29.01.2026 09:12 โ ๐ 193 ๐ 25 ๐ฌ 1 ๐ 0Mostly because I trusted them
29.01.2026 09:45 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0It fucking sucks
29.01.2026 09:44 โ ๐ 3 ๐ 0 ๐ฌ 2 ๐ 0Busy not getting shot
29.01.2026 07:42 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0I don't know
28.01.2026 16:33 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0I can't stand "artists" that keep posting their pencil slop on the internet, homie just use your fingers like a normal person and type the prompt
28.01.2026 14:15 โ ๐ 4 ๐ 0 ๐ฌ 0 ๐ 1