Notices by julesh (julesh@mathstodon.xyz)

I am sceptical of any claim that boils down to "AI is making people stupider" because it's the same thing that was said at the time about smartphones, tv and the printed book. The kids will be alright, they always are.

@pigworker There are headbands for that

@pigworker Like, if you made a show about academics going round the twist and set it in a normal university, even fewer people would have watched it

@pigworker I think this is what scifi is supposed to be, except occasionally when the writers forget and accidentally write stories about technology, like when Star Trek was having one of its bad days

@pigworker No, but I still should at some point

This is definitely the most scifi thing that has ever happened in history

@dysfun Wasn't it Boeing's fault?

I had totally forgotten that there were 2 people stranded in space since 7 months ago

@Andrev And if you're going to spell french words wrong at least take the chance to spell them phoenetically

@Andrev @JadeMasterMath The German government and state's recent incompetence and inefficiency is just the latest step in their post war reforms

Fun fact: in the UK we call it a "sandpit game"

@dimpase @JadeMasterMath Yeah, direct Idris bindings to BLAS or whatever would be pretty neat but would probably be an absolute tonne of work to build

@JadeMasterMath Filling a temporary file from a string constant is a bit horrifying, but otherwise this gets my stamp of approval for combining a proper top level language with "haha python go brrr"

ps. since I also constantly bug Zanzi about unnecessary brackets in idris code: `IO Int` not `IO (Int)`

{-# LANGUAGE BritishEnglish #-}

@BartoszMilewski Wow, you have to go back pretty far to a time when Google were capable of holding a ball without dropping it

It's only a banana if you have 2 of them. If you only have 1 it's a unanana, and if you have a bunch of 𝑛 of them it's an 𝑛-anana

@JadeMasterMath The part for scaring away normies had the opposite effect on me, I was disappointed you're not using indexed categories to solve diffeqs

@gallais I need to take that module, writing tests is hard

We touch on quickcheck in CS260 but we don't really test em on it because it feels too advanced for that level, it's more of a teaser of what haskell can do

@zanzi 🐑🐑

The natural world generation understands the vibe I'm going for