Notices by julesh (julesh@mathstodon.xyz)

The five mythical birds: firebird, thunderbird, Angry Bird, Flappy Bird and Big Bird

Recreational mathematics puzzle: is there an interesting number that is approximated by today's date, 14.3?

Beats me why to get paid for doing a viva at Cambridge they need to know which of the 2 genders I have

Maybe I just have a dirty mind but I'm sure they could have worded this differently

My gender is denoted by the half way point in the alphabet between the letters F and M, ie. the Dutch digraph ij (U+0133)

Time to write a game theory test

All else fails I can go with this: "Submit a number between 0 and 100. Everybody who jointly chooses the highest number will get a mark of 0, everybody else will get the mark that they chose"

The Axis of Impotent

Inside you there are 2 wolves, 1 goat and a cabbage, and you need to cross a river

Programming languages train you to not want what they don't provide, which is why programmers should learn a wide variety of different styles in order to not take any shit from language designers

@pmidden I normally call it "writing Fortran in Haskell"

@flippac @profdc9 You seem to be confusing the situation in ~1933 (when everyone was trying to get people out of Germany by whatever means they could, and scientists had more resources than most people to do so) with the situation in ~1946 (when the USA and USSR were fighting each other over the spoils of victory)

have they tried plugging a fax machine into it

they should've called that new AI model sputnik the way it's been making americans panic so much

@zanzi pri types

@zanzi Just grab the url and stick it at the bottom of the twoot, like people used to do it on twitter back in the day

I wrote a thing!

Bidirectional Typechecking is Bidirectional

https://cybercat.institute/2025/01/28/bidirectional-typechecking/

@flippac I believe I have not heard it

Would be returning the favour from 90 years ago

If there was anybody competent in charge in Europe we would be passing emergency legislation this week so that starting next week we poach every scientist from the US who was previously funded by NSF, NIH etc. Oh well, we can dream.

@tito @joey Sorry yes, I meant to say "polymorphic dependent type theory". It's one of the last chapters in the book (and it has prerequesites on multiple earlier chapters that I already can't understand)