Our great sponsors
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
ReverseTheListOfIntegers
A Java implementation of the puzzle game "Reverse the List of Integers", by Alexandre Muñiz
I encoded it in SMT (source code https://github.com/rdaly525/hnpuzzle). Fun little challenge!
Turns out there are 6 unique solutions for [7,5,3] in 6 steps
I got nerd sniped :) and created https://github.com/unrealwill/ReverseListPuzzle
Lol, they got me too. Mine has an algorithm to find a solution quickly, and another to find the shortest solution possible. I also created a very rudimentary GUI so that the game could be played. I'll clean the GUI up later though.
https://github.com/davidalayachew/ReverseTheListOfIntegers