00:10:56 computing by self assembly is my new thing to get excited about. 00:13:44 -!- oerjan has joined. 00:26:22 what is considered more fundamental: uniform spaces or arbitrary spaces? 00:27:12 arbitrary graphs vs. lattices, I suppose. 00:29:16 part of me says that grids and spaces are more fundamental, but part of me says that arbitrary graphs can express arbitrary topologies, and that includes grids and spaces. 00:30:22 been leaning more towards the former, because any graph needs to be embedded in something to have any kind of meaning. 00:30:41 so your first choice of space has to be something like uniform 2D or 3D or 1D space. 00:58:51 -!- tromp has quit (Remote host closed the connection). 01:02:58 -!- b_jonas has quit (Ping timeout: 245 seconds). 01:19:56 -!- nfd9001 has joined. 01:22:18 -!- nfd has quit (Ping timeout: 250 seconds). 01:22:37 Okay, people don't seem to believe that ⊕P is hard, and have some evidence to the contrary. "P^⊕P is not known to even contain NP." ""there is a relativized universe where P = ⊕P ≠ NP = PP = EXPTIME" https://en.wikipedia.org/wiki/Parity_P 01:23:10 And I learned about Toda's theorem. Fun stuff. 01:24:39 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 01:25:38 -!- ATMunn has quit (Quit: lol rip). 01:25:41 -!- Bowserinator has quit (Quit: Blame iczero something happened). 01:25:46 -!- moony has quit (Quit: Bye!). 01:27:36 -!- ATMunn has joined. 01:27:49 -!- Bowserinator has joined. 01:28:11 -!- moony has joined. 02:05:06 int-e: i don't think they believe it's actually in P, as that would imply PH in BPP by the other toda's theorem fact mentioned 02:06:45 No, but they do seem to believe that it's easier than #P. 02:12:38 But actually it's quite hard to find anything tangible when it comes to relating ⊕P and #P. 02:18:08 "⊕P contains the graph isomorphism problem" is obviously relevant. 02:20:14 oerjan: did you see http://paste.debian.net/1057754/ ? 02:21:01 (SK combinatory logic as a queue automaton... discussion from last night... morning... whatever) 02:30:55 -!- b_jonas has joined. 02:31:09 int-e: no, it's not relevant. graph isomorphism is probably in P 02:31:23 b_jonas: it is relevant because we don't know that yet 02:31:55 b_jonas: so in particular there is no parity-preserving polynomial time reduction from #SAT to permanents. 02:31:58 known. 02:32:12 hmm, I guess that does make it relevant 02:32:19 sort of 02:32:33 dunno 02:40:08 int-e: shouldn't line 47 have a ` at the beginning of the inserted string? 02:41:46 oerjan: nope, 3 has only 2 consumed `. 02:42:02 oerjan: an evil trick, I'll admit. 02:42:23 oerjan: note that line 41 doesn't erase the ` 02:42:27 oh 02:43:46 `? cold 02:43:47 cold? ¯\(°​_o)/¯ 02:44:16 @metar LOWI 02:44:16 LOWI 290220Z AUTO VRB01KT 9999 FEW090 M04/M05 Q1031 02:47:54 learn The cold never bothered me anyway. 02:48:20 `trouble 02:48:31 treble 02:49:05 203 02:49:11 hmmm. 02:49:45 `' 02:49:46 902) I do study philosophy of much. 02:55:09 `' 203 02:55:10 203) * quintopia sits on gregor 02:55:20 `? * 02:55:21 Twinkle, twinkle, little star! 02:57:06 `wisdom 02:57:07 ​klein bottle//A Klein bottle is like a torus, but more insidious. Taneb tried to invent it, but got trapped inside. 02:57:11 `wisdom 02:57:12 ​tanebvention//Tanebventions include necessity, Go, submarine jousting, Fueue, the universe, metar, sand, dragons, persistence, the BBC, _46bit, progress, sanity, Italian, the grace period, the limerick, ruin, and this sentence. See also tanebventions: maths or tanebventions: foods. He never invents anything involving sex. 02:57:31 `? _46bit 02:57:32 _46bit is a slightly-uptight public-schooled Brit. Taneb invented him. 02:57:44 `wisdom 02:57:44 ​dingbat//dingbat is a famous font designer for Microsoft. 02:57:50 heh 02:57:51 `wisdom 02:57:52 ​b_jonas//b_jonas egy nagyon titokzatos személy. Hollétéről egyelőre nem ismertek. 02:58:04 oh, that nonsense is still there 02:58:05 `wisdom 02:58:07 ​cookie//Hackego wants a cookie! *hangs* 02:58:11 `wisdom 02:58:11 ​urbandictionary//Urban Dictionary is an alternative, inferior wisdom database. 02:58:21 `quote 02:58:21 694) fungot: Feeling scrambled after all that? fizzie: but it's much like new zealand, in my stone-age country, we still like you even if you're only using the new fnord 02:58:36 yeah, true 02:58:45 only in new zealand 02:58:56 * int-e ponders `slwd cookie//s/g/s/ 02:59:19 * int-e ponders `slwd cookie//s/.g/Es/ 02:59:41 @brain 02:59:42 Promise me something, Pinky. Never breed. 02:59:56 New Zealand was invented by Jules Verne, to give a starting location for the novel Deux ans des vacances. 02:59:58 but perhaps that would make it historically incorrect 02:59:59 -!- Essadon has quit (Quit: Qutting). 03:00:38 @. leet brain 03:00:38 HER3 we 4Re, pINKy--aT +H3 da\/\/n 0f TIME! 03:00:43 @pinky 03:00:44 The game does not conclude until the woman with the eating disorder ululates. 03:01:27 ``` allquotes | grep -Ei hackego 03:01:28 32) `translatefromto hu en Hogy hogy hogy ami kemeny How hard is that \ 70) let's put that in the HackEgo quotes files, just to completely mystify anyone who looks back along them in the future \ 305) `quote django ​352) django is named after a person? thought it would be a giraffe or something thankfully only one \ 306) `quote django ​352) djan 03:01:59 `5 03:02:01 1/2:575) That was me being *nice*. I could have made the request by word of mouth to my My Little Pony toys and it would count. \ 978) prediction: kmc never comes back * kmc has joined #esoteric \ 436) elliott: an old colonel lost, but a new brother gained. together they will ascend, each time you must be adventurin'. \ 1132) I may write a compliant interpreter just for the hell of it Taneb: stop complianing 03:02:02 `n 03:02:04 2/2: \ 810) i love how allegedly wine can run all of these different programs but the only one i can actually run is starcraft i think wine may secretly be a cleanroom reimplementation of starcraft 03:02:16 ``` allquotes | grep -Ei lambdabot 03:02:17 331) [after a long string of Lymia getting lambdabot to spit out huge, meaningless type signatures] I need to learn more Haskell... ..I need to get op privs. \ 409) rest in peace lambdabot???? monqy: it'll probably be back later nap in peace \ 494) monqy: help how do I use lambdabot to send messages to people. [...around half an hour later...] @messages quicksilver s 03:02:46 `quote 352 03:02:46 352) The wickedest man of all. Surpassed only in wickedness by the wicked witches of the west and east. you talking about me again? Yes. k 03:02:57 wait 03:03:01 ooh 03:03:02 can I just use 03:03:05 `quote 306 03:03:05 306) `quote django ​352) django is named after a person? thought it would be a giraffe or something \ 407) `quote django ​352) django is named after a person? thought it would be a giraffe or something thankfully only one thankfully only two 03:03:11 `quote HackEgo 03:03:11 32) `translatefromto hu en Hogy hogy hogy ami kemeny How hard is that \ 70) let's put that in the HackEgo quotes files, just to completely mystify anyone who looks back along them in the future \ 305) `quote django ​352) django is named after a person? thought it would be a giraffe or something thankfully only one \ 306) `quote django ​352) djan 03:03:16 embedding quote numbers in a quote is evil. 03:03:17 yeah 03:03:38 b_jonas: except for the -i perhaps 03:03:41 `quote HackEso 03:03:42 No output. 03:03:50 ``` allquotes | grep -Ei hackeso 03:03:50 `quote Hackego 03:03:51 No output. 03:03:51 32) `translatefromto hu en Hogy hogy hogy ami kemeny How hard is that \ 70) let's put that in the HackEgo quotes files, just to completely mystify anyone who looks back along them in the future \ 305) `quote django ​352) django is named after a person? thought it would be a giraffe or something thankfully only one \ 306) `quote django ​352) djan 03:04:00 ah 03:04:09 I [sic] didn't know that. 03:04:28 ``` allquotes | grep -Ei "hacke[^g]" 03:04:28 852) i bet a blog post complaining about ");});});" syntax in JavaScript and comparing it unfavorably to Lisp would get approximately one billion comments on hacker news but at what cost? your very soul, kmc! \ 974) i'm not actually competent at hacking things ummmm kmc dont u mean `cracking' [tiny glider symbol with "hacker pride" written next to it in silkscreen] [head of a gnu] [tux penguin] [face shoved in toile 03:05:42 ``` allquotes | grep -Ei geordi 03:05:43 No output. 03:05:47 -!- b_jonas has quit (Quit: leaving). 03:17:32 -!- FreeFull has quit. 03:25:00 -!- uplime has changed nick to uptime. 03:41:27 -!- Lord_of_Life has quit (Ping timeout: 250 seconds). 03:43:11 -!- Lord_of_Life has joined. 03:44:48 int-e: i think you can merge S4 with one of S1 or S2 03:45:42 -!- Sgeo__ has joined. 03:46:17 or even with K1 03:48:19 -!- Sgeo_ has quit (Ping timeout: 246 seconds). 03:48:22 actually K0 and K1 look mergeable 03:52:59 mm. willl think about it after sleep 04:13:08 -!- tromp has joined. 04:17:22 -!- tromp has quit (Ping timeout: 250 seconds). 04:34:31 there's a desirable attribute of a theory in physics called background independence. it's the idea that the theory is independent of any given "background", or shape or space. in general relativity, for example, the "shape" of space is indirect. 04:36:02 bring on them tensors 04:36:06 it's nice because it reduces your assumptions. rather than working with specific surfaces or manifolds, you have to worry very little about the overall structure of what the objects of your theory are riding on. 04:36:51 wang tiling, or similar space-oriented models of computing, is pretty simple, but relies on a fixed background, that of the 2D euclidean plane. 04:38:04 granted there can be 3D wang "cubes", as well as 1D wang "strings" of various computational powers, but they always assume some kind of regular rectangular lattice as the "backdrop". 04:40:00 turing machines also assume a "background": the space that contains the tape and the read/write head. for CL/LC, it's the space of the expression. 04:41:20 my question is, what does a "background-independent" model of computation look like? I posit that it looks something like a cellular automaton, and as a result I posit that wang tiles can be "freed" of their background. 04:43:32 my reasoning is that cellular automata only require a definition of "points in space" and the concept of a neighbor. 05:06:54 [[TOWCBL]] N https://esolangs.org/w/index.php?oldid=58875 * ShareMan * (+4530) Completed part of the page on TOWCBL 05:10:01 -!- doesthiswork has quit (Quit: Leaving.). 05:16:57 -!- doesthiswork has joined. 05:40:50 -!- oerjan has quit (Quit: Nite). 07:49:04 -!- tromp has joined. 07:53:19 -!- tromp has quit (Ping timeout: 246 seconds). 08:01:52 -!- imode has quit (Ping timeout: 272 seconds). 08:15:00 -!- uptime has quit (Quit: WeeChat 2.2). 08:19:53 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)). 08:38:03 -!- tromp has joined. 08:52:47 -!- arseniiv has joined. 08:56:13 @tell ais523 thank you! 08:56:13 Consider it noted. 09:46:25 -!- Sgeo_ has joined. 09:49:23 -!- Sgeo__ has quit (Ping timeout: 246 seconds). 09:55:59 [[Special:Log/newusers]] create * Superstrijder15 * New user account 10:00:06 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=58876&oldid=58847 * Superstrijder15 * (+547) /* Introductions */ 10:16:32 [[Talk:Gravity]] https://esolangs.org/w/index.php?diff=58877&oldid=19914 * Superstrijder15 * (+756) /* Missing syntax info */ new section 11:40:56 -!- Sgeo__ has joined. 11:44:24 -!- Sgeo_ has quit (Ping timeout: 268 seconds). 11:51:02 -!- rain1 has joined. 11:52:08 -!- rain2 has quit (Ping timeout: 245 seconds). 11:56:21 -!- doesthiswork1 has joined. 11:56:21 -!- doesthiswork has quit (Read error: Connection reset by peer). 12:57:29 -!- b_jonas has joined. 12:57:35 `? for 12:57:36 for? ¯\(°​_o)/¯ 12:57:42 `? fortran 12:57:44 FORTRAN was a language in 1957, in which our noble, honourable ancestors wrote programs on punched cards and paper tape. 12:57:45 `? smalltalk 12:57:46 smalltalk? ¯\(°​_o)/¯ 12:58:30 fungot, did our hon. and learned ancestors wrote programs in FORTRAN on punch cards? 12:58:31 b_jonas: i was the minister, the fear, the terror of the refugees, among the many attending the local gps and pharmacies free in the uk but, shockingly, the report uncovers the challenges, the government have 12:58:45 `? C 12:58:46 C is the language of��V�>WIד�.��Segmentation fault 12:58:47 `? lisp 12:58:48 lisp? ¯\(°​_o)/¯ 12:58:49 `? scheme 12:58:51 scheme? ¯\(°​_o)/¯ 12:59:46 -!- MDude has joined. 13:00:11 Surely C is not that ba^%*@13Segmentation fault. Core dumped. 13:00:58 is FORTRAN named from that because "FOR" is the keyword it's using for counter loops? 13:01:37 I'm pretty sure "FOR" is for "FORMULA" 13:02:19 because you could actually write x+y instead of LOAD x, ADD y 13:08:51 And the "TRAN" is at least said to be from "translation". 13:20:42 sure, it translates counter loops to increment, compare, and jump underneath 13:20:49 and branch 13:21:41 and sometimes decrease instead of increase, if it's a backwards counter loop 13:22:33 [[Gravity]] https://esolangs.org/w/index.php?diff=58878&oldid=26089 * Salpynx * (+30) /* External resources */ update specification link to archived version 13:23:10 b_jonas: I'm afraid you're not absurd enough to be funny and your etymology is almost certainly wrong. 13:23:17 yeah 13:24:16 it has nothing to do with the name "FORTRAN", I just figured that "for" is another of those strange syntaxes that fortran and C popularized so much that everyone knows those counter loops are "for" loops even when they don't program fortran or C 13:24:55 it's like equals signs for assignment: FORTRAN and C won over smalltalk and APL, so we use an equals sign, not a left arrow 13:25:06 don't forget Pascal, BASIC, and Modula 13:25:22 (regarding for loops) 13:25:41 sure, Pascal and BASIC probably inherited those keywords from FORTRAN 13:26:05 I think of FORTRAN and C as the more popular and influential languages, rather than BASIC and Pascal 13:26:14 I know almost nothing about Modula 13:26:23 who'd have thought that an early programming language could be so influential... 13:26:35 :P 13:26:55 -!- Essadon has joined. 13:27:39 yeah, it's just that 13:27:40 Modula is similar to Pascal but adds a module system. It came out too late; I believe that in practice Turbo Pascal's units have seen a lot more use. 13:29:43 I believe ALGOL (which is roughly contemporary with FORTRAN) was pretty influential too, and it also uses "for". 13:30:00 for whatever reason 13:30:01 Sadly, the practice of using typeface (or underlining) to distinguish keywords didn't really get picked up from ALGOL. 13:30:28 > nub "kjhalksdha" 13:30:30 "kjhalsd" 13:30:49 Most programmers like short words. 13:30:52 I used to have a book that told you how to mechanistically translate between FORTRAN 2, FORTRAN 4 and ALGOL 60, for a few different machines. 13:31:01 Picked it up from the discard pile of the university library. 13:31:27 FORTRAN and C were influential about syntax. smalltalk and lisp were much less so. even when languages use dynamic allocation and object orientation with prototypes and overridable methods and instance variables like smalltalk, they barely take any of smalltalk's syntax. 13:32:03 the vertical bars of rust originate from smalltalk through ruby, but note that smalltalk uses them for declaring local variables, but ruby and rust uses them for declaring formal parameters. 13:32:18 and perhaps the "let" keyword comes from lisp 13:33:56 fizzie: I did use underlining for some keywords when I made paper backups of some of my programs on the SHARP EL-5120 calculator. that calculator represents keywords as single bytes in the program, and the editor edits them as if they were single characters of up to 6 cells wide on the display 13:34:15 keywords include "GOTO " and "exp " 13:35:09 [[Talk:Gravity]] https://esolangs.org/w/index.php?diff=58879&oldid=58877 * Salpynx * (+489) /* Missing syntax info */ check out the updated resources section 13:38:10 and of course C popularized the & and | for bitwise and logical operators, even to languages like rust that don't use C precedence order 13:40:26 also ^ and << and >> for bitwise xor and bitshifts respectively 14:01:26 @tell oerjan update - 17 states now: http://paste.debian.net/1057901/ 14:01:26 Consider it noted. 14:01:35 @tell imode update - 17 states now: http://paste.debian.net/1057901/ 14:01:35 Consider it noted. 14:01:46 . o O ( @tell is not useful for spamming ) 14:01:55 it's allowed in 17 states, or forbidden in 17 states? 14:02:07 yes. 14:02:40 and which state finally gave in? LA? 14:04:12 now why doesn't that paste have syntax hilighting? 14:07:35 `? COMPLEX 14:07:37 COMPLEX? ¯\(°​_o)/¯ 14:07:43 `? BASIC 14:07:44 BASIC? ¯\(°​_o)/¯ 14:07:47 `? basic 14:07:49 basic? ¯\(°​_o)/¯ 14:07:53 `grWp COMPLEX 14:07:55 bezout's theorem:Bézout's theorem says that if a system of polynomial equations over the complexes has as many variables as equations, then in the general case the number of solutions it has is equal to the product of one less than the degrees of the polynomials. \ bézout's theorem:Bézout's theorem says that if a system of polynomial equations over the complexes has as many variables as equations, then in the general case the number of solutions it has 14:08:03 `? complex 14:08:06 `? INCOMPREHENSIBLE 14:08:07 complex? ¯\(°​_o)/¯ 14:08:08 INCOMPREHENSIBLE? ¯\(°​_o)/¯ 14:08:13 whyyy 14:08:20 arseniiv: it's a MYSTERY 14:08:25 `? MYSTERY 14:08:27 MYSTERY? ¯\(°​_o)/¯ 14:08:35 `? fungot 14:08:35 :((((( 14:08:36 int-e: there is a need, therefore, the more we will be accused of and held the world land speed record. he is to be enormously proud to be the only one, in the house, 14:08:37 fungot is our beloved channel mascot and voice of reason. 14:09:24 hmm, have I also added one about 14:09:26 `? rademacher 14:09:27 rademacher? ¯\(°​_o)/¯ 14:09:28 `? rademacher's theorem 14:09:29 rademacher's theorem? ¯\(°​_o)/¯ 14:09:31 nope 14:09:34 perhaps I should 14:09:37 I keep forgetting what it is 14:09:43 but then I also keep forgetting what its name is 14:09:56 luckily the wisdom database is searchable 14:09:58 @google reidemeister moves 14:09:59 https://en.wikipedia.org/wiki/Reidemeister_move 14:10:19 wow the images at the top are atrocious 14:10:40 dear fungot don’t you maybe know why I have almost no memory left when updating Win7 on VirtualBox and it’s nowhere to be indicated that it is VirtualBox’s processes that demand so much of it 14:10:41 arseniiv: at the very least, the government get the short-term and that the issues of the most concern the minister that the government will 14:11:06 ^style 14:11:06 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp ukparl* youtube 14:11:12 I can’t even open my beloved^W firefox now 14:11:21 it instacloses 14:12:09 is youtube style interesting? what data does it use? 14:12:11 fungot: The government will what? 14:12:11 fizzie: to my british partners and have undermined the ability of the government to 14:12:25 arseniiv: try to open it with the --no-remote --ProfileManager parameters, or whatever the equivalent of they are for your version of firefox, since they keep changing command-line syntax 14:12:27 fungot: The government to WHAT? Why do you stop like that. 14:12:27 fizzie: have the government made the decision, with the ability to make the public any knowledge. 14:12:52 arseniiv: It's not particularly good, it's based on semi-manually scraped comments from a handful of videos someone gave me. 14:13:07 arseniiv: From what I recall, it's mostly about plane crashes and maybe 9/11 conspiracy theories. 14:13:11 ^style youtube 14:13:11 Selected style: youtube (Some YouTube comments) 14:13:15 fungot: Steel beams, jet fuel. 14:13:15 fizzie: i know is metal gear, but this was a ok movie about 30 minutes until the time this releases. i posted the same 14:13:26 Well, that's probably a different video. 14:13:31 :D 14:13:57 (I want my memory back, vile VirtualBox!) 14:15:06 -!- ais523 has joined. 14:15:30 now I'm trying to figure out what I'm being thanked for 14:15:35 @messages- 14:15:35 arseniiv said 5h 19m 22s ago: thank you! 14:16:29 haha for that TIO 14:16:57 TIO info* 14:33:00 -!- Sgeo_ has joined. 14:36:02 -!- Sgeo__ has quit (Ping timeout: 246 seconds). 14:40:04 -!- sftp has quit (Ping timeout: 250 seconds). 14:44:19 -!- sftp has joined. 14:49:42 -!- FreeFull has joined. 15:14:00 a new IOCCC has just started, btw: mentioning it here because I know many #esoteric denizens are interested in obfuscated coding 15:14:16 deadline is in March, so there's plenty of time to write submissions 15:16:18 -!- int-e has set topic: Welcome to the international corncob for esoteric programming language discussion, design, development and deployment! | 2019 IOCCC ends March 15th -- http://www.ioccc.org/2019/rules.txt | https://esolangs.org | logs: https://esolangs.org/logs/ http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://www.dropbox.com/s/fyhqyvy3i8oh25m/wisdom.pdf. 15:23:42 -!- nchambers has joined. 15:25:55 ais523: oh wow 15:26:02 let me check 15:26:18 and yes, I'm interested. perhaps more so than in esoteric languages. 15:33:26 Gregor won the IOCCC one year 15:33:34 `footnote 15:33:34 cat: 'wisdom/footnote ': No such file or directory 15:33:35 so this channel does have some success 15:33:49 `` echo wisdom/footnote* 15:33:50 wisdom/footnote 1 wisdom/footnote 8 15:33:55 `footnote 8 15:33:56 Isn't it fun reading through all the footnotes⁺? 15:34:02 A classic. 15:34:12 `footnote 1 15:34:12 May contain nuts. 15:35:00 The win was in the "Most surprisingly portable" category, which was nice. 15:36:53 I don't get it. Guidelines say "| The reason for the time of day due to Erdős, an amazing mathematician / ! that at least one of the IOCCC judges had the pleasure of working with." 15:37:21 what's the exclamation mark for, and how does the times of the day above connect to him? 15:39:45 -!- ais523 has quit (Quit: quit). 15:39:51 -!- Lord_of_Life_ has joined. 15:42:47 -!- Lord_of_Life has quit (Ping timeout: 240 seconds). 15:42:47 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 15:46:09 -!- AnotherTest has joined. 15:51:02 `? standard 15:51:03 standard? ¯\(°​_o)/¯ 15:53:53 there should be a pun in that entry, using the double meaning of "standard" between technology standards and the stuff that the small Flagbearer carries, and the double meaning of "target" between what you compile to and the M:tG technical meaning 15:54:32 like, you port your code to target the standard if possible, or cast your spell to target the standard if possible 15:56:23 -!- AnotherTest has quit (Ping timeout: 250 seconds). 15:56:34 b_jonas: https://en.wikipedia.org/wiki/Erd%C5%91s%E2%80%93Borwein_constant and https://primes.utm.edu/curios/page.php/160669.html are relevant for the 16:06:69. 16:01:57 int-e: thanks 16:07:00 wait... guidelines also says "the speaker of your national pariliment". is that apparent typo deliberate? 16:07:20 my hon. and learned friend, do you ever speak in your national pariliment? 16:07:27 um 16:07:31 my hon. and learned friend fungot, do you ever speak in your national pariliment? 16:07:31 b_jonas: i hope you die of god damn cancer you're so ignorant and rude and stupid. who taught you that. 16:15:56 1 cup salted butter, 1/2 cup sugar, 2 cup flour. 16:16:08 leave butter to soften to room temperature then mix in sugar until homogenous. then sift in flour and mix again. form into a ball and cool in the fridge for 10 minutes, then roll to 1 cm thick and cut into cookies. bake 20 min at 325 degrees F, cool 10 min and bake again same thing. 16:19:04 shrtbred cookies 16:19:15 "sift in flour"? seriously? 16:19:49 b_jonas: is that the correct verb for pouring the flour thru a sieve? 16:20:17 probably, I don't know 16:20:36 I think the point is to prevent the flour from clumping 16:20:44 `card-by-name sift 16:20:45 Sift \ 3U \ Sorcery \ Draw three cards, then discard a card. \ ST-C, 9ED-C, 10E-C, A25-C \ \ Sift Through Sands \ 1UU \ Instant -- Arcane \ Draw two cards, then discard a card. \ If you've cast a spell named Peer Through Depths and a spell named Reach Through Mists this turn, you may search your library for a card named The Unspeakable, put it onto the battlefield, then shuffle your library. \ CHK-C, DDS-C \ \ Sifter Wurm \ 5GG \ Creature -- Wurm \ 7/7 \ 16:25:14 This recipe is formed by taking some recipe from online and using only the ingredients we actually had namely butter, sugar, flour 16:47:45 b_jonas: I've given up on the 8607 or 0.8607 or whatever the second time of day is. 16:48:43 ok 16:49:03 (0.8607 turns up in a PhD thesis on phase transitions in random graphs that cites Erdos, but that's not convincing.) 16:50:58 though the exact expression looks impressive. https://edoc.hu-berlin.de/bitstream/handle/18452/16311/seierstad.pdf is that thesis. 17:02:12 -!- oerjan has joined. 17:03:49 @messages- 17:03:49 int-e said 3h 2m 22s ago: update - 17 states now: http://paste.debian.net/1057901/ 17:09:24 int-e: -- &: skip over remainder of the queue and switch to @. <-- it could find a % first, couldn't it? 17:09:59 at least in the version i looked at first, it seemed like you might occasionally move one marker while there was still progress to made on a later one. 17:11:06 oerjan: Right, the description is a bit inaccurate in that point. 17:11:37 My excuse is that everything would still work and just be a bit slower with & % -> % & 17:12:30 Oh the line numbers disappeared along with the syntax hilighting. That's inconvenient. 17:14:45 Hah, it's your fault. 17:14:52 wat 17:15:38 (i just used the link from your @tell) 17:15:44 oerjan: http://paste.debian.net/1057920/ is the same with Ø replaced by Oe 17:16:13 I find that ridiculous. 17:16:17 `? Ø 17:16:18 shocking 17:16:18 ​ø is not going anywhere. 17:16:28 `? Ørjan 17:16:29 Your pal Ørjan is oerjan's good twin. He's banned in the IRC RFC for being an invalid character. Sometimes he publishes papers without noticing it. 17:25:52 ah i see you also noted # # was redundant, i was going to comment on that 17:26:06 @tell imode http://paste.debian.net/1057921/ has syntax hilighting. 17:26:06 Consider it noted. 17:26:30 yes. invariants are tricky :) 17:27:52 Anyway, I'm fairly happy with it now. 17:28:14 (is there any change from *20 to *21) 17:28:34 tweaking comments... 17:28:55 I added to &: Optimization: switch to % when a % is encountered along the way. 17:29:09 And I changed S2 to S1 in the description of D. 17:29:43 Maybe I should use gist for this. 17:33:47 [[LolKek]] https://esolangs.org/w/index.php?diff=58880&oldid=58855 * Pop MAXXXIM * (-2855) Replaced content with "LolKek - is modification Brainfuck" 17:34:51 [[LolKek]] https://esolangs.org/w/index.php?diff=58881&oldid=58880 * Pop MAXXXIM * (+4) 17:39:50 -!- imode has joined. 17:45:42 int-e: i think in line 206-207 you can make the right sides 0 and 1 instead of @ and ` @ 17:47:56 hmm. true. 17:50:32 (but for 208 it's alas unknown whether to use 2 or 3) 17:53:32 [[LolKek]] https://esolangs.org/w/index.php?diff=58882&oldid=58881 * Pop MAXXXIM * (+32) 17:59:09 [[Main Page]] https://esolangs.org/w/index.php?diff=58883&oldid=55671 * Pop MAXXXIM * (-3023) Replaced content with "Fuck This" 17:59:53 [[Talk:Main Page]] https://esolangs.org/w/index.php?diff=58884&oldid=57884 * Pop MAXXXIM * (-10319) Blanked the page 18:00:22 [[Esolang:Community portal]] https://esolangs.org/w/index.php?diff=58885&oldid=57033 * Pop MAXXXIM * (-2840) Blanked the page 18:00:47 [[Esolang:Categorization]] https://esolangs.org/w/index.php?diff=58886&oldid=57561 * Pop MAXXXIM * (-3142) Blanked the page 18:01:59 [[Brainfuck]] https://esolangs.org/w/index.php?diff=58887&oldid=58669 * Pop MAXXXIM * (-37287) Blanked the page 18:04:01 [[Brainfuck]] https://esolangs.org/w/index.php?diff=58888&oldid=58887 * Pop MAXXXIM * (+386) 18:04:17 WTF?! 18:04:35 Uh oh 18:05:06 [[Vrejvax]] https://esolangs.org/w/index.php?diff=58889&oldid=57384 * Pop MAXXXIM * (-1991) Replaced content with "'''V" 18:05:10 wait, did that say [[Main Page]]? 18:05:52 Yes. 18:05:59 [[Main Page]] https://esolangs.org/w/index.php?diff=58890&oldid=58883 * Pop MAXXXIM * (+3) 18:06:08 They blanked their own page... and then they started this. 18:06:36 I'm hoping oerjan or ais523 will revert all this, this is too much for a simple user. 18:07:18 Who else is admin, fizzie maybe. 18:07:59 [[Brainfuck]] https://esolangs.org/w/index.php?diff=58891&oldid=58888 * B jonas * (+36889) rv blanking rev to 07:21, 4 September 2018 by Rdebath 18:09:27 [[Main Page]] https://esolangs.org/w/index.php?diff=58892&oldid=58890 * B jonas * (+3020) rv two edits by MAXXXIM to rev 12:57, 13 June 2018 Ais523 18:10:13 Hmm. was https://esolangs.org/w/index.php?title=Brainfuck&diff=prev&oldid=58888 an attempt to undo things? 18:10:21 [[Talk:Main Page]] https://esolangs.org/w/index.php?diff=58893&oldid=58884 * B jonas * (+10319) rv blanking by Pop MAXXXIM to rev 16:46, 1 October 2018 Zzo38 18:11:24 Anyway, :( 18:11:29 [[Esolang:Categorization]] https://esolangs.org/w/index.php?diff=58894&oldid=58886 * B jonas * (+3142) rv blanking by Pop MAXXXIM to rev 23:18, 11 September 2018 B jonas 18:12:02 oops 18:12:06 what in the world is going on? 18:12:24 Somebody threw a temper tantrum on a wiki. 18:12:32 how lovely.. 18:12:34 [[Esolang:Community portal]] https://esolangs.org/w/index.php?diff=58895&oldid=58885 * B jonas * (+2840) rv blanking by Pop MAXXXIM to rev 11:22, 25 July 2018 GDavid. yes it's very funny, now please stop. 18:13:37 [[Special:Log/block]] block * Oerjan * blocked [[User:Pop MAXXXIM]] with an expiration time of 1 week (account creation disabled): Inserting nonsense/gibberish into pages 18:14:02 also thanks for the followup with that queue automaton, int-e. :D 18:14:14 It's interesting that it started with a reasonable edit to their own language page. 18:14:49 [[Vrejvax]] https://esolangs.org/w/index.php?diff=58896&oldid=58889 * B jonas * (+1991) rv blanking by Pop MAXXXIM to rev 06:40, 20 August 2018 Madk 18:15:02 are they a new user? 18:15:34 Or, no... they blanked it first. 18:16:05 09:30, 23 December 2018 (diff | hist) . . (+168)‎ . . Esolang:Introduce yourself ‎ (→‎Introductions) 18:16:09 pretty new. 18:16:15 lmao. 18:16:24 hehe, nice euphemism 18:16:48 *inserting* nonsense/gibberish into pages 18:17:14 i didn't bother to check out too carefully what they'd actually done, so just picked a close reason 18:17:34 "Enjoy being locked in your matrix of solidity." 18:17:51 never saw that before on the front page.. huh. 18:18:50 imode: someone came on this channel and said it (probably someone who expect it to be about something else), we just had to use it :P 18:18:57 `quote solidity 18:18:58 240) enjoy being locked in your matrix of solidity 18:19:11 beautiful. 18:19:24 *expected 18:20:23 b_jonas: this might be an argument against your opinion we should allow non-english pages >:P 18:21:32 -!- AnotherTest has joined. 18:22:15 and we should not allow bushy moustaches because Stalin had a moustache 18:24:36 (the tantrum was from the same guy who made that russian one) 18:24:59 b_jonas: also hitler 18:25:16 and that one we actually _don't_ allow 18:25:42 oerjan: I don't think Hitler's moustache was bushy though 18:25:55 anyway, thanks for helping reverting 18:29:11 [[Brainfuck]] https://esolangs.org/w/index.php?diff=58897&oldid=58891 * Oerjan * (+12) Reinstate small clarification (because people keep missing the joke otherwise) 18:31:03 "REINSTATE" takes a pres participle, so that would be "REINSTATE SMALL CLARIFYING" I think 18:31:33 [[Special:Log/block]] reblock * Oerjan * changed block settings for [[User:Pop MAXXXIM]] with an expiration time of 18:13, 5 January 2019 (account creation disabled): Removing content from pages 18:32:09 b_jonas: i'm pretty sure you're wrong 18:33:03 oh it's an intercal joke 18:33:39 . o O ( fine, you got me ) 18:33:56 also fixed the block reason 18:36:51 `? flagpole 18:36:52 A flagpole is like a tadpole, but with a flag on top. 18:36:57 `? standard 18:36:58 standard? ¯\(°​_o)/¯ 18:37:07 ah yes 18:37:13 we have an entry for that 18:37:18 `? flag 18:37:19 flag? ¯\(°​_o)/¯ 18:37:26 `? banner 18:37:27 banner? ¯\(°​_o)/¯ 18:37:46 `le/rn standard//Here on this channel we ascribe to a higher standard. See flagpole. 18:37:48 Learned 'standard': Here on this channel we ascribe to a higher standard. See flagpole. 18:38:08 `? flagpole 18:38:09 A flagpole is like a tadpole, but with a flag on top. 18:38:27 `? tadpole 18:38:29 A tadpole is like a flagpole, but underwater, and also a tad shorter. 18:39:12 `? flapgole 18:39:13 flapgole? ¯\(°​_o)/¯ 18:39:14 `? flapgoal 18:39:15 flapgoal? ¯\(°​_o)/¯ 18:39:41 `? magpole 18:39:42 magpole? ¯\(°​_o)/¯ 18:39:52 `? backpole 18:39:53 backpole? ¯\(°​_o)/¯ 18:39:55 `? blackpole 18:39:56 blackpole? ¯\(°​_o)/¯ 18:39:59 `? blackpoe 18:40:00 blackpoe? ¯\(°​_o)/¯ 18:40:37 * oerjan notes in the logs fungot using non-parilimentary language 18:40:37 oerjan: can't wait for may 24!! this was true: it wasn't radio controlled, there are very big audience for game turned movies. 18:40:56 yeah, somebody switched it to youtube style 18:41:04 oh right 18:42:57 `? blackhoe 18:42:59 blackhoe? ¯\(°​_o)/¯ 18:43:00 `? backhoe 18:43:01 backhoe? ¯\(°​_o)/¯ 18:43:01 `? backhose 18:43:03 backhose? ¯\(°​_o)/¯ 18:43:11 `? backwater 18:43:13 backwater? ¯\(°​_o)/¯ 18:43:13 `? groundwater 18:43:14 groundwater? ¯\(°​_o)/¯ 18:43:31 -!- oerjan has quit (Quit: The standard does *not* involve adding every word b_jonas suggests, though). 18:46:26 `? black hole 18:46:27 black hole? ¯\(°​_o)/¯ 19:01:55 -!- ais523 has joined. 19:03:49 b_jonas: did you type out all those rv messages by hand? 19:03:56 ais523: yes 19:04:05 well, I copy-pasted 19:04:10 from the revision history page 19:04:18 but there's only like seven of htem 19:04:31 and most of them were on highly visible pages 19:04:33 there aren't many of those 19:04:34 thanks for the vandalism cleanup, anynway 19:04:58 you can spot typing by hand from the inconsistent whitespace 19:08:54 I was checking to see if it was feasible to give more people access to the rollback button, but probably not; it's something of a blunt instrument and can cause problems if new users use it without knowing what it does 19:09:13 (given that throwing a rollback at someone is effectively a method of accusing them of vandalism) 19:09:13 -!- ais523 has quit (Quit: sorry for my connection). 19:09:26 -!- ais523 has joined. 19:09:58 and esolangs.org doesn't have settings allowing rollback to be enabled for individual people (without making them admins) 19:10:16 the undo button will produce an automated message saying where the rewind is going to, that's available to everyone 19:10:23 I don't need a rollback button. I can save an old revision, or, if there's another revision on top, use diff3 to unmerge the edits I want to undo 19:10:28 but it's not as convenient for vandalism cleanup 19:10:58 right; admins have a rollback button basically everywhere, whenever we look at an edit there's a rollback button besides it, which reverts all the changes made in a row by the user in question to the individual page 19:11:05 and there's no confirmation or anything, it just happens when we click it 19:11:15 it's basically for situations where we need to do reverts really quickly 19:11:36 yeah, that's not very typical on esolangs.org 19:12:21 it's useful when spambots turn up 19:12:29 although the current anti-spam measures seem to be holding 19:12:40 if you've ever needed to undo a thousand spam edits… 19:13:34 although nowadays we have tools such as "revert every edit this user has ever performed, and delete every page that they created" (that one /does/ have a confirm :-D) 19:13:35 I don't want that power 19:13:42 I shouldn't be trusted with it 19:13:52 you already have enoguh admins 19:13:52 fair enough 19:16:01 on a different subject, "sift in flour" is correct but confusing, there's no separable verb "sift in", rather the "sift" (i.e. "separate using a sieve") and "in" (i.e. "place into") are being combined via eliding the words between, the meaning is like "sift the flour, placing the sifted flour into it" (where the thing you're placing the flour into has been elided too) 19:16:20 -!- nchambers has changed nick to uplime. 19:28:57 it's not the phrasing I find strange, I just thought the whole notion of sifting flour was mostly obsolete for home use, like that people did that only back when they couldn't just buy processed food wrapped in plastic packaging from shops, and had to mix all dough by hand-stirring 19:29:33 If I want to mix margarine and suger and flour, I don't sift it 19:29:49 I guess it's meant for those in more humid climates where moisture can clump flour together. 19:29:57 or just improperly stored flour in general. 19:30:01 oh 19:30:03 that might make sense 19:30:51 guess that happened back when flour didn't come in one kilogram (or sometimes somewhat bigger) packages wrapped in paper, and once you open one, you put it in a plastic vessel that closes almost airtightly 19:31:11 you also have to consider the case of the "flour drawer". 19:31:33 people just took a ceramic bowl and asked the shopkeeper in a non-self-serving shop to measure them some flour on a huge weight scale 19:31:43 imode: yeah 19:32:07 those things still existed in my early childhood 19:32:21 they still exist at my relatives' lmao. 19:32:45 oh, and the grid of the sieve was made of non-synthetic strands 19:33:14 yet people still made all sorts of food, even ones that involved methods that were really hard without modern conveniences 19:33:32 I still occasionally read that sort of stuff from old cookbooks, and see remnants of such instruments 19:33:57 there's a particular channel, I believe it's called the Townsends, where they look at old cookery dating waaaaaaaaaaay back. 19:34:08 like to the point where whisks were just a bundle of twigs tied together to agitate things. 19:34:16 (this is on YouTube.) 19:35:04 "agitate" 19:35:35 agitate, incorporate, etc. 19:42:11 although of course today people also cook food in ways that require a ton of effort even with modern conveniences 20:11:22 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 20:15:26 hello 20:15:30 I'm curious about eForth 20:15:32 it seems neat 20:15:39 I don't know much about eForth 20:15:45 but I'm also curious about Forths in general 20:15:47 https://forthworks.com/forth/papers/compare.pdf 20:15:53 it requires the fewest primitives 20:16:05 [[Talk:Gravity]] https://esolangs.org/w/index.php?diff=58898&oldid=58879 * Superstrijder15 * (+150) /* Missing syntax info */ 20:16:25 https://github.com/tehologist/forthkit/blob/master/forth.c i found an implementation here 20:16:57 be careful with expressions like "the fewest" here 20:18:03 hmm, I don't think Underload translates directly to Forth, does it? 20:18:06 the missing primitive is ^ 20:18:29 but I'd expect a minimized Forth to be somewhere around four primitives, maybe three or five 20:18:29 hehe 20:22:19 http://pygmy.utoh.org/3ins4th.html 20:27:31 ais523: almost certainly not. underload needs closures or dynamic memory allocation 20:27:52 b_jonas: not if you omit * and a 20:27:58 ais523: you'd better try to translate something like br... something using a half-infinite tape 20:28:10 I'm thinking of minimized Underload here 20:28:12 of finitely many symbols 20:28:27 or perhaps two stacks, since forth has a separate call stack and data stack 20:28:36 ais523: hmm 20:29:03 perhaps, but even then you have to deal with () 20:29:16 Forth already has dup, swap, drop; and you can emulate Underload's (…) via defining a word that pushes a specified sequence onto the stack, then using that word to represent the entire (…) construct 20:29:28 kind-of like Splinter but with a stack 20:29:42 hmm... 20:29:59 but does forth let you push a pointer to a function to the data stack? or do you emulate that by a jump table? 20:30:02 um 20:30:06 I mean by an elseif chain 20:30:17 I guess forth probably does allow directly manipulating forth function pointesr 20:30:22 -!- sprocklem has quit (Ping timeout: 246 seconds). 20:30:25 it's low leve 20:30:38 this is why I said ^ is missing 20:31:09 there's an IOCCC entry with a small forth interpreter by the way 20:31:18 I don't know Forth well enough to know whether there's, e.g., some trick you could do using immediate mode 20:31:27 -!- AnotherTest has joined. 20:31:56 unrelated, have you ever found a heuristic supporting that M:tG without Rotlung Reanimator is still TC? it probably is, but do we have a concrete suspicion on why? 20:32:11 I guess I must have asked that several times already 20:34:12 ais523: anyway, you could just emulate two stacks and a finite control state by making some global variables, storing one stack on the call stack and one on the data stack, and temporarily putting the finite machine state to a global variable when you return to pop an entry from the call stack so that it knows where to continue from 20:34:27 lets you translate any two-stack machine or one-tape TM 20:34:35 but sure, there may be a shortcut if you know forth well 20:34:50 and of course if you do that in practice, you may run out of space on one of the two stacks 20:35:12 b_jonas: the The Waterfall Model construction uses Hungry Lynx for the /logic/, so Rotlung Reanimator is probably replaceable with something 20:35:33 `card-by-name Hungry Lynx 20:35:33 Hungry Lynx \ 1G \ Creature -- Cat \ 2/2 \ Cats you control have protection from Rats. (They can't be blocked, targeted, or dealt damage by Rats.) \ At the beginning of your end step, target opponent creates a 1/1 black Rat creature token with deathtouch. \ Whenever a Rat dies, put a +1/+1 counter on each Cat you control. \ C17-R 20:35:40 that's the card from the quote 20:35:44 I was so surprised and excited when I saw Hungry Lynx was printed, it's as though someone inside Wizards had heard of the Turing machine project and decided to create the perfect card for it 20:35:50 hmm 20:36:28 yeah. it's the third ability that really helps, the first one has been printed a few times already. 20:36:45 if someone had asked me for the precise wording of a trigger that would fill in all the missing gaps, I would have said "Whenever a «creature type» you control «dies/enters the battlefield», put a +1/+1 counter on each «other creature type» you control" 20:36:54 ok, thanks, that does answer my question 20:37:05 so I was a little surprised to see it actually printed on a card 20:37:42 `card-search coward 20:37:43 ​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: card-search: not found 20:37:49 whatever is the command for that 20:37:52 `card-by-name Boldwyr Intimidator 20:37:53 Boldwyr Intimidator \ 5RR \ Creature -- Giant Warrior \ 5/5 \ Cowards can't block Warriors. \ {R}: Target creature becomes a Coward until end of turn. \ {2}{R}: Target creature becomes a Warrior until end of turn. \ FUT-U, MOR-U, CNS-U, DDS-U 20:38:09 ``` grep -Eli mtg/a bin 20:38:09 grep: bin: Is a directory 20:38:11 ``` grep -Eli mtg/a bin/* 20:38:12 grep: bin/walcama: No such file or directory \ bin/card-by-name \ bin/random-card \ bin/scheme 20:38:19 `random-card coward 20:38:19 Cowardice \ 3UU \ Enchantment \ Whenever a creature becomes the target of a spell or ability, return that creature to its owner's hand. (It won't be affected by the spell or ability.) \ MM-R, 8ED-R, 9ED-R 20:38:25 nope 20:38:26 `random-card coward 20:38:27 Cowardice \ 3UU \ Enchantment \ Whenever a creature becomes the target of a spell or ability, return that creature to its owner's hand. (It won't be affected by the spell or ability.) \ MM-R, 8ED-R, 9ED-R 20:38:29 hmm 20:39:13 yeah, Boldwyr Imitator is the only one that mentions cowards, it seems 20:42:11 I thought there were two cards, but in retrospect, the "Warrior" bit gives it away that it's in Morningtide (joke's on me, it's from Future Sight) 20:42:32 it's in both apparently 20:42:39 also conspiracy and a duel deck 20:42:52 (conspiracy seems like a bit of a weird fit…) 20:44:11 `card-by-name Assemble the Rank and Vile 20:44:12 Assemble the Rank and Vile \ Conspiracy \ Hidden agenda (Start the game with this conspiracy face down in the command zone and secretly choose a card name. You may turn this conspiracy face up any time and reveal that name.) \ Creatures you control with the chosen name have "When this creature dies, you may pay {B}. If you do, create a tapped 2/2 black Zombie creature token." \ CN2-C 20:44:32 it's not the only card in conspiracy that does wierd programmable triggers :-) 20:45:01 there's a whole theme of "choose a card name" and a trigger on that card name 20:45:23 "you may pay" is the sort of condition we've been trying to avoid in the TC construction for M:tG 20:45:24 easier than that Mirrodin block triggered staff 20:45:27 yeah 20:45:30 because what if the player doesn't? 20:45:31 they do that these days 20:46:06 and apparently we can't really use 20:46:12 `card-by-name Spellweaver Helix 20:46:12 Spellweaver Helix \ 3 \ Artifact \ Imprint -- When Spellweaver Helix enters the battlefield, you may exile two target sorcery cards from a single graveyard. \ Whenever a player casts a card, if it has the same name as one of the cards exiled with Spellweaver Helix, you may copy the other. If you do, you may cast the copy without paying its mana cost. \ MRD-R 20:46:19 either, because it triggers on a spell being cast 20:46:29 which makes sense since they don't want even more easy infinite loops 20:46:48 even back when they made the infamous Mirrodin, they already knew that 20:47:01 so stuff like Kiki-Jiki loops rarely slipped through 20:47:32 still, if an old card fits the theme, they may be more forgiving about that sort of stuff 20:48:47 out of the accidental gamebreaking infinite loops, have /all/ of them been copy effects where the copy refreshes the ability of the original card to use the copy effect? 20:49:05 no 20:49:08 there's been flicker effects 20:49:13 kiki-jiki/splinter twin + pestermite/deceiver exarch is of that form, so is saheeli rai + felidar guardian 20:49:16 where the flicker refreshes the ability 20:49:23 yes, but the ability is a copy ability 20:49:50 um 20:49:54 isn't there somethign with just flicker? 20:50:10 flicker plus something that etb with counters and generates, I dunno, mana from it? 20:50:23 in the flicker-based broken infinite loops I know, the flicker regenerates a copy effect that regenerates the flicker 20:50:32 there are infinite loops without a copy in but they aren't broken 20:50:49 things like kitchen finks + viscera seer + melira 20:51:06 hmm 20:51:08 but that was actually pretty fair, and although it was played in a top Modern deck it isn't the reason the deck was good 20:52:05 I guess one reason it's copy-based loops that tend to break things is that they normally only need two cards in the combo rather than three! 20:54:04 there was also Half-Squirrel, Half-Pony but that wasn't in a tournament-legal set and got errata'd before it could break things (also it needed a third card to infinitely flicker) 20:54:15 `card-by-name Half-Squirrel, Half- 20:54:15 Half-Squirrel, Half- \ Creature -- Squirrel \ -1/-0 \ Whenever a nontoken creature enters the battlefield, \ Augment {G} ({G}, Reveal this card from your hand: Combine it with target host. Augment only as a sorcery.) \ UST-U 20:54:21 `card-by-name Ordinary Pony 20:54:22 Ordinary Pony \ 2W \ Host Creature -- Horse \ 2/3 \ When this creature enters the battlefield, you may exile target non-Horse creature you control that wasn't put onto the battlefield with this ability this turn, then return it to the battlefield under its owner's control. \ UST-C 20:55:22 yeah 20:58:34 and some infinite loops are simply made impractical by the high mana cost of a piece, like that of Mikaeus, the Unhallowed plus Bloodied Ghost plus a free sac outlet 21:14:12 well, the "more efficient win condition" I found for Omni-Tell while working on the TC proof contains a 27-mana combo 21:14:20 but it has unlimited resources at that point, so the cost doesn't really matter 21:14:33 yeah 21:14:48 for just starting an infinite loop, you don't that much mana 21:59:56 -!- AnotherTest has quit (Ping timeout: 260 seconds). 22:00:37 -!- AnotherTest has joined. 22:05:30 `dateu 22:05:31 2018-12-29 22:05:31.418126946 +0000 UTC December 29 Saturday 2018-W52-6 22:22:16 -!- uplime has quit (Quit: WeeChat 2.2). 22:32:42 -!- AnotherTest has quit (Ping timeout: 272 seconds). 22:32:44 -!- tromp has quit (Ping timeout: 246 seconds). 22:43:50 -!- ais523 has quit (Quit: quit). 22:45:42 does someone know what links are there between algebraic effects and extensible effects? (@tell me if you may, gtg) 22:45:46 supermegacomics.com is down?! 22:46:52 -!- Sgeo__ has joined. 22:47:21 arseniiv: Is extensible effects the one based on free monads? 22:48:21 -!- Sgeo has joined. 22:50:46 -!- Sgeo_ has quit (Ping timeout: 244 seconds). 22:51:18 -!- arseniiv has quit (Ping timeout: 245 seconds). 22:51:38 -!- Sgeo__ has quit (Ping timeout: 268 seconds). 22:55:13 -!- tromp has joined. 23:06:32 -!- AnotherTest has joined. 23:09:44 -!- nchambers has joined. 23:20:21 -!- AnotherTest has quit (Ping timeout: 252 seconds). 23:50:39 is there a process for converting a cellular automata with >2 states to something with only 2 states? 23:53:28 imode: what are the other constraints, or how do you define cellular automatons 23:55:16 -!- oerjan has joined. 23:55:20 assume a 2D grid, assume each cell in the grid can be in some state, assume cells can transition from one state to another, assume cells transition based on the states of their neighbors in some defined neighborhood (von neumann or moore). 23:55:49 convert a CA with cell states >2 into something with cell states = 2.