julesh

julesh, 1 month ago to random

Current location: London

julesh, 1 month ago to random

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, 1 month ago to random

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.

julesh, 1 month ago to random

In my brain, ie. stands for "in ether words”

julesh, 1 month ago to random

Two new preprints in one day! Rendering String Diagrams Recursively, by Celia Rubio-Madrigal and me
https://arxiv.org/abs/2404.02679

image/png
image/png

julesh, 1 month ago to random

New paper by me and @riu - Reinforcement Learning in Categorical Cybernetics 🎉
https://arxiv.org/abs/2404.02688

julesh, 1 month ago to random

Everybody agrees that it is against the rules to deploy an april fools gag later than midday, but nobody agrees on how to handle time zones

julesh, 1 month ago to random

Extremely curious how so many people who support abolishing daylight saving time turn out to live thousands of km closer to the equator than me

julesh, 2 months ago to random

I always thought that storm drains in the street mainly went down to the same sewer as your toilet. Turns out that's called a "combined sewer" and they exist, but most built since around the 30s have 2 completely separate sewer systems in parallel, with the one for "urban runoff" mainly just going into rivers. The more you know.

julesh, 2 months ago to random

Wile E. Coyote and Roadrunner is constructed as a series of Greek tragedies. At the start of every scene you know that the coyote is going to fail, but you watch to find out how he fails

julesh, 2 months ago to random

Goodhart's Law is a harsh mistress

julesh, 2 months ago to random

I have removed the rss feed of my mastodon account from the sidebar of julesh.com. It was super buggy and looked ugly as hell anyway. For the first time in like 7 years I no longer have a social media account mirrored on my professional homepage. I'm finally free

julesh, 2 months ago to random

Well then https://arstechnica.com/security/2024/03/hackers-can-extract-secret-encryption-keys-from-apples-mac-chips/

julesh, 2 months ago to random

Funny observation: "pre-optics" (that's what we call optics without quotienting out a coend, they're 1-cells of a bicategory) technically might not exist for size reasons if you're being overly pedantic, but they're trivial to implement in basically any programming language. Meanwhile optics exist under very weak set-theoretic assumptions but are impossible to implement in the vast majority of programming languages, you need explicit existential types

julesh, 2 months ago to random

Homotopy type theory be like “all values are equal to themselves, but some values are more equal to themselves than others”

typeswitch, 2 months ago to random

there once was a lamp that could turn anyone into a woman by merely standing in its light. people came from far and wide to see it, but to their dismay the lamp was rarely lit. for this lamp ran on a special fuel, and that fuel was heavily guarded. it had all been gathered up and stored in a fortress, and that fortress had only one way in or out, through a big iron gate. the only way to get the fuel was to get permission from the person in charge of the gate, the girl light gas keep gate boss.

BartoszMilewski, 2 months ago to random

Recursive joke: A bar walks into a bar.

julesh, 2 months ago to random

Blind reviewing: author doesn't know who the reviewer is, reviewer knows who the author is (eg. most peer review)
Double blind reviewing: author doesn't know who the reviewer is, reviewer doesn't know who the author is (eg. some peer review)
Reverse blind reviewing: author knows who the reviewer is, reviewer doesn't know who the author is (eg. some assessment marking)

julesh, 2 months ago to random

Just realised that the purely economic case for UBI is basically identical to the case for VCs, just on a different scale: when people can absorb risks, innovation happens

julesh, 2 months ago to random

I hoped to be able to have a day off on Sunday but things didn't work out so now i have to work Sunday as well as working today and until 10pm last night

julesh, 2 months ago to random

Compiler that plays a "ping" sound like a microwave when your build is done

julesh, 2 months ago to random

Vaguely thinking I should install a SNES emulator, beat Super Mario World (I've only played the GBA remaster, which I beat but didn't get quite 100%) and then get into playing beginner kaizo hacks