00:00:49 -!- tromp has joined.
00:08:08 <Sgeo> Magic the Gathering question: What does the stack look like to characters in the MtG universe? Do characters experience casting a spell, then someone else casting a spell and that second spell is faster somehow?
00:09:51 -!- ais523 has quit (Remote host closed the connection).
00:11:00 -!- ais523 has joined.
00:19:09 -!- ais523 has quit.
00:28:36 <shachaf> The stack has so much flavor.
00:33:34 -!- ATMunn has joined.
00:38:43 <Sgeo> `mspalist Hiveswap + music released!
00:38:44 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: mspalist: not found
00:38:49 <HackEgo> ` \ `` \ `^ \ `̀ \ ^.^ \ ! \ ? \ ?? \ ¿ \ ' \ " \ ( \ @ \ * \ # \ ؟ \ ⁗ \ \ \ \ welcome \ 1 \ 13 \ 1492 \ 2 \ 2014 \ 2015 \ 2016 \ 2017 \ 3 \ 4 \ 5 \ 5quote \ 5w \ 7z \ 7za \ 8ball \ 8-ball \ 8ball \ aaaaaaaaa \ addquote \ addscowrevs \ addtodo \ age \ aglist \ airport \ airport-lookup \ allquotes \ analogy \
00:39:00 <Sgeo> What's the list for Homestuck?
00:41:19 -!- augur has joined.
01:19:34 -!- imode has quit (Ping timeout: 264 seconds).
02:00:56 -!- doesthiswork has joined.
02:24:05 -!- sleffy has quit (Ping timeout: 240 seconds).
02:45:50 -!- sleffy has joined.
02:51:41 <HackEgo> 1/2:ocean//The Pacific Ocean is half the world and surrounded by fire. The Atlantic Ocean is less cool than its giant underwater mountain range. The Arctic Ocean is cold. The Indian Ocean is full of typhoons and non-Eurocentric shipping. \ hexchat//Hexchat is a variant of Smalltalk invented in Hexham. \ icbm//ICBMs are Crumbling Building Miss
02:51:48 <HackEgo> `4 <cmd> is equivalent to `5 <cmd>, except that it only repeats 4 times. Useful when you've already run a command forgetting to use `5.
02:51:55 <HackEgo> `5 <cmd> is equivalent to repeating `` <cmd> 5 times, then splitting the output into irc-sized pieces. <cmd> defaults to "quote". See `1, `4 and `spam. Confusingly _not_ the obvious generalization of `2.
02:51:58 <HackEgo> The 1 is just for disambiguation.
02:52:02 <HackEgo> `1 <cmd> is equivalent to `` <cmd>, except that it splits the output into irc-sized pieces. The next pieces can be viewed with `spam. See also `2. Confusingly the obvious generalization of `4.
02:52:14 <HackEgo> #!/bin/sh \ if [ $(date +%Y) = "$(basename "$0")" ] \ then echo "Hello, world!" \ fi
02:53:11 <shachaf> `le////rn `2017//Not confusingly not the obvious generalization of `1.
02:53:13 <HackEgo> Learned '`2017': Not confusingly not the obvious generalization of `1.
03:02:28 -!- ATMunn has quit (Quit: See ya! o/).
03:22:04 <shachaf> Cale: Man, query language design is tricky.
03:22:47 -!- MDude has changed nick to MDream.
04:15:31 -!- `^_^v has joined.
04:20:13 -!- augur has quit (Remote host closed the connection).
04:45:57 -!- `^_^v has quit (Quit: This computer has gone to sleep).
04:48:00 -!- augur has joined.
04:56:35 -!- sleffy has quit (Ping timeout: 240 seconds).
05:19:19 -!- doesthiswork has quit (Quit: Leaving.).
05:58:50 -!- jaboja has joined.
06:03:40 -!- Antoxyde has joined.
06:25:02 -!- adu has quit (Quit: adu).
06:28:56 -!- jaboja has quit (Ping timeout: 246 seconds).
06:39:38 -!- Antoxyde has quit (Remote host closed the connection).
07:09:22 -!- erkin has joined.
07:38:32 -!- MrBismuth has joined.
07:42:22 -!- MrBusiness has quit (Ping timeout: 264 seconds).
08:36:30 -!- AnotherTest has joined.
08:37:20 -!- MDream has quit (Ping timeout: 255 seconds).
09:21:59 -!- jaboja has joined.
10:02:24 -!- adu has joined.
10:07:10 -!- adu has quit (Client Quit).
10:14:33 -!- augur has quit (Remote host closed the connection).
10:21:45 -!- tromp has quit (Remote host closed the connection).
10:23:17 -!- tromp has joined.
10:53:41 -!- jaboja has quit (Ping timeout: 240 seconds).
11:01:04 -!- tromp has quit (Remote host closed the connection).
11:05:25 -!- augur has joined.
11:16:00 -!- tromp has joined.
11:18:00 -!- augur has quit (Remote host closed the connection).
12:12:07 <b_jonas> I still don't understand what's with people and bitfields.
12:13:21 <b_jonas> People write all sorts of hundred file long macro packages for doing trivial operations you could do with just two &|^ bitwise ops and a shift. A lot of people try to do this for some reason. In C++ too, but also in other languages (that also have bit operations on arithmetic already trivially available). What the HECK is up with people?
12:14:15 <b_jonas> What's SO wrong with just int stuff(int flags, ...) { if (flags & 1) { ... } else { ... } } that you need deep such abstractions for it
12:15:58 <b_jonas> that eventually you can't just write stuff(0, ...); but have to write stuff(CONSTRUCT_BITFIELD(stuffmodule::stuff::argument::flags, flags = FLAGS({ stuffmodule::stuff::argument::flags::backwardsflag = (boolean)FALSE, defaults })), ...); and some similarly horrible syntax inside the function implementation
12:25:13 <int-e> @ask lambdabot how do you feel about moving back to NL?
12:26:55 -!- deltab has quit (Ping timeout: 240 seconds).
12:29:19 <FireFly> @can lambdabot still do this? I forget
12:47:17 <int-e> FireFly: https://github.com/lambdabot/lambdabot/commit/883f1107abc5029e668ef1b677ed0758292977f7 ... the joke had grown old.
12:47:31 <FireFly> Yeah, I thought it was removed, just checking :p
12:47:47 <FireFly> not necessarily disagreeign
12:47:51 <int-e> it's still in the hackage version anyway.
13:18:36 -!- augur has joined.
13:22:55 -!- augur has quit (Ping timeout: 248 seconds).
13:37:52 -!- `^_^v has joined.
13:40:05 -!- tromp has quit (Ping timeout: 240 seconds).
13:49:03 -!- MDude has joined.
14:00:31 -!- doesthiswork has joined.
14:06:43 <b_jonas> I just reported a bug in a tracker about a day selection input calendar popdown widget in a browser-based interface. I'm clicking on a day in the calendar and the interface chooses a different day one month after that instead. This seems repeatable.
14:06:57 <b_jonas> I sent two screenshots and a description.
14:07:28 -!- tromp has joined.
14:07:57 <b_jonas> I mean, I've reported stupid bugs before, like back ten years ago when dc -e "" segfaulted (or something like that, I'm not sure)
14:13:57 -!- ATMunn has joined.
14:35:04 -!- `^_^v has quit (Quit: This computer has gone to sleep).
14:39:54 -!- J_Arcane has joined.
14:43:24 -!- Guest28588 has changed nick to ^arcade_droid.
14:43:32 -!- ^arcade_droid has quit (Changing host).
14:43:32 -!- ^arcade_droid has joined.
14:44:53 -!- deltab has joined.
14:50:50 -!- zseri has joined.
15:14:39 -!- ATMunn has quit (Quit: ¯/_(ツ)_\¯).
15:22:05 -!- pikhq has quit (Ping timeout: 240 seconds).
15:22:29 -!- LKoen has quit (Remote host closed the connection).
15:30:57 -!- Sgeo_ has joined.
15:33:03 -!- Sgeo has quit (Ping timeout: 248 seconds).
15:50:59 -!- augur has joined.
16:02:28 -!- augur has quit (Remote host closed the connection).
16:06:37 -!- LKoen has joined.
16:43:13 -!- Antoxyde has joined.
16:50:47 -!- augur has joined.
16:55:12 -!- SoniEx2 has joined.
16:55:30 -!- MrBusiness3 has joined.
16:55:30 -!- Soni has quit (Excess Flood).
16:56:03 -!- MrBismuth has quit (Ping timeout: 246 seconds).
17:17:10 -!- AnotherTest has quit (Ping timeout: 264 seconds).
17:39:37 -!- ATMunn has joined.
18:00:14 -!- doesthiswork has quit (Quit: Leaving.).
18:03:41 -!- sleffy has joined.
18:07:21 -!- jaboja has joined.
18:10:37 -!- augur has quit (Remote host closed the connection).
18:18:48 -!- AnotherTest has joined.
18:39:30 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
18:43:12 -!- FreeFull has quit.
19:01:31 -!- tromp has quit (Remote host closed the connection).
19:14:31 <shachaf> Cale: Why are contravariant functors so popular?
19:16:19 -!- LKoen has quit (Remote host closed the connection).
19:18:02 -!- ATMunn has quit (Quit: bbl).
19:27:47 -!- imode has joined.
19:27:58 -!- FreeFull has joined.
19:32:32 -!- Antoxyde has quit (Remote host closed the connection).
19:34:12 -!- tromp has joined.
19:38:48 -!- tromp has quit (Ping timeout: 240 seconds).
19:51:05 -!- tromp has joined.
20:02:07 -!- pikhq has joined.
20:16:01 <HackEgo> [wiki] [[XTW]] https://esolangs.org/w/index.php?diff=53080&oldid=53078 * Zseri * (+185) new operator ~
20:23:49 <HackEgo> [wiki] [[Talk:Point operator]] N https://esolangs.org/w/index.php?oldid=53081 * Rdebath * (+343) /* Workable point operator. */ new section
20:24:40 -!- `^_^v has joined.
20:31:22 -!- MrBusiness3 has quit (Quit: https://www.youtube.com/watch?v=xIIqYqtR1lY -- Suicide is Painless - Johnny Mandel).
20:37:45 <HackEgo> [wiki] [[Tick]] https://esolangs.org/w/index.php?diff=53082&oldid=50772 * Rdebath * (+54) TrivialBrainfuckSubstitution
20:44:39 -!- LKoen has joined.
21:05:56 -!- `^_^v has quit (Quit: This computer has gone to sleep).
21:08:10 -!- tromp has quit (Remote host closed the connection).
21:12:02 -!- adu has joined.
21:12:02 -!- adu has quit (Client Quit).
21:28:48 -!- tromp has joined.
21:32:40 <Cale> shachaf: Because you take what you can get, and there are a lot of accidental ones which happen to change the direction of the arrows
21:33:32 <shachaf> Cale: There's this discussion on the categories mailing list where they talk about the joke that covariant functors should be thought of as contravariant functors on the opposite category.
21:33:48 <Cale> I don't know about that
21:33:48 <shachaf> Which is only a sort of joke?
21:34:01 <Cale> Well, you have Yoneda as well
21:34:07 <shachaf> Anyway I often see people taking two abstract categories C and D, and saying "let F be a contravariant functor from C to D"
21:36:05 <Cale> It obviously doesn't make so much difference when the categories are perfectly abstract
21:37:40 <Cale> There are all these branches of mathematics and the direction of the arrows in their respective categories is somewhat an accident of how we managed to define the relationships we wanted to talk about using functions.
21:39:45 <* Taneb> now owns a copy of Introduction to the Theory of Numbers
21:39:51 <Taneb> Now I can finally figure out what a number is
21:46:22 <Taneb> At least in theory
21:51:12 <Cale> Or at least asymptotically
21:58:15 <shachaf> I guess presheaves are contravariant for some reason.
21:58:23 <shachaf> Is it fundamental or is it a coincidence?
21:58:47 <shachaf> "I always tell my students that since category theory reduces all of mathematics to the study of arrows, and the only mistake you can make with an arrow is to get confused about which way it's pointing, they should expect to spend many hours confused about exactly this."
22:07:16 -!- Deewiant has quit (Remote host closed the connection).
22:07:37 -!- Deewiant has joined.
22:10:34 -!- jaboja has quit (Remote host closed the connection).
22:16:25 <zzo38> Now I made up word game on MIX computer
22:22:58 -!- MrBusiness has joined.
22:32:50 -!- imode has quit (Ping timeout: 246 seconds).
22:35:06 -!- zseri has quit (Quit: Leaving).
22:54:07 -!- sleffy has quit (Ping timeout: 248 seconds).
22:57:22 -!- augur has joined.
22:59:48 -!- ATMunn has joined.
23:29:37 -!- 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:45:27 -!- AnotherTest has quit (Ping timeout: 260 seconds).