00:32:41 -!- atriq has quit (Remote host closed the connection). 00:44:34 -!- nooga has quit (Ping timeout: 240 seconds). 01:14:13 -!- oklopol has joined. 01:22:45 If there's only one place that something's being deployed, it's fine to use features specific to that environment, right? 01:22:48 (e.g. named pipes) 01:23:27 that depends on a lot of factors, don't you think? like whether whoever you're deploying it for might want to spread out later, or whether you're being paid enough to care 01:37:29 indeed 01:37:37 also named pipes are supported by most operating systems 01:39:32 I feel like I should be using local sockets, not sure if that's easier or not :/ 01:39:46 Basically, PHP page acts as a client and long running Python script acts as a server 01:39:56 PHP: not even once 01:41:08 -!- copumpkin has quit (Ping timeout: 255 seconds). 01:41:47 -!- copumpkin has joined. 01:46:59 maybe you could write the client in a language other than the worst language ever 01:48:01 All it's going to do is serve the data to an AJAX call 01:49:45 Hmm, JSONP is a thing that exists that I could use 01:49:52 But then I'd have to learn some sort of ... hm 01:50:07 -!- Slereah has quit (Ping timeout: 246 seconds). 01:54:37 why not serve it from the python process 01:55:15 Because I'd have to do JSONPish stuff 01:55:20 Which I guess I can do 01:55:28 why would you 01:55:30 I don't know if I can run a Python process on this server to do web stuff 01:55:30 how does that follow 01:55:49 Because I'm still using some other server for most of the web stuff 01:56:00 Not going to start messing with that, it's not really under my control 01:56:09 ah, you are on some kind of shared hosting and you have mod_php and not mod_wsgi or mod_fastcgi 01:56:18 sucks 01:56:30 i still don't see what this has to do with JSONP 01:56:37 hey Sgeo you finished fine structure right 01:56:41 Phantom_Hoover, yes 01:56:46 is it because you would have to host it on a different domain 01:56:49 ah 01:56:55 I don't know anything about mod_wsgi or mod_fastcgi 01:57:01 Those could be installed, I guess 01:57:06 @tell elliott finish fine structure you knob 01:57:06 Consider it noted. 01:57:08 I have no idea 01:57:16 i guess what i'm saying is, your frontend web server (apache or whatever) knows how to talk to PHP, but not Python? 01:57:17 @tell Sgeo finish ds9 you knob 01:57:17 It would be on a different port 01:57:17 Consider it noted. 01:57:18 Sgeo: You have 1 new message. '/msg lambdabot @messages' to read it. 01:57:38 kmc, I have no idea if it knows how to talk to a long running Python process 01:57:39 well typically web apps are configured with a frontend server proxying to one or more application server processes 01:58:11 the proxying can be literally HTTP proxying over localhost, or it could be FastCGI protocol, or WSGI which is a python-spceific thing I don't know much about 02:00:46 "These days, FastCGI is never used directly. Just like mod_python, it is only used for the deployment of WSGI applications." 02:00:58 I really just want to do a two second thing, why can't I just FastCGI directly 02:01:05 i'm not really sure what that means "never used directly" 02:01:18 it's probably lies 02:01:40 it's true that whatever's on the other end that parses the fastcgi requests will probably go through WSGI 02:01:46 because most python web app frameworks are built around WSGI 02:02:15 04:00:58 < Sgeo> I really just want to do a two second thing, why can't I just FastCGI directly 02:02:21 Because it's easier to do wsgi 02:02:27 at work we are using FastCGI because nginx's native wsgi support seemed pretty half-baked 02:02:37 Is it really that bad? 02:02:38 and because we know about fastcgi and have used it before 02:02:52 uwsgi_pass etc 02:03:16 the extent of it is that I went to http://wiki.nginx.org/NgxWSGIModule and observed "From LoONeYChIKuN: I was able to successfully get this to compile on 0.8.30 and 0.7.64 using this patch." and "From JacobSingh: I tested this against 0.6.23 and it didn't compile." 02:03:17 I could easily just take this code snippit on this page and adapt it to my needs 02:03:28 Not that difficult 02:04:51 http://blog.zacharyvoase.com/2010/03/05/django-uwsgi-nginx/ looks pretty complicated compared to "apt-get install nginx python-flup" 02:05:13 Well that's mostly because it starting from compiling freaking nginx 02:05:26 -ing 02:05:54 well why does it seem that everyone who wants to use nginx with wsgi has to compile it from scratch with weird patches etc 02:06:08 I have no idea 02:06:11 I didn't 02:06:19 i didn't do in-depth research, but this pattern seemed to bode poorly 02:06:23 what did you do 02:07:09 pacman -S nginx; yaourt -S uwsgi 02:07:24 I spent a while puzzling through this overly-simple generate Core before realizing that I had main = return () 02:07:35 Granted that second command does actually compile the thing but it's automatic. Think Gentoo except better 02:08:27 cool 02:08:54 I think it also creates the init script 02:09:09 (Which will probably break in the next update due to systemd but hey) 02:09:36 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:10:04 But at any rate, I can now get a WSGI app to magically appear in a location by putting two or three lines in the respective place in nginx's configuration 02:10:10 cool 02:10:21 ...I wouldn't run Arch on a server though 02:10:30 I mean, on a server that has some sort of reliability requirement 02:10:30 so do you have to run some separate uwsgi process or does nginx launch that 02:10:49 I do have to run uwsgid 02:11:07 I don't think it's working 02:11:09 But setting that up is a one-time thing (just like any other daemon) 02:11:16 And it can run multiple apps 02:11:19 ok 02:12:11 That's the easiest way I've been able to figure out how to run Python web stuff under nginx 02:12:18 Least configuration per app 02:12:24 okay, cool 02:12:27 thanks for the info :) 02:14:01 ENGINE Serving on 127.0.0.1:8080 02:14:07 (With CherryPy) 02:14:21 Yet I can't access it from my browser 02:14:31 Wondering if need to config to make it externally visible 02:15:36 well is it running on the same machine as your browser? 02:16:25 No 02:16:39 well, that's why then 02:16:47 it's listening on the interface with IP 127.0.0.1 02:28:58 Do I need to find the exact IP of the server? 02:31:19 your computer is broadcasting an IP address! 02:31:34 if you want to listen on all interfaces you can probably say ":8080" or "0.0.0.0:8080" on the command line 02:31:39 i don't know what exactly you did to invoke cherrypy 02:31:42 -!- ais523 has quit. 02:32:59 Found a configuration thing 02:33:13 It's still not working 02:34:39 miss... 02:34:54 -!- Sgeo_ has joined. 02:35:06 I give up, I'll do the PHP thing 02:35:11 -!- TeruFSX_ has joined. 02:37:54 -!- TeruFSX has quit (Ping timeout: 264 seconds). 02:37:59 -!- Sgeo has quit (Ping timeout: 265 seconds). 02:44:30 nooooo 02:44:55 that's like saying school is too hard, so you're going to drop out and smoke crack under a bridge 02:45:29 Sort of have a harsh deadline right now, so don't really care 02:45:41 (Because I procrastinated all weekend) 02:47:04 Why is benchmarking hard? :-( 02:53:45 I was just thinking, they could try to use the gate's technology to clone people 02:53:58 and then I watch this episode and what does McKay do? 03:00:19 http://www.inc.com/magazine/20110201/in-norway-start-ups-say-ja-to-socialism.html 03:03:43 -!- Jafet has quit (Quit: Leaving.). 03:07:28 would you say that the abbreviation of plural "file descriptors" is "fds", "FDs", "fd's", or "FD's" 03:08:34 "fds" or "FDs". 03:08:47 * shachaf is on the anti-apostrophe-pluralization committee. 03:09:43 yeah, i gather it is only correct in limited cases 03:09:46 like single letters 03:10:28 I don't even like it in those limited cases. 03:10:38 That may be an overreaction. 03:10:58 Well, in the case of a single letter I'm fine with it if you put apostrophes on both sides of the letter. :-) 03:20:15 Well in the case of a single letter I'm fine with putting apostrophes on both sides of the letter if you put s's on both sides too 03:20:31 s's's 03:20:37 obviously the plural of 'o' is 'ꙮ' 03:21:09 s'probably something wrong with encoding but I see that as "the plural of 'round' is 'square'" 03:21:16 kmc never misses an opportunity to ꙮ. 03:21:27 Arc_Koen: I think that's just because you're racist or something. 03:21:29 Sorry. :-( 03:21:40 what! 03:21:47 why didn't anyone warn me before 03:22:06 I think I had the right to know if I was racist 03:22:29 wonder what "or something" might be, though 03:23:32 hey, hasn't anyone come up with "2-dimensional Thue" yet? 03:23:39 it's 'CYRILLIC LETTER MULTIOCULAR O' (U+A66E) 03:24:01 multio? you mean like 8? 03:24:17 http://en.wikipedia.org/wiki/Multiocular_O 03:24:47 now that's just disturbing 03:24:47 it bothers me that the unicode reference glyph has 7 eyes, and the only primary source for the character I could locate has 10 eyes 03:25:08 Arc_Koen: I spent a long time tracking down the origin of this character with help from various people on IRC and such 03:25:22 had to find a copy of a soviet era paleography textbook on russian rapidshare 03:27:10 oh no, "Proposal to encode additional Cyrillic characters in the BMP of the UCS" is now a 404 03:27:33 http://imageshack.us/scaled/landing/809/capturedcran20121113042.png 03:28:02 it's like they *want* me not to see it 03:28:03 yeah 03:28:06 get some better fonts 03:28:21 that article has a picture though 03:28:28 http://en.wikipedia.org/wiki/File:Cyrillic_letter_Multiocular_O.png 03:28:30 an ugly one, yes 03:28:43 ꙮꙮꙮꙮꙮꙮꙮꙮ 03:28:52 is that 8 of them 03:29:03 don't you think that might be dangerous? 03:31:35 ok well see you tomorrow 03:31:53 (that was supposed to be a reference to discworld btw) 03:31:59 -!- Arc_Koen has quit (Quit: Arc_Koen). 03:34:00 apparently most hands in texas hold-'em are not worth playing 03:34:16 you can bet on anything~ 03:34:36 what do you mean 03:39:31 -!- ogrom has joined. 03:42:47 -!- copumpkin has changed nick to Sssateneth. 03:43:31 -!- Sssateneth has changed nick to copumpkin. 04:14:02 kmc: Well, yes, you get only two cards so it is difficult to know right away if it is best to play; however there is other things such as your current score, position, current bet, various other things to decide if it is worth playing or not; the probabilities are just one factor of many. But if you have two aces and no flop cards yet, you should probably play. 04:14:57 If you have two aces, the flop cards two of them are aces, and the third is 2 to 9, then you should definitely play. 04:15:20 Well, maybe not 2 to 9, maybe 6 to 9. 04:16:50 Actually I think I am wrong. 04:16:57 But nevertheless you should probably play. 04:17:43 -!- comex has quit (Excess Flood). 04:18:25 I want to hurt whoever designed the Python version of the PubNub API. 04:19:43 Sgeo_: What does that have to do with Clojure? 04:20:38 This project I'm working on that involves Python and PHP and PubNub is more important than the little Clojure project I have going. Does that count as having something to do with Clojure? 04:23:05 subscribe is blocking. I want the event loop to be separate from subscribe 04:23:33 kmc, I think this is a good example of that article you linked, an advantage of node.js being that people make interoperable APIs 04:27:08 yeah 04:27:12 And importantly, things other than the event loop wouldn't block *glare* 04:27:40 I need to subscribe to an indeterminate number of channels, not just one. I don't think Python threads are lightweight] 04:28:29 python threads are a disaster 04:28:57 -!- comex has joined. 04:28:58 -!- comex has quit (Excess Flood). 04:29:10 Not using them for parallel processing, just using them to get around the blocking API 04:29:56 And it's blocking because of a while True: not because of some C stuff. 04:30:19 So, are they a disaster in a way other than the GIL, because I don't see how the GIL would hurt my use-case 04:33:18 -!- Jafet has joined. 04:44:15 I made some more rules of Pokemon game 04:44:16 EVOLUTION DURING MATCH = PREVENT | DISQUALIFY | KNOCK OUT | DELETE | DELAY | ALLOW | ITEMS ONLY 04:44:30 INVALID TARGET CORRECTION = AUTO SAME SIDE | AUTO ANY SIDE | MISS | PROMPT | USER FAINTS | LOSE BATTLE | DISQUALIFY 04:44:41 -!- lightquake has joined. 04:45:00 DISQUALIFY IF TEAM BECOMES INVALID DURING MATCH = NO | YES | ONLY BETWEEN BATTLES | ONLY BEFORE BATTLES AND IGNORING COMPUTER | DELETE VIOLATIONS | DELETE VIOLATIONS BETWEEN BATTLES 04:45:12 SPEED TIE BREAKER 1 = SIMULTANEOUS | RANDOM | BID | HIGHER LEVEL | LOWER LEVEL | TYPE DISADVANTAGE | DAMAGE | ALTERNATION | COMMAND ENTRY TIME 04:45:38 SURRENDER COMMAND = BATTLE | MATCH 04:45:50 SNAG OPPONENT'S POKEMON = NO | YES | ANTICIPATED BLOCK | ANTICIPATED EVADE | ANTICIPATED BLOCK AND EVADE 04:46:46 DELETED POKEMON GO TO OPPONENT'S COMPUTER = NO | YES 04:47:20 What are you think of such things as this? 04:48:09 i'm not really that into pokemon 04:48:18 or card-collecting games in general 04:48:31 btw, who wants some old mtg cards? 04:48:56 you can have them for 8 bucks shipping included 04:49:25 I don't want any; I only play Limited. 04:58:10 -!- Nisstyre has quit (Ping timeout: 252 seconds). 05:11:57 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=477454 05:12:15 An argument about whether or not it's a horrific thing that there's an insult in the code 05:12:17 -!- Nisstyre has joined. 05:12:27 It's agreed that it's bad, but not agreed if it's urgently bad 05:23:04 haha 05:25:11 they didn't even spell his name right 05:25:36 -!- ogrom has quit (Quit: Left). 05:26:12 Once I wrote a "impossible physics list", among other things it includes smaller atoms and universes where thirteen is not prime. 05:28:01 smaller than what? 05:29:28 Smaller than hydrogen atoms. 05:30:38 what if the nuclear forces were stronger? 05:33:19 It is based on I read a impossible physics book, which includes such things as invisibility, antimatter, starships, death star, and a few things, grouped into class I to class III impossibility. 05:37:51 In my list I also included: making time go sideways, subjuctive television, Pokemon, dreams that it is impossible to wake up, anti-logic zones, people with mirrored molecules, ... 05:40:56 -!- comex has joined. 05:40:57 -!- comex has quit (Excess Flood). 05:41:09 -!- comex has joined. 05:41:55 -!- comex has quit (Excess Flood). 05:42:03 -!- comex has joined. 05:42:24 -!- comex has quit (Excess Flood). 05:43:50 -!- comex has joined. 05:50:33 -!- Sgeo_ has quit (Read error: Connection reset by peer). 05:50:51 -!- Frooxius has quit (Ping timeout: 245 seconds). 05:51:20 -!- Sgeo_ has joined. 06:08:14 -!- augur has quit (Read error: Connection reset by peer). 06:08:36 -!- augur has joined. 06:19:47 -!- zzo38 has quit (Remote host closed the connection). 06:47:03 -!- oklofok has joined. 06:49:36 -!- oklopol has quit (Ping timeout: 240 seconds). 07:48:30 -!- copumpkin has quit (Ping timeout: 252 seconds). 07:49:01 -!- copumpkin has joined. 08:05:46 -!- Bike has quit (Ping timeout: 255 seconds). 08:09:36 > (["hi","there"],["new","haskellers"]) % partsOf (both.traverse.traverse) .~ "GREETINGS" 08:09:38 (["GR","EETIN"],["GSw","haskellers"]) 08:09:51 > (["hi","there"],["new","haskellers"]) % partsOf (both.traverse.traverse) %~ reverse 08:09:53 (["sr","ellek"],["sah","wenerehtih"]) 08:10:26 -!- epicmonkey has joined. 08:11:57 Señor Ellek. 08:12:28 > (["hi","there"],["new","haskellers"]) % partsOf (both.traverse.traverse) %~ reverse % both %~ reverse 08:12:31 (["ellek","sr"],["wenerehtih","sah"]) 08:12:36 You're thinking of Ellek Sr. 08:13:05 Senior Engineer Señor Ellek Sr. 08:17:03 -!- FreeFull has quit (Quit: have to go now). 08:35:00 -!- epicmonkey has quit (Read error: Operation timed out). 08:37:56 -!- nooga has joined. 09:17:48 -!- monqy has quit (Quit: hello). 09:42:40 -!- epicmonkey has joined. 09:51:00 -!- atriq has joined. 09:53:04 I like the most recent Girl Genius 09:56:03 -!- copumpkin has quit (Ping timeout: 260 seconds). 09:56:34 -!- copumpkin has joined. 10:01:20 -!- Sgeo__ has joined. 10:04:14 -!- Sgeo_ has quit (Ping timeout: 240 seconds). 10:12:00 -!- Sgeo__ has quit (*.net *.split). 10:12:00 -!- TeruFSX_ has quit (*.net *.split). 10:12:00 -!- trout has quit (*.net *.split). 10:12:00 -!- nooga has quit (*.net *.split). 10:12:01 -!- Gregor has quit (*.net *.split). 10:12:01 -!- Lumpio- has quit (*.net *.split). 10:12:01 -!- sirdancealot7 has quit (*.net *.split). 10:12:01 -!- atehwa has quit (*.net *.split). 10:12:01 -!- lifthrasiir has quit (*.net *.split). 10:12:02 -!- mtve has quit (*.net *.split). 10:12:02 -!- augur has quit (*.net *.split). 10:12:02 -!- oonbotti has quit (*.net *.split). 10:12:02 -!- SimonRC has quit (*.net *.split). 10:12:02 -!- aloril_ has quit (*.net *.split). 10:12:16 -!- monqy has joined. 10:15:41 -!- Sgeo__ has joined. 10:15:41 -!- nooga has joined. 10:15:41 -!- augur has joined. 10:15:41 -!- TeruFSX_ has joined. 10:15:41 -!- Gregor has joined. 10:15:41 -!- Lumpio- has joined. 10:15:41 -!- sirdancealot7 has joined. 10:15:41 -!- trout has joined. 10:15:41 -!- atehwa has joined. 10:15:41 -!- oonbotti has joined. 10:15:41 -!- SimonRC has joined. 10:15:41 -!- aloril_ has joined. 10:15:41 -!- lifthrasiir has joined. 10:15:41 -!- mtve has joined. 10:20:38 -!- Gracenotes has quit (*.net *.split). 10:20:38 -!- heroux has quit (*.net *.split). 10:20:38 -!- clog has quit (*.net *.split). 10:20:38 -!- lahwran has quit (*.net *.split). 10:20:38 -!- hogeyui has quit (*.net *.split). 10:22:04 -!- heroux has joined. 10:22:05 -!- Gracenotes has joined. 10:22:05 -!- clog has joined. 10:22:05 -!- lahwran has joined. 10:22:05 -!- hogeyui has joined. 10:23:24 -!- EgoBot has quit (*.net *.split). 10:23:24 -!- HackEgo has quit (*.net *.split). 10:23:24 -!- fungot has quit (*.net *.split). 10:24:04 -!- EgoBot has joined. 10:24:04 -!- HackEgo has joined. 10:24:04 -!- fungot has joined. 10:26:42 -!- heroux has quit (*.net *.split). 10:26:43 -!- clog has quit (*.net *.split). 10:26:43 -!- lahwran has quit (*.net *.split). 10:26:43 -!- hogeyui has quit (*.net *.split). 10:27:15 -!- heroux has joined. 10:27:15 -!- clog has joined. 10:27:15 -!- lahwran has joined. 10:27:15 -!- hogeyui has joined. 10:28:17 -!- soundnfury has quit (*.net *.split). 10:28:17 -!- glogbackup has quit (*.net *.split). 10:28:17 -!- rodgort has quit (*.net *.split). 10:28:18 -!- shachaf has quit (*.net *.split). 10:28:45 -!- glogbackup has joined. 10:28:45 -!- soundnfury has joined. 10:28:45 -!- rodgort has joined. 10:28:45 -!- shachaf has joined. 10:28:49 -!- glogbackup has left. 10:28:54 -!- glogbackup has quit (Excess Flood). 10:30:00 -!- atriq has quit (*.net *.split). 10:30:00 -!- tswett has quit (*.net *.split). 10:30:29 -!- atriq has joined. 10:30:29 -!- tswett has joined. 10:45:13 -!- glogbackup has quit (Read error: Connection timed out). 10:58:20 -!- monqy has quit (Quit: hello). 11:12:24 I think this is becoming one of the most ridiculously overkill brainfuck interpreters ever 11:14:40 Hmm 11:14:43 Needs more comonads 11:19:45 -!- segorev has joined. 11:29:01 -!- copumpkin has quit (Ping timeout: 246 seconds). 11:29:32 -!- copumpkin has joined. 11:41:57 -!- ais523 has joined. 11:46:14 -!- hagb4rd has joined. 12:13:59 -!- ais523_ has joined. 12:15:26 -!- ais523 has quit (Ping timeout: 245 seconds). 12:16:04 -!- ais523_ has changed nick to ais523. 12:25:21 -!- ais523_ has joined. 12:27:21 -!- ais523 has quit (Disconnected by services). 12:27:23 -!- ais523_ has changed nick to ais523. 12:43:16 -!- ais523 has quit. 12:43:43 -!- ais523 has joined. 12:45:40 -!- mroman has quit (Ping timeout: 252 seconds). 12:45:54 -!- mroman has joined. 12:47:33 -!- ais523_ has joined. 12:48:40 -!- ais523_ has quit (Read error: Connection reset by peer). 12:48:52 -!- ais523_ has joined. 12:49:18 -!- ais523 has quit (Ping timeout: 245 seconds). 12:49:34 -!- nooodl_ has joined. 12:51:26 -!- ais523_ has quit (Read error: Connection reset by peer). 12:51:39 -!- ais523_ has joined. 12:53:26 -!- ais523_ has quit (Read error: Connection reset by peer). 12:53:33 -!- ais523__ has joined. 12:53:36 -!- ais523__ has changed nick to ais523. 12:57:44 -!- ais523_ has joined. 12:58:02 -!- ais523 has quit (Read error: Connection reset by peer). 12:58:19 -!- ais523_ has changed nick to ais523. 12:59:13 -!- nooodl_ has quit (Ping timeout: 245 seconds). 13:00:33 -!- ais523 has quit (Read error: Connection reset by peer). 13:00:54 -!- ais523 has joined. 13:07:50 -!- nooga has quit (Ping timeout: 255 seconds). 13:09:28 -!- nooga has joined. 13:42:31 -!- elliott has joined. 13:46:32 -!- ais523 has quit (Read error: Connection reset by peer). 13:46:44 -!- ais523 has joined. 14:00:45 -!- segorev has quit (Quit: This computer has gone to sleep). 14:01:01 -!- ais523 has quit (Read error: Operation timed out). 14:07:14 -!- boily has joined. 14:20:36 Fueue is a ridiculous language 14:25:03 -!- Arc_Koen has joined. 14:37:29 -!- ais523 has joined. 14:39:33 -!- segorev has joined. 14:40:47 -!- segorev has quit (Client Quit). 14:41:15 -!- ais523 has quit (Read error: Connection reset by peer). 14:41:30 -!- ais523 has joined. 14:44:18 -!- carado has joined. 14:45:31 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 15:02:32 -!- ais523 has quit. 15:07:02 -!- copumpkin has joined. 15:13:12 -!- Frooxius has joined. 15:17:32 -!- Bike has joined. 15:27:36 -!- Phantom_Hoover has joined. 16:04:39 -!- augur has quit (Remote host closed the connection). 16:07:15 -!- nooodl has joined. 16:18:06 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 16:22:16 -!- ais523 has joined. 16:23:08 huh, that was a surprisingly thoughtful scam email 16:23:17 the thought behind it was that it actually identified my mail provider correctly 16:23:22 admittedly, it could have done that from the address 16:32:24 Arc_Koen, in your implementations of Fueue, what was the divide by zero behaviour? 16:33:17 well I remember asking you a few times, and since you said it was unspecified, I guess I must have let it for Ocaml to raise its appropriate exception 16:33:20 let me see 16:34:23 oh, wait I had two implementations 16:34:39 ~/desktop/ocaml stephan$ gcc -o fueue fueue.c 16:34:39 ~/desktop/ocaml stephan$ ./fueue '/ 5 0' 16:34:40 Floating point exception 16:35:15 Thanks 16:35:23 ~/desktop/ocaml stephan$ ocamlc -o fueue fueue.ml 16:35:23 ~/desktop/ocaml stephan$ ./fueue '/ 5 0' 16:35:23 Fatal error: exception Division_by_zero 16:35:43 I'm trying to do my version, except better, this time 16:35:57 so the ocaml one clearly raise Division_by_zero when doing the division 16:36:08 I'm not sure when the Floating point exception occurs in the C one, though 16:36:13 but you're welcome :) 16:37:57 ./fueuec '/ 129 2 ~ H' 16:37:57 @ 16:38:07 yup, so floating point only seem to occur with 0 16:38:30 Good, I think that's what I meant 16:39:00 -!- augur has joined. 16:39:15 let me know when you're done 16:39:39 Probably never 16:44:16 hmmm i'm thinking up quite the language here! 16:44:16 nooodl: You have 3 new messages. '/msg lambdabot @messages' to read them. 16:44:20 uh oh 16:45:27 here's the deal: befunge, on an infinite-D 2x2x2x2x2x... board 16:46:02 so your position is just a binary number. by default the pointer goes 0, 1, 0, 1, 0, 1, etc 16:47:23 nooodl: then most positions on the board are inaccessible 16:47:26 or the language is super-TC 16:48:34 I'd reckon it's linear-bounded 16:48:43 what's super-TC 16:48:49 If there's a start moving in direction n command 16:49:06 nooodl, a turing-machine is less powerful than it if it's super-TC 16:50:02 A Turing-machine is a kind of machine which is conjectured to be able to execute any well-defined algorithm 16:51:55 anyway, moving around involves just going "x ^= dx", however, i'm going to somehow implement being able to modify multiple derivatives of x 16:52:05 -!- ais523_ has joined. 16:52:56 -!- ais523 has quit (Ping timeout: 268 seconds). 16:53:13 so with multi-dimensional wrapping and speed, acceleration, jerk, jounce etc. set, you can make more intersting loops around the board 16:55:32 -!- ais523_ has changed nick to ais523. 16:57:29 http://codepad.org/ZgbFzZ1c apparently you can make paths with a length of up to 2^ceil(log2(x)) when you define x derivatives of position 16:59:20 nooodl: http://esolangs.org/wiki/List_of_ideas#Based_on_dimensions 16:59:21 or uh, not really. it's 2^ceil(log2(x-1)), or something. anyway, to move around, instead of setting dx and dy to some value like befunge, you push dx, ddx, dddx, ddddx etc. onto a "movement stack" 16:59:40 what's super-TC 16:59:42 nooodl: uncomputable 16:59:55 I am saying that either you cannot set the position to most possible values or your language is uncomputable 17:00:32 nooodl: http://esolangs.org/wiki/Talk:Hcbf 17:02:53 yeah, the coords have to end with an infinite amount of 0s 17:03:16 uncomputable is such a broad term 17:03:34 there's no bound to the number of dimensions your position can have, but it can't ever be infinite 17:03:43 how boring 17:03:46 inf-anf-i 17:03:50 oops. 17:03:56 inf-anf-oh at least had periodic points 17:05:02 nooodl: why not 17:05:28 if you can unambiguously describe an infinite binary sequence, it should be ok :) 17:06:57 i've considered that. representing position as a function (N -> Bool) 17:07:20 but you'd need to have means to test those functions for equality, at least 17:07:46 and thing is I'm not sure you'd be adding much to the language by allowing infinite sequence 17:07:51 yeah that's the issue 17:08:21 if you can unambiguously describe an infinite binary sequence, it should be ok :) 17:08:33 almost all infinite binary sequences cannot be described by any finite program 17:08:45 for instance, "rational numbers" or whatever you call repeated sequences, can be describe with a notation such as "(finite sequence)*" 17:08:55 unless your measure has atoms 17:09:31 but in that case you're only adding the possibility to put a * after a finite sequence, so you are only "multiplying by two" the possibilities, which is kinda lame since there already are an infinite number of them 17:09:47 elliott: yes that's the issue 17:10:42 things stay considerably more sane if you don't allow for coordinates like (1, 1, 1, 1, 1, ...) 17:12:46 so, are you using the cantor topology for the space of all positions 17:12:50 "comparing functions for equality" is on my mental list of "the simplest things you can't do" 17:13:23 ais523: you have some nice language for describing sequences so that equality is decidable right? 17:14:47 there's automatic sequences and fixed points of substitutions 17:14:52 in math 17:15:34 although perhaps for the latter equality is not in general decidable, but i think it is for primitive substitutions or something 17:15:47 the first time I thought about creating my own language I had an idea to include infinite sequences in it 17:16:33 using lazy-evaluating for-like statements and a few other things of the like 17:17:41 not every infinite sequence is describable, though, right 17:24:04 -!- epicmonkey has quit (Ping timeout: 248 seconds). 17:24:29 pretty much everything you'll ever need is describable 17:25:20 (in math you occasionally need things you cannot describe exactly, but are members of some nonempty set you can describe) 17:25:48 nooodl: (in case it isn't clear, positions in your language are isomorphic to reals) 17:26:54 well if i'm not allowing for anything that doesn't end in "0 repeating" they're isomorphic to naturals, right 17:27:25 because (0, 1, 0, 1, 1, 0 repeating) is just 0b11010 17:28:55 nooodl: and if you allow any sequence to repeat, it's isomorphic to the rationals 17:29:00 which are isomorphic to the integers 17:29:11 as in, always ends with a repeating sequence but you can specify waht 17:29:12 *what 17:29:57 eventually periodic 17:29:58 Which was the basis of my informal proof the other day in a maths lesson that the digits of pi cannot be found within pi except for the obvious case of starting from the beginning 17:30:45 Because it implies repetition, which implies rationality 17:30:49 And pi is irrational 17:31:01 a characterization of periodicity is indeed that the sequence contains itself as a tail 17:31:40 it's harder to prove that pi is irrational presumably 17:32:42 -!- FreeFull has joined. 17:32:56 another characterization is this: there exists n such that the sequence contains at most n n-letter substrings 17:33:17 can you prove this? can you think of a two-dimensional analogue? is it true? can you prove it? 17:34:08 -!- Phantom_Hoover has joined. 17:34:13 No, no, yes, no 17:34:40 dunno about the third one 17:35:00 the natural two-dimensional version is called nivat's conjecture 17:35:10 -!- Vorpal has joined. 17:36:11 so it's known that if there are at most 2n rectangles of shape n times 2, then the configuration is periodic (in at least one direction) 17:36:49 and recently it was proved that if there are at most nk/2 subrectangles of shape n times k then again it's periodic in some direction. 17:37:28 how recently are we talking here 17:37:36 this year iirc 17:38:35 we're going through the paper now, it's a bit annoying since we came up with all the main ideas in a seminar a few years back, except for the crucial idea of writing anything down. 17:39:04 (mostly based on the work of a guy in our university who had the record nk/16 then) 17:39:14 how long until nk/1?!?!?!?! 17:39:44 dunno 17:40:22 nk/0.5 17:42:45 well what makes the question interesting is of course that you can easily find a binary configuration that isn't periodic and you have nk+1 ways to fill each n times k rectangle 17:43:02 but nk - the natural counterpart to the 1d result - is a huge mystery 17:43:24 then again that's math for ya 17:43:36 it's awesome what you gonna do 17:43:40 nk/-1 17:43:40 so we're making a game 17:44:11 i can prove it for nk/infinity: 17:44:34 assume the configuration x has nk/infinity = 0 subrectangles of n times k 17:44:41 then it doesn't exist 17:44:43 qed 17:45:07 maths 17:46:13 math 17:46:17 oh fuck this is going to take forever to read 17:46:36 what is 17:47:21 the context to this 17:47:31 well you have all the time in the world 17:47:35 no i don't 17:47:36 so how's math going 17:47:51 still mostly boring, although geometry stopped and abstract algebra started 17:47:59 that's vastly more interesting 17:48:21 abstract algebra is nice yes 17:48:27 we're writing our first algebra paper kinda 17:48:34 i'm so far behind on differential equations it's not even funny 17:48:45 i don't know anything about those :/ 17:50:08 i also haven't listened to an analysis lecture in weeks 17:51:12 i'm only taking one course 17:51:16 on nonstandard analysis 17:52:19 f'(a) = (f(x) - f(a))/(x - a) for x - a infinitely small :-) 17:56:33 this is one of those things for which you need an object you can't describe 17:56:35 Say f(x) = x² 17:56:37 an ultrafilter 17:57:00 f'(x) = 2x 17:57:07 f''(x) = 2 17:57:13 f'''(x) = 0 17:57:41 nice work, can you do 6x^7 + 3x next? 17:57:47 oh FreeFull 17:58:12 just because what you say is true does not make it relevant or interesting 17:58:29 i thought it was very amusing 17:58:40 oklofok: 42x^6 + 3 17:59:08 in my experience spontaneous demonstrations of calculus ability are used mainly by drunk freshman attempting to prove that they are not drunk 17:59:26 FreeFull: so far so good 17:59:41 I'm better at calculus when drunk. I am so sorted for university. 17:59:48 haha 17:59:53 kmc: the problem being that such people usually have atriq's ability 18:00:19 i know a guy whose party trick is drawing accurate political maps of various countries and continents 18:00:29 can do it knock-out drunk 18:01:43 i'm shit at calculus sober, i should try it drunk 18:05:37 Phantom_Hoover: e^x^x 18:05:52 wait 18:05:58 why did FreeFull give us a bunch of derivatives of x^2 18:06:00 i don't get it 18:06:09 elliott: I was bored 18:06:18 ok 18:16:33 did you all know the sky is blue? 18:16:39 i just thought you should have this information 18:17:12 i didn't 18:17:12 e^x dx dx, e^y dy 18:22:18 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 18:23:11 kmc: if this sentence is a true statement, then the sky is actually reddish-green. 18:26:35 -!- augur has quit (Ping timeout: 260 seconds). 18:27:20 -!- augur has joined. 18:35:31 -!- epicmonkey has joined. 18:37:56 -!- comex has quit (Excess Flood). 18:40:53 -!- comex has joined. 18:40:55 -!- comex has quit (Excess Flood). 18:41:41 -!- comex has joined. 18:44:12 -!- Phantom_Hoover has joined. 18:53:12 -!- comex has quit (Quit: Coyote finally caught me). 18:53:26 -!- comex has joined. 19:00:10 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 19:27:51 whoa 19:27:54 agda has pattern synonyms now 19:27:58 cooooooooool 19:29:41 elliott, help, I'm writing another ridiculously long Haskell function 19:29:46 ok 19:29:47 don't 19:29:58 I don't know how to don't! 19:30:35 don't 19:30:48 I can't don't! 19:31:52 don't 19:32:45 Why don't, when you can do! 19:33:04 Thanks, Gregor 19:33:06 Good advice 19:33:31 don't 19:34:47 atriq: Split it up! 19:37:06 It looks kind of pretty 19:37:10 Like a rope 19:37:13 Or a tornado 19:37:28 Or Minas Tirith 19:44:26 That tornado is carrying a car. 19:45:19 what. 19:45:58 Sonic 2006 quote. 19:46:21 Unless that was an atriq-directed "what.", in which case I concur. 19:49:14 I have a warped sense of both beauty and pareidolia, okay? 20:16:49 -!- carado has quit (Ping timeout: 246 seconds). 20:21:03 or, as they say... damned if you do do, damned if you don't don't 20:21:34 oh, missed the whole "don't" discussion by about an hour 20:24:58 You know, I've been thinking. 20:25:01 Homestuck is pretty weird. 20:25:21 You... just noticed 20:25:35 I've noticed it a couple of times before. 20:25:37 I just noticed again. 20:25:54 did you know that there is no computable model... 20:25:59 For reference, http://www.mspaintadventures.com/?s=6&p=003831 20:26:09 There is, in fact, a computable model of the Peano axioms. 20:26:54 tswett: hahahahahahahahaha 20:26:57 no no, that's not what i meant 20:28:01 You meant a computable model of ZFC? 20:28:04 Yeah, there isn't one of those. 20:28:07 ...I think. 20:29:13 tswett, what specifically made you notice that Homestuck is weird 20:29:13 nope 20:29:16 try again tswett!!! 20:29:18 you'll get it eventually 20:29:41 A computable model of... the real numbers? 20:29:46 I don't think there's one of those, either. 20:30:20 atriq: I read a TV Tropes page mentioning that in Homestuck, most of the dialogue takes place via chat programs. 20:31:00 there's no computable model of anything! 20:31:10 wrong again tswett 20:31:33 There is no computable model of NFU? 20:31:35 well there's a countable model of the real numbers 20:31:55 There's no computable model of, uh... 20:31:59 First-order... logic? 20:32:04 Second-order logic? 20:32:12 Probability theory? 20:32:30 Category theory? 20:32:32 Physics? 20:32:36 love 20:32:47 The semantics of Haskell? 20:33:28 tswett: nope 20:33:45 Gee... 20:33:49 Can I have a hint? 20:33:59 there is no computable model of a computable set of axioms that uniquely defines the natural numbers 20:34:01 because none exists!! 20:34:11 Hm... 20:34:19 -!- epicmonkey has quit (Ping timeout: 246 seconds). 20:34:24 Yes, that sounds true. 20:34:41 tswett, most of my conversations with you take place via chat programs 20:35:24 -!- augur has quit (Remote host closed the connection). 20:35:28 That also sounds true. 20:36:46 Is it that weird, in a modern world, for a significant number of conversations to take place via chat programs? 20:36:50 Rather than face to face? 20:37:11 No, not really. 20:37:24 What is weird is that when people *are* together in person, they never actually speak. 20:37:41 Until Act 6 Intermission 1 20:38:04 And only if you don't count, for example, John's conversations with Nannasprite 20:38:20 I think the carapaced ones may have some actual conversation with each other before that. 20:38:23 I am certain that I have typed more than I have said. 20:39:04 It's just that the conversation is always paraphrased. 21:00:48 -!- carado has joined. 21:09:22 -!- augur has joined. 21:23:25 -!- segorev has joined. 21:47:09 -!- Phantom_Hoover has joined. 21:48:36 -!- zzo38 has joined. 22:01:48 Apparently I do not have a microphone now 22:09:39 did somebody steal it? 22:09:58 -!- monqy has joined. 22:11:20 -!- boily has quit (Quit: Poulet!). 22:12:18 Is it allowed to update your candidate submission? 22:12:38 -!- atriq has quit (Ping timeout: 260 seconds). 22:12:45 fizzie, speaking of controllers (well, we were yesterday): quite a few games don't properly handle mixed input devices correctly it appears 22:13:19 fizzie, with that I mean switching between keyboard, controller or joystick on the fly 22:13:26 which would make sense in many games 22:19:43 night → 22:21:59 -!- nooga has quit (Ping timeout: 255 seconds). 22:24:09 -!- Vorpal has quit (Ping timeout: 252 seconds). 22:33:23 -!- TodPunk has quit (Read error: Connection reset by peer). 22:33:36 -!- TodPunk has joined. 22:35:25 -!- carado has quit (Ping timeout: 246 seconds). 22:39:18 According to Apple, a jury’s damages verdicts are immune from scrutiny so long as they fall “within the range encompassed by the record as a whole,” and the verdicts here fall within that “range” because they are lower than the damages Apple sought. 22:39:27 this case has generally been hilarious 22:52:13 XD 22:59:27 -!- Jafet has quit (Quit: Leaving.). 23:12:09 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 23:12:26 -!- monqy has quit (Quit: hello). 23:13:01 -!- atenea1 has joined. 23:13:32 -!- atenea1 has quit (Quit: Leaving.). 23:26:25 "The GNU Make Standard Library (GMSL) is a collection of functions implemented using native GNU Make functionality that provide list and string manipulation, integer arithmetic, associative arrays, stacks, and debugging facilities." 23:26:38 joke? 23:26:44 not afaik 23:32:13 -!- nooodl has quit (Ping timeout: 245 seconds). 23:34:00 -!- copumpkin has joined. 23:37:42 «Integers are represented by lists with the equivalent number of x's. For example the number 4 is x x x x.» 23:38:52 and memoization and map, too. very functional! 23:39:39 Sgeo__'s next language??? 23:40:12 maybe there's an Ant Standard Library 23:40:32 i hope it's named A/S/L