← Feed

Posts

• View post

  Very proud that I successfully did my nails on a moving train without any major mishaps

• View post

  🚄 : Glasgow → Edinburgh → Durham

• View post

  🚄 : Durham → London

• View post

  Reason number whatever that I already hate linux + kde coming from a mac: keyboard shortcuts for diacritics are just shit. After a ridiculous amount of trial and error I have managed to type ëẽéêèẹȩ, but as far as I can tell it is straight up impossible to type ė (a diacritic used in Lithuanian) which is the thing I was actually trying to type

• View post

  When your brain is smooth so all the thoughts just run off it, that's called a thoughterfall

• View post

  It occurs to me that if actually working AI was developed 70 years earlier, as many of the earliest pioneers of the field apparently expected, it would definitely have been immediately compromised by hyper-capitalism back then too

• View post

  New profile picture who dis (not sure I'll keep it yet)

• View post

  > apt install texlive-full *goes away to do some other stuff for a while*

• View post

  Here is an extremely neat definition of dependent lenses I've never seen before, as kleisli morphisms of the extension (ie. the equivalence of categories from containers to polynomial functors) considered as some exotic kind of generalised monad

• View post

  I feel like enough time has passed that somebody could get away with making a new sketch about the Spanish Inquisition. For sure nobody would expect it.

• View post

  If you overflow the level of a bath then it wraps around to the maximum negative fill level, creating a column of water down to the floor downstairs

• View post

  Being born gets you put on a government watchlist

• View post

  RE: https://mastodon.minionflo.net/@tranquillity/116906863290461551 Oh no, when I was 7 I was writing illegal underage qbasic because nobody had taught me pointfree style in haskell yet

• View post

  Do Lithuanian catgirls come from Vilnyas

• View post

  In this paper we improve the bound on the value of Dylan's constant 𝐷. This value, first defined by Dylan [1963], is the number of roads that a man must walk down. We briefly recap the history of Dylan's constant. Although it is not a priori obvious that a man must walk down a finite number of roads, a relatively elementary nonconstructive proof that 𝐷 is finite, using the pigeonhole principle, was quickly given by Yarrow, Stookey and Travers [1963]. The first explicit bound, a stack of...

• View post

  Why are there open source 3d printers but no open source 2d printers? Surely a dot matrix printer wouldn't be *that* hard to make and it would be able to handle 99% of things most people need

• View post

  I have a new nsfw alt for hornyposting and nudes. I won't drop the link on main, but reply or dm me and it's very likely I'll send you the link (will happily trade alts too)

• View post

  Good luck with that

• View post

  I don't see what all the fuss is about over the power consumption of AI, a perfectly good solution has been there all along

• View post

  When right wing people say "the Left does not understand economics" they invariably mean macro. But I am saying it, and I mean micro.

• View post

  Piketty pointing out that macroeconomic growth is counterintuitive because it is exponential and measured logarithmatically: "growth rate on the order of 1% is in fact extremely rapid... in generational terms. Over a period of 30 years, a growth rate of 1% corresponds to cumulative growth of more than 35%... in practice, this implies major changes in lifestyle"

• View post

  Queering the binary/nonbinary binary

• View post

  The true map of London, ie. the London conurbation (population just under 9.8m)

• View post

  The function "curry" returns NaN which stands for "not a naan"

• View post

  I have a category theory question that turned into a set theory question. If you have a functor F : Setᵒᵖ → Set which I promise is representable then you can easily get the the representing set, up to unique bijection, as F(1). What about for a functor F : Set → Set? If you do F(2) that tells you the powerset of the representing set. Is that enough to know the set? Is powerset injective on sets? If so, is it true in just ZF or do you need more? Is there a less horrendous way to get back the re...

• View post

  Attempted to result to using Debug.trace for debugging in idris; discovered that unsafePerformIO is actually broken in idris; found the issue opened by @gallais 4 years ago https://github.com/idris-lang/Idris2/issues/2306

• View post

  Here's a bit of geometry I just learned that is relevant to board & video game design. In 2 dimensions there are exactly 3 regular tilings of the plane: triangles, squares and hexagons. In 3 dimensions there is exactly one: every 3-dimensional voxel game is necessarily made of cubes and so looks like minecraft. In 4 dimensions there are again 3 possibilities. In dimensions 5 and higher, hypercubes are again the only option. So interesting tilings exist only in dimensions 2 and 4....

• View post

  Unpopular opinion: Computer science syllabuses were designed back in a time when working AI was nothing but scifi. A course that does not teach a deep and practical understanding of how LLMs work is no longer representative of computer science, and you need so much material to do so that massive compromises will need to be made in other parts of the syllabus

• View post

  I'm getting subtwoten, just like the good old days. Have to go really over the top with unpopular takes just to mimic a fraction of the power of algorithmic content curation.

• View post

  Train I was on replaced "where this train terminates" with "where this train finishes its journey". It's political correctness gone mad, next thing you know they'll be replacing "inclement weather" with a word that isn't made up