00:06:36 <HackEso> /srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: ptlist: not found
00:11:31 <shachaf> What's the general definition of O/o? What sorts of spaces can it be defined in?
00:16:36 <oerjan> well the domain is pretty flexible.
00:17:13 <oerjan> the range needs to have some kind of absolute value to turn into a non-negative real.
00:19:05 <oerjan> 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:48 <oerjan> (the allowed restricted subsets being part of the context of the discussion, usually, like a neighboorhood a point when defining derivatives.
00:21:02 <oerjan> oops, somehow never put it in.
00:21:08 <shachaf> But what if you don't have multiplication? Can you define something similar?
00:21:58 <oerjan> 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 <oerjan> (to exclude the inevitable exception points.)
00:23:10 <oerjan> shachaf: well i said the abs should be non-negative reals. you pretty much need multiplication in the range of that.
00:23:59 <oerjan> i suppose you can once again have some kind of filter.
00:24:27 <oerjan> so what you're really looking at are balls around zero, which might be replaced by different neighboorhoods.
00:25:12 <oerjan> no, it really doesn't make sense without multiplication.
00:26:14 <oerjan> maybe you could have neighboorhoods parametrized on |f(x)|.
00:27:00 <oerjan> perhaps this is related to "uniformity".
00:28:39 <oerjan> hm yeah, i think that may be it. https://en.wikipedia.org/wiki/Uniform_space
00:29:16 -!- Phantom_Hoover has quit (Remote host closed the connection).
00:29:46 <oerjan> hm i'm still not sure it quite fits the O/o cases.
00:29:57 <shachaf> Maybe this is what I want for that other definition too, instead of a metric.
00:30:18 <shachaf> Since it's about comparing local approximations of f.
00:31:24 <oerjan> "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 <shachaf> This entourage definition is pretty complicated.
00:32:13 <oerjan> 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 <zzo38> What new Magic: the Gathering cards we will make up? Will you make one up for esoteric programming?
01:19:19 <shachaf> zzo38: First make up a programming language to express Magic: the Gathering cards please
01:20:02 <zzo38> I did, almost. I mentioned on here before some examples
01:21:03 <shachaf> Can it express complicated cards without adding lots of special cases in the rules?
01:23:12 <zzo38> 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 <shachaf> 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 <shachaf> 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 <zzo38> 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 <zzo38> 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 <zzo38> 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 <zzo38> 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 <zzo38> (The three syntax extensions are: the deanonymizing operator, the cons-cell operator, and hexadecimal integer literals.)
01:42:06 <shachaf> Yes, of course if a card has an English description I want to generate it from the language description.
01:44:06 <zzo38> Sometimes that is difficult, although sometimes that can be done.
01:44:33 <zzo38> Some effects are simple, such as "Counter target spell" simply becomes [:counter [:target :spell]].
01:45:41 <shachaf> oerjan: Oh, maybe the term I was looking for was "germ"
01:46:09 <zzo38> 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:38 <HackEso> 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 <shachaf> wob_jonas: a lim_{x -> 0} {f(x)/g(x)} one hth
01:47:19 <shachaf> 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 <zzo38> 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 <zzo38> What sample rate do you need for television pictures?
05:21:26 <zzo38> 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:07 <lambdabot> LOWI 211320Z 22003KT 170V290 9999 FEW075 SCT300 27/02 Q1018 BECMG 09007KT
14:09:07 <lambdabot> ESSB 211350Z 28015KT CAVOK 17/M02 Q1009
14:11:34 -!- xkapastel has quit (Quit: Connection closed for inactivity).
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 <esowiki> [[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 <BoutonIA> 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 <BoutonIA> 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:25:13 <zzo38> 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 <wob_jonas> 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 <BoutonIA> 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.