@julesh@mathstodon.xyz
@julesh@mathstodon.xyz avatar

julesh

@julesh@mathstodon.xyz

Applied category theorist
Games, learning, control, complex systems, diagrams, syntax
Affiliations: MSP Group / 20squares / CyberCat Institute

This profile is from a federated server and may be incomplete. Browse more on the original instance.

julesh, to random
@julesh@mathstodon.xyz avatar

This is a hell of an opening line for a textbook

https://www.schneier.com/books/applied-cryptography-2preface/

julesh, to random
@julesh@mathstodon.xyz avatar

A sort of compromise I can imagine for the economics of the tech industry is to add a new exit strategy for startup investors where they sell to the state, the company becomes a public corporation and loses its profit motive. The bar for this would naturally be incredibly high, this is for obviously-infrastructure things like Google Search and Twitter

julesh, to random
@julesh@mathstodon.xyz avatar

Old people, not content with merely destroying the economy for young people, are now trying to actively murder young people

image/png

julesh,
@julesh@mathstodon.xyz avatar

Note that conscription in the UK ended in 1960, because of how many conscripts died in the Korean War. So you would have to be at least 83 years old to have experienced conscription. I will happily listen to the opinion of any politician who is older than 83 on this point since they are speaking from experience, any politician younger than 83 can fuck off and go to hell

julesh,
@julesh@mathstodon.xyz avatar

You might think they were preparing for a war with Russia, where a conscript army would definitely be very useful for defending the varpourised radioactive crater where the UK used to be. But as far as I can tell they haven't actually said anything about Russia, the rhetoric around it is entirely about attacking young people

julesh, to random
@julesh@mathstodon.xyz avatar

I just had an epiphany. The purpose of an review rebuttal is not to convince the reviewers to change their mind - which is obviously not possible except in vanishingly rare cases - it's to convince the programme committee that the reviewers don't know what they're talking about

julesh, to random
@julesh@mathstodon.xyz avatar

Sample a 2d Gaussian with random covariance matrix

julesh, to random
@julesh@mathstodon.xyz avatar

I need my students to understand that to get away with openly committing blatant plagiarism you have to be a billion dollar megacorporation, which they are not

julesh, to random
@julesh@mathstodon.xyz avatar

It's not just imagination, Englandandwales really is a conservative religious country compared to Scotland

julesh, to random
@julesh@mathstodon.xyz avatar

Obviously not everything can be understood with just category theory, although I'm starting to kinda suspect that everything can be understood with a mixture of category theory and statistical physics

christianp, to random
@christianp@mathstodon.xyz avatar

On 20th June, I'll be in Glasgow for the workshop "Towards improving the accessibility of the mathematical sciences for visually impaired people", talking about my work on Chirun (https://chirun.org.uk/)

If any mathstonauts will be in Glasgow that day, it'll be nice to meet you!

julesh,
@julesh@mathstodon.xyz avatar

@christianp There's probably enough of us who'd like to buy you a drink to give a small elephant alcohol poisoning

julesh, to random
@julesh@mathstodon.xyz avatar

I'm a city kid and I've never seen any astronomy before... but the northern lights were so bright we could see them in central Glasgow

julesh, to random
@julesh@mathstodon.xyz avatar

Beware the pipeline

image/jpeg

julesh, to random
@julesh@mathstodon.xyz avatar

Please can somebody inform MS Word that the accusative form of "who" is "who" in modern English, it's not 1924 anymore and I'm not writing in German

julesh,
@julesh@mathstodon.xyz avatar

@jer_gib @julesh I'm sticking with this one. If you listen to how people speak, including people of your generation and older and even in Oxford, you basically never hear “whom" in accusative position. Imagine somebody actually saying “I don't know whom you're talking about” out loud, it sounds incredibly jarring to me. I reckon the only version anybody at all actually uses consistently is following a preposition "to”, as though English had a dative case... and it's not 1024 any more

julesh, to random
@julesh@mathstodon.xyz avatar

Someone should write "mathematics for the working category theorist", to teach a bit of algebraic topology to those of us who started out in functional programming

julesh, to random
@julesh@mathstodon.xyz avatar

When you're an overworked academic but you also get to travel to conferences in exotic locations

christianp, to random
@christianp@mathstodon.xyz avatar

A weird oversight: the email I get from Google Groups telling me that someone wants to join the group is in their preferred language, not mine.

julesh,
@julesh@mathstodon.xyz avatar

@christianp Oh yeah, that bug's been around forever. Google Meet has the same bug too, calendar invites are in the sender's language

julesh, to random
@julesh@mathstodon.xyz avatar

I wish I could make my students understand: write in their own voice and they'll write like an intelligent scientist who is not a native speaker, cheat with GPT and they'll sound like a native speaker who's a fucking idiot, like a politician or something

julesh, to random
@julesh@mathstodon.xyz avatar

Applied category theory is totally incoherent as a field, it has no right to be as successful as it is

julesh, to random
@julesh@mathstodon.xyz avatar

I've been marking like crazy from the wrong pile 😭 I mistakenly thought the emails about the urgent deadline for 5th year projects were talking about 4th year projects

julesh,
@julesh@mathstodon.xyz avatar

@christianp Yeah, and these are just research proposals and they're marked pass/fail so they're quick to mark

julesh, to random
@julesh@mathstodon.xyz avatar

Current location: London

julesh, to random
@julesh@mathstodon.xyz avatar

Today visiting @JadeMasterMath I got completed soaked in the rain and then we found out that the main theorem of our paper is false, but on the plus side I got to paint my nails and wear a skirt, so all in all a pretty mixed bag

julesh, to random
@julesh@mathstodon.xyz avatar

I vaguely feel that the AGI singularity cult comes from a mode of thinking that's implicitly aligned with Catholic Neo-Platonism. Like, if everything in the universe is either sentient or it isn't and there's no grey area between then you end up in an absolutist position on abortion. So every AI is either AGI or it isn't, and every AGI is God-like.

It's kind of the exact opposite of your basic starting point of queer theory, that binaries don't exist in nature.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • megavids
  • GTA5RPClips
  • thenastyranch
  • ethstaker
  • everett
  • Durango
  • rosin
  • InstantRegret
  • DreamBathrooms
  • magazineikmin
  • Youngstown
  • mdbf
  • slotface
  • tacticalgear
  • JUstTest
  • kavyap
  • modclub
  • cisconetworking
  • cubers
  • ngwrru68w68
  • khanakhh
  • tester
  • anitta
  • normalnudes
  • Leos
  • osvaldo12
  • provamag3
  • lostlight
  • All magazines
    •