cyberia @cyberia@cybre.space

@aquaqueer she's not wrong

I saw some good graffiti on my bike ride though

might replace my bike bell with an air horn

I had like 3 near misses and I wasn't even going that fast

it's definitely not the worst-planned cycle lane in manchester (lol), but I'd say it's up there

well the curry mile continues to be absolute chaos to cycle down

I made a nice little discovery yesterday:

a function being injective and a function being constant are kind of opposites of each other - intuitively this makes sense as "every output is unique" vs "every output is the same", but you can get to it symbolically as well:

injectivity:
for all a, b: a ≠ b → f(a) ≠ f(b)

constantness:
for all a, b: a ≠ b → f(a) = f(b)

I've been extremely into this group of occitan singers/percussionists since a friend introduced them to me last weekend

https://www.youtube.com/watch?v=NPiXDeTXCrM

la preison la fortalesa
la preison la fortalesa
la preison la fortalesa
la preison la fortalesa

what happens if a physical constant turns out to be an undefinable real number?

@makeworld oh my god

apparently the waiting list for a schengen visa is 3 months, so my sister in law can't go on holiday with the rest of my family this summer. bastards.

maybe a weaker phrasing of this is with an if-statement:

if maths is to be interesting at all, something like Gödel's understanding has to be true - it has to be externally real

I think Gödel has to be right about mathematical Platonism, because the alternative is that maths is ugly purely due to errors in its construction.

We *have* to believe that maths is externally real, otherwise we've already lost.

concrete over the palace of westminster