←2018-04-19 2018-04-20 2018-04-21→ ↑2018 ↑all
00:00:22 <wob_jonas> you think spaces are bad? they have the date format messed up in one. I've always renamed the files after downloading
00:00:24 <zzo38> Is the URL similar?
00:00:35 <wob_jonas> no, I found that on my computer, in a different directory
00:00:39 <zzo38> OK
00:01:08 <zzo38> I don't need to rename the file after downloading, if it can be given a name while downloading instead (I just use curl to download, usually)
00:02:37 <zzo38> If you put the file on arin.ga or whatever then I can download it; if you find a lot of more files rather than just one then you can send it by the email
00:06:58 <wob_jonas> MagicCompRules_20170707 => https://arin.ga/nfViXZ
00:07:14 <zzo38> OK thank you
00:07:41 <wob_jonas> although it's dated 2017-07-08 in the text
00:07:52 <zzo38> Yes I can see that
00:14:56 <wob_jonas> oh!
00:15:07 <wob_jonas> yawgatog might also have older versions downloadable but not linked, eg. https://yawgatog.com/resources/oracle/All%20Sets-2017-07-05.zip
00:15:13 <wob_jonas> you might find copies there that I don't have
00:15:46 <zzo38> OK
00:18:35 <wob_jonas> this means I have comp rules versions from more than ten years ago. makes me feel old.
00:19:10 <wob_jonas> and an oracle dump too
00:19:41 <wob_jonas> by the way, my oracle dumps are actually for the Legacy format
00:20:04 <wob_jonas> so they don't have the few dozen cards banned in Legacy and silver-bordered ones
00:20:15 <zzo38> I thought also making up some Magic: the Gathering cards of some of the characters and events of GURPS game I am in
00:20:22 <zzo38> I don't need silver-bordered ones
00:20:57 <zzo38> However, it is not even "pseudo-Vintage"; some cards are banned in Vintage too (but not in "pseudo-Vintage")
00:21:56 <wob_jonas> I had to filter on something, because if I don't give any criteria, Oracle won't return anything. in retrospect Vintage would have made more sense, but I guess back then I didn't care much about the cards banned in Legacy, because they were mostly old ones
00:22:13 <wob_jonas> I mean mostly old *expensive* cards
00:23:53 <zzo38> Filter by converted mana cost is less than one million; as far as I know, there is only one card (which is silver) that has a converted mana cost of one million and none have more than that.
00:23:58 <wob_jonas> It's a bit different these days, they reprinted Sol Ring in commander sets so it's no longer very expensive, and Mental Misstep is not expensive either
00:24:22 <wob_jonas> zzo38: too late now
00:24:25 <zzo38> OK
00:24:27 <wob_jonas> that was for the old oracle
00:24:54 <wob_jonas> for the new oracle, I don't have a download script, they made it more complicated to download because you need to get the cards in many queries continued
00:25:11 <wob_jonas> you can't get most of them in a single html page like I did with the old oracle
00:27:07 <zzo38> Some people have made JSON files with the Magic: the Gathering Oracle texts
00:27:38 <wob_jonas> like Scryfall? I think their API uses JSONs
00:28:06 <zzo38> I mean just downloadable JSON files I have found, not a API
00:30:19 <wob_jonas> ok
00:31:08 -!- LKoen has joined.
00:32:04 <zzo38> I also wanted to make the format for representing the card texts in a computer code, and could be like perhaps: <Counterspell> a :Card; :name "Counterspell", "Counterspell"@en; :mana-cost "UU"; :type :instant; :spell-ability [:counter [:target :spell]]. This can be used to implement a computer game; it could automatically compile into a C code or whatever. Xmage doesn't implement text editing effects, but this new way would do so.
00:32:44 -!- augur has joined.
00:32:54 <wob_jonas> zzo38: do you need the names of the cards in languages other than English? because that would be harder to obtain.
00:33:49 <zzo38> wob_jonas: No. (Although this proposed format for computer codes does allow other languages, I don't need them, either for this purpose or for just a archive of Oracle texts.)
00:34:21 <wob_jonas> ok
00:35:13 <wob_jonas> https://scryfall.com/docs/api has scryfall's docs about their api formats
00:35:21 <zzo38> OK I will look
00:35:24 <wob_jonas> (plus pages linked from there)
00:35:35 -!- LKoen has quit (Ping timeout: 240 seconds).
00:38:01 <wob_jonas> also, I'm stupid. it wasn't scryfall who fixed a bug I reported. that was a different M:tG-related site
00:38:08 <wob_jonas> still, scryfall seems well-maintained.
00:42:03 -!- imode has joined.
00:42:41 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
00:46:33 -!- imode has quit (Ping timeout: 256 seconds).
01:19:44 <esowiki> [[User talk:Oerjan]] https://esolangs.org/w/index.php?diff=54899&oldid=54893 * Oerjan * (+346) It was deleted
01:25:32 <zzo38> There are many functions in Scryfall which the SQLite virtual table mechanism does not yet support (you would still be able to write such queries, but those functions would be implemented on the client-side). This includes constraints with OR, negated conditions (in some cases), random selection, pagination, etc. (Some features can be implemented by the use of hidden columns, though.)
01:27:39 <zzo38> I did think of how to improve the virtual table mechanism in many ways, including to allow the sqlite3_declare_vtab() to, in addition to a CREATE TABLE statement, also zero or more CREATE INDEX statements, which ignore the usual rule that the functions it mentions must be deterministic. Another thing is the way to consume LIMIT/OFFSET clauses.
01:28:53 <zzo38> In this way, the virtual table implementation will be able to interpret a query such as SELECT * FROM "SCRYFALL" ORDER BY RANDOM() LIMIT 1; and automatically know to use the /cards/random request, rather than having to download everything.
01:33:03 <oerjan> `metar ENVA
01:33:05 <HackEso> lambdabot: @metar ENVA
01:33:23 <oerjan> did lambdabot stop responding to HackEso?
01:33:47 <oerjan> `icode > l
01:33:48 <HackEso> ​[U+003E GREATER-THAN SIGN] [U+0020 SPACE] [U+006C LATIN SMALL LETTER L]
01:33:57 <oerjan> no ZWSP
01:34:05 <oerjan> @metar ENVA
01:34:05 <lambdabot> ENVA 200050Z 00000KT 9000 -DZ BKN015 07/06 Q1019 RMK WIND 670FT 29007KT
01:34:14 <shachaf> @metar KOAK
01:34:14 <lambdabot> KOAK 200053Z 28014KT 10SM FEW025 16/09 A3009 RMK AO2 SLP189 T01610089
01:34:26 <shachaf> @time oerjan
01:34:26 <lambdabot> Local time for oerjan is Fri Apr 20 03:34:26 2018
01:34:28 <oerjan> i suppose int-e just got fed up by the `? weather command
01:34:33 <zzo38> (Another problem is that Scryfall does not seem to have a searchable field for last modified time?)
01:35:04 <oerjan> shachaf: spring is springing
01:35:22 <oerjan> soon we might even notice some green
01:35:31 <shachaf> life is skittles and life is beer
01:35:39 <oerjan> @wn skittles
01:35:40 <lambdabot> *** "skittles" wn "WordNet (r) 3.0 (2006)"
01:35:40 <lambdabot> skittles
01:35:40 <lambdabot> n 1: a bowling game that is played by rolling a bowling ball
01:35:40 <lambdabot> down a bowling alley at a target of nine wooden pins [syn:
01:35:40 <lambdabot> {ninepins}, {skittles}]
01:36:00 <oerjan> probably goes well with beer
01:36:23 <shachaf> I think it's a lyric.
01:36:23 * oerjan vaguely thought that was just "bowling"
01:37:00 <shachaf> bowling day is tomorrow hth
01:37:08 <oerjan> aha
01:37:16 <shachaf> I guess it's already tomorrow in your time zone.
01:37:52 <zzo38> It says there nine pins, which is difference from the ten pins and five pins bowling, isn't it?
01:37:57 <oerjan> "National Bowling Day is observed annually on the second Saturday in August."
01:38:11 <oerjan> zzo38: ah right
01:38:17 <oerjan> 10 is the triangular one
01:38:17 <shachaf> oerjan: it's a sort of pun on the holiday it actually is hth
01:38:39 <oerjan> howling day? scowling day?
01:38:56 <oerjan> . o O ( scowling day would be shachaf's kind of holiday )
01:39:02 <zzo38> I know how to score five pins at least; the other games I don't know
01:42:16 <oerjan> shachaf: ok it's that day today, but i still don't get the pun...
01:42:36 <shachaf> look
01:42:42 <shachaf> i'm not an expert in that particular vernacular
01:42:46 <shachaf> something about bowls
01:42:50 <oerjan> OKAY
01:43:12 <oerjan> `? expert
01:43:14 <HackEso> expert? ¯\(°​_o)/¯
01:43:22 -!- sleffy has joined.
01:51:02 -!- brandonson has quit (Ping timeout: 256 seconds).
01:52:23 -!- brandonson has joined.
02:20:42 <zzo38> I see nothing about National Bowling Day (or something similar) on the "calendar" command on my computer
02:25:44 -!- hexnewbiesq has joined.
02:30:08 <zzo38> The man page mentions that for calendar.christian and calendar.judaic that the system administrator should update them yearly. However, this is also needed for the calendar.pagan file. Also, there is the problem when in December you want to observe calendar for next year, or in January for previous year, and the use of the C preprocessor with a format that uses a syntax different than C programming.
02:30:51 <zzo38> (I also don't see Chinese New Year mentioned.)
02:31:19 -!- hexnewbiesq has quit (Remote host closed the connection).
02:33:27 <zzo38> So I thought, to make up a new kind of domain specific code for specifying dates, including dates of stuff that changes. It can then be compiled into a binary format, into files per year. You might keep only a few years at a time, but a user who want other years can keep their own local copies for other years farther into the past or future.
03:57:34 -!- Storkman has joined.
04:16:09 -!- augur has quit (Remote host closed the connection).
04:16:48 -!- augur has joined.
04:38:44 -!- imode has joined.
05:40:41 -!- variable has joined.
06:13:58 -!- variable has quit (Quit: /dev/null is full).
06:33:09 -!- variable has joined.
06:36:55 -!- variable has quit (Client Quit).
06:37:57 -!- variable has joined.
06:39:59 -!- friendlyGoat has joined.
06:40:53 -!- friendlyGoat has quit (Client Quit).
06:48:24 -!- variable has quit (Quit: /dev/null is full).
06:49:35 -!- variable has joined.
06:51:08 -!- variable has quit (Client Quit).
06:52:26 -!- variable has joined.
06:53:15 -!- variable has quit (Client Quit).
07:05:24 -!- sleffy has quit (Ping timeout: 256 seconds).
07:06:31 -!- oerjan has quit (Quit: Nite).
07:09:03 -!- brandonson has quit (Ping timeout: 256 seconds).
07:10:40 -!- brandonson has joined.
07:14:37 -!- augur has quit (Remote host closed the connection).
07:14:50 -!- augur has joined.
07:21:07 -!- LKoen has joined.
07:31:40 -!- xkapastel has quit (Quit: Connection closed for inactivity).
07:38:29 -!- variable has joined.
07:39:26 -!- variable has quit (Client Quit).
07:42:06 -!- imode has quit (Read error: Connection reset by peer).
07:42:20 <esowiki> [[List of quines]] https://esolangs.org/w/index.php?diff=54900&oldid=54524 * Oerjan * (+1209) /* Fueue */
07:43:00 <esowiki> [[Fueue]] https://esolangs.org/w/index.php?diff=54901&oldid=54461 * Oerjan * (+48) /* Quines */
07:43:25 <esowiki> [[Fueue]] M https://esolangs.org/w/index.php?diff=54902&oldid=54901 * Oerjan * (+1) /* Quines */
07:46:24 <esowiki> [[Fueue]] https://esolangs.org/w/index.php?diff=54903&oldid=54902 * Oerjan * (+87) /* External resources */ Add TIO
07:48:18 -!- AnotherTest has joined.
07:50:01 -!- imode has joined.
07:57:47 -!- Storkman has quit (Ping timeout: 256 seconds).
07:58:54 -!- int-e has quit (Quit: leaving).
07:59:14 -!- int-e has joined.
08:04:11 -!- Storkman has joined.
08:05:12 -!- doesthiswork has quit (Quit: Leaving.).
08:11:39 <int-e> @tell oerjan i suppose int-e just got fed up <-- that's right
08:11:40 <lambdabot> Consider it noted.
08:24:51 -!- AnotherTest has quit (Ping timeout: 240 seconds).
08:59:15 -!- augur has quit (Remote host closed the connection).
09:00:57 -!- imode has quit (Ping timeout: 240 seconds).
09:15:48 -!- augur has joined.
09:19:31 -!- augur has quit (Read error: Connection reset by peer).
10:24:07 <fizzie> `readlink bin/icode
10:24:08 <HackEso> unidecode
10:24:24 <fizzie> Chuckle.
10:24:50 <esowiki> [[List of quines]] https://esolangs.org/w/index.php?diff=54904&oldid=54900 * BoutonIA * (+64)
10:25:34 <Taneb> fizzie: same humour as the categorical construction "ne"
10:26:45 -!- boily has joined.
10:28:08 <int-e> `? on
10:28:09 <HackEso> on? ¯\(°​_o)/¯
10:28:32 <int-e> . o O ( A categorical cocoon, obviously. )
10:33:42 <boily> @metar CYUL
10:33:42 <lambdabot> CYUL 201000Z 29009KT 15SM -SN OVC045 01/M04 A3001 RMK SC8 SLP166
10:34:03 <boily> -SN... it's April 20 dammit!
10:34:16 <int-e> @metar lowi
10:34:16 <lambdabot> LOWI 201020Z VRB01KT CAVOK 21/06 Q1025 NOSIG
10:34:30 <int-e> boily: well at least it's not freezing? ;-)
10:35:26 <boily> int-ello. there's that!
10:35:28 <Taneb> @metar EGSC
10:35:28 <lambdabot> EGSC 201020Z 34006KT 9000 NSC 19/13 Q1023
10:35:34 <boily> Tanelle.
10:35:45 <Taneb> I still can't read meta
10:35:46 <Taneb> r
10:37:50 <boily> light northerly winds, visibility unoptimal but quite good, no clouds, it's 19 °C, dew point at 13 °C.
10:38:08 <boily> air pressure slightly above normal.
10:42:22 <fizzie> @metar EGLL
10:42:22 <lambdabot> EGLL 201020Z AUTO VRB03KT 9999 NCD 22/14 Q1024 NOSIG
10:43:40 <fizzie> Also measured on the 20th day (of the current month), at 10:20 UTC.
10:45:25 <Taneb> fizzie: wouldn't EGLC be closer for you?
10:45:36 <Taneb> ...I don't know where you are in London, actually
10:45:45 <int-e> fizzie: how do you like the 2^10hPa pressure?
10:48:03 <fizzie> Taneb: Heathrow is actually a little closer, we're south-westish.
10:48:10 <Taneb> Ah, I see!
10:49:18 <fizzie> Gatwick is easiest to get to, thanks to trains, even though it's farther away.
10:49:44 <fizzie> (Well, normally easiest. Yesterday it was terrible.)
10:49:53 <Taneb> Easiest from here is Stansted but I think Luton might be closer
10:50:16 <fizzie> Good old "London Luton".
10:50:18 <Taneb> (not counting Cambridge which doesn't have passenger flights)
10:50:26 <int-e> `? hth
10:50:28 <HackEso> hth ([ʰtʰh̩]) is help received from a hairy toe. It is not at all hambiguitous.
10:50:49 <fizzie> int-e: Doesn't feel especially binary to me.
10:51:40 <int-e> . o O ( Heads, Tails, Heads. )
10:52:20 <fizzie> hth could be like cadar.
10:53:38 <int-e> Flip a fair coin 10 times. What subsequence of heads and tails is more lilely to occur, HHH or HTH?
10:54:04 <boily> fizzie: cadar?
10:54:18 <fizzie> boily: cad, cdr, caar, cadr, cdar, cddr, ...
10:54:22 <fizzie> ...
10:54:25 <fizzie> s/cad/car/
10:54:55 <boily> oh. that.
10:55:56 <int-e> > let f xs = length . filter (xs `isInfixOf`) $ replicate 10 "HT" in (f "HHH", f "HTH", f "HTT")
10:55:58 <lambdabot> (0,0,0)
10:55:59 -!- AnotherTest has joined.
10:56:13 <int-e> > let f xs = length . filter (xs `isInfixOf`) $ replicateM 10 "HT" in (f "HHH", f "HTH", f "HTT")
10:56:15 <lambdabot> (520,673,792)
10:56:59 <int-e> (I really like this phenomenon)
10:57:18 <boily> > replicateM 4 "HT"
10:57:20 <lambdabot> ["HHHH","HHHT","HHTH","HHTT","HTHH","HTHT","HTTH","HTTT","THHH","THHT","THTH...
10:57:23 <boily> oooooh...
10:57:51 <Taneb> > 2 * 520 + 2 * 673 + 4 * 792
10:57:53 <lambdabot> 5554
10:58:38 <Taneb> Oh, that number's meaningless anyway because most of the patterns will have more than one of the subpatterns in them
10:59:18 -!- boily has quit (Quit: BURLESQUE CHICKEN).
10:59:26 <Taneb> int-e: it is a cool phenomenon
11:00:21 <Taneb> Is there a name for it?
11:02:01 <int-e> I don't know... it really should have one. https://en.wikipedia.org/wiki/Penney%27s_game is related, at least.
11:09:53 <int-e> But I don't find a name for the coin subsequence case.
11:14:10 -!- AnotherTest has quit (Ping timeout: 256 seconds).
12:14:10 -!- sprocklem has quit (Ping timeout: 264 seconds).
12:16:07 -!- sprocklem has joined.
12:54:29 -!- sprocklem has quit (Ping timeout: 260 seconds).
12:56:26 -!- sprocklem has joined.
12:57:43 -!- variable has joined.
12:58:02 -!- variable has quit (Client Quit).
13:00:33 -!- doesthiswork has joined.
13:03:39 -!- xkapastel has joined.
13:08:32 -!- variable has joined.
13:09:26 -!- variable has quit (Client Quit).
13:34:13 -!- variable has joined.
13:44:31 -!- wob_jonas has joined.
13:45:42 <wob_jonas> Are the toes of Icklibõgg hairy? In Harry Potter and the Toenail of Icklibõgg, did Harry Potter receive help from a hairy toe to defeat the Dark Lord?
13:49:10 -!- augur has joined.
13:53:59 -!- augur has quit (Ping timeout: 260 seconds).
14:00:07 -!- variable has quit (Quit: /dev/null is full).
14:00:48 -!- variable has joined.
14:05:10 -!- variable has quit (Client Quit).
14:10:31 -!- variable has joined.
14:21:05 -!- variable has quit (Ping timeout: 240 seconds).
14:32:45 -!- AnotherTest has joined.
14:38:25 -!- int-e has quit (Remote host closed the connection).
14:43:33 -!- augur has joined.
14:48:21 -!- augur has quit (Ping timeout: 264 seconds).
14:52:36 -!- sebbu has quit (Quit: reboot).
15:00:53 -!- sebbu has joined.
15:12:07 -!- xkapastel has quit (Quit: Connection closed for inactivity).
15:13:51 -!- xkapastel has joined.
15:14:26 -!- SopaXorzTaker has joined.
15:27:55 <\oren\_> TIL the {} are mandatory in a C++ try {} catch
15:31:41 <\oren\_> this is annoying because this isn't the case for any other C++ construct
15:31:59 <wob_jonas> \oren\: isn't that only for when the try{}catch replaces the body of a constructor?
15:32:00 -!- sprocklem has quit (Ping timeout: 256 seconds).
15:32:12 <wob_jonas> let me ask geordi
15:32:27 <\oren\_> I was trying to do
15:32:34 <\oren\_> try some_function();
15:33:11 <\oren\_> catch (std::exception &e) std::cerr << e.what();
15:34:13 -!- Sgeo_ has joined.
15:34:36 <wob_jonas> you're right. the braces after try are mandatory.
15:34:56 <APic> *nod*
15:34:59 <wob_jonas> http://en.cppreference.com/w/cpp/language/statements#Try_blocks
15:35:20 <wob_jonas> maybe they wanted to avoid another case of the if-else ambiguity?
15:35:53 <wob_jonas> especially since there can be any number of catch arms, as opposed to zero or one else arm
15:36:25 -!- Sgeo__ has quit (Ping timeout: 265 seconds).
15:39:38 <wob_jonas> \oren\: this shows that I don't use exceptions much
15:54:25 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
16:42:35 -!- SopaXorzTaker has quit (Remote host closed the connection).
16:49:15 -!- olsner has quit (Ping timeout: 246 seconds).
16:56:18 -!- LKoen has quit (Remote host closed the connection).
16:56:48 -!- SopaXorzTaker has joined.
17:02:08 -!- SopaXorzTaker has quit (Quit: Leaving).
17:08:00 -!- imode has joined.
17:22:07 -!- xkapastel has quit (Quit: Connection closed for inactivity).
17:23:06 -!- SopaXorzTaker has joined.
17:23:49 <fizzie> The braces for a function body (including in a lambda expression) are mandatory too.
17:26:35 -!- sleffy has joined.
17:33:57 -!- int-e has joined.
17:36:13 -!- olsner has joined.
17:54:11 -!- augur has joined.
17:58:35 -!- augur has quit (Ping timeout: 240 seconds).
18:02:24 -!- Phantom_Hoover has joined.
18:02:24 -!- Phantom_Hoover has quit (Changing host).
18:02:24 -!- Phantom_Hoover has joined.
18:11:52 -!- augur has joined.
18:59:38 -!- xkapastel has joined.
19:10:42 -!- SopaXorzTaker has quit (Remote host closed the connection).
19:47:43 -!- hppavilion[1] has joined.
20:05:37 <shachaf> oerjan: someone pointed out that the definition of continuity we talked about doesn't work for id
20:16:39 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
20:17:52 -!- Scrooble has joined.
20:18:11 -!- Scrooble has quit (Read error: Connection reset by peer).
20:28:01 <shachaf> oerjan: Hmm, never mind.
20:56:54 -!- LKoen has joined.
20:57:26 -!- b_jonas_ has quit (Ping timeout: 255 seconds).
21:02:11 -!- LKoen has quit (Ping timeout: 265 seconds).
21:04:26 -!- b_jonas has joined.
21:47:57 -!- sleffy has quit (Ping timeout: 240 seconds).
21:56:23 -!- boily has joined.
21:56:51 <boily> @metar CYUL
21:56:52 <lambdabot> CYUL 202100Z 31011G22KT 15SM FEW040 BKN060 08/M04 A3018 RMK CU1SC7 CU TR SLP221
21:57:00 <boily> WARMTH!
22:00:01 <quintopia> helloily
22:00:12 <boily> QUINTHELLOPIA!
22:00:20 <quintopia> yes and with warmth comes...can you guess?
22:00:24 <int-e> oh it's morning
22:00:27 <boily> SGDQ?
22:00:30 <boily> int-ello!
22:00:41 <quintopia> i was gonna say pollen
22:00:57 <quintopia> why u got sgdq on the brain?
22:01:33 <boily> it hasn't pollened yet. I hope it won't pollen this year. fungotting pollen.
22:01:34 <fungot> boily: i was getting food takes too long a throw." :) swap them around fnord we would realize what this country is so boring now, so i can't provide a traceback because it happened during the download
22:02:06 <boily> because it has S in its name? S is a warm letter.
22:02:21 <int-e> yay, fungot is incoherent for once
22:02:21 <fungot> int-e: so elt is no longer reachable.) i'm mostly thinking about what the step means. you seem to have different bit patterns for these things, but it
22:02:29 <quintopia> spring games done quirky
22:06:36 -!- augur has quit (Remote host closed the connection).
22:07:16 -!- augur has joined.
22:11:45 -!- augur has quit (Ping timeout: 256 seconds).
22:17:33 -!- augur has joined.
22:25:32 -!- AnotherTest has quit (Ping timeout: 276 seconds).
22:30:33 -!- LKoen has joined.
22:49:49 -!- augur has quit (Remote host closed the connection).
22:50:30 -!- augur has joined.
22:53:00 -!- ocharles has quit (Ping timeout: 256 seconds).
22:54:14 -!- ocharles has joined.
22:54:57 -!- augur has quit (Ping timeout: 264 seconds).
22:57:08 -!- wob_jonas has joined.
22:57:25 <wob_jonas> quintopia: with the warmth come all the annoying insects.
22:58:01 <wob_jonas> pollen too, sure, but my allergy is triggered more by the types of pollen in late summer, so I'm not bothered yet.
23:05:03 <boily> wellob_jonas.
23:05:11 <wob_jonas> helloiliy
23:10:00 -!- brandonson has quit (Ping timeout: 256 seconds).
23:10:21 <shachaf> oerjan: Oh, https://micromath.wordpress.com/2008/04/14/donald-knuth-calculus-via-o-notation/ is a good perspective on this.
23:10:31 <shachaf> f is continuous at x if f(x + ε) = f(x) + o(1)
23:10:40 <shachaf> f is differentiable at x (with derivative f'(x)) if f(x + ε) = f(x) + f'(x)ε + o(ε)
23:11:29 -!- brandonson has joined.
23:12:17 -!- Sgeo__ has joined.
23:14:34 -!- Sgeo_ has quit (Ping timeout: 260 seconds).
23:32:51 -!- propumpkin has joined.
23:35:45 -!- contrapumpkin has quit (Ping timeout: 263 seconds).
23:46:04 -!- 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.”).
23:49:58 -!- oerjan has joined.
23:53:20 <oerjan> @messages
23:53:29 <shachaf> @messages-quiet
23:53:37 <oerjan> hichaf
23:53:44 <shachaf> yoerjan
23:57:30 <esowiki> [[List of quines]] M https://esolangs.org/w/index.php?diff=54905&oldid=54904 * Oerjan * (+0) /* Cheating Quines */ deorr
←2018-04-19 2018-04-20 2018-04-21→ ↑2018 ↑all