00:02:56 Taneb: you're twice as famous as i am in the hcar 00:03:14 shachaf, my goal for November is to be mentioned 5 times 00:03:23 shachaf, also one of my friends got in HWN this week 00:03:53 who 00:06:01 Michael Walker 00:07:12 For his Book database, I think 00:10:18 See, not only am I famous, I have connections to other famous people! 00:21:21 * Taneb now has some chocolate :) 00:23:51 -!- copumpkin has joined. 00:45:47 -!- contrapumpkin has joined. 00:47:08 -!- hilquias has joined. 00:47:21 -!- hilquias has quit (Changing host). 00:47:21 -!- hilquias has joined. 00:49:15 -!- copumpkin has quit (Ping timeout: 252 seconds). 00:54:34 -!- contrapumpkin has quit (Read error: Connection reset by peer). 01:00:52 -!- b_jonas has quit (Ping timeout: 240 seconds). 01:18:36 -!- b_jonas has joined. 01:24:07 -!- adu has joined. 01:33:20 -!- shachaf has quit (Ping timeout: 258 seconds). 01:37:06 -!- FreeFull has quit (Ping timeout: 246 seconds). 01:38:58 -!- FreeFull has joined. 01:51:37 -!- MDude has changed nick to MDream. 02:18:16 -!- Herbalist has joined. 02:18:35 -!- Herbalist has left. 02:50:57 -!- adu has quit (Quit: adu). 02:54:33 derp 02:55:51 how do I send messages via lambdabot? 02:58:36 @help tell 02:58:36 tell . When shows activity, tell them . 02:59:13 ty 02:59:19 yw 03:00:11 wait 03:00:20 could I have just used the chat...??? 03:02:31 POSSIBLE 03:04:21 these things always get out of hand 03:05:08 the way you shouted 'POSSIBLE' in all caps 03:05:24 it makes me feel like it would be a POSSIBLE future programming language... 03:05:35 OKAY 03:06:25 MAYBE 03:06:52 * oerjan is now made of up to 80% self-produced memes. 03:07:02 or possibly self-stolen 03:07:19 hth 03:09:02 probably wont use POSSIBLE 03:09:33 Can you help me to fix my level20.trope so that it is less straight if it is supposed to be less straight, or more straight if it is supposed to be more straight, or whatever else is wrong with it? 03:10:05 anyway, trying to get new ideas for a new language... function doesnt seem to be going well so I might scrap it... 03:10:15 all I really need is the name 03:10:25 s/the/a 03:10:52 * oren was briefly confused as to the meaning of 'straight' 03:11:21 * rdococ is still, more thoroughly, confused as to the meaning of a 'trope' file 03:12:18 i _think_ zzo38 is referring to the straight/subverted/etc. distinction used on trope sites. 03:12:44 oerjan: Yes it is 03:12:50 That is what I am refering to. 03:13:36 Have I already mentioned that my favorite esolangs are the ones that are built on one specific idea? 03:13:38 Of course I have. 03:14:02 I don't know, but at least now you have done so. 03:15:00 what idea is that? 03:15:20 ...wait... did I just dero? 03:15:22 derp* 03:16:00 rdococ: yes, you did. 03:16:02 The two steps of esolang construction: (1) Find one specific idea to base it around (2) Fill in the rest with _anything_other_than_brainfuck_ 03:16:25 If you have the other stuff then yes it help 03:16:39 I'm not sure if I've ever successfully come up with an esolang idea by specifically trying to do so. 03:17:18 Lemme try to remember those esolangs I've come up with that I actually like. 03:17:25 umm... oerjan, you do know I try that all the time? 03:18:37 rdococ: this is general advice hth 03:18:59 //, Al Dente, Proce. There have gotta be some more. 03:22:25 I've rewritten the spec for Proce at least once. I'm still not sure about it. 03:23:15 hmm 03:23:38 This is what I was refering to http://zzo38computer.org/dnd/recording/level20.trope and this in turn refers to a wiki page, which can be corrected to match if needed too; I intend to update both with whatever tropes are applicable. 03:23:56 I want to make sure that it's not possible to "cheat" in Proce by taking advantage of the fact that it's implemented as a series of time steps rather than a set of continuously changing analog signals. 03:25:09 Specify that the program can be worked with analog signals too 03:26:15 -!- copumpkin has joined. 03:29:23 http://esolangs.org/wiki/Combienti%C3%A8m 03:29:31 I like that one. It looks really confusing. 03:31:30 -!- Lyka|Away has changed nick to Lyka. 03:31:35 http://esolangs.org/wiki/Markont - oh god what the heck. 03:33:20 * oerjan vaguely recalls discussing Markont at some point 03:33:55 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 03:37:08 -!- KnightArm0 has joined. 03:37:27 so "Octopus 0003c LCD-Keypad-SD", whose commands match the newest incarnation of the Fourfuck language, has, like many previous versions of it, a double-sided reference sheet. Said reference sheet is in Courier New 6.5 and is full of text. 03:37:32 [wiki] [[Markont]] http://esolangs.org/w/index.php?diff=43106&oldid=36034 * Tanner Swett * (+27) Fixes 03:37:49 -!- hilquias has quit (Remote host closed the connection). 03:41:05 http://esolangs.org/wiki/Slide - ah, I love this. 03:41:50 As ddrescue is copying this drive, I think it's failing more and more 03:42:10 -!- Wright has joined. 03:42:11 be glad that you are maing a copy 03:42:54 Yes, but what of the data already lost? 03:43:01 Also, could positioning of the drive be relevent/ 03:43:10 It's sitting outside any container on a piece of plastic 03:43:37 could be hot 03:43:43 Should I try repositioning it before a retry? 03:44:21 I guess I should see how well the trimming thingy works 03:46:02 http://esolangs.org/wiki/Minimum - pffheh. 03:48:18 very succinct 03:48:25 if i add one more feature to the program, i will need a three-sided sheet of paper 03:49:06 tswett, do you have Grandroids access? What do you think about Grandroids chemistry? 03:49:24 I'm not familiar with Grandroids. 03:51:10 Chemicals are strings made up of A, B, C, D, X, O. X and O can be operators, only the leftmost operator is relevent. O means the chemical is an enzyme, such that, say, AOB will combine A and B to make AB. X is for lysers, so AXB breaks apart AB into A and B 03:51:19 AXXB breaks apart AXB into A and XB 03:51:38 -!- a2 has joined. 03:52:11 Interesting. 03:52:36 -!- KnightArm0 has quit (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.). 03:52:53 -!- KnightArm0 has joined. 03:52:55 I suggested an S to serve as an escape, like "the next character is not the operator", but it probably overcomplicates it and not being able to do certain things adds some flavor, although he said he'd look at it again if needed 03:53:02 -!- KnightArm0 has quit (Remote host closed the connection). 03:54:02 One idea is to have multiple "strengths" of operators, and the relevant operator is the "strongest" one. 03:55:19 [wiki] [[Talk:Snack]] http://esolangs.org/w/index.php?diff=43107&oldid=23252 * Zzo38 * (+364) 03:57:35 People in NESdev wiki argue about whether or not RFC2119 should be used. 04:03:31 RFC2119 SHOULD be used; if you opt to not use it, you MUST NOT use its keywords for different purposes. 04:23:08 -!- copumpkin has quit (Remote host closed the connection). 04:27:03 -!- oerjan has quit (Quit: SHOULD sleep). 04:28:22 Doing so is the class-4 crime of Competing Standards. 04:30:13 pikhq: how SHOULD one interpret those terms if has chosen that they MUST NOT use RFC2119 04:38:11 By not writing all uppercase if it isn't RFC2119 05:02:13 -!- Elronnd|deminewt has joined. 05:04:33 Precisely. 05:05:03 "SHOULD" and such have quite precise meanings, while "should" and such merely have the common natural language meaning. 05:05:32 -!- copumpkin has joined. 05:07:49 If I come up with the concept for a joke programming language, am I allowed to put it on the wiki before I actually write the implementation? 05:08:18 You could, yes, there are many unimplemented stuff on wiki already 05:08:32 But you can also post it without adding into list until implementation is written if you prefer that way 05:08:44 Hm 05:09:10 Is it unfair if the implementation requires every implementation of every non-joke language to be installed on the user's box? 05:09:48 If it a joke language, it doesn't matter if it is unfair 05:10:28 I suppose a better question would be, where can I get a comprehensive list of all implementations of all non-joke languages 05:10:46 Not all of them are implemented yet sorry 05:11:41 oops 05:12:47 Fourfuck needs to be removed from the wiki. It's become too spcialized 05:14:59 "specialized" isn't exactly how I would put it 05:15:00 and won't work on anything other than an Arduino Uno + SD Reader + LCD1602 Keypad 05:15:16 Doesn't matter I think? 05:15:21 you haven't seen the current source code 05:15:25 * Sgeo once considered making an esolang based on Activr Worlds scripting 05:15:43 Languages don't have to be defined based on the implementation 05:15:44 and i can always put it back 05:15:56 *Active Worlds 05:16:05 if it ever becomes ready 05:18:30 [00=SIB0SOB0]00=Q000 05:19:31 * Elronnd|deminewt 's joke language is called "CompLANG", and will exit unless every implementation of every (non-joke) language parses the code with *no* warnings, will exit with an error 05:20:33 Elronnd|deminewt: i just typed a fourfuck line 05:21:19 well, an octopus line, fourfuc being the nme octopus seems to be called here 05:24:08 my personal name for it is octopus (personal joke), the esoteric name is fourfuck 05:35:32 definitely doesn't matter. some of the languages can't be implemented on any real computer, even in principle 05:36:45 (i think there was one explicitly requiring a halting problem orcale?) 05:41:05 BananaScheme? 05:41:26 Two words 05:42:25 Brainhype? 05:53:46 -!- sebbu has joined. 06:02:40 night all 06:05:41 'Night 06:06:04 -!- ski has joined. 06:07:25 -!- Lyka has changed nick to Lyka|Away. 06:14:30 As they say, the joke is all in the telling. 06:20:30 -!- password2_ has joined. 06:21:45 -!- password2_ has changed nick to password2. 06:44:07 -!- shachaf has joined. 08:02:34 -!- function has quit (Ping timeout: 255 seconds). 08:04:16 idea: an esolang that is a derivative of itself 08:06:37 [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=43108&oldid=43062 * Ais523 * (+162) /* Derivative Ideas */ +1 08:06:38 ais523, like INTERCAL? 08:06:40 actually, that's just Feather isn't it? 08:06:56 Taneb: INTERCAL isn't a derivative of itself, it's a parody of other languages that existed in the early 1970s 08:07:32 Hmm, true 08:09:24 I was thinking I call C-INTERCAL, CLC-INTERCAL, etc all INTERCAL 08:09:31 Whereas they are derivatives of eachother 08:09:47 that counts, I think (although INTERCAL-72 isn't a derivative of any of them) 08:10:00 I think you can describe newer versions of C-INTERCAL and CLC-INTERCAL as being derivatives of older versions of each other 08:10:07 but there's no actual infinite regress there 08:10:11 But thinking about it I don't think it counts 08:10:45 (it's like calling sin x * cos x or something and going from there) 08:11:23 * ais523 is suddenly reminded of the double mockingbird, again 08:11:53 about the best you can manage with a traditional type inference algorithm is to determine that its return value has the same type as itself 08:12:37 Anything you can do with a magic type inference algorithm? 08:12:56 [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=43109&oldid=43108 * Ais523 * (+92) /* General Ideas */ mention Snowflake 08:13:06 Taneb: you can determine that it doesn't halt 08:13:23 and therefore its return type is irrelevant 08:13:35 (note: you don't need halting problem levels of magic to determine that /that specific term/ doesnt halt) 08:13:50 f(x)=e^x is the derivative of itself 08:14:18 now I'm wondering if it's possible to define e^x like that 08:14:28 is that the only function that's a derivative of itself? 08:14:31 I too was wondering about thing like that 08:14:43 Although f(x)=0 is also a derivative of itself 08:15:16 ugh yes, for some reason I thought it differentiated to1 08:15:18 *to 1 08:15:21 clearly I'm tired 08:15:50 lim(h->0) (f(x+h) - f(x))/ h = f(x) 08:16:22 I don't think there is much we can conclude from that 08:17:11 But I am not good at this kind of thing 08:17:24 -!- Taneb has left ("Leaving"). 08:17:29 -!- Taneb has joined. 08:17:44 I think we can define e to be the constant such that d/dx e^x = e^x 08:18:19 I have also seen it written as d(e^x) = e^x dx 08:18:20 -!- Phantom_Hoover has joined. 08:19:48 Although the first time I figured out that it is the derivative of itself, it is I figured it out by myself, because, I was in the school there is a separate "math class" and "calculus class"; I learned derivatives in the calculus class and while spare time in the math class I was looking through the textbook and found the series of e^x as well as sin x and cos x. Therefore I figured it out before the teacher told me later that year. (And also how e 08:20:48 zzo38, you were cut of after "(And also how e" 08:21:02 how e^(ix) is works!) 08:21:11 Oooh 08:21:50 doesn't that differentiate to ie^(ix)? 08:22:10 although I just realised I probably missed the point 08:22:21 I meant how it is related to sin and cos functions 08:23:03 yep 08:26:07 I can't seem to get Cairo's example program to compile... 08:26:15 ld is saying that none of cairo's names exist 08:27:06 Taneb: missing a library dependency? 08:27:41 ais523, pkg-config finds Cairo 08:27:54 They did actually ask the question, what is the number k such as that: e^(kx) = cos(x) + k sin(x) 08:28:05 Taneb: does it tell ld about it though? 08:28:12 ais523, I don't know 08:28:17 How do I check that? 08:28:35 I was able to answer the question (although it was not assigned); the answer was also given in the back of the book but it simply said square root of -1 but without any further explanation. Imaginary numbers aren't mentioned anywhere else in this book. 08:28:38 well, are you doing anything to a) tell ld you want to link Cairo, or b) tell gcc to tell ld to link Cairo? 08:29:34 I am not very good at C, I was trying to follow Cairo's instructions, but I do not think I am 08:30:05 Then, learn to be good at C 08:30:05 I'm personally not really a fan of pkg-config 08:31:09 Taneb: however, the documentation implies that you'll need to place the output of "pkg-config --libs cairo" onto the command line that you use as part of the link (if you're building all at once, this will be the same command line as the compile) 08:31:24 the output is, completely unsurprisingly, -lcairo which is how a normal package would do things 08:31:54 For me it is "-I/usr/include/cairo -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/usr/include/pixman-1 -I/usr/include/freetype2 -I/usr/include/libpng12 -lcairo" 08:32:23 Taneb: --libs will give you just the -lcairo bit, I think 08:32:32 I can understand why it uses pkg-config for the includes, though 08:32:47 anyway, if you're giving -lcairo and it isn't working 08:32:53 you're most likely missing the dev symlink for cairo 08:33:00 on Ubuntu it'd be in a package called libcairo-dev 08:33:07 along with the header files 08:33:20 not sure which system you're on or what protocols it uses for this 08:34:28 "libcairo2-dev is already at the newest version" 08:35:00 bleh 08:35:08 What are you trying to make? 08:35:09 try again specifying -lcairo manually just in case something stupid is going on 08:36:03 nathan@Nami:~$ cc -o c -lcairo C.c 08:36:03 C.c:1:19: fatal error: cairo.h: No such file or directory 08:36:03 #include 08:36:03 ^ 08:36:03 compilation terminated. 08:36:26 Oops now make sure it is in the include path 08:36:27 -!- password2 has quit (Remote host closed the connection). 08:36:37 Or put in the directory of include path by yourself 08:37:27 Then I get the old error again 08:37:42 (with lots of undefined reference to ...) 08:38:15 I don't know how to work Cairo 08:38:30 -!- ais523 has quit. 08:40:25 Me neither, evidently 09:21:58 I made up the way to convert JSON into RDF in case it is useful sometimes; it is possible also converting back other way. 09:22:05 For example: @prefix : . [ :firstName "John"; :lastName "Smith"; :isAlive true; :age 25; :address [ :streetAddress "21 2nd Street"; :city "New York"; :state "NY"; :postalCode "10021-3100" ]; :phoneNumbers ([ :type "home"; :number "212 555-1234" ] [ :type "office"; :number "646 555-4567" ]); :children (); :spouse ] (). 09:22:15 (This example is from the JSON example in Wikipedia) 09:22:44 Do you expect this is working OK? 09:25:55 -!- Tritonio has joined. 09:26:03 -!- Tritonio has quit (Remote host closed the connection). 09:26:16 -!- Tritonio has joined. 09:37:14 "joke language" is overused too much. 09:37:18 in my opinion. 09:37:39 Maybe...or, maybe only a little bit too much 10:06:40 -!- Wright__ has joined. 10:06:40 -!- Wright has quit (Read error: Connection reset by peer). 10:35:26 -!- aloril has quit (Remote host closed the connection). 10:38:49 "esoteric language" 10:41:36 @ask ais523 an esolang that is a derivative of itself ; does ASCII Art- count? 10:41:36 Consider it noted. 10:43:04 -!- password2 has joined. 10:43:41 (Well, it's actually a derivative of a derivative of itself.) 10:57:33 -!- SopaXT has joined. 11:10:08 Help I am writing horrible C again 11:10:13 Is http://sprunge.us/DHOD portable? 11:10:20 /well-defined 11:11:27 fungot, dhod 11:11:27 Jafet: supertux use it for screen? ( and which then generates scheme code) on how monads naturally arise as abstraction devices. anyone interested in coding computer games. 11:15:43 That looks legal. Clearly you need to obfuscate it more 11:16:49 -!- aloril has joined. 11:49:11 -!- MDream has changed nick to MDude. 12:08:36 -!- AnotherTest has joined. 12:52:48 -!- hjulle has joined. 13:32:23 -!- Melvar` has joined. 13:34:34 -!- Melvar has quit (Ping timeout: 265 seconds). 13:34:54 -!- idris-bot has quit (Ping timeout: 272 seconds). 13:38:12 -!- password2 has quit (Ping timeout: 258 seconds). 13:39:04 -!- idris-bot has joined. 13:46:20 -!- Melvar` has changed nick to Melvar. 13:49:02 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 13:51:52 -!- Patashu has quit (Ping timeout: 250 seconds). 13:55:39 -!- oerjan has joined. 14:04:09 @tell ais523 is that the only function that's a derivative of itself? <-- f(x) = C*e^x are the only ones 14:04:09 Consider it noted. 14:06:05 @tell ais523 so if you add f(0)=1 it's unique 14:06:05 Consider it noted. 14:06:10 -!- GeekDude has joined. 14:09:58 * oerjan tries to remember the "simple" proof 14:10:52 if f(x) = g(x)e^x, then (g(x)e^x)' = g'(x)e^x + g(x)e^x, so g'(x) = 0 and g is a constant. 14:11:14 @tell ais523 if f(x) = g(x)e^x, then (g(x)e^x)' = g'(x)e^x + g(x)e^x, so g'(x) = 0 and g is a constant. 14:11:15 Consider it noted. 14:11:53 @tell ais523 *+function 14:11:53 Consider it noted. 14:12:52 that's a pretty neat proof, really 14:13:15 Taneb: ^ 14:16:38 iirc you can do similarly to find the solution for f''(x) = f(x) etc. (which includes e.g. sin and cos) 14:16:53 this vaguely remembered from differential equation class 14:17:40 although there's also a more powerful theorem you can use 14:18:07 Yeah, I sort of half remember something 14:18:26 wait how does that actually prove that this is the only case where f(x) = f'(x)? 14:18:46 coppro: note that (g(x)e^x)' = g(x)e^x by assumption 14:19:08 ah 14:19:15 ok 14:21:41 oh my god I just realized that the thieves' guild in discworld is a metaphor for government 14:21:55 ooh 14:23:48 http://lmgtfy.com/?q=slowpoke.jpg 14:26:16 zzo38: ^ you might be interested to 14:29:05 oerjan: what is the general solution to f(x) = f''(x)? f(x) = c_1e^{d x} + c_2e^{-d x} for |d| = 1? 14:29:43 coppro: d = +-1 14:29:45 iirc 14:29:58 erm wait 14:30:42 d = 1 just as well. 14:31:31 it works with d=i 14:31:35 more generally, for n differentiations, d is an nth root of unity. 14:31:53 oh wait, no it doesn't 14:31:56 because you get a - 14:31:59 ok 14:32:42 for 2, you can make a base change to use sin and cos instead 14:33:07 in all cases the solution set is a vector space of n dimensions 14:33:21 right 14:33:33 or wait 14:33:39 that's 4, not 2 14:34:16 the second step negates 14:35:16 yeah 14:35:24 oh it's f''(x) = -f(x) which gets sin and cos, for f''''(x) = f(x) you still keep e^x and e^(-x) as well 14:35:25 that's the misatke I made 14:35:30 right 14:35:40 because +- i is a 4th root 14:35:45 right 14:40:43 -!- Welo has joined. 14:45:04 Hmm, I can get cairo programs to compile on my desktop (running Debian) but not my laptop (running Ubuntu0 14:55:39 -!- augur has quit (Ping timeout: 240 seconds). 14:56:24 -!- Lyka|Away has changed nick to Lyka. 15:07:42 -!- SopaXT has quit (Ping timeout: 250 seconds). 15:08:48 -!- rdococ has quit. 15:10:22 -!- rdococ has joined. 15:10:46 -!- augur has joined. 15:22:28 -!- bb010g has joined. 15:31:28 -!- Vorpal has quit (Ping timeout: 265 seconds). 15:35:47 \/) 0 | 0 15:35:52 -!- Lyka has changed nick to Lyka|Away. 15:36:25 -!- TieSoul has joined. 15:38:47 -!- AnotherTest has quit (Ping timeout: 276 seconds). 15:43:21 -!- password2 has joined. 15:44:22 -!- TieSoul has changed nick to TieSoul_. 15:44:31 -!- TieSoul_ has changed nick to TieSoul. 15:52:20 -!- password2 has quit (Ping timeout: 252 seconds). 15:58:46 -!- GeekDude has changed nick to GeoDude. 16:25:12 Does ?: create a sequence point? 16:25:48 Yes 16:29:27 I had an idea for an esoteric spreadsheet. The cells would be numbered by a mapping between N and Q+ 16:29:43 e.g. that snakey path thing 16:31:20 Hmm I guess it has to be a bijection, not just a 'mapping' 16:33:15 Now, the fun part is, given you are at cell n, how to get the cell below, left, right or up? 16:35:33 https://en.wikipedia.org/wiki/Cantor_pairing_function hth 16:36:35 th 16:37:51 so then, given cantors f, can we define a function g(z) such that if [x,y] = f(z) then [x+1,y] = f(g(z)) 16:38:17 and what is the simplest expression of said function? 16:40:58 er, I suppose f above is the inverse. 16:41:12 so it should be f^-1 16:48:34 -!- G33kDude has joined. 16:48:38 -!- G33kDude has quit (Excess Flood). 16:48:55 -!- G33kDude has joined. 16:49:06 hmm... z' = z + x + y + 1 16:50:40 afaik the tricky part is that you need an integer square root to find out which diagonal you're on 16:51:08 (essentially) 16:51:50 -!- GeoDude has quit (Ping timeout: 245 seconds). 16:52:00 -!- G33kDude has changed nick to GeoDude. 16:52:38 so it's not going to be a very pretty formula 16:53:13 z' = z + floor((sqrt(8*z+1)-1)/2) + 1 16:53:38 yeah, not pretty at all 16:54:33 that's for z' s.t. y' = y and x' = x + 1 16:55:19 yep, looks familiar 16:56:01 -!- Aearnus has joined. 16:59:10 prettier: z' = z + ⌊(√8̅*̅z̅+̅1̅-1)/2⌋ + 1 16:59:32 pretty empty squares 17:00:20 -!- oerjan has quit (Quit: Late, later, latest). 17:01:44 and of course, to get z' for y+1 instead of x+1 you add one to the previous 17:03:24 -!- password2 has joined. 17:09:43 -!- SopaXT has joined. 17:09:52 But this enables to represent a 2d array of data without reference to its dimensions... that might actually be useful 17:10:15 (for a given value of 'useful') 17:19:10 well, the performance for sequential access is pretty abysmal 17:24:33 -!- hilquias has joined. 17:24:37 -!- boily has joined. 17:26:05 @metar CYUL 17:26:05 CYUL 301700Z 22022G28KT 30SM FEW040CB FEW110 BKN240 29/19 A2987 RMK CB2AC1CI5 AC TR SLP114 DENSITY ALT 1800FT 17:27:55 * boily is overheating~~~ 17:28:08 @metar KOAK 17:28:08 KOAK 301653Z 26006KT 10SM OVC006 12/10 A2999 RMK AO2 SLP155 T01220100 17:28:37 @metar LLBG 17:28:37 LLBG 301720Z 32005KT CAVOK 22/14 Q1014 NOSIG 17:28:41 hm 17:29:06 @massages-loud 17:29:06 oerjan asked 1d 15h 31m 36s ago: So, why did you study in hell, then? 17:29:26 @ask oerjan study? 17:29:26 Consider it noted. 17:30:34 [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=43110&oldid=43105 * 72.74.32.143 * (+51) 17:32:00 shellochaf. 17:32:12 boillo 17:32:42 -!- GeoDude has quit (Ping timeout: 264 seconds). 17:35:47 -!- GeekDude has joined. 17:41:53 -!- variable has joined. 17:41:53 -!- variable has quit (Changing host). 17:41:53 -!- variable has joined. 17:55:46 -!- Vorpal has joined. 17:58:47 -!- hilquias` has joined. 18:00:17 -!- hilquias has quit (Ping timeout: 252 seconds). 18:23:57 -!- boily has quit (Quit: PRECIOUS CHICKEN). 18:27:19 -!- Tritonio_ has joined. 18:29:05 -!- Tritonio has quit (Ping timeout: 276 seconds). 18:29:06 -!- adu has joined. 18:30:31 -!- SopaXT has quit (Read error: Connection reset by peer). 18:31:44 -!- Tritonio_ has changed nick to Tritonio. 18:32:25 -!- Aearnus has quit (Remote host closed the connection). 18:40:57 -!- password2 has quit (Remote host closed the connection). 18:43:30 2 byte time of day: rounded value of (hour*3600+minute*60+second)*65536/86400 18:44:47 oren: http://en.wikipedia.org/wiki/Hexadecimal_time 18:45:43 everything old is new again 18:46:03 apparently Tang Dynsty old, wow 18:47:01 http://en.wikipedia.org/wiki/Hexadecimal#Verbal_and_digital_representations 18:48:58 Also sunapan. 18:50:13 So they also used hexadecimal for a bunch of other things, which is neat. 18:54:30 it is approximately d1ea now 18:58:50 -!- adu has quit (Quit: adu). 18:59:16 hmm a hex second is 1.318359375 regular seconds... 18:59:56 the sixteens digit changes every 20 seconds. 19:01:40 what is hex time useful for? 19:01:51 to fit in only 2 vytes 19:01:54 bytes 19:03:29 the twofitysixes digit changes every 337 seconds or 5.6 minutes. the fortininysixes digit changes exactly every 1.5 hours 19:07:45 I wonder what the average and maximum conversion error is 19:15:33 -!- HackEgo has quit (Remote host closed the connection). 19:25:05 -!- Elronnd|deminewt has left ("whatever"). 19:25:57 the avergae error in conversion to hex time and back is 1/4 of a second 19:26:19 -!- Welo has quit (Ping timeout: 246 seconds). 19:37:50 -!- Wright__ has changed nick to Wright. 19:37:58 [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=43111&oldid=43110 * SuperJedi224 * (+31) 19:58:05 -!- variable has quit (Ping timeout: 258 seconds). 19:59:54 -!- rdococ has quit. 20:05:27 -!- Welo has joined. 20:09:16 -!- perrier has quit (Read error: Connection reset by peer). 20:10:34 -!- perrier has joined. 20:16:07 [wiki] [[Treehugger]] http://esolangs.org/w/index.php?diff=43112&oldid=41558 * SuperJedi224 * (+54) 20:22:50 -!- hjulle has quit (Ping timeout: 240 seconds). 20:34:00 LADSPA is a bit too simple and LV2 is a bit too complicated and both have a few other problems (although LADSPA does seem pretty reasonable for many stuff); if I make up my own based on something in between LADSPA and LV2 and Csound then what is it called? 20:34:42 Cladspound V2. 20:36:21 -!- nys has joined. 20:38:34 Ah, it is a bit long (but maybe it is OK, or can be shortened somehow) 20:38:51 I would drop "V2" at least. 20:43:30 Like LV2 we have plugins identified by URIs, and compatible plugins by the same URI (but, even plugins compatible with other systems can be identified: The same as the LV2 URI for LV2, "xurn:ladspa:" for LADSPA, "xurn:vst:" for VST, "urn:uuid:" for DirectX, and "xurn:rdn:" for AU). 20:49:25 -!- hilquias` has quit (Remote host closed the connection). 20:51:31 -!- Welo has quit (Quit: Leaving). 20:52:40 -!- hilquias has joined. 21:21:01 Let's try some other kind of name..... 21:21:32 does anybody here understand game semantics? 21:21:47 nys: I don't konw 21:21:51 s/konw/know/ 21:23:08 "Simple Extensible Audio Plugin System"? "Open Extensible Audio Plugin System"? I don't quite know? 21:23:40 i think i can sort of wrap my head around the interpretation in logic in terms of like, there is a winning strategy for a person defending a proposition or attacking the proposition 21:24:02 but i wonder if it gets significantly more involved when it comes to modelling something like PCF 21:24:32 I know a few things but hardly much 21:27:23 -!- wolfcub has joined. 21:28:18 I had a different idea though of game using sequent calculus: The initial state is any sequent. The first player selects a rule with the current state below the line, filling in parameters as necessary. The second player selects a sequent above the line to move to. A player who runs out of legal moves loses. 21:34:49 (Draws are broken in favor of the second player when it is necessary to break draws.) 21:46:40 So is MongoDB going to put relational databases out of business? 21:49:52 -!- hilquias has quit (Remote host closed the connection). 21:57:15 I don't know, at least, I still like to use SQLite 22:06:04 "...However, because internally sort() uses the C++ strcmp api..." O_o "the C++ strcmp api" (╯°□°）╯︵ ┻━┻ 22:06:40 it's not a C++ api, it is a C function!\ 22:06:40 -!- Wright has quit (Read error: Connection reset by peer). 22:06:55 -!- Wright has joined. 22:07:31 yes, I'mma use the C++ qsort api to sort things too! 22:08:51 source: http://docs.mongodb.org/manual/reference/bson-types/#string 22:08:53 Just because you don't use C++ strcmp to program applications doesn't mean that no one else does. 22:11:24 I thing normally API implies something more than a C function... like maybe i might refer to "the C string.h API" but even that is pushin it 22:14:31 I have seen a chess problem where it is mate in 2, but it is not possible to mate in 1 from the position which results after both players make their first move in the first problem; it is again mate in 2. And then after both players make the first move in this second problem, the resulting position is again mate in 2. 22:15:50 That doesn't sound like a mate-in-2 then 22:16:48 By the next position I mean only the pieces on the board though, as is normal in chess problems. 22:29:07 -!- oerjan has joined. 22:30:56 @messages- 22:30:56 boily asked 5h 1m 30s ago: study? 22:31:11 very confusing hth 22:32:00 @metar ENVA 22:32:01 ENVA 302220Z 09010KT 9999 -SHRA FEW025 SCT039 BKN051 09/04 Q1002 RMK WIND 670FT 10013KT 22:32:14 20 degrees difference from boily 22:32:26 i think i prefer 9 to 29 22:34:12 @tell boily We already established Laval was there hth 22:34:12 Consider it noted. 22:36:47 fizzie: HackEgo is doing that thing again 22:37:15 @tell fizzie HackEgo is doing that thing again 22:37:16 Consider it noted. 22:37:58 Gregor: that's for you too, in principle 22:41:14 oerjan: how do you feel about 39 twh 22:41:44 how can i feel anything if i'm dead from heat tdnh 22:46:14 40 degrees is totally survivable hth 22:46:39 oh i see you must be using fahrenheit 22:47:40 /zzz/ 22:47:42 ? 22:47:45 https://en.wikipedia.org/wiki/Eilat#Climate 22:47:46 Wrong channel 22:47:58 in fact it's my father's idea of a good time hth 22:48:28 MDude: this is, in fact, not the #sleeping channel 22:53:11 (Draws are broken in favor of the second player when it is necessary to break draws.) <-- now i wonder if there are logics that are asymmetric like that 22:53:54 _one_ side can use law of excluded middle, but not the other... 22:54:17 But then how do you decide whice player goes second? 22:54:26 *which 22:54:38 MDude: um i assume you'd get two logics complementing each other, really 22:57:18 shachaf: wait he's actually there? i was trying to resist temptation for a negev joke 22:58:09 (norway isn't known for its deserts, really) 23:01:20 oerjan: no 23:01:32 oh 23:24:09 Do you know how would write .XM playing software? 23:24:39 -!- variable has joined. 23:25:24 -!- Patashu has joined. 23:25:52 read the .xm specification. write a player. 23:26:18 .xm seems not as nice a format as .it 23:27:20 I do have .xm specification, the specification isn't very good to tell you playing much though 23:27:51 Also, .XM is the format that AmigaMML writes, and one advantage of .XM is that it can more easily be piped between programs than .IT format can be 23:33:22 I did however use the specification to make up a program to write .XM files, but I had to fix and add few things that were wrong/missing 23:48:45 [wiki] [[Brainfuck implementations]] http://esolangs.org/w/index.php?diff=43113&oldid=41855 * 155.133.12.236 * (+109) /* Normal implementations */ 23:58:03 -!- hilquias has joined.