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

Show thread

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

youtube.com/watch?v=NPiXDeTXCr

Show thread

lyrics 

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?

cyberia relayed

> Posts generated by a Markov chain trained on the King James Bible, Structure and Interpretation of Computer Programs, and some of Eric S. Raymond's writings

kingjamesprogramming.tumblr.co

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.

@clayote oh that looks interesting! what's your maths background if you don't mind my asking?

I just did it for my bachelor's and got interested in philosophy of maths in my free time

@clayote I believe Russell was a logical positivist (although I haven't read the chapter about him in this book I'm reading), and therefore maybe agreed with Gödel that at least *something* about maths was externally real, but he wanted to be more logically rigorous about our understanding of its foundations, hence the Principia

@clayote sure, but computers have a purpose and a use other than just "being interesting", so it's worth something to keep them going

but pure maths on its own terms exists only to be interesting, and if it can't even do that, well...

@clayote sorry, maybe that's unclear - what I mean is that it's not that everything artificial is uninteresting, but rather if we have just created maths out of nothing then we've done an extremely bad job, which makes it uninteresting

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

Show thread

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.

cyberia relayed

Someone carved the alphabet into a tree and let it deform for five years and made a font out of it: bjoernkarmann.dk/occlusion-gro

concrete over the palace of westminster

Show older
Cybrespace

cybrespace: the social hub of the information superhighway jack in to the mastodon fediverse today and surf the dataflow through our cybrepunk, slightly glitchy web portal support us on patreon or liberapay!