Post

Fastest way to check if a year is a leap year? hueffner.de/falk/blog/a-... Best part: "I couldn't immediately find a way to prove it, so I employed the tried-and-true method of getting someone else to do it for me by posting it to the Code Golf StackExchange."

Roy van Rijn

@royvanrijn.com

Love the fact that someone took Z3 (SMT/SAT solver) to check if this is actually optimal.

16/5/25, 10:03 am0 reposts2 likes

No replies yet.