← Feed

Posts

• View post

  the bourgeois solar eclipse: requires you to spend money on expensive kit to get good photographs of it the proletarian aurora borealis: lights up your camera phone like a fucking christmas tree

• View post

  last night on Novara Live they played the audio of the call that Hind Rajab made to the Red Crescent, and I'd heard it before and been upset and distressed by it then too, but hearing it again was really harrowing. those soldiers should be shot. death to the IDF.

• View post

  I'm using Agda for my master's thesis in type theory and my god. I thought Haskell was a language with some insane design decisions due to being written by academics, but Agda really blows it out of the water. Who makes a language with untypable unicode characters as obligatory parts of the syntax?? I've had to hold my nose and install Emacs.

• View post

  Well mergesort's out. No mergesort derivatives. No binary search. No A*, no Dijkstra. Long division? No, long division's out.

• View post

  I have SUBMITTED my master's thesis > Types, Homotopies and Proofs: Foundations of Constructive Mathematics with Examples in Agda

• View post

  @angiebaby thanks bds usa

• View post

  IT'S COMING HOME

• View post

  one thing I miss about switching from spotify to a local music collection is being able to share my banger playlists with friends I've made a playlist of great english folk music (called "Ingerland") for my cycle tour of the peak district this weekend and it slaps

• View post

  stop burning the fucking oil

• View post

  VAMOS

• View post

  anyone want to get matching UUID tattoos with me

• View post

  suspicious phrases uttered by algebraists: "oh yes I've just moved here from cheltenham"

• View post

  we're secretly doing real analysis in algebraic number theory and secretly doing category theory in Lie algebras everything's coming up me

• View post

  egg diagram

• View post

  any good fools?

• View post

  pope's haunted

• View post

  *eyeing lapel pin in the shape of a noose* "Bezalel, are we the baddies?"

• View post

  [Musk's] subterranean prison cities [on Mars], in which survival would depend on extreme technological intervention – the slightest interruption of which would mean instant death – would make the worst terrestrial dictatorship in history look like a yoga retreat. [...] This is the only planet in the universe to which we are adapted. Things we seldom think about – 1 bar of atmospheric pressure at the Earth’s surface; the magnetosphere, which, with the atmosphere, shields us from cosmic r...

• View post

  that Sam Sweeney's good tat the violin eh