• 2 Posts
  • 5 Comments
Joined 3 years ago
Cake day: May 5th, 2022
  • MinekPo1@lemmy.mltoScience Memes@mander.xyz•Let π = 5English
    6·
    7 months ago

    minor nitpick but the value of π is technically a parameter of the space you are operating in . which means it can have any arbitrary value as long as you are willing to operate in non euclidean spaces (and the space we live in is not euclidean though not to a measurable extent unless you are near a black hole)

    but yeah in this context saying π is a constant is as correct as saying you cant take a square root out of a negative number .

    edit : possibly better example is that a triangle’s angles sum to 180°

  • MinekPo1@lemmy.mltoProgrammer Humor@lemmy.ml•Ok, at some point we made a big mistake.English
    0·
    9 months ago

    TL;DR: Grid<A,B,C,D,E,F,G,H> simplifies to true, if and only if it is a 3x3 magic square.

    full explanation
    • Fifteen is an array of length 15
    • T<A,B,C> checks if an array of length A+B+C is equivalent to an array of length 15, thus checking if A+B+C is equal to 15
    • And<A,X> is simplifies to X if A is true, else it simplifies to false
    • Df<A,B,X> checks if A and B are Diffrent , simplifying to X if they are
    • Grid<A,B,C,D,E,F,G,H> first checks if every row, column and diagonal is equal to 15, then checks if every item is unique.