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

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

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:

concrete over the palace of westminster

hey nerds, what font should I use in my terminal?

- preferably built-in powerline support
- preferably available in the arch repos
- preferably not made by google

gave up on squarepusher after his rig took more than half an hour after his scheduled start time to even get set up. ceephax is better anyway 😘

I've accidentally got into a sad folk music phase the day before I'm supposed to be going to a 4 day rave festival


you ever just sit and marvel at how good it feels to not have pain anywhere in your body? I'm doing that right now

Show thread


the migraine is GONE

anyone got any advice for shopping for vegan/"cruelty free" makeup? (as in not tested on animals)

I'm putting vegan matte black lipstick into ebay and getting a bunch of useless shit, but if I search for "vegan make up brands" I get a bunch of obviously-sponsored blog posts/magazine articles

I had a really good clarinet lesson today


manchester city council have just given me a £150 council tax rebate but like... I don't know why?

I've been paying the right amount of council tax for the last 2 years, what if it was a mistake and they ask for it back??

[me learning a tune by ear]

I'm sure I can pick this up off my phone fine

[5 mins later]

ok time to break out vlc so I can skip forward and back easier

[5 mins later]

OK OK fine time to break out audacity, I need to slow this mf down

Show older

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!