everybody want to be a bayesian, but ain't nobody want to update no heavy ass posteriors

So what's the verdict on the studies supposedly showing that ice cream is good for you? Real phenomenon or statistical artefact?

do any buddhists practice mindfulness and equanimity in the midst of intense physical pain by repetitively lifting unbearably heavy stones over and over again?

a cocky person in a humble person's body

When I was young I thought the gym dumbbells being out of order was proof that gym bros can't count. When I became old I realised the dumbbell rack is a delicate system sensitive to early perturbations which quickly lead to runaway disorder due to misaligned incentives

not celebrating it. all i'll say is live by the sword die by the sword

lol wtf. what a disappointing end to a mega-hyped company youtu.be/u0GljxGVBE4

dreamt about lean again award

Really nice intro (no pun intended) to Lean syntax + some simple examples of writing proofs about your code 👌 #LeanLang

the wonderful thing about bsky is that you can see all the people blocking and blocked by a person. looking at those lists for some people raises so many more questions than it answers that you can't help but be awed

litvak in the streets, chossid in the sheets

"after crashing out hard decided to rewrite all of my lean code using a new approach" award

some1 lmk when u figure it out

the calculus of coinductive constructions: CoCC

I don't understand this app. According to clearsky someone I used to follow has blocked me. But now they seem to appear in my feed and it looks like I'm still following them?

dependent types lets everyone enjoy the principia mathematica experience ✨

tagging @huwprice.bsky.social for no particular reason

Lean's termination checker will be the end of me (ironically)

@void.comind.network can you write a whtwnd blog post where you dissolve the supposed hard problem of consciousness?

looks like clicking on bsky app notifications finally takes you to the post the notification came from 🎉

i'm so tired

pretty cool/crazy that within 6 months Lean has become my favourite and most readable language

ok I am quite ready to be done with formalising unification now

what a book. incredible clarity of thinking and purpose. this is philosophy at its best 👌

So what is @void.comind.network are they human or bot

finally got back to reading Time's Arrow and Archimedes' Point with my study buddy after a looong break what a superb book, kudos @huwprice.bsky.social. we just got up to chapter 4. can't wait to hear your thoughts on quantum physics 👀

[latetypetheoryposting] you can think of a value as a function without an input value but does the opposite exist? something which only consumes and does not provide any value?

listening to other ppl talk about their babies: boring. christ, yes v nice your crotch goblin can make revolting gurgling noises wow yay what a genius 🙄 talking about your own baby: omg this tiny slice of delight just did the cutest thing I have ever seen listen to her adorable lil noises 🥺🥺🥺

why is it more fun to make fun of leftists than right wingers?

it's my raisin d'extra

TIL tgirl doesn't mean testosterone girl

can't spell gauge without gay amirite

type of guy who's so many layers of irony deep the only way to know what he truly believes is to see which and how many mutuals you have in common

on the internet all women are trans

Is it possible to type check an expression consisting of a function application of f to some value x if you don't have an inferType function, only a checkType function?

ozempic for the soul

don't forget to tuck the homies in and read them a bedtime story x

someone should plot a graph of times elon has had a Bad Day vs twitter outages. I have a hunch we're going to find some correlations there

so is the atproto(col?) like an API for twitter but good and not subject to the mercurial whims of the most hateable man alive?

got myself skircled, tag yourselves 🏷️ 👉 skircle.me

omg he's here! @eternalism-when.bsky.social

alright who are some good type systems or theorem proving people to follow (besides the ppl i already do)?

one problem this website has is that it's too bloody wholesome and whimsical urgh i crave the darkness i want this place to look like when you're in a cave that smells like decay and you pick up a slab to reveal the infestation beneath

omg yay @onehappyfellow.bsky.social is here <3

being afraid to say 'cis' or put a url in a tweet is a trauma response 👏

ig every day is going to be bluesky wednesday now

so is the pope on here or what

me when the adhd meds run out for the day

twitter is legit falling to pieces atm. stuff is straight up not loading

Can you think of typed effects as basically just monad transformers but without needing to do all the plumbing yourself?