{{ message }}

Instantly share code, notes, and snippets.

michaelochurch

Created Nov 22, 2020
View gist:84ac5e8d04af56a64e9972678db496c6
 >>> def dp(): ... r = random.randint(1, 8) ... if r < 4: return 0 ... if r < 7: return 1 ... if r == 7: return 2 ... if r == 8: ... out = 3 ... while random.randint(1, 8) == 8: ... out += 1 ... return out
Created Oct 25, 2020
View FF1_Ultra_CE Monsters
 IMP GrIMP DarkIMP TRICKER SCUM MUCK OOZE PINKPUFF PIRATE KYZOKU ROGUE RAIDER Frost D Red D Blue D Green D OGRE GrOGRE WzOGRE ONI WIZARD PRIEST TimeMAGE SAGE SAHAG R.SAHAG SandHAG WzSAHAG OCHU NAOCHU MORBOL GrMORBOL CARIBE SHARK R.CARIBE W.SHARK HYDRA Red H Blue H Green H
Last active Jun 29, 2019
Large Countable Ordinals
View LCO.txt
 ω^ω: 0 < 1 < 2 < 4 < 8 < ... < 3 < 6 < 12 < 24 < ... 9 < 18 < 36 < 72 < ... < 5 < 10 < 20 < ... < 15 < 30 < 60 < ... 45 < 90 < 180 < ... < 25 < 50 < 100 < ... < 7 < 14 < 28 < 56 < ... < 11 < 22 < 44 < 88 < ... ... and so on.
Last active Oct 10, 2020
View Ternary Solution
 I believe this is correct. Please let me know if there are errors. X | - 0 + --------- - | + 0 - 0 | - 0 + + | 0 + - Call this gate "R". It's universal, assuming we have fan-out (trit-copying) and the constants. That is, a circuit of R's can be built to represent any function f: T^n -> T where T = {-, 0, +}.
Created Apr 29, 2016
Building up a power-set operator in FiniteSetBang3
View setbang-powerset
 : There is probably a mistake in here... : Macroexpanded prod in FSB3 with %-comprehensions: : Keep in mind that [] are *-loops in this language. : prod : ... X Y -> ... {(x, y) for x in X, y in Y} prod:%[{~/~/>~{~/~/~/{%[{~/~/>~{~/~/~/>{~/~/>~~{{~/~/>/{~/~/>/{~/~/~/>{{~/~/>/{~/~/>/{{~/~/>/{~/~/>/~{{~/~/>/{~/~/>/]{~/~/>_]{~/~/>_ Conversion of %-comprehensions:
Created Jan 17, 2016
View GLA_chat.txt
 Never gonna give you up, never gonna let you down, never gonna run around and desert you.
Last active Nov 21, 2016
View Farisa.txt
 Name of a character in another writing project.
Last active Sep 16, 2015
View TH_error.txt