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

Programmer Humor

32588 readers
1251 users here now

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

Rules:

founded 5 years ago
MODERATORS
 

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
[โ€“] thesporkeffect@lemmy.world 29 points 9 months ago (1 children)

I like to think I can usually look at code in languages I don't know and still get the gist of what it does but I am drawing a complete blank. Is this even slightly legible to anyone and if yes please explain

[โ€“] MinekPo1@lemmy.ml 44 points 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.