🎓 Doc Freemo 🇳🇱 @freemo@qoto.org

every social media platform needs #dogs so here’s mine to start of #petsofhci

Hello Mastodon world!
Here from @saragoeking at #ScienceTwitter.

#Violet doing a little light reading. #dogsofmastodon

I quit Twitter for now. I hope to turn this experience from conversation centered on how wrong and terrible everyone is, to something more positive.

hello from mastodon.technology i guess

I have done a mastodon.technology -> c.in -> qoto.org reach around transfer and now I am going to sleep

Science tip: Scientists hardly ever use the two-dot division sign, and when they do it often doesn't even mean division, but they still get REALLY mad when you repurpose it to write stuff like SALE! ALL SHOES 30÷ OFF!
https://xkcd.com/2687/

Looking to put together a @users group of forecasters (otherwise total strangers) for Metaculus' new competition.

I've been doing decision/prediction markets since HSX first launched, so approx 20 years? But truly, there is NO EXPERIENCE NECESSARY L(

Trust me, "the scientists" are vastly more interested in watching how remotely organized teams of random nerds work together than whether a particular commodity target was met.

Can I at least count on you @freemo ? :)

https://www.metaculus.com/tournament/forecasting-Our-World-in-Data/

Homework: assume that of all mathematicians with an English-language social media account, 1 in 16 is working with expectations on any given day, of which 1 in 1024 comes up with the above joke, of which 1 in 8 decides to post it on their social media, of which 1 in 2 actually do so. Assume the decision whether to post is a Bernoulli trial.

Write down the expectation of the number of times the joke has been or will be made this calendar week (as of this post) given your current information.

@freemo That got me a short answer

https://stackoverflow.com/a/73861151/1435803

that includes a link to a much deeper rabbit hole than I care to explore.

It used to be the case in #Haskell that

:t 3

would give you

3 :: Num a => a

but

let x = 3
:t x

would give you

x :: Integer

because storing a value in variable forced the system to commit to a specific type.

Nowadays, though, the latter gives you

x :: Num a => a

What changed? I'm at a loss as to how to search the web for an answer to this one.

#programming #FunctionalProgramming

Was @freemo the Half Life 2 protagonist and hides a Gravity Gun in his basement?

@trinsec @freemo @peterdrake