00:03:03 I'd like a program where if I input the size, weight, destination, and extra services I need for my package, it tells me the cheapest way to buy delivery from the post, because sometimes there are like six different possibilities you have to check. 00:03:54 There's a choice that is worth for very small but heavy packages, such as small booklets. 00:41:39 -!- hppavilion[1] has joined. 00:42:10 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 00:43:23 -!- hppavilion[0] has joined. 00:46:49 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 01:14:13 -!- hppavilion[0] has quit (Read error: Connection reset by peer). 01:22:09 -!- hppavilion[1] has joined. 02:05:38 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 02:09:04 -!- hppavilion[1] has joined. 02:37:33 wob_jonas: is that option also worth it for shipping lead (the metal)? 03:10:49 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:35:35 hellørjan! I wasn't idling. la la la la la ♪ 03:36:55 also, can I wobble jonas too? 03:40:47 `? flabberghast 03:41:07 flabberghast? ¯\(°​_o)/¯ 03:42:36 `learn Flabberghast is the recurring hunting one gets after too indulgent feast where one partook too liberaly 03:42:45 Learned 'flabberghast': Flabberghast is the recurring hunting one gets after too indulgent feast where one partook too liberaly 03:43:07 `? maze 03:43:09 maze? ¯\(°​_o)/¯ 03:44:22 . o O ( look at my horse, my horse is amazing ♪ ) 03:47:27 `learn Maze is so A-Maze-ing that you can not find the exit easily. Truely an labyrithn of limtlessness. 03:47:34 Learned 'maze': Maze is so A-Maze-ing that you can not find the exit easily. Truely an labyrithn of limtlessness. 03:47:46 * oerjan thinks Zarutian needs a spell checker. 03:48:40 `learn Maze is so A-Maze-ing that you can not find the exit easily. Truely an labyrithn of limitlessness. 03:48:49 Relearned 'maze': Maze is so A-Maze-ing that you can not find the exit easily. Truely an labyrithn of limitlessness. 03:49:45 `? tab 03:49:46 tab? ¯\(°​_o)/¯ 03:50:37 `learn Tab is both a computer keyboard key and a soda pop brand. 03:50:41 Learned 'tab': Tab is both a computer keyboard key and a soda pop brand. 03:51:03 `? Zen 03:51:04 boily: how you can you wobble him when you're as flat as a pancake tmns also you must be idling because you aren't mapoling. 03:51:05 Zen? ¯\(°​_o)/¯ 03:51:59 oerjan: point. point. 03:52:00 `? Advertisement 03:52:11 Advertisement? ¯\(°​_o)/¯ 03:52:46 `wisdom advert 03:52:51 That's not wise. 03:53:04 -!- Sgeo has quit (Read error: Connection reset by peer). 03:53:51 `wisdom 03:53:53 philosophy//Philosophy is at the root of everything. 03:54:28 `slwd philosophy//s/\./ that is not parenthetical./ 03:54:30 -!- Sgeo has joined. 03:54:32 philosophy//Philosophy is at the root of everything that is not parenthetical. 03:54:36 `learn Advertisement starts: have you heard about this hip and froopy 'net place called #esoteric? It is on freenode. Brought to you by The Board of Timeskewed Advertiesements. 03:54:39 Learned 'advertisement': Advertisement starts: have you heard about this hip and froopy 'net place called #esoteric? It is on freenode. Brought to you by The Board of Timeskewed Advertiesements. 03:55:49 * oerjan refrains from judgement. AUM. 03:56:42 AUM? 03:56:45 `? Auction 03:56:47 Auction? ¯\(°​_o)/¯ 03:57:10 boily: aka OM. 03:57:21 Out of Memory? 03:57:28 (padme mani hum) 03:58:17 `learn Auction is going once... going twice... gone to the cowled entity in the corner for six trillion zorkmids. 03:58:21 Learned 'auction': Auction is going once... going twice... gone to the cowled entity in the corner for six trillion zorkmids. 03:58:43 * oerjan should perhaps not refrain from eating. everything in moderation, as the Buddha approximately said. 03:58:43 -!- Frooxius has left ("*bubbles away*"). 04:00:10 `? zorkmid 04:00:12 zorkmid? ¯\(°​_o)/¯ 04:00:18 * oerjan wonders if these are all references to something 04:01:17 `? reference 04:01:19 reference? ¯\(°​_o)/¯ 04:01:45 `learn reference is dangling, sorry. 04:01:49 Learned 'reference': reference is dangling, sorry. 04:02:42 @messages-loud 04:02:42 oerjan said 12h 54m 34s ago: I don't think there's any harm in saying that one undefined expression is equal to another... is there? <-- the question is whether you can prove something 04:02:43 false about defined stuff by going through undefined intermediates. e.g. if you allow 0/0 = a because the left side is undefined... 04:02:43 oerjan said 12h 50m 59s ago: what's more, because your mind is predisposed to ignore options that are not supposed to be used, it's easy to miss cases when convincing yourself your system is 04:02:43 consistent in general. 04:04:02 oerjan: naah, just me decreasing my wisdom and increasing HackEgos 04:04:38 oerjan: well, that's why I said "that one undefined expression is equal to another". I'd try to be careful only to allow 0/0 = a in cases where the RHS is also an undefined expression. 04:04:50 What distortions have I missed? I think I missed perspective distortion, but I would want to know how that should be implemented, and I should also need an improved resampling method that is useful for larger or smaller or rotated and regardless of that, somehow. 04:05:06 I'm thinking, though, maybe I should exclude "junk" cases like this even if they do seem harmless. 04:05:09 -!- Zarutian has quit (Quit: Zarutian). 04:05:14 tswett: OKAY 04:05:54 If it's possible to make some judgements, but not others, about undefined stuff, that kind of pollutes the system. 04:13:06 oerjan: are you vegetarian? 04:13:26 nope 04:13:30 * oerjan points at shachaf 04:17:54 <\oren\> a recruiter from blody serbia? 04:17:55 ? 04:18:13 -!- Nithogg has quit (Ping timeout: 260 seconds). 04:21:29 -!- carado has quit (Ping timeout: 260 seconds). 04:23:28 ? 04:28:11 -!- LoboVerde has joined. 04:34:28 `relcome LoboVerde 04:34:37 ​LoboVerde: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 04:36:50 `relcome HackEgo 04:36:52 ​HackEgo: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 04:40:45 -!- oerjan has quit (Quit: Nite). 04:58:40 -!- boily has quit (Quit: MUNDANE CHICKEN). 05:17:42 <\oren\> hmm, when did QC stop being about indie music culture and start being about transhumanism? 05:19:38 <\oren\> and/or cyberpunk 05:20:00 \oren\: Long long ago. 05:55:29 boooored 05:56:50 Oi wil naw spik Ingli$ in ae difr'nt wae 05:58:34 What time zone has time as a complex number? 05:59:11 all of them hth 05:59:18 +i 05:59:23 `addquote What time zone has time as a complex number? 05:59:33 1304) What time zone has time as a complex number? 05:59:35 I live in the +i time zone 05:59:56 at the moment it's nearing i+6:00 06:00:24 alercah: I mean one that isn't a real number. 06:00:57 oh. 06:01:10 so regular complex numbers are boring, what about quaternion time? 06:01:27 it's 4+3i+5j+8k:00 in the morning. 06:02:17 boreeeeeed 06:10:53 Now I added the support for custom character mapping into ff-text so that for example you can use this picture http://www.imagemagick.org/Usage/images/font.gif or you can use chess icons 06:11:27 ff-ff 06:11:53 Which is what? 06:14:14 You can then use ff-composite to place the chess icons on the background of chess board. 06:18:19 -!- augur has joined. 06:19:45 You can write the sed program to convert FEN into the command-line arguments (with the `...` shell operator) for use with ff-text: s/1/-/g;s/2/--/g;s/3/---/g;s/4/----/g;s/5/-----/g;s/6/------/g;s/7/--------/g;s./. .g 06:20:01 (It doesn't change the 8 but it is unnecessary.) 06:31:11 What is the largest possible number of legal moves in any one position in chess? 06:35:11 zzo38: some quick research shows that the largest example someone has found without promotion is 181, with is 218 06:35:34 the most in an actual game is 79 for one side 06:37:09 OK 06:38:12 -!- Calcaware has joined. 06:38:40 Hello Esolang! 06:39:18 assuming condition { stuff } 06:40:05 How do I get one of my languages on the esolang wiki? 06:40:21 Calcaware: You create an account and then follow the instructions it tell you to do so. 06:41:01 Thank you. I didn't see the options outside of the home page like most sites. 06:41:54 what would that do? 06:42:20 nobody? 06:42:21 booored 06:42:33 rdococ: Maybe optimize the program to cause undefined behaviours if the condition is not true 06:43:14 If the largest is 218 then it mean that the move recording can fit one byte per move. But you may even use smaller number of bits, and possibly to use Huffman codes biased by the opening books maybe. We can see, what way will work better? 06:44:26 assuming zzo38 > 38 { say hello } 06:44:28 goodbye 06:45:35 idk 06:45:46 Which number does this Befunge code output: 9860088716>\#+:#*9-#\_$.@ I keep getting 374426600. Apparently I am wrong. 06:48:36 [wiki] [[Special:Log/newusers]] create * Calcaware * New user account 06:49:02 Nevermind. After a tweak I got "267308324". 06:54:09 -!- Calcaware has quit (Quit: Page closed). 07:03:11 wonder how the assuming structure would work with different conditional functions. 07:04:57 To do what I mentioned, GCC does have __builtin_unreachable(), although apparently there is some bugs in it. 07:06:43 -!- PinealGlandOptic has quit (Quit: leaving). 07:08:59 hm 07:09:27 assuming I can make a programming language out of the assuming construct, I assume that I will most definitely hope that it is good, or so I assume. 07:11:10 Well, you can try. 07:11:43 What I think is that it should be made so that for example even if you write SELECT * FROM CARDS ORDER BY RANDOM() LIMIT 1; then it can automatically convert your query into the request for Gatherer's "random card" function. 07:17:11 -!- frootykook has changed nick to nookybook. 07:20:05 bored 07:21:20 Select a few random cards from Gatherer other than conventional basic lands or Un-cards and then try to make up a puzzle out of them. 07:27:01 borerod 07:27:07 have no ideas for Assume 07:27:49 I don't know either, other than what I mentioned. 07:33:28 "You eat with your left hand!" - Zeux Agem to his evil clone 07:33:29 -!- augur has quit (Remote host closed the connection). 07:34:07 -!- augur has joined. 07:38:13 -!- augur has quit (Ping timeout: 248 seconds). 07:40:44 [wiki] [[Folder]] M https://esolangs.org/w/index.php?diff=50607&oldid=43968 * Rdococ * (+38) /* Structure */ dasdas 07:51:02 Does Zeux Agem eat with his left hand too? 07:51:11 I don't think so. 07:58:36 Do you think so? 07:59:08 Well, people may be likely to eat with the same hand as their clones. 08:01:40 But, it is a mirror clone. 08:02:48 O, I didn't know that. 08:03:13 Now you know, hopefully. 08:17:00 -!- augur has joined. 08:17:01 -!- augur has quit (Remote host closed the connection). 08:27:24 -!- augur has joined. 08:28:28 -!- augur has quit (Remote host closed the connection). 08:46:16 -!- LoboVerde has left. 08:49:11 -!- augur has joined. 08:53:23 -!- augur has quit (Ping timeout: 245 seconds). 09:03:30 -!- augur has joined. 09:39:12 Is myname online I wonder? 09:41:49 -!- Nithogg has joined. 09:47:48 -!- carado has joined. 09:48:01 no 09:48:29 hppavilion[1] 09:48:33 rdococ: Clearly 09:48:48 [I opened this tab and saw the message JUST before rdococ highlighted me] 09:48:49 heh 09:50:06 rdococ: The esolangs page for Folder assumes the user's gender 09:50:26 ? 09:50:54 rdococ: 'This is a good thing, because cutscenes in a game can be annoying, and if the user knows what's happening, he can skip them. ' 09:51:04 yep 09:51:08 rdococ: OOooh! You know what'd be really fun‽ 09:51:26 "the user" here refers to a male figure... doesn't mean it doesn't apply to females too 09:52:01 sexist programming language? there would be "male" and "female" objects, and some operations would be exclusive to either 09:53:00 * hppavilion[1] wants to tell rdococ what would be fun 09:53:23 WHAT? 09:54:06 rdococ: Don't format. Formatting is annoying and nobody ever uses it (except in wisdom) 09:54:19 rdococ: (1) Take folder, which is good for simple tbRPGs 09:54:19 uh... 09:54:22 when did I format anything? 09:54:38 rdococ: Just now with 'WHAT?' 09:54:48 except when I wiped the HDD and installed Debian, but how is that your business? 09:54:49 rdococ: (2) Generalize it to be better for more complicated tbRPGs 09:55:07 (3) funnily this is the idea for my new language 09:55:22 but "When" is taken 09:55:23 rdococ: (3) Use the generalized form of Folder and map it back into a normal folder tree on a normal computer 09:55:41 depends how you generalize it tho. 09:56:09 if you say, give a Folder derivative variables you'd end up with a higher computational class 09:56:10 rdococ: Yeah, but still. Absurdly complicated Folder variant as normal directory navigation 09:56:16 Sounds annoying, right? :D 09:56:27 idk how I'd do that... 09:56:30 can you? 09:56:40 rdococ: Do what? 09:56:50 Out of the last 10 messages 09:56:52 * rdococ gives hppavilion[1] special permission to perform the steps he enumerated 09:57:05 okay, wait 09:57:14 * hppavilion[1] freezes in time 09:57:17 my idea of generalizing Folder is adding some form of numerical variable. 09:57:36 that, would increase the computational class from finite state machine to at least a push down automata. 09:57:44 rdococ: That becomes tc VERY fast 09:57:55 hmm... 09:58:12 we can't have that but I'll keep it in mind as a more useful derivative of Folder. 09:58:40 An FSA with two unbounded nonnegative integers that can be INC'd or DEC'd at each step, but where trying to DEC a 0 register changes which state you go to next, is TC 09:59:13 okay wow so my generalized Folder is TC 10:00:30 what is your idea for a generalised non-TC Folder? 10:00:50 None atm 10:01:35 The benadryl is kicking in, and I'll be asleep soon 10:01:52 perhaps a RNG? 10:02:39 rdococ: How would a pseudo-ring help? 10:02:44 * hppavilion[1] collapses 11:53:53 assuming (x > 3) { x = 2 } 11:54:02 what would happen if x <= 3? error? 11:58:35 no ideas? 11:58:45 hppavilion[1], have the drugs worn off yet? 11:59:04 no? 12:16:48 -!- TieSoul has joined. 12:38:23 -!- Phantom_Hoover has joined. 12:48:55 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 12:51:58 -!- augur has quit (Remote host closed the connection). 13:22:39 -!- Lord_of_Life has quit (Excess Flood). 13:25:56 -!- Lord_of_Life has joined. 13:33:53 -!- Phantom__Hoover has joined. 13:34:17 -!- Phantom_Hoover has quit (Ping timeout: 258 seconds). 13:52:52 -!- jix has quit (Ping timeout: 260 seconds). 14:11:37 -!- TieSoul has quit (Quit: Leaving). 14:29:13 -!- Phantom__Hoover has quit (Ping timeout: 245 seconds). 14:42:45 -!- oerjan has joined. 15:13:36 `? rdococ 15:13:43 `? oerjan 15:14:04 Your wise @messages-lord fanfic oerjan is a lazy expert in future computation. Also a Glasswegian who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 15:14:11 rdococ is apparently from Budapest, but probably not. 15:14:19 HackEgo lagging? 15:14:27 frequently. 15:15:02 especially when it's been idle for a while. presumably a little gnome has to carry it out from storage. 15:15:33 you don't give that much of a budapest vibe. 15:15:50 my IP is IPv6 now tho 15:16:18 well you're cloaked, so i can't easily check. 15:16:35 I should probably change that /octagonfly to a /rdococ 15:16:49 `? hppavilion[1] 15:16:50 hppavilion[1] se describe en las notas al pie. ¿Porqué no los dos? Nadie lo sabe. No es tan cluecless. Él aspira a ser más incomprensible que esta sabiduría. 15:17:00 `learn_append rdococ Thanks to boily he is approaching permanent boredom. 15:17:07 Learned 'rdococ': rdococ is apparently from Budapest, but probably not. Thanks to boily he is approaching permanent boredom. 15:17:42 ok... 15:17:43 the logs did, however, give me a different vibe hth 15:17:49 ? 15:18:15 rdococ: you seem to say "bored" a lot lately. 15:18:33 how is it boily's fault tho 15:18:37 `? boily 15:18:40 ​"Only sane man" boily is monetizing a brotherhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist who helps keep the world boring. 15:18:49 Q.E.D. 15:19:50 the fireworks are starting early... 15:20:09 (it's traditional with an early firework for small children, but still...) 15:20:47 * oerjan thinks he may have miscountabled that sentence. 15:21:24 :O 15:21:36 the monster! 15:21:51 (it's only 16:21 here) 15:22:31 rdococ: (he's writing dentistry software. you may or may not think that's an improvement.) 15:23:14 Vorpal is in a similar range of work. 15:23:18 `? vorpal 15:23:20 Vorpal writes software for boring machines. Really big ones. 15:23:32 *line 15:46:08 * oerjan upvotes today's mezzacotta for sheer absurd incoherence. 15:46:31 fungot: read and learn! 15:46:32 oerjan: i'd advise against teaching snurkly anything important, though; important stuff should be described where it's used 15:46:59 -!- jix has joined. 15:47:11 fungot: no, no, that is _far_ too coherent 15:47:11 oerjan: i fnord a fnord. he's using the age old trick for feeding a function to make the ccbi debugger, what is 15:47:26 fungot: ok a bit better 15:47:27 oerjan: you can't make money selling modifications... balance. i'd think " no" checked and a ten pound block of iron. if 15:47:49 fungot: nailed it! 15:47:49 oerjan: evidently not. in a bad mood today. 15:47:56 fungot: aww. 16:11:29 -!- boily has joined. 16:13:12 perfect timing for the rate limit to kick in, too 16:13:18 yep. 16:14:06 int-ello, hellœrjan. 16:14:43 bod nilyttårsaften 16:16:27 is that a special NYE greeting? 16:18:16 yep. 16:19:01 (alas, it's one i made up, not something norwegians usually distinguish.) 16:21:29 bonne veille du jour de l'oerjan, I guess! 16:24:00 Beturgi. 16:24:49 English should use æ more. 16:25:13 It would mæk more sense than the a_e rule. 16:27:03 œ is better, nah. 16:27:13 * oerjan builds a fence around the spelling reformers, with a sign "DO NOT FEED" 16:31:54 * rdococ breaks the fence with careful application of communism 16:32:39 * oerjan paralyzes rdococ by explaining the mess that is russian spelling. 16:33:08 * rdococ breaks the paralysis by mentioning Russian swear words 16:34:03 * boily mapoles rdococ back into the enclosure 16:34:14 rdococ: wait. are you Russian? 16:34:19 Nyet. 16:34:32 messemble. 16:34:45 -!- Zarutian has joined. 16:36:10 if I am russian then Winders is Linux 16:37:00 * rdococ realizes boily is trying to spread boredom again 16:37:03 exciiited. 16:37:47 bored. 16:44:12 ((c)S(o)~^(c )S~:)((rd)S(o)~^~:):(S)~^(:SS)~^(*a((((S)~^)~a*^)~a*^~:)~*^~)(:**a((((:SS)~^)~a*^)~a*^~:)~*^~):(~:()~)~*^(a(:^)*~a(*()~)~*^~^):^ 16:44:17 ^ul ((c)S(o)~^(c )S~:)((rd)S(o)~^~:):(S)~^(:SS)~^(*a((((S)~^)~a*^)~a*^~:)~*^~)(:**a((((:SS)~^)~a*^)~a*^~:)~*^~):(~:()~)~*^(a(:^)*~a(*()~)~*^~^):^ 16:44:17 rdocooc rdoococ rdocooc rdocooc rdoococ rdoocooc rdococ rdoococ rdocooc rdoococ rdoococ rdocooc rdocooc rdoococ rdocooc rdococ rdoococ rdoocooc rdocooc rdoococ rdocooc rdocooc rdoococ rdoococ rdocooc rdococ rdoocooc rdocooc rdoococ rdocooc rdocooc rdoococ rdoocooc rdococ rdoococ rdocooc rdocooc rdoococ rdoococ rdocooc rdoo ...too much output! 16:45:41 >:c 16:46:56 hm 16:46:57 ^ul ((j)S(r)~^(c )S~:)((oe)S(a)~^~:):(S)~^(:SS)~^(*a((((S)~^)~a*^)~a*^~:)~*^~)(:**a((((:SS)~^)~a*^)~a*^~:)~*^~):(~:()~)~*^(a(:^)*~a(*()~)~*^~^):^ 16:46:57 oeajrrc oeaajrc oeajrrc oeajrrc oeaajrc oeaajrrc oeajrc oeaajrc oeajrrc oeaajrc oeaajrc oeajrrc oeajrrc oeaajrc oeajrrc oeajrc oeaajrc oeaajrrc oeajrrc oeaajrc oeajrrc oeajrrc oeaajrc oeaajrc oeajrrc oeajrc oeaajrrc oeajrrc oeaajrc oeajrrc oeajrrc oeaajrc oeaajrrc oeajrc oeaajrc oeajrrc oeajrrc oeaajrc oeaajrc oeajrrc oeaa ...too much output! 16:47:00 LOL 16:47:38 k one more try so I don't spam 16:47:39 ^ul ((j)S(a)~^(c )S~:)((oe)S(r)~^~:):(S)~^(:SS)~^(*r((((S)~^)~a*^)~a*^~:)~*^~)(:**r((((:SS)~^)~r*^)~r*^~:)~*^~):(~:()~)~*^(r(:^)*~r(*()~)~*^~^):^ 16:47:40 oerjaac ...bad insn! 16:47:42 ??? 16:47:59 ok that didn't count 16:47:59 ^ul ((j)S(a)~^(c )S~:)((oe)S(r)~^~:):(S)~^(:SS)~^(*r((((S)~^)~r*^)~r*^~:)~*^~)(:**r((((:SS)~^)~r*^)~r*^~:)~*^~):(~:()~)~*^(r(:^)*~r(*()~)~*^~^):^ 16:47:59 oerjaac ...bad insn! 16:48:02 ugh 16:48:23 you probably changed something wasn't just an output string... 16:48:31 *+that 16:48:35 what language even is that? 16:48:39 underload 16:48:42 oh 16:49:13 what about a language where the only logical operation is material implication 16:49:13 * Sgeo downloads Crisis General Midi 16:49:17 x => y 16:49:52 material is boring. with intuitionistic implication you can do that and still have it PSPACE-complete hth 16:50:41 uh? 16:53:27 aka the problem "is this proposition, using just variables and implication, an intuitionistic theorem?" is PSPACE-complete. 16:53:51 (i guess with material you get co-NP-complete.) 16:56:02 rdococ: a is in actual underload command, but r is not, so changing it to r in other places than where it's used just as a string gives an error. 16:56:07 *is an 16:57:39 ^ul ((j)S(r)~^(c )S~:)((oe)S(a)~^~:):(S)~^(:SS)~^(*a((((S)~^)~a*^)~a*^~:)~*^~)(:**a((((:SS)~^)~a*^)~a*^~:)~*^~):(~:()~)~*^(r(:^)*~a(*()~)~*^~^):^ 16:57:39 oeajrrc oeaa ...bad insn! 16:57:53 wait got it 16:57:54 ^ul ((j)S(r)~^(c )S~:)((oe)S(r)~^~:):(S)~^(:SS)~^(*a((((S)~^)~a*^)~a*^~:)~*^~)(:**a((((:SS)~^)~a*^)~a*^~:)~*^~):(~:()~)~*^(a(:^)*~a(*()~)~*^~^):^ 16:57:54 oerjrrc oerrjrc oerjrrc oerjrrc oerrjrc oerrjrrc oerjrc oerrjrc oerjrrc oerrjrc oerrjrc oerjrrc oerjrrc oerrjrc oerjrrc oerjrc oerrjrc oerrjrrc oerjrrc oerrjrc oerjrrc oerjrrc oerrjrc oerrjrc oerjrrc oerjrc oerrjrrc oerjrrc oerrjrc oerjrrc oerjrrc oerrjrc oerrjrrc oerjrc oerrjrc oerjrrc oerjrrc oerrjrc oerrjrc oerjrrc oerr ...too much output! 16:58:17 ^ul ((j)S(a)~^(n )S~:)((oe)S(r)~^~:):(S)~^(:SS)~^(*a((((S)~^)~a*^)~a*^~:)~*^~)(:**a((((:SS)~^)~a*^)~a*^~:)~*^~):(~:()~)~*^(a(:^)*~a(*()~)~*^~^):^ 16:58:18 oerjaan oerrjan oerjaan oerjaan oerrjan oerrjaan oerjan oerrjan oerjaan oerrjan oerrjan oerjaan oerjaan oerrjan oerjaan oerjan oerrjan oerrjaan oerjaan oerrjan oerjaan oerjaan oerrjan oerrjan oerjaan oerjan oerrjaan oerjaan oerrjan oerjaan oerjaan oerrjan oerrjaan oerjan oerrjan oerjaan oerjaan oerrjan oerrjan oerjaan oerr ...too much output! 16:58:26 heh 16:59:19 there you go 16:59:29 the letters were all in parentheses 16:59:36 (now recognize the pattern *MWAHAHAHA*) 16:59:37 yep 17:00:10 ^ul ((a)S(h)~^(n )S~:)((mw)S(h)~^~:):(S)~^(:SS)~^(*a((((S)~^)~a*^)~a*^~:)~*^~)(:**a((((:SS)~^)~a*^)~a*^~:)~*^~):(~:()~)~*^(a(:^)*~a(*()~)~*^~^):^ 17:00:10 mwhahhn mwhhahn mwhahhn mwhahhn mwhhahn mwhhahhn mwhahn mwhhahn mwhahhn mwhhahn mwhhahn mwhahhn mwhahhn mwhhahn mwhahhn mwhahn mwhhahn mwhhahhn mwhahhn mwhhahn mwhahhn mwhahhn mwhhahn mwhhahn mwhahhn mwhahn mwhhahhn mwhahhn mwhhahn mwhahhn mwhahhn mwhhahn mwhhahhn mwhahn mwhhahn mwhahhn mwhahhn mwhhahn mwhhahn mwhahhn mwhh ...too much output! 17:00:23 although technically it _would_ be possible to have (a) and getting that a run as an instruction, that program doesn't do it. 17:00:25 ^ul ((a)S(h)~^(a )S~:)((mw)S(h)~^~:):(S)~^(:SS)~^(*a((((S)~^)~a*^)~a*^~:)~*^~)(:**a((((:SS)~^)~a*^)~a*^~:)~*^~):(~:()~)~*^(a(:^)*~a(*()~)~*^~^):^ 17:00:26 mwhahha mwhhaha mwhahha mwhahha mwhhaha mwhhahha mwhaha mwhhaha mwhahha mwhhaha mwhhaha mwhahha mwhahha mwhhaha mwhahha mwhaha mwhhaha mwhhahha mwhahha mwhhaha mwhahha mwhahha mwhhaha mwhhaha mwhahha mwhaha mwhhahha mwhahha mwhhaha mwhahha mwhahha mwhhaha mwhhahha mwhaha mwhhaha mwhahha mwhahha mwhhaha mwhhaha mwhahha mwhh ...too much output! 17:00:26 fungot mwhahhning is disturbing. 17:00:26 boily: don't think of me as that marine. that is 17:00:55 lol... does it work in pm so I don't spam the channel? 17:01:01 tho it might be... a little late for that :p 17:01:07 fungot: freeple wabble 17:01:07 Zarutian: yeah, that 17:01:46 fungot: mungongo harsne domo 17:01:46 Zarutian: i've never used it. 17:02:00 (you'll note there's an (S) there, and _that_ S is not printed.) 17:02:55 it does work in private 17:03:38 fungot: ehe sna slade mansk 17:03:38 Zarutian: i do know how to fnord the higher powers of scheme. 17:03:56 . o O ( is Zarutian making a conlang ) 17:04:12 o________e 17:04:14 rjan 17:04:17 I here I thought I could get fungot to look the sane conversation partner 17:04:17 Zarutian: in windows, or encouraging someone else to successfully join the list just to vote, ne? -g)) 17:04:29 lol? 17:04:34 Zarutian: you seem to have succeeded 17:05:02 I just used that Sims utterence generator 17:05:17 oh. 17:06:00 menestion. 17:06:00 I could try using an politican word salat next on fungot 17:07:05 fungot: do you recommend that new refumegator? 17:08:24 ^style europarl 17:08:24 Selected style: europarl (European Parliament speeches during approx. 1996-2006) 17:08:37 fungot: _fight!_ 17:08:37 oerjan: mr president, ladies and gentlemen, members of the union. 17:08:44 Zarutian: GOOD LUCK 17:09:00 if t > 17:09 GMT then my speech will be entirely logical 17:09:04 fungot: I profusely table that recommendation 17:09:05 Zarutian: mr president, ladies and gentlemen, first of all, i would just like to thank our rapporteur. we had the schengen agreement into the treaty of nice does not in any way benefit competition. finally, half a million are european the equivalent of a pig in a poke. this is why, mr president, it is fortunate that some members may have received queries from ngos on funding and specifically core funding. i cannot make referenc 17:10:10 fungot: that is pretty much a crackpot notation! 17:10:10 Zarutian: the commission takes the view that it is crucial for the safety of ships and boats essential. i do not support the amendment which a number of times by commissioner lamy in the course of the next intergovernmental conference. 17:12:29 fungot: pardon? 17:12:29 Zarutian: the acquisition or loss of interest as soon as it is in general up to the challenge. 17:14:34 fungot: you're a fun got 17:14:35 rdococ: mr president, commissioner, ladies and gentlemen, i have a guinea pig. the version of the green group. i would like to see your imposing figure presiding over the house, and a series of consequences for parliament' s internal transport system and thereby play a crucial role to play, particularly as the commission originally proposed. i am in the process of implementing article 13 through the package of practical measure 17:16:18 that last one does sound a bit evil. 17:17:28 oerjan: would be funny if was said by a Bond villian 17:18:00 because nobody know what it exactly it means but it sounds onimous 17:18:09 yep 17:18:14 omnious* 17:19:12 fungot: omnious 17:19:13 Zarutian: mr president, i feel that the decision taken by the fisheries policy, which leads to the fnord criteria differ from country to country. if these amendments were adopted, our group thinks that things can always be improved. 17:20:12 fungot: i'm not sure "can always be improved" is the right level to aim at 17:20:12 oerjan: mr president, i am going to present those which i have taken account of the problems which the european parliament, with a view to carrying out justice in the courts in the normal procedure. 17:21:09 fungot: improvement 17:21:10 Zarutian: the european commission shares parliament's point of view, because it is one of the most dynamic knowledge-based economy in the various agreements mean, and will continue to report to it on the internet is a completely new element. hence, my questions are quite specific. first, and then perhaps to be aware of this, particularly amendments nos 2 and 4 and their impact, and this has been the important work done by the g 17:22:35 what the hell does "dynamic knowledge-based economy" mean? 17:24:07 it means it consists entirely of shuffling big data around hth 17:24:15 exchanging information for money from traveling people? 17:24:50 fungot: oyster 17:24:50 Zarutian: mr president, that in the oecd's draft multilateral agreement on international investments on which a constitutional state must be able to see their italian cousins. tourism brings the peoples of the european project itself. as well as polluting the air. 17:25:41 fungot: nostril. 17:25:41 boily: thank you, mr barroso, i believe that, where member states should already have official catalogues of areas in need of international protection takes place. i regret to say i shall be putting forward proposals for directives that are passed. nevertheless, certain member states. 17:26:31 fungot: boily 17:26:31 Zarutian: french and european citizens generally are right to do so in the uk and the socialists. this is why we do not mix the message with regard to the reform of the commission, under the present financial provision is a very topical problem here, unfortunately, in abandonment. in some cases, their lives. 17:26:41 fungot: fungot. 17:26:42 rdococ: i congratulate fnord ghilardotti on the content of the report adopted had been amended to include nuclear fuel and over 100 tonnes of separated plutonium are needed to help the palestinian people, free settlements and end operations directed against palestinian infrastructure. they also have the responsibility that they must invent a new, minimum and acceptable european norm for the management of the capital market on i 17:26:46 fungot: starling 17:26:46 oerjan: mr president, it is high time that the international criminal tribunal for yugoslavia in absolute secrecy, the deputy vice-president of the socialist group wants a clear, unambiguous indication of where decisions can be made fnord and the mediterranean. 17:28:07 fungot: password 17:28:07 Zarutian: my special thanks to the commission that manages this money, that the directory be withdrawn and i would hope that in years to come. lastly, my group welcomes strongly that emphasis. a second group of products, so be it. 17:28:31 . o O ( i'm sure the palestinian people could do a _lot_ with 100 tonnes of separated plutonium ) 17:29:32 fungot: palestine 17:29:33 Zarutian: madam president, mr carnero gonzález was present in person and there that their concerns can most fully be met. 17:30:00 fungot: Gate of hell. 17:30:01 Zarutian: mr president, i should say, in the days that remain to be fnord. 17:30:57 `? password 17:31:10 The password of the month is lutefisk 17:31:19 can't argue with a password like that. 17:32:30 fungot: lutefisk 17:32:31 rdococ: mr president, i should like to point out on a person incapable of giving their informed consent. i would appeal to you to bear with me. 17:32:43 hmm... 17:32:49 informed consent, interesting 17:33:35 obviously part of a debate to ban serving lutefisk to children. 17:33:35 does it mean that there is something like uninformed consent? 17:33:56 what does "informed" consent mean, first of all? 17:34:56 that you know the likely consequences of what you're consenting to? 17:35:10 so uninformed consent would be that you don't know the consequences. 17:35:29 which is pretty much that happens at ballots? 17:35:52 yep. 17:36:05 uninformed consent is a popular form of manipulation. 17:36:23 but a person incapable of giving informed consent could mean one of two things. 17:36:42 1. a person who wouldn't give consent if informed of the consequences, thus they have to be manipulated 17:37:05 2. a person who can't be informed, thus they can't possibly not be manipulated if they are forced to vote 17:40:05 fungot: boiled egg 17:40:06 Zarutian: the fnord title of the community programmes enable the necessary adjustments to budget line fnord, amendment no 11. however, these new technologies and to know what the penalties are in the process and procedures to cover that eventuality. it is therefore essential to enforce those rights, all human rights and minority rights, including the united states 17:40:44 united states as minority rights, inresting idea that 17:44:07 fungot: untied states 17:44:09 Zarutian: mr president, i welcome the ombudsman's suggestion that all remedies open to individuals should be submitted to parliament. i believe that, up to the representatives of the youth associations from different countries, with whom i have fnord my notes, i am in full agreement with mr harbour. of course, we must change the common agricultural policy, on the other hand, consider lifting the arms embargo against china. at a 17:49:11 -!- Phantom__Hoover has joined. 17:52:11 Phantom__Helloover. 17:54:34 * Zarutian looks around and decides there enough room, takes out his unnerver for service. 17:56:18 * Zarutian first enlarges the pocket dimension aperture, takes out the compressed hyper volcano, the super conducting magnets and the bivalve. 17:56:34 ... Ō_Ō???!?! 17:57:02 yes? 17:57:36 you are going to ask about the bivalve arent you? 17:57:57 hey no volcano on my lawn! 17:59:30 * Zarutian takes out a polishing cloth and Shine'n'shine and starts to polish the inside of the pocket dimension membrane 17:59:44 wont take a minute. 18:00:14 fungot: Do you think United Kingdom made the right decision to leave? 18:00:14 fizzie: madam president, i would like to thank the environment committee and in particular about unemployment. on the other over eur 1 billion. this situation requires us to seek agreement with member states, which does constitute real progress. 18:00:24 * Zarutian unties an topological knot and continues the polishing. 18:01:28 There's a bit of a length problem with this fungot style, sometimes it gets cut off at the end. 18:01:28 fizzie: mr president, i am fed up with pious assurances from bnfl and the arrogance of someone who refuses to testify, because these operations were launched and implemented in the council and the commission shares our view. 18:01:34 . o O ( i think oyster clear of the bivalve ) 18:02:26 * Zarutian finishes with the polishing and puts the compress hyper volcano back in 18:02:55 * oerjan sweeps up the ash to use as fertilizer 18:03:12 oerjan: you might want to start cutting it more frequently, the lawn that is 18:03:36 um, the moons eat most of the grass anyway. 18:03:47 * Zarutian puts back in the super conducting magnets 18:05:31 * Zarutian uses the bivalve to realign them, while keeping clear of one of its taps 18:06:18 [wiki] [[Special:Log/newusers]] create * Noahsolo * New user account 18:07:00 * Zarutian leaves it in and deembiggens the pocket dimension aperture back to the previous size 18:08:49 * rdococ watches as confusing science things happen 18:09:47 * Zarutian shakes the unnerver a bit to homogenise the freezingly molten lava and test fires. The result is an forum troll garden gnome with a "Kjósið xB" political badge on its lapel. 18:10:13 * rdococ starts up the Casimir vacuum that powers the Alcubierre drive on his magical space thingy. 18:10:43 rdococ: and you think boilys mapole makes any more sense? 18:10:48 mapole? 18:10:50 `? mapole 18:10:56 A mapole is a thwackamacallit built from maple according to Canadian standards. The army version includes a spork, a corkscrew and a moose whistle. A regulatory mapole measures 6’ by 12 kg, ±0.5 inHg. 18:11:10 so a weapon built from maple. 18:12:20 * rdococ sets up the delicate balance of chemicals in the core that enables the tachyonic communication device. 18:12:43 -!- astoxenous has joined. 18:12:55 * Zarutian hands rdococ a engineering tricorder and a hyperspanner. 18:13:09 * rdococ looks in confusion at the two unusual objects. 18:13:44 unusual? they are pretty common in SciFi parts 18:13:45 * rdococ engages the genetic lifeform and disk operating system for information on them. 18:14:14 In the fictional Star Trek universe, a tricorder is a multifunction hand-held device used for sensor scanning, data analysis, and recording data. 18:14:16 * Zarutian powers up his steam punk fridge 18:14:43 Also known as, a plot device. 18:15:04 * Zarutian gone into a shower 18:15:28 A hyperspanner was an adaptable multipurpose engineering tool carried aboard starships. Its uses included repairing communication systems, relinking and bypassing the circuit boards of electrical systems. 18:16:11 Neurotoxins are toxins that are poisonous or destructive to nerve tissue (causing neurotoxicity). Neurotoxins are an extensive class of exogenous chemical neurological insults that can adversely affect function in both developing and mature nervous tissue. 18:16:15 ...wait wut? 18:18:00 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=50608&oldid=50604 * Noahsolo * (+187) /* Introductions */ 18:18:54 * rdococ pings Zarutian until he comes back 18:20:51 * oerjan fires up his technobabble disintegrator to clean up this place 18:21:42 * rdococ helps oerjan with his task using a technobubble recycling literary device to convert the technobabble into harder speculative fiction. 18:22:24 -!- astoxenous has quit (Quit: Page closed). 18:24:16 * oerjan looks satisfied on the resulting heap of dust. 18:25:33 * rdococ looks pleased with the resulting speculative fiction. 18:30:02 * rdococ pings oerjan because boily is spreading boredom again, and rdococ wants to ping as many people as possible 18:30:20 I'm playing crawl :D 18:30:38 \/capitalism alert\/ 18:32:06 чёрт! 18:36:42 * rdococ will now make up esoteric technobabble 18:36:49 s/technobabble/speculative fiction 18:37:37 * rdococ engages the tachyonic generators 18:44:48 -!- rdococ has quit (Changing host). 18:44:48 -!- rdococ has joined. 18:51:54 ping 18:53:10 I am surprised you got Budapest from my last IP 19:02:18 * rdococ pings oerjan 19:02:31 * rdococ asks oerjan to kindly ask if he doesn't want to be pinged 19:03:07 please don't ping me just to ping twh 19:05:35 waht does that mean 19:09:55 it means that i'm an introvert, and asking me for my attention without giving a reason actually repulses me hth 19:10:08 now about to heat pizza -> 19:11:39 What about pinging you in the process of updating your wisdom entry? 19:12:12 -!- heroux has quit (Ping timeout: 265 seconds). 19:13:02 or heck, reading it? 19:14:06 `` cwlprits $(echo oerjän | sed 's.̈..') | tr ' ' '\n' | sort | uniq -c | sort -rn | xargs 19:14:18 76 shachäf 29 oerjän 7 boil̈y 5 noloveinwaikik̈i 1 nitïa 1 int-̈e 19:14:28 -!- heroux has joined. 19:14:35 nice ping 19:15:10 76! 19:16:06 `mkx bin/dedot//print_args_or_input "$2' | sed 's.̈..' 19:16:14 bin/dedot 19:16:47 `` cwlprits $(echo passwörd | sed 's.̈..') | tr ' ' '\n' | sort | uniq -c | sort -rn | xargs 19:17:04 14 oerjän 2 shachäf 2 int-̈e 1 mroman̈_ 1 mromän 1 gameman̈j 19:17:05 `` cwlprits $(echo shachäf | sed 's.̈..') | tr ' ' '\n' | sort | uniq -c | sort -rn | xargs 19:17:14 5 oerjän 3 shachäf 2 mrhmous̈e 2 Elronn̈d 2 boil̈y 1 nitïa 1 ellioẗt 19:17:18 Hmm, I didn't actually use dedot. 19:17:55 `sled bin/dedot//s/.$/g&/ 19:17:57 bin/dedot//print_args_or_input "$2' | sed 's.̈..g' 19:17:59 `` cwlprits $(dedot böïly) | tr ' ' '\n' | sort | uniq -c | sort -rn | xargs 19:18:13 ​/hackenv/bin/dedot: line 1: unexpected EOF while looking for matching `"' \ /hackenv/bin/dedot: line 2: syntax error: unexpected end of file \ 1258 oerjän 515 shachäf 261 b_jonäs 230 boil̈y 152 int-̈e 131 hppavilion[1̈] 96 tsweẗt 64 mromän 55 Tanëb 52 ellioẗt 46 Zarutiän 38 GreyKnigḧt 34 Phantom_Hoovër 32 mroman̈_ 27 Rouj 19:18:35 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 19:18:44 Er. 19:19:00 `sled bin/dedot//s.2'.@". 19:19:03 bin/dedot//print_args_or_input "$@" | sed 's.̈..g' 19:19:05 `` cwlprits $(dedot böïly) | tr ' ' '\n' | sort | uniq -c | sort -rn | xargs 19:19:14 9 oerjän 5 boil̈y 1 shachäf 1 Rouj̈o 1 olsnër 1 Jafët 1 int-̈e 19:40:24 What about pinging you in the process of updating your wisdom entry? <-- ACCEPTABLE 19:41:23 `` \? `dedot öërjän` 19:41:27 Your wise @messages-lord fanfic oerjan is a lazy expert in future computation. Also a Glasswegian who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 19:49:07 (also, irssi doesn't really ping me unless it's the first word of the line.) 19:49:35 well, technically it never pings, as i've turned off the bell too. 19:49:53 but it does sometimes add some color. 19:53:51 hm 19:54:25 oerjan: Why don't you /hilight oerjan? 19:54:39 I don't like the default irssi behavior. 19:56:25 [wiki] [[Aperture]] M https://esolangs.org/w/index.php?diff=50609&oldid=44766 * Rdococ * (-424) wth 19:57:12 [wiki] [[User:Rdococ]] https://esolangs.org/w/index.php?diff=50610&oldid=50322 * Rdococ * (-2) 19:58:13 [wiki] [[User talk:Rdococ]] M https://esolangs.org/w/index.php?diff=50611&oldid=50321 * Rdococ * (-249) 19:59:25 shachaf: well it doesn't really make a difference to my noticing it... 20:00:16 nu pizza 20:06:09 Time for a great New Year's tradition 20:06:15 Staying in and revising for my exams 20:07:14 i'll join you on the staying in, probably. 20:08:45 What are you revising? 20:09:00 Algebraic Geometry 20:09:09 whoa whoa whoa 20:09:17 First you invented it and now you're revising it? 20:09:59 algebrwhat 20:10:37 rdococ: it's magic, i believe. (also, i never learned it.) 20:10:58 `? tswett 20:11:05 `? Warrigal 20:11:10 tswett is livin' it up with the penguins. He's a title under the cruxite in the lathe. 20:11:12 Warrigal is #esoteric's resident dingo. Sometimes pretends to be a human. 20:11:12 shachaf, I may have invented it, but that does not mean I know what it is 20:11:37 `slwd warrigal/s/S/It s/ 20:11:38 usage: sled file//script 20:11:39 the joke is that "revising" means something like "editing" here 20:11:47 `slwd warrigal//s/S/It s/ 20:11:51 warrigal//Warrigal is #esoteric's resident dingo. It sometimes pretends to be a human. 20:11:53 but you're even better at misunderstanding than i am tdnh 20:12:00 `? the rules of wisdom 20:12:02 the rules of wisdom? ¯\(°​_o)/¯ 20:12:23 shachaf, I see 20:12:34 `? algebraic geometry 20:12:37 algebraic geometry? ¯\(°​_o)/¯ 20:12:38 `? modsiw 20:12:39 modsiw? ¯\(°​_o)/¯ 20:12:42 what?! 20:12:45 no modsiw? 20:12:50 `? rules of wisdom 20:12:52 unless essential for the entry's humor, they should: be understandable without the separate key, be single spaced with no space at the end, and use proper capitalization and punctuation 20:13:01 `? wisdom 20:13:03 wisdom is always factually accurate, except for this entry, and, uh, that other one? it started with, like, an ø? 20:13:13 (i did, however, learn algebraic topology, which is also magic.) 20:13:14 `? ørjan 20:13:17 Your pal Ørjan is oerjan's good twin. He's banned in the IRC RFC for being an invalid character. Sometimes he publishes papers without noticing it. 20:13:34 oerjan, I think more or less all maths that begin with "Algebraic" are magic 20:13:39 `? øerjan 20:13:40 ​øerjan? ¯\(°​_o)/¯ 20:13:48 oeerjan 20:14:03 what?! HackEgo doesn't know oerjan and ørjan's secret third cousin ith removed?! 20:14:05 So I realized the other day that the way I would define a triangle is very much unlike the way most people would define a triangle. 20:14:16 Most people would say something like: it's a shape with three sides and three angles. 20:14:31 And I'm like: no, dude, a triangle is the union of three line segments any two of which share an endpoint but no other points. 20:14:31 a triangle is clearly three points 20:14:40 `? ciretose 20:14:41 ciretose? ¯\(°​_o)/¯ 20:15:01 tswett, wouldn't three lines meeting at a point satisfy that 20:15:47 a triangle is a union of three points any two of which form a line 20:15:51 Shut up. 20:15:57 s/line/line segment 20:16:09 `le/rn algebraic geometry//Algebraic geometry is so complicated that Taneb has to take an exam in it before he can invent it. 20:16:15 Learned 'algebraic geometry': Algebraic geometry is so complicated that Taneb has to take an exam in it before he can invent it. 20:16:26 you mean tanebvent it, right? 20:16:27 A triangle is the union of three line segments each of which shares an endpoint, but no other points, with each of the others. 20:16:56 that still sounds like three lines meeting at a point would satisfy it 20:17:08 ... 20:17:47 ... 20:18:18 Man, I liked these definitions. 20:18:40 They were perfectly good definitions until you came along and destroyed them. 20:18:49 sorry. 20:18:52 #notsorry 20:19:04 or... taneborry 20:19:11 rdlorry? 20:19:15 Oho, I rememeber the lecture we did this theorem 20:19:40 The Nullstellensatz, or, as I interjected with a translation, the Pointless Theorem 20:23:19 A triangle is the union of three line segments, each of which has an intersection with another exactly at its own endpoints. 20:25:01 `wisdom ciretose 20:25:03 That's not wise. 20:26:29 uh 20:28:33 hmm 20:28:51 you mean tanebvent it, right? <-- that would be inconsistent. 20:29:04 it would? 20:29:29 it's not used for most if any of the other tanebventions. 20:30:20 `` grwp -i tanebvent | grep -i -v tanebvention 20:30:31 cumin:Cumin is a quantum tanebvented spice, only if it doesn't involve sex. \ Binary file reflection matches \ tanebventory:The Tanebventory is big. Really big. For one thing, it contains a Hilbert hotel. 20:30:40 on a sphere: imagine one point, then three points diverging out of it and merging again on the antipodal point of the spherical geometry it's set in. 20:30:50 `cwlprits cumin 20:30:59 boil̈y 20:31:04 tswett? 20:31:07 * oerjan swats boily -----### 20:31:17 YOU'RE ENABLING THIS 20:31:43 `dowg cumin 20:31:49 9854:2016-12-05 learn Cumin is a quantum tanebvented spice, only if it doesn\'t involve sex. 20:31:52 i vaguely remember the context of that one 20:32:20 ...me too. 20:32:22 maybe it made sense in context 20:32:26 probably not 20:39:13 -!- Phantom__Hoover has quit (Ping timeout: 245 seconds). 20:56:08 rdococ: that's a good one. 20:56:18 ik 20:56:25 Let me try another. 20:56:37 A triangle is the union of three line segments such that each endpoint is the intersection of exactly two of the line segments. 20:57:39 hmm 20:58:59 you could have a zig zagged shape on a cylinder? 20:59:37 ```````z,,,,,,, but wrapped around so the extremes never have an end point? 20:59:39 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ``````z,,,,,,,: not found 21:00:22 nah 21:00:24 hm 21:00:38 I think that a line segment has to have exactly two endpoints. 21:01:48 um 21:04:31 imagine a sphere, then two lines meeting at one point & its antipodal. now imagine a third line whose endpoints intersect each line, but not the point or its antipodal. 21:05:16 btw- should I ping you every time I get an answer or should I wait for you? 21:05:38 I'm not watching this channel actively. 21:05:48 I'm probably going to leave in a minute anyway. 21:06:04 aw ok 21:06:19 I thought of a counterexample for the plane. 21:06:50 See if you can think of it! :D 21:06:59 ok 21:07:55 okay, so each endpoint has to intersect one other line segment... 21:08:22 you could have two lines that completely overlap but is that allowed? 21:08:44 It's not explicitly prohibited. 21:08:57 is it implicitly prohibited? 21:09:16 No comment. 21:09:21 >.< 21:09:47 I'm gonna say that "three line segments" doesn't mean "three distinct line segments". You can have duplicated line segments if you want. 21:09:58 ok so it's not prohibited at all. 21:10:21 Not unless the definition somehow rules it out in some other way. 21:10:45 so say one duplicated line segment, then another line segment that runs between different points on both line segments. 21:11:02 imagine an N shape, but completely squashed into what looks like a single line segment. 21:12:49 you still haven't told me whether to ping you :p 21:13:39 Up to you, sir or madam. 21:14:02 I'd prefer if you called me dsofdk, because I'm a zodoifo from the planet celeso. 21:36:03 I am adding a mail notification to my status bar now 21:53:08 http://sprunge.us/gTKT 22:05:01 Do you like this? 22:23:03 To count how many messages you have, it simply count how many lines start with "From ". 22:50:38 -!- augur has joined. 22:54:52 -!- augur has quit (Remote host closed the connection). 22:55:48 -!- augur has joined. 22:56:15 -!- augur has quit (Remote host closed the connection). 23:00:16 hippy new hair 23:05:30 banane année! 23:05:46 (still 6 hours to go down here!) 23:06:23 well you should come to the future. it trumps everything! 23:08:53 I'm in the shachafuture already. 23:09:17 aha 23:13:06 boily, you're living in the Tanepast 23:22:30 @metar lowi 23:22:30 LOWI 312250Z AUTO 26002KT 8000 NCD M06/M09 Q1030 23:22:40 hmm, felt colder 23:22:53 happy something, wassit, new year? 23:23:30 @metar ENVA 23:23:30 ENVA 312250Z 25018KT 9999 -DZ BKN030 OVC038 04/M01 Q0999 RMK WIND 670FT 25013G24KT 23:24:52 30 minutes out their and my hands have a healthy crab color now... 23:25:36 out there 23:37:11 -!- copumpkin has joined. 23:41:17 Tanelle! point. 23:41:46 :) 23:51:39 @metar CYQB 23:51:40 CYQB 312319Z 06008KT 1SM R06/P6000FT/D -SN VV007 M12/M15 A2990 RMK SN8 VIS VRB 3/4-1 1/4 SLP132 23:55:34 -!- ais523 has joined. 23:55:55 @metar EGLL 23:55:56 EGLL 312350Z AUTO 21008KT 6000 BKN038 07/06 Q1024 23:56:22 is everyone looking forward to the leap second? 23:56:32 I am, at least. 23:56:42 Though I'm not sure what one usually does at a leap second party. 23:57:05 they tend to be very short 23:57:15 I think you just find a clock capable of showing leap seconds 23:57:18 then look at the :60 23:57:20 maybe take a screenshot 23:57:49 . o O ( photoshop may be easier 23:57:50 ) 23:58:00 I'm looking at this BBC thing, I wonder if they'll mention it. 23:58:01 Maybe not. 23:58:15 I'm wondering which TV stations would mention it 23:58:19 I'm looking at time.gov 23:58:46 google's smoothing it out 23:59:11 lots of places smooth 23:59:18 my laptop's clock is almost half a second out from time.gov's time 23:59:23 Yeah, someone complained to me we're trying to take credit of "inventing" smoothing it up, even though UTC-SLS has been a thing for a long time now. 23:59:24 and I'm pretty sure that's a consequence of leap second smoothing 23:59:51 Google's thing is a little different from UTC-SLS, though. UTC-SLS does it linear, Google does a smooth curve.