@aquaqueer she's not wrong
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
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
> 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
@makeworld oh my god
@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
Someone carved the alphabet into a tree and let it deform for five years and made a font out of it: https://bjoernkarmann.dk/occlusion-grotesque
huge volumes of relevant-looking, original, non-repeating high-black-density junk
just me talking about stuff I guess. common themes include: tech, maths, music, trans stuff, left politics
fair warning, I often post about drugs, sex, religion, politics, rock n roll, etc. I wouldn't follow me in a professional capacity.
toots are deleted after 30 days using https://forget.codl.fr/
alt - @cyberia