@allgarbled Beware of bugs in the above code; I have only proved it correct, not tried it. Donald Knuth
More notes on nearby ideas
Reply · Oct 5, 2023@singulopolis show me the code- which algorithms are used and git blame who last changed which lines when?Reply · Jul 9, 2024@RokoMijic @nick_andrws you cut off part of my calculationReply · Dec 7, 2022@provinghuman Oops yeah typo! 🤣Reply · Jul 23, 2024@nearlydaniel is code unique in being checkable this way?