00:00:09 -!- sebbu has quit (Ping timeout: 245 seconds). 00:00:35 b_jonas: I was reading a blog about names recently 00:00:42 Though of course some given names are ever popular 00:01:20 apparently something unusual has happened recently, which is that one name has become in the top 10 of popularity in a huge number of different countries, rather than countries keeping to their own traditional names 00:01:25 ais523: http://www.madore.org/~david/weblog/d.2012-05-30.2050.html#d.2012-05-30.2050 is one 00:02:16 ais523: which name? is it the name used by someone very famous? like Barack? 00:02:26 b_jonas: Sofia, and variations (e.g. Sophie) 00:02:49 I think Sofia is the most common worldwide spelling although different countries still have their own local spellings of it 00:03:12 sure, and many countries have more than one local spelling of any one name 00:03:33 that happens a lot here, with both family names and given names, though for somewhat different reasons 00:03:50 ais523: "Sofia" was the #1 female child name in Finland for 2014. 00:04:29 fizzie: right, that's true of a lot of other countries too 00:04:31 family names mostly come in versions spelled phonetically like Kis, and versions spelled in a deliberately strange way, like Kiss, the latter often orinally used to try to fool people that you're a nobleman 00:04:32 I doubt it's in the top 10 overall yet, though. 00:05:02 so a lot of family names have two variants like that, sometimes three or more 00:05:19 b_jonas: have people moved to Kisss yet? 00:05:37 ais523: no, I don't think so. the strange spellings are all old, I don't think new ones are born much. 00:05:48 not those kinds of strange spellings at least. 00:06:22 If I legally change my name, I'll be named kisssssssssssssss 00:06:36 (No capital) 00:06:53 For currently living female Finns, Sofia as ranks #16. 00:07:11 fizzie: right, this only happened in the past few years 00:07:24 As for given names, there's multiple variants either because there's more than one borrowings from foreign languages of ultimately the same etymology, or because people start to give names that were originally nicknames of a name as a normal name. 00:08:23 The most common example for the latter are Gergő and Bence. 00:08:41 I'm not sure about the former. 00:12:14 -!- hppavilion[1] has quit (Ping timeout: 246 seconds). 00:12:46 oh well, good night 00:14:01 -!- sebbu has joined. 00:15:18 -!- Phantom__Hoover has quit (Ping timeout: 260 seconds). 00:18:54 -!- hppavilion[1] has joined. 00:19:04 -!- atslash has quit (Ping timeout: 272 seconds). 00:19:32 -!- Phantom_Hoover has joined. 00:19:48 -!- atslash has joined. 00:44:30 -!- Frooxius has quit (Quit: *bubbles away*). 00:44:52 -!- atslash has quit (Ping timeout: 256 seconds). 00:49:33 -!- Frooxius has joined. 00:53:15 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 01:14:19 -!- Phantom_Hoover has joined. 01:18:13 -!- ^v has joined. 01:23:44 -!- Phantom__Hoover has joined. 01:25:06 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 01:27:22 -!- mauris has changed nick to fcrawl. 01:35:22 -!- ^^v has joined. 01:39:34 I think "ebf" by I don't know who is one of the more impressive "extended brainfuck" or "brainfuck macro" things I've seen. 01:39:57 ... Just because its only implementation is an ebf to Brainfuck commpiler. 01:40:10 Erm, sorry. 01:40:19 ebf to Brainfuck self-hosting compiler. 01:40:23 what's the impl written in? 01:40:27 right, was going to say 01:40:32 next problem is, who's going to bootstrap that thing? 01:40:36 I mean okay, it's otherwise not *that* impressive, but props on making it self-host. 01:40:43 awib self-hosts 01:40:52 The author did. The initial implementation was hand-compiled. 01:41:16 Yeah, but awib is not compiling a more complicated language. :) 01:42:41 Oh. And also, this wasn't the guy's goal, just a step on the way to his real goal of implementing Lisp. 01:43:03 oh, I'd go via underlambda if I wanted a lisp in BF 01:43:04 So, that's nice. 01:45:23 also, IIRC Chaitin wrote a lisp interpreter as a Diophantine equation 01:45:24 Basically what I'm saying is I really prefer it when people strap stuff onto Brainfuck to make it "more" and actually put some effort into it. 01:45:38 and it's only like one page of coefficients 01:45:51 pikhq: you can flip that around to "BF derivatives are most interesting when there's effort put into them" 01:45:58 or at least a good idea 01:46:03 True. 01:46:09 I think when http://esolangs.org/wiki/PaintFuck was posted, #esoteric was approving of the idea 01:46:11 There are way too many boring ones. 01:46:19 err, hmm, dead link 01:46:28 maybe I misremembered the caps 01:46:33 yep: http://esolangs.org/wiki/Paintfuck 01:46:58 Maybe not the best but at least novel. 01:47:27 yes, we liked the novelty of the idea 01:47:31 Rather than, say, Ook. :( 01:47:49 that was novel at the time 01:48:01 it was probably the first BF substitution 01:48:09 Oh, it was the first? Or at least super early? 01:48:15 first language substitution full stop, in fact, IIRC 01:48:17 and yes, super early 01:48:24 Okay, that's a lot less terrible then. 01:48:28 people liked it, but the third and fourth time and so on it doesn't work nearly as well 01:48:34 Yep. 01:48:44 It's a joke that works about once. 01:48:45 "It represents the first, although unfortunately not the last, in a long line of trivial Brainfuck command substitutions." 01:48:59 meanwhile, HQ9+ is apparently a joke that only works three times 01:49:15 (HQ9++ and the oerjan variant with a bunch more commands) 01:49:28 -!- boily has joined. 01:49:29 -!- Phantom_Hoover has joined. 01:50:20 -!- Phantom__Hoover has quit (Ping timeout: 276 seconds). 01:51:34 -!- variable has joined. 01:51:54 Also, SSRI discontinuation syndrome sucks. :( 01:53:43 -!- mihow has quit (Quit: mihow). 01:54:07 -!- Froox has joined. 01:56:56 -!- dcentral has joined. 01:57:52 -!- Frooxius has quit (Ping timeout: 272 seconds). 01:59:46 -!- hppavilion[1] has quit (Ping timeout: 272 seconds). 02:16:41 hmm, the costumer service have sent me another bank statement 02:17:05 -!- jaboja has quit (Read error: Connection reset by peer). 02:17:11 that's quite a persistent typo-based spam account 02:17:12 -!- jaboja64 has joined. 02:18:08 oh it wasn't your typo? 02:18:21 `? costume 02:18:26 costume? ¯\(°​_o)/¯ 02:19:24 `learn Costumes are used for cosplay. Taneb sometimes invents them. 02:19:29 Learned 'costume': Costumes are used for cosplay. Taneb sometimes invents them. 02:19:41 an entirely true wisdom for once. 02:19:51 `? cosplay 02:19:53 Cosplay is the art of dressing up as people to show off to other people dressed up as people. 02:20:00 `? splay 02:20:02 splay? ¯\(°​_o)/¯ 02:20:12 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:22:37 shachaf: my attempts at dualizing `? cosplay is leaving me in a labyrinth of horrible grammar help 02:22:50 *are 02:23:46 oerjan: maybe you would find it easier to write an entry for cosplay tree hth 02:24:17 argh 02:31:26 isn't a cosplay its self-dual? 02:32:02 <\oren\> I'm attempting to draw U+261A to 261F 02:32:09 now that's crazy talk 02:42:43 `? tanenventions 02:42:45 tanenventions? ¯\(°​_o)/¯ 02:42:54 `? tanebventions 02:42:56 Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, Stephen Wolfram, Go, the universe, weetoflakes, persistence, the reals, robots, cigars, progress, and this sentence. He never invents anything involving sex. 02:45:38 -!- andrew_ has joined. 02:46:10 Taneb: so BDSM is out but how does Taneb feel about dominance and submission in non-sexual contexts twh 02:50:08 "awkward" sptm 02:50:24 sptm? 02:50:40 *MWAHAHAHA* 02:51:12 * boily strops his mapole for maximum accuracy 02:51:40 * oerjan guards with the saucepan 02:51:40 explain, or I mapole an innocent bystander! 02:51:44 oh. 02:51:45 boily: "seems plausible to me" hth 02:51:57 thanks, innocent bystander! 02:52:18 does shachaf have the hth nature 02:53:36 fungot. 02:53:36 boily: apparently the fastest known way to send commands to it directly) connected to a time earlier than the other way 02:54:43 fungot appears to be contemplating sending commands across time 02:54:43 oerjan: too fnord it's probably closest to my ideal, only it's designed more efficiently and to take more master server ips, they could just use the first one 02:55:45 which leads me to the epiphany that fungot's parentheses are actually perfectly matched, just not in the usual chronological order 02:55:45 oerjan: all the verizon and covad techs ( or contractors) i've dealt with in irc channels 02:56:10 https://en.wikipedia.org/wiki/Non-English-based_programming_languages 02:58:32 oerjan: i'm ppwm for figuring out so many oerjacronyms 02:59:12 also it's too cold here 02:59:17 @metar KBJC 02:59:17 KBJC 310247Z 34003KT 20SM SCT060 BKN080 M08/M13 A3012 02:59:22 wrong airport 02:59:38 that is pretty cold for california 02:59:44 @metar KTWD 02:59:45 No result. 02:59:58 no ICAO code?! 03:00:13 I'm not in California. HTH. 03:00:20 what's a TWD? 03:00:33 denver, colorado? 03:00:34 An IATA code. 03:00:55 Maybe I'm giving away too much geographical information there. 03:00:59 @metar KSEA 03:01:00 KSEA 310253Z 04008KT 10SM CLR 02/M04 A3045 RMK AO2 SLP323 T00171039 51008 03:02:10 don't worry, no one will ever discover you're in port townsend 03:04:34 port townsend? Oh, I live relatively close to there 03:04:47 @metar KSJC 03:04:47 KSJC 310253Z 27006KT 10SM FEW013 SCT024 BKN036 09/05 A3022 RMK AO2 SLP231 T00890050 52006 03:04:56 That's rather a lot more useful knowledge to me. 03:04:59 earenndil: see if you can spot shachaf nearby hth 03:05:53 Eh, I'm not close enough for it to be convenient to visit 03:05:58 I'm near Seattle 03:06:02 <\oren\> ARGH 03:06:07 I'll be in Seattle on Friday. 03:06:17 Are you traveling to California soon? 03:06:21 shachaf: Since when were you not in California? 03:06:35 since forever ago, yo 03:06:37 <\oren\> I drew ☕ as a takeout coffee cup but it's apparently supposed to be a mug! 03:06:52 But in this case since the 24th or so. 03:06:59 If you mean contiguously. 03:07:07 shachaf: I said I'm *near* Seattle, I still have to take a ferry to go to seattle 03:07:07 OIC 03:07:20 Stupid vacation times. 03:07:36 earenndil: So will I. 03:07:46 The Bainbridge ferry, presumably. 03:08:12 oerjan: I have spotted a wild shachaf before. 03:08:18 pikhq: oooh 03:08:24 he\\oren\. I think you can enthicken 快. 03:08:27 He is very shachaf. 03:08:44 <\oren\> whatever the unicode name is "HOT BEVERAGE". A 7-11 style coffee cup is a hot beverage. 03:09:37 boily: i see you are using cromulent words 03:09:53 -!- MDude has changed nick to MDream. 03:10:39 <\oren\> does europe have 7-11 yet? 03:11:57 <\oren\> .‚,․ 03:16:04 pikhq: not as much as some people hth 03:16:13 heh, wiktionary has an 1884 quotation for "embiggen" 03:17:25 \oren\: there were a ridiculous number in trondheim last i checked. 03:17:39 -!- hppavilion[1] has joined. 03:17:48 which was a while ago. 03:18:14 <\oren\> cool, therefore a coffee cup of the style I drew should be recognizable to people everywhere 03:19:05 <\oren\> for a given value of everywhere 03:22:52 -!- boily has quit (Quit: TITULAR CHICKEN). 03:23:12 Rectangular Geometry: A two parallel lines intersect infinitely many times and have two 90 degree angles. 03:23:19 Or something along those lines 03:23:20 -!- jaboja64 has quit (Ping timeout: 246 seconds). 03:24:36 splay is the art of dressing up as copeople to show off to other copeople dressed up as copeople. it is used for stumes 03:29:43 <\oren\> half-spheric geometry: all points above the x axis have spheric curvature, below the x axis zero curvature 03:30:26 <\oren\> er, elliptic, I mean 03:32:17 <\oren\> this would mean that any two parallel lines which are not horizontal, would meet exactly ONCE 03:33:42 <\oren\> equivalently, the "line at infinity" parallel to the x axis is compressed to a point 03:34:05 <\oren\> but only the line above the x axis, not the one below 03:35:27 <\oren\> hmm. 03:37:09 <\oren\> this could be modeled by the line at infinity below the x axis being a circle, minus one point, which is the line at infinity above. a circle inside, touching the outer circle only at that point, is the x axis 03:38:09 <\oren\> wait that;s not equivalent 03:38:13 <\oren\> but similar 03:48:54 -!- oerjan has quit (Quit: Nite). 04:12:46 -!- hppavilion[1] has quit (Ping timeout: 272 seconds). 04:27:25 -!- oren has joined. 04:28:18 -!- oren has changed nick to \oren\. 04:28:21 exit 04:45:25 -!- fcrawl has quit (Read error: Connection reset by peer). 04:59:01 \oren\: Would half-toroidal geometry be equivalent to a finite cylinder? 05:00:19 half-toroidal? 05:00:34 if it's what I think you mean, yeah, it's just a cylinder 05:03:30 What about geometry on the flat unit klein bottle? 05:06:24 -!- hppavilion[1] has joined. 05:09:13 coppro: https://upload.wikimedia.org/wikipedia/commons/6/64/Klein_Bottle_Folding_1.svg This is the diagram for the klein bottle 05:11:29 FreeFull: that's different from a torus 05:11:41 a torus has the top and bottom edges aligned the same way 05:12:06 as a consequence, a klein bottle is orientable while a torus is not 05:12:11 coppro: Yeah, I was asking about something else now 05:12:17 And you've got that the wrong way around, the torus is orientable 05:12:28 err, other... yes 05:12:57 On the klein bottle, you can have self-intersecting lines 05:13:19 I'm not sure what restraints apply to parallel lines 05:14:30 what do you mean by "restraints"? 05:15:41 what do you even define parallel to mean on such a surface? 05:23:07 Parallel is easy enough thanks to no curvature 05:23:48 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 05:24:09 I think the number of times the parallel lines intersect though changes depending on the angles 05:24:26 There is no rotational invariance 05:28:52 if you view the surface as a sphere with a small crosscap 05:29:03 you can change the number of intersections with the crosscap by rotation 05:29:12 so basically yeah, that 05:37:17 [wiki] [[Your Minsky May Vary]] N http://esolangs.org/w/index.php?oldid=46037 * Ais523 * (+3545) new language 05:37:59 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=46038&oldid=45964 * Ais523 * (+27) /* Y */ +[[Your Minsky May Vary]] 05:38:22 [wiki] [[User:Ais523]] http://esolangs.org/w/index.php?diff=46039&oldid=45827 * Ais523 * (+26) +[[Your Minsky May Vary]] 05:38:25 sorry 05:38:35 name was too good an opportunity to pass up, language hopefully isn't /terrible/ 05:38:54 -!- hppavilion[1] has quit (Ping timeout: 272 seconds). 05:40:08 lol 05:46:41 I'm worried it has java2k syndrome but it seems at least to be a bit more interesting than that 05:47:17 [wiki] [[Three Star Programmer]] M http://esolangs.org/w/index.php?diff=46040&oldid=45763 * Ais523 * (-1) /* Syntax */ fix typo 06:08:50 Now my card file database has the section for general-purpose comments too. 06:14:21 How do I do it so that when Firefox ask for the username and password that it will display additional information too (such as the authentication type and root URIs and so on)? 06:19:33 -!- copumpkin has joined. 06:52:34 -!- Patashu has joined. 06:58:11 ian murdock died last night 06:58:44 Yes I read that on another IRC too 07:07:16 -!- hppavilion[1] has joined. 07:08:27 Do you think that the wisdom file for "zzo38mtg.php" should also specify account registrations? 07:13:22 [wiki] [[User:Quintopia]] http://esolangs.org/w/index.php?diff=46041&oldid=45569 * Quintopia * (+30) /* Interpreters written in Python */ 07:14:46 -!- ^v has quit (Quit: Network ban). 07:18:27 -!- ^^v has quit (Quit: Leaving). 07:19:27 `? zzo38mtg.php 07:19:29 http://zzo38computer.org/mtg/cardfile.php 07:28:11 [wiki] [[Purple]] http://esolangs.org/w/index.php?diff=46042&oldid=45601 * Quintopia * (+1495) /* Implementations */ 07:28:40 [wiki] [[Portable Minsky Machine Notation]] http://esolangs.org/w/index.php?diff=46043&oldid=45822 * Ais523 * (+58) /* See also */ mention the derivative 07:28:43 [wiki] [[Purple]] M http://esolangs.org/w/index.php?diff=46044&oldid=46042 * Quintopia * (+2) /* Ceylon */ 07:28:53 [wiki] [[Purple]] M http://esolangs.org/w/index.php?diff=46045&oldid=46044 * Quintopia * (+2) /* Pyth */ 07:29:04 [wiki] [[Purple]] http://esolangs.org/w/index.php?diff=46046&oldid=46045 * Quintopia * (+2) /* Javascript (ES6) */ 07:31:22 [wiki] [[Purple]] http://esolangs.org/w/index.php?diff=46047&oldid=46046 * Quintopia * (+4) /* Pyth */ 07:43:45 It fails to answer the question? 08:03:46 My god 08:04:03 I have to make WalrusOS something cool 08:04:07 And I just found my access 08:04:26 A hybrid of the Silo model and the Filesystem model 08:05:12 Which is then working how? 08:12:22 -!- variable has quit (Ping timeout: 250 seconds). 08:32:59 -!- andrew_ has quit (Remote host closed the connection). 08:33:24 -!- MoALTz has quit (Quit: Leaving). 08:34:54 -!- andrew has joined. 09:05:45 What do you guys think of an OS based on objects and classes? 09:06:59 Basically, the OS has a central repository of user-defined classes, along with a single list of objects. You start with nothing and work up from there, using λ-calculus and CL and whatever other shit I throw into it to fully personalize your OS experience 09:07:00 Well, you can try, and then we can see, I suppose. 09:42:26 “fully personalize your OS experience” hehehe 09:44:14 hppavilion[1]: that sounds a little bit like Smalltalk, as in the way the system was originally built to contain the library and development UI and your code in all the same mutable workspace, defined from a few hundred primitive functions and syntax. (this was, I think, a bad idea, but it made more sense back at that day, and some APL thingies worked somewhat similarly.) 09:44:27 \ defined from a few hundred primitive functions and syntax. (this was, I think, a bad idea, but it made more sense back at that day, and some APL thingies worked somewhat similarly.) 09:45:54 -!- hppavilion[1] has quit (Ping timeout: 272 seconds). 09:46:21 b_jonas: and likewise, it sounds a bit like Feather, for similar reasons 09:47:02 -!- ais523 has quit. 10:20:54 -!- AlexR42 has joined. 10:40:29 -!- Patashu has quit (Ping timeout: 246 seconds). 11:45:20 -!- andrew has quit (Remote host closed the connection). 11:55:45 -!- TieSoul has joined. 12:07:33 `? photograph 12:07:48 A photograph is a device for creating photograms. 12:09:05 `unidecode ここが出ね 12:09:08 `? photogram 12:09:12 ​[U+3053 HIRAGANA LETTER KO] [U+3053 HIRAGANA LETTER KO] [U+304C HIRAGANA LETTER GA] [U+51FA CJK UNIFIED IDEOGRAPH-51FA] [U+306D HIRAGANA LETTER NE] 12:09:12 photogram? ¯\(°​_o)/¯ 12:10:26 `? ここがでね 12:10:27 ​ここがでね? ¯\(°​_o)/¯ 12:11:18 Whoops. 12:11:23 `unidecode ここがでね 12:11:24 ​[U+3053 HIRAGANA LETTER KO] [U+3053 HIRAGANA LETTER KO] [U+304C HIRAGANA LETTER GA] [U+3067 HIRAGANA LETTER DE] [U+306D HIRAGANA LETTER NE] 12:19:15 -!- Welo has joined. 12:48:38 -!- Welo has quit (Quit: Leaving). 12:55:34 -!- MDream has changed nick to MDude. 12:58:57 -!- Phantom_Hoover has joined. 13:02:42 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=46048&oldid=46038 * 178.255.168.42 * (+14) /* F */ 13:05:20 -!- dcentral has quit (Remote host closed the connection). 13:06:44 -!- Lord_of_Life has quit (Changing host). 13:06:45 -!- Lord_of_Life has joined. 13:06:45 -!- Lord_of_Life has quit (Changing host). 13:06:45 -!- Lord_of_Life has joined. 13:29:05 -!- J_Arcane has quit (Ping timeout: 276 seconds). 14:04:25 -!- J_Arcane has joined. 14:17:25 -!- andrew_ has joined. 14:38:08 <\oren\> OMG it was ganondorf behind it all alang... again 14:39:17 \oren\: duh. ganondorf was behind letting V escape too. he could cast spells even as a ghost. 14:41:27 pls no starwars spoilers 14:41:50 han solo is really leia's cousin 14:41:55 all their kids have 8 toes 14:44:14 -!- Welo has joined. 14:47:40 okay, https://github.com/lifthrasiir/unison/ is now in the public domain 14:49:31 https://en.wikipedia.org/wiki/IDN_homograph_attack "For example, a person frequenting citibank.com may be lured to click a link in which the Latin C is replaced with the Cyrillic С." 14:49:33 is that spam? 14:52:03 izabera: not only spam, e.g. a tweet with that link may survive without being detected 14:52:31 no i mean 14:52:39 the example itself on wikipedia 14:53:41 eh, I don't understand what do you mean 14:54:03 citibank spam on wikipedia 14:54:13 aha. 14:54:45 izabera, seems reasonable, this isn't the bbc we're talking about 14:54:57 hmm, WikiBlame does not work :( 14:55:26 btw your font totally fails to avoid homograph attacks in the korean characters 14:55:36 altho my eyes are not trained to read korean 14:56:10 izabera: https://en.wikipedia.org/w/index.php?title=IDN_homograph_attack&diff=383860153&oldid=383859096 is the initial introduction 14:56:20 and i'm assuming it's korean 14:56:26 not sure why citibank is used in the example but does not look that significant 14:56:41 izabera: there are some hard cases, I know 14:56:50 needs more copies of jamos 14:58:18 i don't read braille either but i think the font should only display the black dots 14:58:30 the bigger ones i mean 14:58:39 displaying both is confusing 15:00:20 enough with the criticism 15:01:30 izabera: people seems to like brailles, that is the second time I've heard of criticism on braille 15:02:00 I'm thinking of providing an option to give alternative glyphs for them 15:03:09 Of course I like brailles! It's a well-designed system that managed to get more popular than all its competitors, so basically it's a story with a happy end. And 15:03:40 of course, Unicode ruined braille by merging two variants of 8-dot brailles 15:04:02 it's stood the test of time: braille is still popular now that we write it with thousand dollar braille terminals connected to the internet rather than a grid and stylus, and it still works. 15:04:28 lifthrasiir: I don't think it _merged_ them. I think it just failed to account for the less common variant, so far, because it's not much popular. 15:04:45 b_jonas: Korean braille is almost based on 1930s' Korean orthography 15:04:55 (now obsolete) 15:05:23 lifthrasiir: er what? 15:05:31 I don't know enough about the back story here to understand this. 15:05:51 b_jonas: a reply to "it's stood the test of time", I meant 15:06:18 Isn't Korean braille a 6-dot system where generally each letter is written separately so that each syllable is made of two or three cells, except that there's a lot of abbreviations so it's generally shorter than that? 15:06:21 it is so successful that it changes slowly than its normal variant 15:06:27 more slowly* 15:06:51 b_jonas: basically yes, but has lots of abbreviations like English braille 15:07:02 one aspect of 1930s 15:07:14 -!- dcentral has joined. 15:08:01 1930s' orthography is that ㄲ ㄸ ㅃ etc. are written as ㅅㄱ, ㅅㄷ, ㅅㅂ etc. at that time and the braille forms for them exactly reflect that 15:08:08 (ㄲ = ㅅ + ㄱ, etc.) 15:08:37 ah, I see 15:08:41 [wiki] [[Special:Log/newusers]] create * Jamesmorrison * New user account 15:08:43 -!- dcentral has quit (Read error: Connection reset by peer). 15:16:07 [wiki] [[CAT]] http://esolangs.org/w/index.php?diff=46049&oldid=30154 * Jamesmorrison * (+29) 15:17:07 -!- jameseb has quit (Remote host closed the connection). 15:17:07 -!- Taneb has quit (Remote host closed the connection). 15:45:33 -!- zgrep has quit (Remote host closed the connection). 15:45:47 -!- zgrep has joined. 16:01:54 [wiki] [[Talk:Your Minsky May Vary]] N http://esolangs.org/w/index.php?oldid=46050 * LegionMammal978 * (+182) Created page with "Can there be whitespace between counter numbers, such as `inc(3 | 4)`? ~~~~" 16:02:20 [wiki] [[Talk:Your Minsky May Vary]] M http://esolangs.org/w/index.php?diff=46051&oldid=46050 * LegionMammal978 * (+11) whoops 16:08:58 -!- Taneb has joined. 16:09:09 My client crashed and I lost all my channels :( 16:09:55 you didn't save them? 16:10:07 I thought I did! 16:10:12 On both my client and my bouncer! 16:10:56 I'm still missing a few that I can't quite remember... 16:11:22 -!- andrew_ has quit (Ping timeout: 256 seconds). 16:12:41 Happy new year, #esoteric 16:13:32 With a name that punny I can only assume YMMV is an ais523 language 16:13:48 and also the connection to Minsky machines of course 16:37:35 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 16:44:26 * lifthrasiir realized that YMMV may read as year 2005 16:47:06 -!- MoALTz has joined. 17:04:12 oh! that language is one where it might be a serious problem that you don't have gotos, only while and if 17:04:21 -!- oerjan has joined. 17:05:33 how so? 17:06:13 myname: you don't have variables (boolean or enum) you can reliably set, clear, and test, so you can't use them to control the control flow of while loops 17:06:26 ah 17:07:00 unlike in the original Portable Minsky 17:07:20 or brainfuck 17:14:06 Taneb: Now that I'm in your country, should I know something important about the new year's traditions? 17:14:47 So far I've understood it's not so much about fireworks as it was in Finland, but maybe as much about drinking (if possible). 17:15:03 At least the alcohol aisles at the shop were unusually busy. 17:15:39 fizzie, well, we normally sing a song at midnight that's in Scottish and everyone seems to know the lyrics to 17:15:59 There are fireworks in the big cities but not many 17:16:07 And champagne is traditionally drank at midnight 17:16:54 That Auld Lang Syne thing, right. 17:20:18 -!- Taneb has quit (Quit: I seem to have stopped.). 17:20:59 @metar ENVA 17:21:00 ENVA 311650Z 15019KT CAVOK 03/M06 Q1012 RMK WIND 670FT 15024G38KT 17:21:02 -!- Taneb has joined. 17:21:06 @metar ENVA 17:21:07 ENVA 311650Z 15019KT CAVOK 03/M06 Q1012 RMK WIND 670FT 15024G38KT 17:21:32 which part tells that it's a storm again 17:22:11 -!- Taneb has quit (Client Quit). 17:24:05 apparently the 019KT part 17:26:59 -!- whaied has joined. 17:31:17 -!- whaied has quit (Read error: Connection reset by peer). 17:38:13 -!- dcentral has joined. 17:40:22 -!- bb010g has joined. 17:40:35 -!- Phantom_Hoover has joined. 17:51:02 -!- AlexR42 has quit (Ping timeout: 272 seconds). 17:53:23 -!- Taneb has joined. 17:53:27 Awww, come on! 17:53:31 It happened again :( 17:54:20 -!- Lord_of_Life has quit (Excess Flood). 17:54:36 -!- Lord_of_Life has joined. 17:54:52 Taneb: lucky nothing really happened 17:55:31 Well, I lost all my channels 17:55:53 surely only #esoteric counts hth 17:56:03 I lost even that! 17:56:07 shocking 18:07:16 -!- mauris has joined. 18:10:03 -!- J_Arcane has quit (Ping timeout: 265 seconds). 18:15:06 -!- MDude has quit (Ping timeout: 272 seconds). 18:16:28 [wiki] [[TeaScript]] http://esolangs.org/w/index.php?diff=46052&oldid=45198 * 76.102.163.231 * (+142) 18:18:05 oerjan: It's actually 19KT. 18:18:10 oerjan: the 0 is part of 150, the direction. 18:18:26 Heading 150 degrees, speed 19 knots. 18:18:31 OKAY 18:18:38 @metar EGLL 18:18:38 EGLL 311750Z AUTO 22012KT 9999 -RA SCT015/// BKN028/// OVC045/// //////CB 08/05 Q1014 NOSIG 18:18:48 Very slashy. 18:18:48 [wiki] [[TeaScript]] http://esolangs.org/w/index.php?diff=46053&oldid=46052 * 76.102.163.231 * (-9) 18:19:13 what happens if the direction is less than 100 18:19:23 I think that part's zero-padded, then. 18:19:30 I don't know what happens if speed is more than 99. 18:19:38 @metar EGLL 18:19:39 EGLL 311750Z AUTO 22012KT 9999 -RA SCT015/// BKN028/// OVC045/// //////CB 08/05 Q1014 NOSIG 18:19:44 Uh. 18:19:47 @metar EFHK 18:19:47 EFHK 311750Z 12009KT 9999 FEW014 M04/M06 Q1035 NOSIG 18:19:55 Well, it's >= 100 there too. 18:21:28 https://en.wikipedia.org/wiki/METAR#Example_METAR_codes seems to indicate the speed is zero-padded if less than 10 18:22:06 19 knots isn't much of a storm, to be honest. 18:22:51 There was supposed to be some sort of a storm here, but it was only the northern bits. 18:23:07 maybe it wasn't blowing that much right then. 18:24:15 -!- Welo has quit (Quit: Leaving). 18:24:22 The UK flood warning map has been very lively recently. 18:25:03 https://flood-warning-information.service.gov.uk/map 18:25:19 -!- Froox has quit (Read error: Connection reset by peer). 18:25:38 "95 Warnings no longer in force - flood warnings and flood alerts removed in the last 24 hours" guess it's getting better 18:25:41 -!- Frooxius has joined. 18:26:42 well there was a picture of cameron visiting flooding in york in a norwegian newspaper 18:27:19 Taneb: so is your student apartment under water twnh 18:29:09 Maybe that's why their IRC keeps going down. 18:29:14 Taneb: hey maybe you're disconnecting because the server ... right 18:29:59 i expect they've probably put the university somewhere high, though 18:31:14 oerjan: huhwhat? our university is quite law, so it's flooded often. 18:31:22 Ours in Finland is pretty near the sea, too. The road next to the CS building is occasionally under water. 18:31:27 -!- tjt263 has quit (Quit: part). 18:31:33 OKAY 18:31:36 it's the Országos Széchényi Könyvtár that is up high on a hill. 18:31:42 I don't think they've actually gotten water into any buildings though. 18:32:19 well, the flood doesn't go up to the tenth floors of the high buildings, it's just the basements that are regularly flooded, but that's enough of a problem. 18:32:52 -!- perrier____ has quit (Remote host closed the connection). 18:32:55 National ... Library? 18:33:07 also, since it's so close to the river, the ground isn't too stable, so one of the buildings (Ch) started to dangerously twist when they digged the metro tunnel under it. 18:33:22 the university blamed the tunnel builders of doing something wrong and causing too much vibrations. 18:34:05 oerjan: it's named in honor of Széchényi Ferenc, the son of Széchenyi István, because he has had something to do with starting a library and supporting it with some of his money or something like that 18:34:14 -!- perrier_ has joined. 18:34:27 ah 18:36:34 reference https://hu.wikipedia.org/wiki/Orsz%C3%A1gos_Sz%C3%A9ch%C3%A9nyi_K%C3%B6nyvt%C3%A1r#T.C3.B6rt.C3.A9nete 18:36:44 and https://en.wikipedia.org/wiki/National_Sz%C3%A9ch%C3%A9nyi_Library#History 18:37:03 it's either the biggest or the second biggest library in Hungary 18:37:10 I'm not sure which 18:46:30 oerjan, my student flat is not underwater as far as I know 18:46:36 -!- dcentral has quit (Quit: Leaving). 18:46:42 Neither, for that matter, is the server 18:48:23 b_jonas: s/son/father/, i take. 18:48:25 Turns out one of the admins on the server (ran by the CS society at my uni) was fiddling with the ZNC install trying to get it to work with HTTPS 18:48:42 Which, to be fair, it now does 18:49:04 Taneb: yay! 18:49:42 oerjan: ah right! he's the FATHER of Széchenyi István. That actually makes _much_ more sense historically. 18:50:01 As in, he was active _before_ the dualism. 18:50:07 Sorry, I'm not good in history. 18:51:17 I should have known this, it's not like the Károlyi family, which has like a dozen famous people in it, including minister presidents, and statues with just "Károlyi" written on them; plus a dozen other famous people named Károlyi who aren't related to them. 18:52:42 now i wonder why the son dropped a ´ 18:53:38 the pronunciation guide at https://en.wikipedia.org/wiki/Istv%C3%A1n_Sz%C3%A9chenyi seems to think it's still pronounced long 18:54:20 oerjan: at that time people didn't have passports with a name printed in them, so the spelling of names of noblemen was more flexible. 18:54:35 and yes, both are pronounced Szécsényi 18:54:55 at least most likely pronounced that 18:55:06 some people probably pronounced it in different ways 18:57:16 There's an Iain M. Banks novel where your social class determines how many names you have -- nobles have one, two seems relatively common, and having four names seems to be considered an indicator of low social status. 19:07:30 where is the BF to MM compiler? 19:08:02 @massages-loud 19:08:02 You don't have any messages 19:08:29 dammit i can't remember the name of the stupid command to show all pings 19:08:53 @pings-loud 19:08:53 Unknown command, try @list 19:08:56 aww 19:08:59 @list 19:08:59 What module? Try @listmodules for some ideas. 19:09:27 fuck you stupid bot for telling me to use a command that did nothing 19:09:47 aha that was it 19:10:04 i appear to have pinged myself 19:10:22 @listmodules 19:10:22 activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime metar more oeis offlineRC pl pointful poll pretty quote search slap source spell system tell ticker todo topic type undo unlambda unmtl version where 19:10:28 @list oeis 19:10:29 oeis provides: oeis sequence 19:10:39 @oeis 19:10:39 Sequence not found. 19:10:46 @oeis 0,2,12,70 19:10:48 `wisdom 19:10:49 a(n) = 6a(n-1) - a(n-2), with a(0) = 0 and a(1) = 2.[0,2,12,70,408,2378,1386... 19:10:57 neaty 19:11:02 mothology/Mothology is the study of moths, myths and mirths. 19:11:23 @list check 19:11:23 check provides: check 19:11:37 WOW SO USEFUL THX FOR USEFUL DOCS LAMBDABOT 19:11:47 @help check 19:11:47 check 19:11:47 You have QuickCheck and 3 seconds. Prove something. 19:12:00 oh aha 19:12:16 too bad i don't haskell 19:12:26 @help base 19:12:27 base is a module. 19:12:31 @list base 19:12:32 base has no visible commands 19:12:35 oh 19:12:47 @help compose 19:12:47 . [args]. 19:12:47 . [or compose] is the composition of two plugins 19:12:47 The following semantics are used: . f g xs == g xs >>= f 19:14:01 @@ is usually more convenient 19:15:20 oerjan: the obvious conclusion is that `learn should be a-separated hth 19:15:25 oerjan: buubot has a more general composition method. I took part in defining and implementing that one. 19:15:31 lambdabot's compose is limited 19:15:47 @help spell 19:15:48 spell . Show spelling of word 19:16:03 @spell lokomoshun 19:16:04 Plugin `spell' failed with: aspell: readCreateProcessWithExitCode: runInteractiveProcess: exec: does not exist (No such file or directory) 19:16:16 In buubot, you can interplate the result of a command anywhere inside a command line. 19:16:27 uh...that doesn't seem right 19:17:12 That together with a quoting command and an eval (inside sandbox) command lets you glue buubot commands together in basically any way you like. 19:17:40 (The quoting command lets you quote _any_ string output such that you can embed it as a literal in a program you eval. 19:17:43 ) 19:17:56 We also have persistency, and macros with arguments. 19:18:23 Well, not quite arguments, only one string argument really, with convenience for whitespace-splitting. 19:29:36 [wiki] [[Schrodilang]] http://esolangs.org/w/index.php?diff=46054&oldid=31108 * 78.52.70.142 * (+10) 19:37:39 * b_jonas checks if the Esowiki has a language called [[2005]] yet 19:38:00 well, I guess you still have time. we're faster these days than last year. 19:39:52 wat 19:40:04 is the 2016 binary ready? 19:48:41 b_jonas: um that's what lambdabot's @@ does 19:49:16 @help @@ 19:49:17 help . Ask for help for . Try 'list' for all commands 19:49:21 @help @ 19:49:21 @@ [args]. 19:49:22 @@ executes plugin invocations in its arguments, parentheses can be used. 19:49:22 The commands are right associative. 19:49:22 For example: @@ @pl @undo code 19:49:22 is the same as: @@ (@pl (@undo code)) 19:50:11 shachaf: wat 19:50:25 oerjan: I don't think so, unless the help doesn't tell everything. it doesn't tell how to quote arbitrary output, or how to put arbitrary strings including at signs and parenthesis in the commands 19:51:14 maybe lambdabot can do all that, but if so, I have no idea how 19:52:21 oerjan: in the vein of le/rn le//rn etc. 19:52:29 @help arg 19:52:30 help . Ask for help for . Try 'list' for all commands 19:52:32 @help quote 19:52:33 quote : Quote or a random person if no nick is given 19:53:05 @show like this 19:53:06 "like this" 19:53:23 @help show 19:53:23 show . Print "" 19:53:32 @show foo"bar(qux 19:53:33 "foo\"bar(qux" 19:53:35 nice 19:53:44 that might help 19:53:50 and how do you put arbitrary at signs into the command? 19:54:20 a bit trickier, but you can do it with @run 19:54:27 @help run 19:54:27 run . You have Haskell, 3 seconds and no IO. Go nuts! 19:54:30 ok 19:54:33 I see 19:54:50 maybe lambdabot is better than I thought 19:54:54 there is a rather big limitation in @run's output length, alas 19:54:55 thanks for telling about @show at least 19:55:05 does it also have mutable state? 19:55:14 ah, it probably does 19:55:17 with @define 19:55:43 it might be write-once but that can probably be worked around 19:55:45 there _used_ to be a @read command that undid @show, but that was removed 19:56:08 oerjan: that isn't really needed, you can just @run write or something like that 19:56:12 um 19:56:14 oh right, you cannot get to everything else inside @run 19:56:22 that's also awkward 19:56:26 I mean @run var 19:56:34 @run var "foo\"bar(qux" 19:56:36 foo"bar(qux 19:56:42 yeah var is the way to do it now 19:56:48 @karma blah 19:56:51 blah has a karma of 31337 19:56:58 this was done through @@ @run trickery 19:57:34 yeah i remember that 19:57:41 I think buubot has a rather long output limit internally, as in, the output between commands in a compose line, or the def of a factoid/macro (which is what mutable state is based on) can be much longer than an irc line (probably at least 64 kilobytes or something) 19:57:51 I think ion did it. 19:57:51 even if it won't output long lines to _IRC_ 19:58:01 it had a web interface though, with both longer input and output lines than irc 19:58:08 shachaf: pretty sure i've done similar 19:58:13 but technically you don't need that much, since with mutable state you can just use multiple lines 19:58:19 You used ^ul, didn't you? 19:58:39 oerjan: I did the original blah++ing, but ion was the one who brought it to that particular number. Unless I'm misremembering. 19:58:41 buubot's syntax is sort of both useful and esoteric 19:58:50 @karma shachaf is mostly your fault 19:58:51 You have a karma of 91 19:59:17 b_jonas: quite possibly lambdabot's internal limit is higher, but still not unlimited. 19:59:18 -!- ^v has joined. 19:59:20 http://codu.org/logs/_esoteric/2012-12-29.txt 19:13 19:59:29 -!- ^v has quit (Client Quit). 19:59:37 the output limit is higher in privmsg, after all 19:59:39 sure 19:59:41 there are limits 19:59:51 I don't recall what the length limits are in buubot 20:02:28 given that @run's output is sometimes nominally infinite, there has to be 20:08:06 -!- earenndil has changed nick to Elronnd. 20:12:59 izabera> https://en.wikipedia.org/wiki/IDN_homograph_attack "For example, a person frequenting citibank.com may be lured to click a link in which the Latin C is replaced with the Cyrillic С." <-- brb, registering .сom 20:14:19 .xn--om-nmc 20:14:34 agora.xn--om-nmc 20:24:14 [wiki] [[CAT]] http://esolangs.org/w/index.php?diff=46055&oldid=46049 * Oerjan * (-29) Undo revision 46049 by [[Special:Contributions/Jamesmorrison|Jamesmorrison]] ([[User talk:Jamesmorrison|talk]]) (Seems like spam) 20:24:46 [wiki] [[Special:Log/block]] block * Oerjan * blocked [[User:Jamesmorrison]] with an expiry time of indefinite (account creation disabled): Spamming links to external sites 20:26:28 unusually clever, though, the link had a url and was placed in a spot that easily _could_ have been non-spam. 20:26:57 so i actually had to risk visiting it to check 20:29:02 i hope other people are sometimes checking things, i've basically dropped esolangs.org from what i follow closely until i catch up to some other sites 20:29:17 the backlog was just too big. 20:29:47 `2015 20:29:49 No output. 20:30:40 `cat bin/2015 20:30:41 ​#!/bin/sh \ if [ $(date +%Y) != "$(basename "$0")" ] \ then echo "Hello, world!" \ fi 20:31:11 `` date +%Y 20:31:13 2015 20:31:36 soon it will be useful! 20:32:30 -!- hppavilion[1] has joined. 20:32:42 hippavilion! 20:32:45 `` sed -i s/!// bin/2015 20:32:48 No output. 20:32:49 `2015 20:32:50 Hello, world 20:32:54 `revert 20:32:58 izabera: heresy! 20:33:03 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 20:33:14 i made it useful like you wanted 20:33:32 * oerjan beats izabera senseless with the saucepan ===\__/ 20:33:49 YOU RUINED IT WHEN THERE WERE JUST HOURS LEFT 20:34:00 oerjan: what if it used %G wth 20:34:09 no idea what that means 20:34:21 `date +%G 20:34:22 2015 20:36:01 * oerjan is reminded of that flower in the dennis the menace movie 20:36:38 `wisdom 20:36:40 inventory/An inventory is a collection of inventions. 20:37:04 `` date -d '2016-01-01' +'%Y %G' 20:37:05 2016 2015 20:37:21 `` date -d '2016-01-03' +'%Y %G' 20:37:22 `dateu 20:37:25 2016 2015 20:37:26 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: dateu: not found 20:37:26 `` date -d '2016-01-04' +'%Y %G' 20:37:29 2016 2016 20:37:34 oh, I don't have that alias here 20:37:37 I'll run it locally 20:37:40 `` for i in 1 2 3 4 5 6; do date --date=2016-01-0$i +"2016-01-0$i: %G"; done 20:37:41 2016-01-01: 2015 \ 2016-01-02: 2015 \ 2016-01-03: 2015 \ 2016-01-04: 2016 \ 2016-01-05: 2016 \ 2016-01-06: 2016 20:38:02 It's the year attached to the week number given by %V. 20:38:13 Week numbers: so complicated. 20:39:06 ah. 20:39:28 i always hated those since i could never remember when they were 20:39:33 `datei 20:39:34 2015-12-31 20:39:32.075129000+00:00 20:39:38 `datei -u 20:39:39 2015-12-31 20:39:36.267839000+00:00 20:39:44 ah great, I have datei, just not dateu 20:39:56 ``` cat bin/datei 20:39:57 ​#!/bin/sh \ exec date --rfc-3=n "$@" 20:40:34 ``` echo $'#!/bin/sh\nexec date --rfc-3=n -u "$@"' > bin/dateu && chmod a+x bin/dateu 20:40:37 No output. 20:40:38 `dateu 20:40:39 2015-12-31 20:40:36.938618000+00:00 20:40:40 `datei 20:40:41 2015-12-31 20:40:38.926797000+00:00 20:40:43 that's better 20:40:58 mind you, it makes no difference because HackEgo is set to UTC timezone by default 20:41:24 still no 2015 language 20:42:53 The one good thing about living in the UK: times in UTC are local for at least part of the year. 20:43:00 Now if they'd get rid of DST too. 20:43:56 which timezone is the other one where utc is local for part of the year? 20:44:00 +1 or -1 ? 20:44:14 and don't answer "yes" 20:44:17 izabera: -1 (in one of the notations. time zones are notated in two opposite ways.) 20:44:30 izabera: the one almost nobody uses that is, because it's in the atlantic 20:44:44 izabera: most of Europe is on +1, which is +2 in most of the year actually, but +1 now in the winter 20:45:05 There isn't much where it's like that summer-only. 20:45:10 not sure why but i kinda hoped it was +1 because i live there but it wouldn't change my life in the slightest way but still 20:46:41 Iceland is permanently UTC-local. 20:47:50 (And many countries in Africa, I'm just being eurocentric.) 20:52:01 Somehow I always think of Iceland being very far up north, even though it isn't really. 20:59:30 that's actually Greenland, and it's very far up west, not north 21:00:05 -!- mihow has joined. 21:16:37 Math needs something called a coconjugate 21:16:49 Also, a complex operation called (for now) "swapation" 21:17:19 itym njugate hth 21:17:23 If $ is swapation (prefix, lower precedence than +), then $a+bi = b+ai 21:18:04 The only obvious properties I can think of of $ are: 21:18:33 $z = i*conj(z) hth 21:18:53 A) c+di = $a+bi -> sqrt(a**2+b**2) = sqrt(c**2+d**2) 21:19:25 (More simply, the swapation of a complex number has the same absolute value, which is of course different from modulus because calling abs(z) the "modulus" of z is stupid) 21:20:08 B) $$z=z ($ is its own negation, similar to conjugate) 21:20:11 $z = i*conj(z) hth 21:20:22 oerjan: Yes, of course 21:20:37 I saw the first time and was formulating a response 21:21:20 oerjan: Do you think there's any practical use for $? 21:21:40 well it's not analytic 21:22:01 and it's not a field isomorphism 21:23:18 so it combines the flaws of i* and conj(). also in math conj() is usually just a macron, so the notation isn't really shorter either 21:23:30 There's also $ for generalized polynomials, called "rotation", with the property that $(a[0]x**n+a[1]x**(n-1)+...a[n]x**(n-n=0) is equal to... something 21:23:51 I guess that you rotate the a's by one, but not the exponents, or vice versa 21:24:06 Then of course ~$, revrot, which does the same thing in reverse 21:24:45 oerjan: Yes, but is there any time one would ever want to swapate a binomial (complex or not)? 21:25:20 I mean, is there any use for i*conj(z) that comes up even remotely often? 21:25:50 oerjan: Also, what do you think of fuzzy sets where the fuzziness of an element is generalized to the complexes? 21:26:37 i doubt it comes up often enough to justify a new notation. 21:27:19 especially since if you are doing that kind of manipulation, it's probably better to keep everything in terms of z and conj(z) for uniformity 21:27:36 (as long as you want to use complex notation) 21:28:03 oerjan: OK, but if I ever write a paper that makes heavy use of i*(z*) I'm using $. 21:28:33 OKAY 21:29:42 oerjan: Why do you do "OKAY" in fullcaps? It makes you look angry. 21:29:49 as for your polynomial version, one problem i see is that it depends on whether a coefficient is 0 or not. 21:30:10 i.e. if a[0] = 0, you suddenly have degree one less. 21:30:11 oerjan: You fill in 0 coefficients, but only up to the degree of the polynomial 21:30:25 yes, and that makes it nonlinear. 21:30:30 Dammit 21:30:37 Wait, what does that mean? 21:31:18 it means that if you rotate x^n and x^n + 1, then the difference is not the rotation of 1. 21:31:32 which is sort of an ugly property. 21:32:10 oh even worse, the rotation is not invertible 21:32:28 x^n -> 1, no matter what n is 21:33:21 (well either that or revrot, not sure which one is which direction) 21:34:06 to sum up, i think you need to include n in the notation for it to be sane. 21:34:41 time to put on pizza... 21:36:04 hppavilion[1]: also OKAY in full caps means i'm being incredulous hth 21:36:14 Ah 21:39:12 if you include n in the notation, then you can also apply it to polynomials of even larger degree, it will just ignore those coefficients. 21:39:52 complex fuzziness: no idea how useful it is, but i could say almost the same thing about ordinary fuzzy sets. 21:40:18 (i hear it's used in AI?) 21:43:12 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 21:43:32 hppavilion[1]: btw if you restrict it to polynomials of lower degree, then it's basically multiplying by x followed by modulo by x^(n+1) - 1. 21:43:57 or multiplying by x^n, for the reverse 21:46:50 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 22:01:27 * oerjan smiles at google's new year's eve doodle 22:02:05 i wonder if it distinguishes time zone 22:06:20 -!- Phantom_Hoover has joined. 22:07:25 @time oerjan 22:07:28 Local time for oerjan is Thu Dec 31 23:07:25 2015 22:08:02 i assume it would use that i'm on google.no then 22:09:11 -!- hppavilion[1] has joined. 22:09:48 `dateu 22:09:49 2015-12-31 22:09:46.564324000+00:00 22:09:52 less than an hour localtime here 22:10:00 ``` TZ=Europe/Paris datei 22:10:01 2015-12-31 23:09:58.476564000+01:00 22:14:03 TIME IS RUNNING OUT 22:20:17 -!- augur has quit (Read error: Connection reset by peer). 22:23:34 no, it's the year that's running out. 22:24:44 ARE YOU SURE 22:25:00 https://www.youtube.com/watch?v=IGvlw7qBoJQ#t=2m 22:25:00 also, this meat lover's pizza feels extravagant 22:25:05 confirmation that time is running out hth 22:26:09 -!- augur has joined. 22:29:11 -!- Patashu has joined. 22:33:51 Why hasn't the SQLite bug I reported has been fixed or even acknowledged yet? 22:34:36 zzo38: I dunno. the one I reported is fixed, and the fix will be in the release some time in January. 22:35:47 Maybe you can write to them though, I don't know 22:40:46 huh what? 22:42:02 -!- variable has joined. 22:54:45 Does it work better if you write to them do you even know how to do such thing better? But first see if you understand what my bug report is at least. 22:55:37 why would it help if I write? I didn't get it right at first, I had to write a second letter. 22:55:49 and then a third when drhipp committed a wrong fix 22:55:57 (a partial fix, let's say) 22:56:08 Then tell someone else who does know how to get it right 22:56:11 (though he would have figured it out when running the tests anyway, but later) 22:56:17 why don't you try? 22:57:56 I did already. 22:58:06 I received no reply 22:58:08 try again later 22:58:18 @8-ball will they listen to zzo38 next time? 22:58:18 Unknown command, try @list 22:58:22 `8-ball will they listen to zzo38 next time? 22:58:22 Reply hazy try again. 22:58:42 midnight's close, pour the champagne 22:59:05 One more hour to go here. 23:02:01 yeah I know, everyone here's in the UK or Finland so they don't celebrate now 23:02:12 HIPPY GNU YARN! 23:03:14 seems you have to reload the google doodle manually 23:05:17 b_jonas: wait, i just thought you were in paris 23:06:42 oerjan: most of continental Europe is in the +1 timezone. Europe/Paris is the name I use for that timezone (+1 with the European daylight saving rules) because Paris is like the biggest city in the zone. 23:07:07 I still have another 10 hours to new year 23:07:32 OKAY 23:07:39 hppavilion[1]: what? 10 hours? 23:07:42 that's like -9 23:07:47 is it in Alaska or something? 23:07:52 ding ding ding 23:07:58 b_jonas: Yes. I'm in Alaska. 23:08:06 I thought this was established xD. 23:08:37 But the HP Pavilion is in San Jose. 23:08:42 Was in San Jose, I guess. 23:09:06 right, Alaska and 10 hours matches 23:24:42 -!- boily has joined. 23:25:19 -!- TieSoul has quit (Read error: Connection reset by peer). 23:35:56 -!- mihow has quit (Quit: mihow). 23:42:35 IEUAAAAAAAAAAAAAAAAAAAAAH! 23:43:58 how's the future? 2016? has the world ended in nucular conflagrations or other apocalyptic robotic seismic ubpringings? 23:46:00 boily: yes 23:46:23 obviously 23:46:42 well, not robotic. they involve kittens hth 23:47:11 oh, so about five hours remaining until kittensplosion. 23:47:35 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 23:48:01 also i'm not sure about seismic. it's hard to measure with all the kittens in the way. 23:48:53 sample kittens, measure amplitude, scale up. 23:49:41 . o O ( huh. somebody built a huge maya pyramid somewhere very random on our server. who, why, when, and are they mapolable for their architecturactions. ) 23:51:05 boily: Everyone is mapolable. Not being mapolable is punishable by mapoling, LTIC 23:51:20 [wiki] [[2015]] N http://esolangs.org/w/index.php?oldid=46056 * 50.161.94.113 * (+173) We need another [[2014]]! 23:51:28 well, sometimes you may need to soak your mapole in holy water first. 23:51:42 e.g. for ghosts. 23:51:46 Ugh 23:51:54 Really, 50.161.94.113? 23:52:51 [wiki] [[Talk:2015]] N http://esolangs.org/w/index.php?oldid=46057 * Hppavilion1 * (+115) No. 23:53:12 My comment on the page was almost as long as the page itself. 23:53:13 this is what happens when you don't make an article in time hth 23:53:33 7 minutes 23:53:39 quick, someone invent a 2015 language 23:53:41 oerjan: Perhaps we should salvage the page and make one that references all the stuff that happened in 2015 23:53:48 b_jonas: Someone just did 23:54:08 oh good 23:54:10 `2015 hi 23:54:14 No output. 23:54:18 what 23:54:19 hppavilion[1]: btw `2015 exists, and has done so for almost a year hth 23:54:24 ``` cat bin/2015 23:54:25 ​#!/bin/sh \ if [ $(date +%Y) != "$(basename "$0")" ] \ then echo "Hello, world!" \ fi 23:54:36 b_jonas: try again in 6 minutes hth 23:54:46 oh 23:54:50 You know, a sort of historical language. It would talk about the Refugee crisis in the form of programming, et cetera. 23:54:51 it has != in it 23:55:02 Something even remotely better than 2014 23:55:04 Language-wise 23:55:07 (newlines instead of semicolons. crazy.) 23:55:25 hppavilion[1]: we already invented 2015, a year ago. hth. 23:55:35 oerjan: Then we'll invent 2015++ 23:55:39 That sounds like a good idea 23:55:44 Adding ++ fixes everything 23:55:59 (So 2016, basically) 23:57:18 I love how "it [2014] has probably faded into uselessness" 23:57:22 By the time we're reading it 23:57:31 Because, you know, it was always particularly useful 23:58:11 `cat bin/1492 23:58:12 cat: bin/1492: No such file or directory 23:58:12 everything is terrible. 23:58:15 `` echo "#!/bin/sh \ if [ $(date +%Y) != "$(basename "$0")" ] \ then echo \"Hello, world!\" \ fi" > bin/1492 23:58:18 No output. 23:58:23 `1492 23:58:24 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/1492: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/1492: cannot execute: Permission denied 23:58:41 Well I did something wrong. 23:59:31 "chmod" hth 23:59:52 also, newlines 23:59:57 those are not actual \s