← Feed

Posts

• Post #4507025

  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.

• Post #4363011

  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

• Post #3783545

  Being born gets you put on a government watchlist

• Post #3761389

  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

• Post #3542729

  Do Lithuanian catgirls come from Vilnyas

• Post #3464025

  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...

• Post #3432657

  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

• Post #3430719

  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)

• Post #2500973

  Good luck with that

• Post #2103475

  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

• Post #2103471

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

• Post #2103470

  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"

• Post #2103469

  Queering the binary/nonbinary binary

• Post #2103468

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

• Post #2103467

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

• Post #2103465

  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...

• Post #2103463

  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

• Post #1868684

  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....

• Post #1830214

  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

• Post #1772942

  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.

• Post #1772224

  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

• Post #1708005

  I am personally satisfied to consider it empirically settled that symbol grounding is not necessary

• Post #1708004

  logic of brunch implications

• Post #1506833

  I don't like the term "hallucination" in the context of LLMs for multiple reasons, but the top reason is it's unnecessarily anthropomorphising for something that sometimes needs to be said during technical discussion My suggestion is "fault", inspired by "page fault". What they have in common is that they are both unavoidable for deep technical reasons, and the best you can do is use various tricks to minimise them under norm...

• Post #636169

  Building an experimental typechecker based on ongoing research is hard work, but at least it beats writing a unifier