00:06:35 `ptlist 00:06:36 ​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: ptlist: not found 00:06:41 whatevs. 00:06:43 shachaf: PT! 00:11:08 hily. 00:11:31 What's the general definition of O/o? What sorts of spaces can it be defined in? 00:16:36 well the domain is pretty flexible. 00:17:13 the range needs to have some kind of absolute value to turn into a non-negative real. 00:17:43 bonsœøœøirjan. 00:19:05 O(f) is the set of functions g such that there exists C such that |g(x)| <= |f(x)| on the domain, or possibly on some subset of it (like a neighboorhood) 00:20:25 |f(x)| <= C|g(x)| 00:20:48 (the allowed restricted subsets being part of the context of the discussion, usually, like a neighboorhood a point when defining derivatives. 00:21:02 oops, somehow never put it in. 00:21:08 But what if you don't have multiplication? Can you define something similar? 00:21:58 for o(f), it should be be *for all* C > 0, and then you pretty much have to have a restricted subset. 00:22:13 (to exclude the inevitable exception points.) 00:23:10 shachaf: well i said the abs should be non-negative reals. you pretty much need multiplication in the range of that. 00:23:23 *be into 00:23:59 i suppose you can once again have some kind of filter. 00:24:27 so what you're really looking at are balls around zero, which might be replaced by different neighboorhoods. 00:24:51 no wait 00:25:12 no, it really doesn't make sense without multiplication. 00:26:14 maybe you could have neighboorhoods parametrized on |f(x)|. 00:27:00 perhaps this is related to "uniformity". 00:28:39 hm yeah, i think that may be it. https://en.wikipedia.org/wiki/Uniform_space 00:28:45 shachaf: ^ 00:29:16 -!- Phantom_Hoover has quit (Remote host closed the connection). 00:29:22 Ah, hmm. 00:29:46 hm i'm still not sure it quite fits the O/o cases. 00:29:57 Maybe this is what I want for that other definition too, instead of a metric. 00:30:18 Since it's about comparing local approximations of f. 00:31:24 "x is closer to a than y is to b" that *does* sound like the right thing for O/o (with a and b = 0) 00:32:06 This entourage definition is pretty complicated. 00:32:13 but you'd need a uniform structure on the whole function space. 00:44:40 -!- augur has joined. 00:55:42 -!- augur has quit (Remote host closed the connection). 00:56:38 -!- augur has joined. 01:18:05 What new Magic: the Gathering cards we will make up? Will you make one up for esoteric programming? 01:19:19 zzo38: First make up a programming language to express Magic: the Gathering cards please 01:20:02 I did, almost. I mentioned on here before some examples 01:21:03 Can it express complicated cards without adding lots of special cases in the rules? 01:23:12 My intention is to do so in most cases, although in some cases that might be too difficult. However, can you give examples? (Note: It is intended only for "customized pseudo-Vintage"; no Un-cards or manual dexterity effects.) 01:25:02 What I want is a game which supports most of the complexity of Magic: The Gathering -- maybe slightly simplified because it doesn't require backwards compatiblity -- but has relatively small core rules. 01:26:05 So most of the keywords in Magic: The Gathering can just be expressed in a "standard library". 01:26:33 -!- sleffy has joined. 01:26:53 I have made a variation of the rules of Magic: the Gathering, although done so that in most cases the results will be the same, although sometimes errata is needed (this is very rare, though). 01:28:27 I know what you say about "standard library", and with my idea using RDF that would be possible to do, and the node can be given a name, so it can be referenced by name too, although nodes for non-keyword abilities can be ambiguous (the implementation may give it an internal name, although it is not important). 01:31:14 These codes can be used even if the game isn't implemented on a computer; they can be used even for searching, for understanding ambiguous texts better, and possibly others too. 01:38:54 -!- sleffy has quit (Ping timeout: 256 seconds). 01:41:11 I have considered for example [!_:a :target :permanent] if the same target is mentioned more than once; this is a "deanonymzing operator" which is nonstandard RDF syntax, although the same thing can be represented in standard RDF syntax too. (My JavaScript program "parse-rdf" supports three syntax extensions to RDF; it can also export fully standard RDF. So, you can use this if necessary.) 01:41:40 (The three syntax extensions are: the deanonymizing operator, the cons-cell operator, and hexadecimal integer literals.) 01:42:06 Yes, of course if a card has an English description I want to generate it from the language description. 01:44:06 Sometimes that is difficult, although sometimes that can be done. 01:44:33 Some effects are simple, such as "Counter target spell" simply becomes [:counter [:target :spell]]. 01:45:41 oerjan: Oh, maybe the term I was looking for was "germ" 01:46:06 shachaf: a 0/0 one? 01:46:09 Another example might be "~ deals 3 damage to any target" may become [:damage 3; :to [:target :damageable]] (the :from is not specified because the default value is used). 01:46:36 `random-card \bgerm 01:46:38 Batterskull \ 5 \ Artifact -- Equipment \ Living weapon (When this Equipment enters the battlefield, create a 0/0 black Germ creature token, then attach this to it.) \ Equipped creature gets +4/+4 and has vigilance and lifelink. \ {3}: Return Batterskull to its owner's hand. \ Equip {5} \ NPH-M 01:47:03 wob_jonas: a lim_{x -> 0} {f(x)/g(x)} one hth 01:47:19 Anyway I got the term from http://kisonecat.com/teaching/2009/ibl-analysis/little-oh.pdf 01:55:48 -!- variable has joined. 01:57:28 -!- boily has quit (Quit: PLATINUM CHICKEN). 01:58:51 -!- augur has quit (Remote host closed the connection). 01:59:06 -!- augur has joined. 02:00:40 One use of "target damageable" also is in case you do not have "target", such as if you have "enchant damageable". 02:34:34 -!- augur has quit (Remote host closed the connection). 03:59:05 -!- sleffy has joined. 04:01:34 -!- brandonson has quit (Ping timeout: 264 seconds). 04:03:18 -!- brandonson has joined. 04:10:01 -!- doesthiswork has quit (Quit: Leaving.). 04:10:35 -!- doesthiswork has joined. 04:22:15 -!- variable has quit (Quit: /dev/null is full). 04:34:06 -!- variable has joined. 04:47:33 -!- augur has joined. 05:12:33 -!- erkin has joined. 05:17:38 What sample rate do you need for television pictures? 05:21:26 Now I added a "ff-dice" program, which is a similar function to "pamdice" 05:24:19 -!- variable has quit (Quit: /dev/null is full). 05:32:31 -!- variable has joined. 05:59:57 -!- sleffy has quit (Ping timeout: 240 seconds). 06:07:18 -!- sleffy has joined. 06:19:45 -!- augur has quit (Remote host closed the connection). 06:20:20 -!- augur has joined. 06:23:25 -!- doesthiswork has quit (Quit: Leaving.). 06:49:19 -!- xkapastel has quit (Quit: Connection closed for inactivity). 07:00:23 -!- augur has quit (Remote host closed the connection). 07:13:54 -!- SopaXorzTaker has joined. 07:45:05 -!- brandonson has quit (Ping timeout: 248 seconds). 07:47:01 -!- brandonson has joined. 08:04:17 -!- oerjan has quit (Quit: Nite). 08:05:52 -!- sleffy has quit (Ping timeout: 268 seconds). 08:42:20 -!- SopaXorzTaker has quit (Remote host closed the connection). 08:43:14 -!- AnotherTest has joined. 09:06:57 -!- zseri has joined. 09:08:42 -!- zseri has quit (Client Quit). 09:10:30 -!- zseri has joined. 09:11:15 -!- zseri has quit (Client Quit). 09:12:13 -!- zseri has joined. 09:22:10 -!- zseri has quit (Quit: zseri). 09:22:30 -!- zseri has joined. 09:23:51 -!- zseri has quit (Client Quit). 09:23:59 -!- zseri_ has joined. 09:24:08 -!- AnotherTest has quit (Ping timeout: 256 seconds). 09:29:42 -!- zseri_ has quit (Quit: Leaving). 09:43:23 -!- SopaXorzTaker has joined. 09:54:31 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...). 10:29:50 -!- imode has quit (Ping timeout: 265 seconds). 11:05:07 -!- AnotherTest has joined. 11:14:48 -!- LKoen has joined. 11:21:54 -!- xkapastel has joined. 11:31:11 -!- SopaXorzTaker has quit (Remote host closed the connection). 11:33:28 -!- SopaXorzTaker has joined. 11:49:01 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 13:00:39 -!- doesthiswork has joined. 13:28:41 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 13:40:34 -!- brandonson has quit (Ping timeout: 264 seconds). 13:41:52 -!- brandonson has joined. 13:52:06 @metar lowi 13:52:07 LOWI 211320Z 22003KT 170V290 9999 FEW075 SCT300 27/02 Q1018 BECMG 09007KT 13:52:15 too warm 14:09:06 @metar ESSB 14:09:07 ESSB 211350Z 28015KT CAVOK 17/M02 Q1009 14:09:13 too warm, yes 14:11:34 -!- xkapastel has quit (Quit: Connection closed for inactivity). 14:13:27 * Taneb hello 14:55:38 -!- Sgeo_ has joined. 14:58:24 -!- Sgeo__ has quit (Ping timeout: 260 seconds). 15:10:08 -!- brandonson has quit (Ping timeout: 268 seconds). 15:11:23 -!- brandonson has joined. 15:17:23 -!- erkin has joined. 15:18:19 -!- xkapastel has joined. 16:03:29 -!- sleffy has joined. 16:19:17 [[Mep]] https://esolangs.org/w/index.php?diff=54906&oldid=54892 * BradensEsolangs * (+68) Periods! 16:41:14 -!- variable has quit (Quit: Found 1 in /dev/zero). 16:47:46 -!- sleffy has quit (Ping timeout: 264 seconds). 16:57:24 -!- BoutonIA has joined. 17:02:08 Hello everybody. I do not know why but every time I log in to my account, it does not connect. If I put a bad password, he tells me it's wrong but if I put the right, I just go back to the previous page. I presume that my cookies are enabled and none are blocked. Someone would know why? I also specify that I can connect but only through my laptop. 17:04:19 -!- variable has joined. 17:18:56 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...). 17:21:10 Re: Hello everybody. I do not know why but every time I log in to my account, it does not connect. If I put a bad password, he tells me it's wrong but if I put the right, I just go back to the previous page. I presume that my cookies are enabled and none are blocked. Someone would know why? I also specify that I can connect but only through my laptop. 17:24:06 I don't know why 17:25:13 Did you check the cookies toensure is work? Try reloading the page? 17:41:00 -!- erkin has joined. 17:52:07 -!- augur has joined. 17:52:33 -!- variable has quit (Ping timeout: 265 seconds). 17:52:40 -!- trout has joined. 17:58:08 -!- imode has joined. 18:11:07 -!- sleffy has joined. 18:21:48 -!- trout has quit (Quit: Found 1 in /dev/zero). 18:30:20 -!- wob_jonas has joined. 18:31:02 BoutonIA: what is the URL of the page where you're trying to log in? in particular, try https://esolangs.org/wiki/Special:UserLogin , and do not use the http site. 18:36:39 wob_jonas Yes indeed, that was it! Thank you ! 18:39:06 -!- BoutonIA has quit (Quit: Page closed). 18:57:37 -!- variable has joined. 19:03:42 -!- augur has quit (Quit: Leaving...). 19:34:45 -!- sprocklem has joined. 19:37:17 -!- SopaXorzTaker has quit (Remote host closed the connection). 19:45:58 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...). 19:52:43 -!- LKoen has joined. 20:08:31 -!- LKoen_ has joined. 20:09:08 -!- LKoen has quit (Ping timeout: 256 seconds). 21:22:55 -!- sleffy has quit (Ping timeout: 256 seconds). 21:31:47 -!- Phantom_Hoover has joined. 21:31:47 -!- Phantom_Hoover has quit (Changing host). 21:31:47 -!- Phantom_Hoover has joined. 21:40:50 -!- Phantom__Hoover has joined. 21:40:50 -!- Phantom__Hoover has quit (Changing host). 21:40:50 -!- Phantom__Hoover has joined. 21:41:22 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 21:53:09 -!- doesthiswork has quit (Ping timeout: 260 seconds). 22:08:02 -!- sprocklem has quit (Quit: brb). 22:08:51 -!- sprocklem has joined. 22:09:02 -!- variable has quit (Ping timeout: 276 seconds). 22:43:00 -!- variable has joined. 22:48:22 -!- AnotherTest has quit (Ping timeout: 265 seconds). 23:47:29 -!- sleffy has joined. 23:48:45 -!- oerjan has joined.