00:35:24 -!- oerjan has joined.
00:36:06 -!- sprocklem has joined.
00:54:08 -!- hppavilion[1] has joined.
01:30:39 <HackEgo> 1/1:something//Something is rotten in the state of Denmark. \ inventory//An inventory is a collection of inventions. \ lambdabot//lambdabot is a fully functional bot. just don't ask about @src. or the neighbours. \ sober space//Sober spaces are the dual of Stoned spaces. Taneb invented them. \ iiuc//iiuc i understand iiuc correctly.
01:30:40 <HackEgo> 1/1:something//Something is rotten in the state of Denmark. \ inventory//An inventory is a collection of inventions. \ lambdabot//lambdabot is a fully functional bot. just don't ask about @src. or the neighbours. \ sober space//Sober spaces are the dual of Stoned spaces. Taneb invented them. \ iiuc//iiuc i understand iiuc correctly.
01:31:19 <HackEgo> Tanebventions include necessity, Go, submarine jousting, Fueue, the universe, special relativity, metar, sand, dragons, persistence, the BBC, _46bit, progress, sanity, Italian, the grace period, the Oxford comma, and this sentence. See also tanebventions: maths or tanebventions: foods. He never invents anything involving sex.
01:31:41 <boily> `? tanebventions: maths
01:31:42 <HackEgo> Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, string diagrams, linear logic, the reals, Lambek's lemma, Curry's paradox, Stone spaces, algebraic geometry, locales, and histograms.
01:31:45 <boily> `? tanebventions: foods
01:31:46 <HackEgo> Culinary tanebventions include automatic squirrel feeders, weetoflakes, mushrooms, nutella, and cognac.
01:32:39 <HackEgo> The grace period was invented by Taneb to give him more time to invent the Oxford comma.
01:32:53 <HackEgo> special relativity? ¯\(°_o)/¯
01:33:02 <shachaf> Taneb: did you also invent general relativity twh
01:33:34 -!- tromp has quit (Remote host closed the connection).
01:35:24 -!- boily has quit (Quit: LIEUTENANT CHICKEN).
01:48:20 -!- shikhin has quit (Quit: Alas.).
01:48:57 -!- shikhin has joined.
01:49:10 -!- tromp has joined.
01:53:27 -!- tromp has quit (Ping timeout: 240 seconds).
02:00:16 <oerjan> `` dowg tanebvention | grep relativ
02:00:42 <HackEgo> 9258:2016-10-13 <shachäf> slwd tanebvention//s#the triverse#special relativity#
02:01:13 -!- hppavilion[1] has quit (Remote host closed the connection).
02:01:17 <oerjan> `slwd tanebvention//s;special relativity, ;;
02:01:22 <HackEgo> tanebvention//Tanebventions include necessity, Go, submarine jousting, Fueue, the universe, metar, sand, dragons, persistence, the BBC, _46bit, progress, sanity, Italian, the grace period, the Oxford comma, and this sentence. See also tanebventions: maths or tanebventions: foods. He never invents anything involving sex.
02:01:33 <oerjan> the grace period is over hth
02:02:03 -!- hppavilion[1] has joined.
02:02:29 <HackEgo> the oxford comma? ¯\(°_o)/¯
02:02:37 <HackEgo> oxford//Oxford is the home of English, woven shirts, and the serial comma.
02:03:06 <oerjan> `` dowg tanebvention | grep comma
02:03:16 <HackEgo> 9222:2016-10-10 <shachäf> slwd tanebvention//s#and#the Oxford comma, and#
02:03:54 <HackEgo> 9856:2016-12-05 <oerjän> slwd grace period//s,/,, \ 9855:2016-12-05 <oerjän> le/rn grace period//The grace period was invented by Taneb to give him more time to invent the Oxford comma.
02:04:27 <oerjan> `slwd tanebvention//s;the Oxford comma, ;;
02:04:32 <HackEgo> tanebvention//Tanebventions include necessity, Go, submarine jousting, Fueue, the universe, metar, sand, dragons, persistence, the BBC, _46bit, progress, sanity, Italian, the grace period, and this sentence. See also tanebventions: maths or tanebventions: foods. He never invents anything involving sex.
02:04:41 -!- tromp has joined.
02:05:09 <oerjan> `le/rn_append grace period//Somehow, the time still ran out.
02:05:13 <HackEgo> Learned 'grace period': The grace period was invented by Taneb to give him more time to invent the Oxford comma. Somehow, the time still ran out.
02:06:28 <oerjan> `` dowg tanebvention | grep talian
02:06:36 <HackEgo> 11221:2017-10-11 <shachäf> slwd tanebvention//s/sanity, /&Italian, /
02:06:48 <oerjan> i suppose that grace period hasn't run out yet.
02:06:58 <shachaf> Why would I have done that?
02:07:37 <oerjan> i don't remember, was Taneb learning it?
02:08:43 <oerjan> `learn Italian is the world's most operational language. Taneb invented it.
02:08:47 <HackEgo> Learned 'italian': Italian is the world's most operational language. Taneb invented it.
02:08:51 -!- tromp has quit (Ping timeout: 240 seconds).
02:15:33 <oerjan> `slwd italian//s,.$, as a form of scat singing.,
02:15:35 <HackEgo> italian//Italian is the world's most operational language. Taneb invented it as a form of scat singing.
02:16:26 -!- sleffy has quit (Ping timeout: 276 seconds).
02:18:48 <shachaf> `slwd tanebventions//s/special/general/
02:22:00 -!- contrapumpkin has joined.
02:49:12 -!- tromp has joined.
02:53:43 -!- tromp has quit (Ping timeout: 260 seconds).
03:25:01 -!- tromp has joined.
03:26:40 -!- Naergon has quit (Ping timeout: 268 seconds).
03:30:21 -!- tromp has quit (Ping timeout: 264 seconds).
03:32:35 -!- sleffy has joined.
03:55:04 -!- tromp has joined.
04:06:56 -!- tromp has quit (Ping timeout: 276 seconds).
04:33:36 -!- tromp has joined.
04:37:51 -!- tromp has quit (Ping timeout: 240 seconds).
05:12:43 <oerjan> next up in girl genius: a very destructive kid in a candy store
05:41:42 -!- tromp has joined.
05:46:41 -!- tromp has quit (Ping timeout: 248 seconds).
05:57:26 -!- oerjan has quit (Quit: Nite).
06:12:06 -!- shikhin has quit (Ping timeout: 246 seconds).
06:13:02 -!- Lord_of_Life has quit (Ping timeout: 276 seconds).
06:14:13 -!- shikhin has joined.
06:18:22 -!- tromp has joined.
06:20:11 -!- shikhin has quit (Ping timeout: 276 seconds).
06:21:08 -!- shikhin has joined.
06:22:37 -!- tromp has quit (Ping timeout: 256 seconds).
06:27:12 -!- hppavilion[0] has joined.
06:29:51 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
06:34:58 -!- LKoen has joined.
06:48:02 -!- tromp has joined.
06:51:45 -!- doesthiswork has quit (Quit: Leaving.).
06:52:03 -!- Lord_of_Life has joined.
06:52:39 -!- tromp has quit (Ping timeout: 256 seconds).
07:16:11 -!- tromp has joined.
07:31:29 -!- 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.”).
08:16:53 -!- sprocklem has quit (Ping timeout: 260 seconds).
08:17:19 -!- variable has quit (Quit: /dev/null is full).
08:20:03 -!- variable has joined.
08:24:33 -!- hppavilion[0] has quit (Ping timeout: 248 seconds).
08:41:34 -!- sprocklem has joined.
08:53:01 -!- augur_ has quit (Remote host closed the connection).
08:53:38 -!- augur has joined.
09:05:09 -!- augur has quit (Ping timeout: 264 seconds).
09:45:47 -!- SopaXorzTaker has joined.
09:47:46 -!- imode has quit (Ping timeout: 268 seconds).
09:51:53 -!- AnotherTest has joined.
10:26:33 -!- boily has joined.
10:28:27 -!- sleffy has quit (Ping timeout: 240 seconds).
10:59:56 -!- boily has quit (Quit: ANIMATED CHICKEN).
11:02:50 <int-e> http://int-e.eu/~bf3/tmp/huh....png <-- what a USEFUL error message
11:22:54 -!- Lord_of_Life has quit (Changing host).
11:22:55 -!- Lord_of_Life has joined.
11:22:55 -!- Lord_of_Life has quit (Changing host).
11:22:55 -!- Lord_of_Life has joined.
11:50:16 -!- ais523_ has joined.
11:50:25 -!- ais523_ has changed nick to ais523.
11:50:34 <lambdabot> You have 1 new message. '/msg lambdabot @messages' to read it.
11:50:39 <lambdabot> wob_jonas said 3d 14h 8m 50s ago: they are printing a center rules text only Llanowar Elves. https://magic.wizards.com/en/articles/archive/news/promos-dominaria-2018-03-22 says so.
11:50:42 -!- ais523 has changed nick to ais523_.
11:51:02 -!- AnotherTest has quit (Ping timeout: 276 seconds).
12:11:13 -!- AnotherTest has joined.
12:18:52 <esowiki> [[RAM0]] https://esolangs.org/w/index.php?diff=54505&oldid=54467 * Ais523 non-admin * (-32) /* Computational class */ the I/D machine has proven computational class, even if 3*P doesn't
12:33:52 -!- ais523_ has quit (Quit: quit).
13:02:06 <int-e> "even if 3*P doesn't" <-- can't parse.
13:03:48 <int-e> (3*P is not a mathematical expression, it's an acronym.)
13:08:28 -!- AnotherTest has quit (Ping timeout: 276 seconds).
13:15:57 -!- AnotherTest has joined.
13:16:39 <izabera> what word was it acronyming?
13:19:55 <int-e> Three Star Programmer
13:46:49 -!- AnotherTest has quit (Ping timeout: 276 seconds).
14:48:23 -!- tromp has quit (Remote host closed the connection).
14:51:35 -!- AnotherTest has joined.
15:02:45 -!- wladz has quit (Ping timeout: 264 seconds).
15:03:03 -!- wob_jonas has joined.
15:03:56 <wob_jonas> Why does my bank turn my email address all uppercase? Isn't that semantically unsafe, because the username part can be case sensitive? They're risking to send spam to the wrong postbox this way.
15:09:51 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
15:14:29 <int-e> Yes... though making local parts case sensitive is discouraged, at least: "While the above definition for Local-part is relatively permissive, for maximum interoperability, a host that expects to receive mail SHOULD avoid defining mailboxes where the Local-part requires (or uses) the Quoted-string form or where the Local-part is case-sensitive."
15:14:35 -!- MDude has quit (Ping timeout: 276 seconds).
15:17:26 <wob_jonas> though I don't know what that's supposed to interoperate with. is that just so it's easier to punch my email address to five-bit telegraph tape?
15:17:51 <wob_jonas> or to use my email address as part of a filename on a case-insensitive file system?
15:19:21 <int-e> banks that randomly store all text IN UPPER CASE.
15:21:20 <wob_jonas> For some data that makes sense. For example, they store my name in all uppercase because that's already how it's printed on most of the government-issued ID cards they see.
15:22:04 <wob_jonas> I don't know why those ID cards do that these days, mind you.
15:22:12 <int-e> wob_jonas: I mean, the bank is doing it wrong, but it will probably almost never break in practice.
15:22:40 <wob_jonas> int-e: sure it won't break, they're only using that email address for spam, who cares if I don't get the spam
15:23:49 -!- Lord_of_Life has joined.
15:24:36 <wob_jonas> For urgent official communications, they need my postal address; other things I can just read when I log into the internet bank interface. Mind you, they also uppercase the postal address, which is also strange, but whatever.
15:25:23 -!- doesthiswork has joined.
15:29:09 -!- brandonson has quit (Ping timeout: 264 seconds).
15:30:27 -!- brandonson has joined.
15:33:50 -!- LKoen has joined.
15:46:35 -!- tromp has joined.
15:47:40 -!- tromp has quit (Remote host closed the connection).
15:48:32 -!- tromp has joined.
16:03:14 -!- Lord_of_Life has quit (Excess Flood).
16:08:13 -!- sprocklem has quit (Ping timeout: 260 seconds).
16:09:59 -!- sprocklem has joined.
16:10:05 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
16:20:43 -!- Lord_of_Life has joined.
16:47:59 -!- sleffy has joined.
16:48:45 -!- MDude has joined.
16:57:36 * Taneb just got caught in a hail shower
16:57:58 <Taneb> I took it as a sign I should work a bit later tonight
17:02:00 <int-e> surf the interwebs
17:06:35 <Taneb> int-e: more or less what I'm doing
17:22:52 -!- hppavilion[1] has joined.
17:45:14 -!- LKoen has quit (Remote host closed the connection).
17:59:13 -!- Phantom_Hoover has joined.
18:08:06 -!- erkin has joined.
18:29:21 -!- sprocklem has quit (Ping timeout: 248 seconds).
18:33:21 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
19:01:15 -!- sprocklem has joined.
19:10:46 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
19:11:19 -!- Phantom_Hoover has joined.
19:11:19 -!- Phantom_Hoover has quit (Changing host).
19:11:19 -!- Phantom_Hoover has joined.
19:14:58 -!- imode has joined.
19:20:30 -!- hppavilion[1] has joined.
19:21:01 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...).
19:37:32 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
19:44:42 -!- SopaXorzTaker has quit (Remote host closed the connection).
19:52:03 <esowiki> [[NoRAL]] https://esolangs.org/w/index.php?diff=54506&oldid=54068 * DMC * (+65) /* The Instruction set */
19:57:21 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
19:59:44 -!- hppavilion[1] has joined.
20:33:41 <esowiki> [[NoRAL]] M https://esolangs.org/w/index.php?diff=54507&oldid=54506 * DMC * (-1) /* The Instruction set */
20:35:46 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
20:36:59 -!- sleffy has quit (Ping timeout: 276 seconds).
20:56:01 -!- hppavilion[1] has joined.
21:10:50 -!- LKoen has joined.
21:52:20 -!- AnotherTest has quit (Ping timeout: 255 seconds).
22:04:34 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
22:14:21 -!- boily has joined.
22:18:44 -!- sleffy has joined.
22:20:58 -!- sprocklem has quit (Ping timeout: 260 seconds).
22:53:20 <HackEgo> 1/3:lifespan//Your lifespan is how fat you are in the time dimension. The temporally fattest person in the world has a temporal length of 122 years. Interestingly, the fatter you are in space, the less fat you tend to be in time. \ rea//The Rea is the river flowing through Birmingham. It is jealous of the other rivers having four letters. \ ap
22:53:22 <HackEgo> 2/3:t//APT is a technical term in cyber witchcraft, short for "adequate pernicious toe-rags". \ chess//Chess is a complex boardgame, where players exchange unclear royal steaks until they decide which of them has lost. The game is recorded through the Gringmuth Moving Pineapple Notation. \ possibility//If possibility did not exist, it would no
22:53:24 <HackEgo> 3/3:t be possible for Taneb not to invent it.
22:54:37 <boily> `` grep -EIi '\btoe\b' wisdom/*
22:55:22 <HackEgo> grep: wisdom/¯\_(ツ)_: Is a directory \ grep: wisdom/8: Is a directory \ grep: wisdom/biweekly: Is a directory \ grep: wisdom/le: Is a directory
22:57:38 <moony> There is apparently an esoteric language based on fetishes. wtf
22:57:48 <boily> screw directories.
22:57:56 <boily> mhelloony! which one?
22:58:07 <moony> it's even on esolangs.org
22:59:38 <moony> http://esolangs.org/wiki/Fetlang
23:00:36 <boily> eh, as far as esolangs go, it's not so bad!
23:01:22 <boily> TC, ref implementation and examples on github, not a bfderivative...
23:02:58 -!- hppavilion[1] has joined.
23:05:46 -!- heroux has quit (Ping timeout: 264 seconds).
23:20:18 -!- 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:27:43 -!- oerjan has joined.
23:36:27 <esowiki> [[CJam-Flavored Underload]] https://esolangs.org/w/index.php?diff=54508&oldid=53158 * Challenger5 * (+0) I can't count
23:40:29 -!- MDude has quit (Read error: No route to host).
23:41:12 -!- MDude has joined.
23:45:49 -!- sprocklem has joined.
23:51:12 <fizzie> Taneb: Misread that as a "hair shower", so could be worse.
23:51:38 <fizzie> "A demonic ziggurat. That’s wrong on so many levels."
23:52:55 <HackEgo> ysaclist (73): boily shachaf