this post was submitted on 11 Feb 2024
301 points (98.4% liked)

Programmer Humor

38839 readers
97 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 6 years ago
MODERATORS
AgreeableLandscape@lemmy.ml
cat_programmer@lemmy.ml
301
Ok, at some point we made a big mistake. (lemmy.world)
submitted 2 years ago* (last edited 2 years ago) by lawrence@lemmy.world to c/programmerhumor@lemmy.ml
36 comments fedilink hide all child comments
 

Hacker News post about this: https://news.ycombinator.com/item?id=39309783 (source available)

you are viewing a single comment's thread
view the rest of the comments
[–] MinekPo1@lemmy.ml 44 points 2 years 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.