00:02:53 cpressey: is that a me reference? 00:02:59 or are the numbers just coincidence? 00:04:45 ais523: Oh, an occurrence of 23 is *never* a coincidence. 00:04:55 ah, OK 00:05:25 Except where it is. Verily. 00:06:03 ais523: Since the subject came up -- why did you pick those numbers? Born on May 23rd? 00:06:25 cpressey: no, it was a completely random number, picked by an automatic username-allocating system 00:06:27 Or in March of 1952? 00:06:34 although I am aware of the significance of the number 00:06:41 I see. 00:06:55 draw whatever conclusions you like from that 00:07:21 I shall! 00:07:44 * cpressey starts drawing a stick figure 00:09:26 So I learned this about the DOM today, at least as FF sees it: If you have two nested elements, and you move the mouse into the inside one, you get two mousenter events, one for each of the elements. If however you have two elements which are *not* nested but still geometrically overlap by absolute positioning, you will only get one mouseenter. 00:09:45 makes sense 00:09:55 the top element hides the lower one 00:10:21 whereas if one is a subelement of the other, entering the inner one by definition, requires you to be in the outer one 00:10:22 For some definition of "hide" which does not map to the user's experience and which is very inconvenient for me... perhaps. 00:10:38 It should go purely by the geometry imo. 00:11:19 that would make no sense 00:12:00 "by definition"? You can have an inner element which displays completely outside of the element it's nested in. 00:12:11 I don't *like* it, but... 00:12:27 it's not about display, it's about logical nesting 00:12:43 if something is inside something else, to be inside it is logically to be in the outer element too 00:13:01 that's like putting a box in a can and saying you can be in the box but not in the can 00:13:29 346126 is also a number from a user-allocation system 00:13:41 Doesn't that sound much better than "It's my Active Worlds citizen number!"? 00:13:56 yes 00:14:01 yes it does 00:14:44 Were that HTML were not about display. Alas. 00:15:21 My world is full of boxes in cans that appear outside of them. 00:15:38 HTML is not about display 00:17:43 coppro: If your HTML is not about display, then I applaud you. Recognize, however, how much of the world's HTML *is* about display, almost entirely so. 00:17:54 CSS is 00:17:56 HTML is not 00:18:24 if your HTML includes display information, you're Doing It Wrong 00:18:51 coppro: You realize how much of the world is doing it wrong, right? 00:19:03 coppro 00:19:16 cpressey: unfortunately 00:19:21 Sgeo 00:19:53 -!- SimonRC has quit (Ping timeout: 265 seconds). 00:20:04 coppro: I still think, since mouseenter uses geometry, and CSS uses geometry, the problem is one of display, and HTML nesting should not enter into it. 00:20:33 How's about we replace HTML with something better? Something without any formatting? 00:20:43 pikhq: GIFs. 00:20:50 Much better. 00:20:59 OOh, I know! 00:21:01 SVG 00:21:16 it does everything HTML does 00:21:22 except "better" 00:21:30 Except with more of a focus on formatting and not on content. 00:21:59 * pikhq wants a damned hypertext markup language, not a craptastic graphic design language 00:22:03 for a focus on content, you need only use the XHTML namespace 00:22:15 admittedly, this works both ways 00:22:19 Except that's a craptastic graphic design language! 00:22:22 but importing SVG in an XHTML document is confusing 00:22:38 let's all use TeX 00:22:45 Yes. 00:22:52 HyperTeX it is. 00:22:56 :D 00:25:13 -!- Wamanuz2 has joined. 00:28:53 -!- cpressey has quit (Quit: Leaving.). 00:29:11 -!- Wamanuz has quit (Ping timeout: 265 seconds). 00:34:56 -!- augur has quit (Ping timeout: 240 seconds). 00:46:59 anyone know how to get the command line of a running windows program? 00:53:39 -!- FireFly has quit (Read error: Connection reset by peer). 00:59:57 coppro: is it even possible? 01:00:09 ais523: it's got to be in memory somewhere 01:00:38 Yes, but it's not necessarily exposed to other processes. 01:10:23 -!- augur has joined. 01:12:31 -!- sshc_ has joined. 01:15:41 -!- sshc has quit (Ping timeout: 240 seconds). 01:37:43 -!- wareya_ has changed nick to wareya. 01:59:33 -!- Wamanuz2 has quit (Read error: Connection reset by peer). 01:59:35 -!- augur_ has joined. 02:00:03 -!- Wamanuz2 has joined. 02:00:15 -!- augur has quit (Ping timeout: 246 seconds). 02:07:38 -!- BeholdMyGlory has quit (Remote host closed the connection). 02:09:32 hello 02:21:34 -!- wareya_ has joined. 02:25:02 -!- Gregor-P has joined. 02:25:06 -!- wareya has quit (Ping timeout: 276 seconds). 02:37:27 -!- sshc_ has quit (Ping timeout: 276 seconds). 02:37:59 -!- sshc has joined. 02:38:10 -!- augur_ has changed nick to augur. 02:58:41 -!- Gregor-P has quit (Ping timeout: 260 seconds). 03:05:41 -!- Wamanuz2 has quit (Ping timeout: 240 seconds). 03:19:00 -!- Gregor-P has joined. 03:21:38 Hahaha 03:21:55 The day of the day is still there :P 03:29:53 -!- poiuy_qwert has quit (Quit: This computer has gone to sleep). 03:53:25 -!- CakeProphet has joined. 03:55:41 -!- SevenInchBread has quit (Ping timeout: 240 seconds). 03:58:27 -!- SevenInchBread has joined. 03:59:44 -!- CakeProphet has quit (Ping timeout: 240 seconds). 04:06:27 -!- poiuy_qwert has joined. 04:28:43 Gregor-P, ? 04:29:29 Wiki front page 04:30:03 Gregor-P, ah 05:36:32 -!- augur has quit (Ping timeout: 240 seconds). 06:00:53 -!- augur has joined. 06:05:27 -!- Sgeo has quit (Ping timeout: 276 seconds). 06:14:41 -!- GreaseMonkey has joined. 06:38:07 -!- augur has quit (Remote host closed the connection). 06:38:26 -!- augur has joined. 06:40:27 -!- coppro has quit (Quit: Reconnecting…). 06:40:56 -!- coppro has joined. 07:01:56 -!- tombom has joined. 07:31:04 -!- ais523 has quit (Remote host closed the connection). 07:32:45 -!- relet has quit (Quit: Leaving.). 07:37:20 -!- augur has quit (Ping timeout: 245 seconds). 07:48:51 -!- MizardX has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:01:25 -!- tombom has quit (Quit: Leaving). 08:02:46 -!- augur has joined. 08:04:15 -!- SimonRC has joined. 08:17:58 -!- GreaseMonkey has quit (Quit: I'm using NO SCRIPT WHATSOEVER - Download it at file:///dev/null). 08:40:44 -!- oerjan has joined. 08:45:13 -!- myndzi\ has joined. 08:49:36 -!- myndzi has quit (Ping timeout: 276 seconds). 09:07:43 -!- MigoMipo has joined. 09:33:37 -!- oerjan has quit (Quit: leaving). 09:38:42 -!- Slereah has quit (Read error: Connection reset by peer). 09:39:01 -!- Slereah has joined. 09:43:32 -!- MigoMipo has quit (Remote host closed the connection). 10:01:24 in my room i keep my love a tiny rubberband 10:16:33 coppro: If you still need it: Process Explorer can show it 10:25:46 -!- MizardX- has joined. 10:28:03 -!- MizardX has quit (Ping timeout: 276 seconds). 10:28:04 -!- SevenInchBread has quit (Ping timeout: 264 seconds). 10:28:13 -!- MizardX- has changed nick to MizardX. 10:35:01 -!- CakeProphet has joined. 10:52:51 -!- MigoMipo has joined. 10:54:02 -!- MigoMipo_ has joined. 10:54:15 -!- MigoMipo_ has quit (Remote host closed the connection). 10:57:44 -!- MigoMipo has quit (Ping timeout: 240 seconds). 10:58:51 -!- MigoMipo has joined. 11:01:57 -!- DH____ has joined. 12:00:20 -!- BeholdMyGlory has joined. 12:01:43 -!- sebbu has quit (*.net *.split). 12:01:45 -!- fungot has quit (*.net *.split). 12:04:01 -!- sebbu has joined. 12:04:01 -!- fungot has joined. 12:07:39 -!- sebbu2 has joined. 12:10:30 -!- sebbu has quit (Ping timeout: 260 seconds). 12:12:16 -!- CakeProphet has quit (Ping timeout: 260 seconds). 12:22:42 -!- Wamanuz2 has joined. 12:48:40 -!- FireFly has joined. 12:48:47 -!- MigoMipo has quit (Read error: Connection reset by peer). 13:19:16 -!- jix has joined. 13:24:16 -!- augur has quit (Remote host closed the connection). 14:01:12 -!- distant_figure has joined. 14:40:31 -!- Madk has joined. 14:46:35 Anyone else here? 14:46:38 Am I alone? 14:46:42 D: 14:51:42 yes 14:52:48 -!- distant_figure has quit (Ping timeout: 245 seconds). 14:52:49 -!- CakeProphet has joined. 14:53:02 -!- distant_figure has joined. 14:56:16 sweet 14:56:17 hi 14:57:11 I'm all fuzzy inside - my m-code language is turing complete ;D 14:57:27 finally finished by bf interpreter in it 14:59:00 Ah, the simple TC proof. :D 15:02:22 -!- Madk has quit (Read error: Connection reset by peer). 15:02:35 -!- Madk has joined. 15:04:52 -!- SevenInchBread has joined. 15:05:11 -!- CakeProphet has quit (Read error: Operation timed out). 15:11:41 -!- pikhq has quit (Read error: Connection reset by peer). 15:17:16 -!- pikhq has joined. 15:18:25 -!- MigoMipo has joined. 15:24:51 -!- relet has joined. 15:38:45 -!- pikhq has quit (Read error: Connection reset by peer). 15:45:42 -!- cpressey has joined. 15:47:53 -!- pikhq has joined. 15:56:32 So, what's everyone else doing? 15:57:12 I'm working on changing around the syntax for non-runtime commands in m-code to free up some characters 16:02:58 There's way more characters than you need in ISO 10646-1. :-) 16:10:13 I'm only using easily typable characters though :P 16:10:28 I've got 3 lowercase letters and a handful of uppercase left 16:10:37 oh, and 0 and @ 16:11:15 What I'm doing now will free up ] and " 16:54:47 huh 16:54:52 Madk, m-code? 16:55:00 Yes? 16:55:03 what is it 16:55:09 don't remember hearing about it 16:55:11 A language I made recently 16:55:18 is it on the esowiki? 16:55:19 last few days I've been polishing it 16:55:21 yeah 16:55:30 http://esolangs.org/wiki/M-code#.5B.5BFibonacci_sequence.5D.5D 16:56:02 hm 8/16/32-bit 16:56:09 Madk, does that mean memory is limited? 16:56:13 if so, it won't be TC 16:56:17 sort of 16:56:23 sub-TC then 16:56:44 Nothing can be TC, then 16:56:58 You'll run out of bits for an address eventually 16:57:30 Madk, well not in practise, but in theory sure. Any esolang run on a physical computer won't be TC in that case. But the same esolang run on a Universal Turing Machine would 16:57:43 if it allows you to have infinite storage in theory (which is what matters for TC) 16:57:57 that said, esolangs doesn't have to be TC and may still be quite useful 16:58:03 or usable or whatever 16:58:07 If it were possible to have limitless addresses, the ability to access the memory is there 16:58:25 in 8-bit the maximum address is 255, of course 16:58:31 that's the most you can do in 8 bits 16:59:01 Madk, so if you want to keep it TC just allow bignum addresses 16:59:22 that is, assuming it is TC in other parts 16:59:26 What, like a string for a number? 16:59:47 well, the representation is obviously up to you but see: http://en.wikipedia.org/wiki/Arbitrary-precision_arithmetic 17:00:24 sigh I wish ais523 was here, he could explain this a lot better 17:00:52 Augh, is that really necessary D; 17:01:19 Madk, you could do it as a variant. Or you don't need to be TC 17:01:43 besides I don't know if the rest of requirements for TCness are satisfied. I just spotted the obvious first check 17:02:16 There's absolutely no reason why it couldn't parse itself 17:02:26 It would be slow, given, but still tc 17:02:50 It has all the basic arithmatic operators 17:02:57 a ton of memory 17:03:12 -!- oerjan has joined. 17:03:28 It's 6052 assembly with single-char mnemonics 17:03:36 not truly, but it's not so far from it 17:03:50 could you implement brainfuck with infinite data tape in it? 17:04:05 with bignums or such, yes 17:04:16 and, of course, a machine with infinite memory 17:04:34 well brainfuck with finite tape but bignums also works for proving TC 17:04:42 Madk, yes it just needs to be infinite in theory. Of course in practise it won't be on physical hardware 17:05:04 or that yes 17:05:15 but lets not confuse poor Madk 17:05:36 I'm not that dumb, just new to some of these terms <.< 17:05:41 sorry 17:05:46 np 17:06:10 Madk: i removed your empty column from esointerpreters, we sort of don't want that page to get wider than necessary 17:06:39 you can put it back once you've implemented M-code in brainfuck, or something ;D 17:06:40 I noticed, yeah, I should've thought about that beforehand 17:06:47 :) 17:06:48 oerjan, which page? 17:07:00 I'm planning on trying to make a self-interpreter eventually 17:07:01 http://esoteric.voxelperfect.net/wiki/EsoInterpreters 17:07:08 oerjan, ah the case 17:07:10 that explains it 17:07:26 pesky mediawiki 17:07:32 oerjan, that page is like 1/3 of my screen width 17:07:38 the table I mean 17:07:38 Any obvious features or convenieves I may be missing? 17:07:55 Madk, conveniences? 17:08:00 in an esolang? 17:08:03 conveniences* 17:08:11 no it wasn't about the spelling 17:08:15 just about the concept 17:08:20 it only needs a couple more columns to fill out my browser window, admittedly i don't use quite full screen width 17:08:30 (it's a laptop) 17:08:33 Some, yes 17:08:48 Nothing can be TC, then 17:08:57 You're correct that no real machine can, if the universe is finite 17:09:00 oerjan, this is a 2something" wide-screen monitor 17:09:07 AnMaster: i've been thinking if it gets much bigger it ought to be reorganized into something with a (vertex/edge) graph instead 17:09:08 1680x1050 17:09:09 But languages aren't real in that sense :) 17:09:33 AnMaster: I don't want to force people to use half the program memory for relatively simple tasks :P 17:09:37 although i don't really know how to do that, especially if it's supposed to be easy to edit 17:09:53 (well i know how to make a graph on paper) 17:09:55 oerjan, a table like that is a perfectly nice way to represent a graph where there can only be one edge between a given pair of nodes in a given direction 17:10:27 AnMaster: well actually it isn't such a graph, you will note there are several cells with multiple entries 17:10:37 oh indeed 17:10:41 oerjan, what do those mean? 17:10:50 oh wait I think I see 17:10:52 AnMaster: links to the interpreters 17:11:02 oerjan, so we have labeled edges 17:11:03 nice 17:11:23 oerjan, why do we mark C specifically 17:11:34 oerjan, oh and befunge93/98 should be separate entries 17:12:09 and it's not about being a nice way, it's about being big. in fact one way of shrinking things a lot without making a graph would be to separate out into a few tables: from bf/befunge, to bf/befunge, self-interpreter and others 17:12:50 -!- cheater99 has quit (Ping timeout: 240 seconds). 17:12:52 AnMaster: maybe, i already separated out unefunge the other day when someone added it 17:13:31 (because the table is very sparse except for bf/befunge) 17:13:42 oerjan, well befunge-93 is quite a different beast from befunge-98 17:14:30 oerjan, apart from one geocities link there seem to be only befunge-93 apart from fungot which is befunge-98 17:14:31 AnMaster: the fnord cost fnord at least, ls -l /lib/ fnord debugging symbols found)...done. 17:15:31 so yeah please split that 17:15:31 into 93/98 17:15:31 I lost my login for the wiki ages ago 17:15:31 and no password set 17:15:31 -!- cheater99 has joined. 17:16:25 too much work, i'm lazy. just to find out which dialects they actually _are_ using, it's not like most of the link urls indicate it 17:17:08 oerjan, I checked them for you 17:17:11 as I said above 17:17:21 oh and that one for lazyk I couldn't find anything about 17:17:21 what! 17:18:09 oh wait found it 17:18:11 93 too 17:18:42 oerjan, so from those links: for befunge: all 93 except from the fungot link which is 98 and the geocities link which is dead and thus I have no clue about 17:18:43 AnMaster: augur: i despise the state machine. :) ( it's at http://students.depaul.edu/csweeney/ scheme.code.html if anyone cares 17:18:51 oerjan, checked for you 17:19:41 Someone gotta implement Thue in Kipple. 17:19:46 AnMaster: oh and the marking for C is because we started pondering that there _are_ so few actual cycles. it's an encouragement to make more. :) 17:20:58 AnMaster: did you check both befunge row and befunge column? 17:21:02 oerjan, yes 17:21:27 oerjan, and fungot is in two places (implements bf and ul) 17:21:27 AnMaster: there's a new ( miniscule) processor architecture, written an emulator for it, 17:22:00 ok and there actually no f98 in the column, iiuc 17:22:00 cpressey, why that specific combo? 17:22:07 *there are 17:22:19 iiuc ? 17:22:37 oerjan, well the geocities link is dead and not in waybackmachine 17:22:40 so no clue about it 17:22:48 AnMaster: it's feasible to me 17:23:10 which is not surprising, since f98 is much harder to implement but at least as easy to implement with 17:23:38 No one has implemented Brainfuck in Unlambda? 17:23:40 Surprising. 17:24:34 oerjan, anyway without splitting 93/98 we could end up with false cycles 17:25:21 oerjan, note also that 93 is not a proper subset to 98. String mode handling of multiple spaces differs, and that breaks a few programs 17:26:02 I tried building PortableFalse last night, and found both gcc and pcc choke on it. 17:27:54 I don't suppose we know of any False interpreter implemented in Haskell? 17:29:20 oerjan, well the geocities link is dead and not in waybackmachine <--- try reocities? 17:29:31 cpressey, never heard of that 17:29:41 AnMaster: try it 17:30:17 how does one use it 17:30:21 the front page: tl;dr 17:30:37 AnMaster: s/www.g/www.r/ 17:30:45 yeah, yeah, dots in re's, whatever 17:30:54 "Page not (yet!) found..." 17:30:55 cpressey, ^ 17:31:09 AnMaster: Well, it was worth a shot. 17:31:31 which is not surprising, since f98 is much harder to implement but at least as easy to implement with 17:31:54 before commenting on "but at least as easy" remember he is a mathematician 17:31:57 Seems to me the "true" tarpits would all be equally hard to implement each other in :) 17:32:08 -!- Wamanuz3 has joined. 17:32:13 cpressey, befunge is by no means a tarpit 17:32:16 especially not 98 17:32:28 you should know that better than anyone else 17:33:08 or at least as well as anyone else ;) 17:33:08 haaargh my changes to syntax has broken my bf interpreter 17:33:08 AnMaster: you misunderstood my point 17:33:08 perhaps 17:33:08 must fix 17:33:11 what did you mean then 17:33:34 changing syntax *does* tend to break things 17:33:40 what else would you expect 17:33:47 AnMaster: I have better things to do than to explain it to you. Sorry. 17:33:55 cpressey, mhm 17:34:06 AnMaster I went through and changed the stuff to the proper syntax and it's still broken, that's the problem 17:34:15 oops 17:34:23 AnMaster: Hopefully I just forgot one or two things 17:34:54 It's either jumping past the end of the loop or it's not jumping to the beginning ._. 17:35:39 -!- Warrigal has quit (Ping timeout: 240 seconds). 17:35:39 -!- Wamanuz2 has quit (Ping timeout: 260 seconds). 17:35:39 ok it's not in reocities (yet) 17:35:39 -!- Warrigal has joined. 17:35:49 my fibonacci sequence is still fine, though, after I changed the syntax, so I don't really think it's the m-code interpreter itself 17:36:43 AnMaster: how can befunge-98 _not_ be easier to implement things with? it has a lot of extra features afaik, even if it's not strictly a superset 17:37:58 oerjan, it was you who claimed it was at least as easy 17:37:59 not me 17:38:06 it is interesting how much harder bub is to optimise than brainfuck 17:39:55 AnMaster: note i said implement _with_. one of the reasons why there are so few Cs in that page is, in my opinion, that the easier a language is to implement other things with, the harder it is to implement itself. 17:39:56 though if you had balanced [] you could back-translate it into a loop trivially. A lot of other optimisation would require changes though 17:40:03 for the non-matching case 17:40:16 oerjan, true 17:40:26 oerjan, each S is a C really 17:40:37 also i've now edited the page 17:42:42 AnMaster: yes but somehow i don't think they count as much 17:42:42 (if you want to check the result) 17:42:42 oerjan, you edited it wrong. Move the fungot entry in the bef/bf cell up 17:42:42 AnMaster: i understood exactly what you end up with 17:42:42 to 98 17:42:42 or wait 17:42:42 rather 17:42:42 move the geocities one about 17:42:42 to somewhere 17:42:43 what 17:42:43 oerjan, okay you see the XX in b98/bf? Well one of those is a dead link. We need befunge-unknown-due-to-dead-link 17:42:43 i thought you said the geocities one was f98. oh wait you meant unknown. 17:42:50 hurrah, I hauled my hello world example into the new syntax 17:42:53 oerjan, maybe put dead links at a list at the end 17:42:55 -!- iamcal has joined. 17:42:58 -!- cal153 has quit (Read error: Connection reset by peer). 17:43:00 sheesh. 17:43:01 oerjan, with a note about it 17:43:08 oerjan, just a suggestion for how to handle it 17:43:23 it is trivially to use an automated link checker tool for it anyway 17:43:29 I believe KDE comes with one 17:43:31 bbl food 17:44:58 There's my bf interpreter 17:45:04 forgot two "$"'s 17:46:13 I raise my eyebrow in confusion. 17:46:29 The comment-stripper doesn't work right anymore 17:48:16 hup, that was a simple fix :P 17:49:17 AnMaster: ok i've now fixed it as much as i can be bothered 17:50:13 oerjan: He left 17:50:35 just as well, there's no way he'll be satisfied with what i did anyway ;D 17:50:45 lol 17:51:03 What page is this? Befunge '93 and '98? 17:51:23 there's just one Befunge page, but the one i edited is EsoInterpreters 17:51:49 -!- tombom has joined. 17:52:22 You forgot to add -93 to the end of Befunge in the first column 17:52:30 no, i removed it again 17:52:32 unless you weren't intending to, in which case you should 17:52:44 because it contains one unknown interpreter 17:52:59 which is a dead link which we don't know which befunge dialect it is 17:53:29 Neither link is dead for me 17:53:37 One says a '93 interpreter in '93 17:53:48 the other says a '93 interpreter in befunge without a year 17:53:59 um the brainfuck interpreter in befunge 17:54:04 Ah 17:54:30 If the link is broken take it down, it's of no use to anybody :/ 17:54:30 I should perhaps point at the standalone Underload thing instead of fungot there for the Underload-in-Funge98 case. 17:54:30 fizzie: fnord this shit doesnt achieve anything. :p)) some long, huge expression...) 17:55:42 Madk: the point is reocities is adding old geocities links slowly, so it _might_ become found again and i don't like to delete dead links completely without replacement 17:56:03 if we delete them then we'll _never_ remember to check if they've reappeared 17:56:07 Anyhow, I'm off to write the collatz and the seive of eratosthenes in m-code :D 17:56:13 oerjan: Oh, ok 17:56:26 oerjan: What about a separate wiki page for dead links 17:56:44 Go check them every now and then and if one works, put it wher it belongs 17:56:52 also the wayback machine, which i read somewhere hasn't added anything to the publicly available database for years 17:57:10 The EsoInterps table could be wider; I should perhaps implement something that doesn't have an esointerp yet. (Then I could transmogrify it into fungot, perhaps.) 17:57:11 fizzie: definitely worth .25, clearly wrong, since the last time you took a turning test? to see why: 17:58:19 I adore fungot. 17:58:20 cpressey: the price had went down from humongous to merely ginormous. the latter one doesn't look very probable though.) i think i actually need four quite small tunes 18:08:46 -!- oerjan has quit (Quit: Reboot). 18:10:13 -!- augur has joined. 18:10:49 AnMaster: Since we've usually been swapping these, here's a freehand (to excuse the very wobbly horizon) 360-degree huginization from a nearby cliff-thing: http://zem.fi/~fis/P1070725-739.jpg 18:11:56 -!- oerjan has joined. 18:16:12 fizzie, hm nice 18:16:38 oerjan, well your way is kind of okayish 18:16:43 but not very probable 18:16:53 since bf in 93 would mean very short tape 18:17:17 fizzie, it is hard to tell that it is wobbly. It looks like a hill at first glance 18:17:45 oh it is a hill 18:17:46 XD 18:18:01 hillarious 18:18:12 fizzie, yeah landscape too hilly in the near area to be able to tell if the horizon is wobbly or not 18:18:44 fizzie, also very little parallax I see. Nice 18:18:53 I don't see any seam 18:18:55 Yes, it is a hill. Well, the freehandiness also meant I had to leave quite a lot of black in there. (Or crop a lot out.) 18:19:07 well yes 18:20:02 There's one visible seam near the left edge, in the roof/top-of-balcony of the bricky building visible through a gap in the trees. 18:20:33 oh indeed, I thought it was strange architecture 18:20:47 like another house behind it 18:21:43 since it neatly lines up with the balcony 18:22:14 There's also source images for at least one (if not two) full-circle panoramas (plus a few wide-angle shots) more from different spots on the hill, but I haven't had time to combinate them yet. 18:22:27 fizzie, a way to solve having to crop as much would be taking pictures in a lower line as well 18:22:35 so you get a larger hfov 18:22:37 err 18:22:39 vfoc 18:22:42 vfov* 18:23:15 fizzie, where are those hills? 18:24:44 It's called Laturinkallio, and it's approximately here: http://maps.google.com/?ll=60.223788,24.816624&z=17 18:25:57 The houses with the seam are in the "triangle" between Laturinkatu / Porarinkatu / Mestarintie/Kehä I in that map; Google's satellite image is too old to show them. (They've been built mostly during this year.) 18:26:06 how strange it is to see both Swedish and Finnish names on things 18:26:30 Though "Laddargränden" is a strange Swedish name for an alley 18:26:46 Laddar is not a Swedish word that I know 18:27:06 That particular bit of road is "Laturinkuja" (where fi:kuja == en:alley) in Finnish, too. 18:27:48 No it says "Nikkaripolku" on that one? 18:28:01 It changes name there. 18:28:02 or does the road rename is the middle? 18:28:03 ah 18:28:33 It doesn't continue so smoothly as the map makes it look like; there's a series of steps there in the middle, you can't drive a car through. 18:28:53 hah 18:29:11 fizzie, besides, I doubt it goes through those houses 18:29:34 Right. Openstreetmap represents it a lot better: http://osm.org/go/0xPMNrFE?layers=M 18:30:12 Lacks the Swedish names, though. (Or doesn't show them, anyway; I would think they are in the metadata still.) 18:30:20 it still goes through the houses 18:30:29 that red line I mean 18:31:26 Well, it goes right next to the houses. There's no satellite-map overlay in osm, so I'm not sure how well it is actually placed. 18:31:43 OSM also shows the current and future routes of Kehä I; there's a large road project going on there. 18:33:02 ah 18:33:37 fizzie, on the north or south side of them? 18:33:49 South. 18:34:18 fizzie, also you could drive a car there. With sufficiently large wheels 18:35:02 It's not a very wide path. But yes, for some values of "car" you could drive one through. 18:35:20 http://kartat.eniro.fi/m/pKpro shows both the houses *and* the road, if you're curious. 18:35:32 oerjan: Shelta has been implemented in itself -- is that worth adding to EsoInterpreters? 18:35:50 fizzie, hey I thought eniro was Swedish!? 18:36:15 Also, here's the beginning of the steps: http://kartat.eniro.fi/m/pKpmQ -- it should go directly to eniro's streetview-alike. 18:36:39 cpressey: sure 18:36:41 Admittedly there are those ramps for wheelchairs, those might help a bit in driving up there. 18:36:49 (Down would be easier, I guess.) 18:37:03 fizzie, link doesn't work 18:37:17 as in, I get a blank photo and no "plugin missing" bar at the top 18:37:32 Curious; it works-for-me(tm). 18:37:56 fizzie, well with _sufficiently_ large wheels it shouldn't be any issue anyway. Heck with *sufficiently* large wheels that hill wouldn't pose a problem at all, it would just like a bump in the "road" 18:38:07 fizzie, enabled javascript too 18:38:13 still doesn't work 18:38:24 For both eniro.fi and eniro.com?-) 18:38:30 yes 18:38:55 Hm, well. You can click "Katunäkymä" in the earlier map and try to navigate there manually. 18:38:59 oh wait, if I enlarge the window I see far out on the right: "Gatuvy behöver Adobe Flash." 18:39:06 Heh. 18:39:09 what a silly place to put it 18:39:33 strange it was translated to Swedish 18:39:44 since browser is set to English 18:39:52 Google hasn't bothered to run their streetview car into Nikkarinkuja. But they have driven to the end of Laturinkuja, you just can't see the steps so well from there. 18:40:09 fizzie, okay, localising google earth binary 18:40:13 it should be *somewhere* 18:40:24 maybe on a previous install 18:40:32 http://maps.google.com/?ie=UTF8&ll=60.223373,24.81612&spn=0.005014,0.013036&z=17&layer=c&cbll=60.223491,24.816834&panoid=DOmQFc4jsxgXEgAuw9xc2w&cbp=12,202.36,,0,-3.3 points at Google's streetview hopefully. 18:40:36 (Horrible link.) 18:40:58 fizzie, can't do in browser due to previously mentioned lack of flash 18:41:05 should be able to do it in google earth 18:41:24 fizzie, or you could just upload a screenshot of it for the .fi one 18:41:34 I was just about to suggest that. A moment. 18:41:44 thanks a lot 18:41:57 hm where *is* the google earth steuff 18:41:58 stuff* 18:42:03 I know I had it installed 18:42:18 oerjan: Er... it's actually a Shelta->8086 compiler written in Shelta. Not technically a self-interpreter. 18:42:38 oerjan: So... ignore me :) 18:42:45 AnMaster: http://zem.fi/~fis/steps.jpg 18:42:52 The whole page is about *interpreters* 18:43:02 fizzie, btw I wonder how google solves the parallax in their pictures. Since their cameras can't all be in the same place 18:43:17 fizzie, ah yeah indeed some problems for your average car 18:45:38 The streetview car (well, one of them) looks funky: http://sfcitizen.com/blog/wp-content/uploads/2008/06/2584018127_c2701eaef8_o.jpg 18:45:58 fizzie, sure that ramp is for wheelchairs and not baby wagons (is that the English term for it? 18:45:59 ) 18:46:13 fizzie, it seems quite horrible to drive an electric wheelchair up that 18:46:33 or a manual for that 18:46:50 Yes, I guess it would be mostly used by baby carriages (I think that's the term). 18:46:52 fizzie, is that a policeman behind it? 18:47:04 It looks like one; I'm not sure what's happening in the picture. 18:47:21 fizzie, anyway those cameras look really strange 18:47:39 The four beige blocks are some sort of laser range-finders. 18:47:43 err, if the cameras are the black ones at top 18:47:49 if they are the white ones then even stranger 18:48:01 fizzie, you mean white 18:48:38 I guess. It said "tan" in the page describing the photo, I just picked yet another light colour. 18:48:58 fizzie, link to that page? 18:49:28 fizzie, still it doesn't explain how to 1) solve parallax 2) solve nadir image 18:49:40 the nadir one tends to have parallax at google though 18:49:59 I suspect they extract that one from the next/previous one 18:50:45 http://www.byetman.com/2008/06/17/google-street-view-car-busted-in-more-ways-than-one/ claims that they're range-finders. 18:51:31 cpressey: ok 18:51:41 AnMaster: Ooh, here's a better look at the camera: http://ekstreme.com/images/google-streetview-camera-1.jpg 18:54:32 okay the camera thing is definitely the one at the top 18:54:40 still how the fuck do they solve parallax 18:55:32 Well, there's not *that* much of it. And they do know the (relative) positions of their cameras and all. 18:55:55 fizzie, oh and a fun thing I noticed at E20 of google street view: on the north bound side it showed a road covered with rain water, on the south bound side it was sunny 18:56:33 solving parallax is such a paradox 18:56:33 Yeah, "big" roads like that have some discontinuities. 18:56:58 fizzie, plus since there were two lanes in each direction on that section it showed that there was cloudy in the outer lane in the south bound direction :D 18:57:22 cloudy but not raining that is 18:57:31 Ha, and as for "solving" parallax, I just rotated the "Laturinkuja" Google streetview image around, and there's a very nice ghostly duplicate of one tree here. I'll screenshotify it. 18:57:47 fizzie, they use cars to do it too? 18:58:16 solving parallax is such a paradox <-- that one was so bad 18:59:12 virtually without parallel 18:59:17 http://zem.fi/~fis/ghost-tree.jpg <-- I wouldn't call that a "solved" merging of their panorama images. 18:59:38 (There's a bit of a seam in the sidewalk too.) 19:02:25 fizzie, indeed, even hugin does better 19:02:49 fizzie, hugin would give a cut off tree instead 19:03:20 unless you use enfuse 19:03:27 Yes, their image-blender seems more enfusey than enblendy. 19:03:42 fizzie, but enfuse is so much slower than enblend that I doubt it would be feasible to run that on so much data 19:04:11 -!- ais523 has joined. 19:06:11 AnMaster: Well, while we're at it, here's one of the wide-angle huginizations: http://zem.fi/~fis/P1070756-760.jpg -- the road that goes parallel to the picture there is Laturinkuja/Laddargränden. 19:14:40 oerjan: At any rate, that table has got me thinking about the feasibility of implementing esolangs in other esolangs. Like, why implementing Thue in Kipple, or Kipple in Thue, would both be hard, for different reasons. 19:15:24 thue has that pesky no good IO problem 19:15:51 oerjan: I was just about to say that -- it extends to initial data being pesky as well, doesn't it? 19:16:39 e.g. The initial data would be a Kipple program -- you'd first need to transform that into something you could interpret -- and that would be ugly. Well, I guess not impossible though. 19:16:53 well initial data is no more allowed to be free format than input is 19:17:25 For some languages, for some small character sets, it might be impossible 19:17:30 the thing is _everything_ in free format can clash with the thue program source 19:17:30 -!- BeholdMyGlory has quit (Remote host closed the connection). 19:17:40 Exactly 19:18:00 You need disjoint character subsets for the initial data and the "intermediate representation" 19:18:23 Or... boom (potentially) :) 19:19:03 -!- Madk has quit (Read error: No route to host). 19:19:11 Itflabtijtswi, which is also substitution based, solves this by reading only single characters at a time 19:19:30 *Itflabtijtslwi 19:20:56 cpressey: do you allow compiling esolangs into esolangs? 19:21:18 the big problem with Thue, really, is a sort of wire-crossing problem 19:21:36 it's a pain to move data from one end of the program to the other 19:21:46 ais523: I just now wanted to add the Shelta->8086 compiler written in Shelta to the page, but decided against it because it's excpliticly about EsoInterpreters. 19:21:47 if someone starts compiling esolangs into esolangs with esolangs, we will certainly need to put that on the wiki somewhere 19:22:02 cpressey: try adding it to the Shelta page 19:22:06 if it isn't there already 19:22:07 ais523: I should. 19:22:25 oerjan: does Perl count? 19:22:30 heh :D 19:23:05 compiling esolangs into esolangs with esolangs is something I've been considering, incidentally 19:23:11 I really need to finish Cyclexa sometime 19:23:15 or, well, properly start it 19:26:57 i thought that was most of the point with your underlambda thing 19:28:41 yes, agreed 19:28:50 underlambda's a language to compile via, or will be when I finish it 19:28:56 hmm, RL gets in the way of esolanging so much 19:34:20 -!- augur has quit (Remote host closed the connection). 19:37:20 -!- augur has joined. 19:40:30 I should learn Underload sometime. 19:41:13 Has anyone designed a language with the goal of making quines hard to write? 19:42:38 someone tried to make a language where they were impossible to write 19:42:46 http://esoteric.voxelperfect.net/wiki/User_talk:Smjg 19:42:47 on the basis that any program that was a quine was rejected, anything else ran fine 19:43:00 Well yes, they argued with me that such a language exists *in principle*, which is true ;) 19:43:17 cpressey: not only did they do so, but you invented narcissists because of it 19:44:11 oerjan: Indeed 19:44:27 but their idea iirc is a trivial modification that can be applied to any language 19:44:30 But right now I'm just thinking of a language that would make quine-writing ugly. For lack of a better way to put it. 19:45:26 well the more awkward computing and printing strings is... 19:46:07 oerjan: It was Underload's "in output, parens must be balanced" that got me wondering about it. 19:48:18 well then, anything that makes it _impossible_ to print a program source in the language would pretty much ruin things. see intercal-72. 19:48:31 well, yes 19:48:34 you could still encode it somehow, though 19:48:44 Yeah, yeah. Not what I'm thinking of :) 19:48:58 encoding output is entirely contrary to the spirit of quines 19:49:06 btw, why are []<> reserved in Underload anyway? 19:49:20 Seems a bit arbitrary, reading through the spec 19:49:23 in a language like Unlambda, quines are hard because of the difficulty of copying data 19:49:26 and yes, it is rather arbitrary 19:49:29 future expansion? 19:49:32 it's for backwards compatibility with something that doesn't exist 19:49:53 I see. I notice <>'s appear in the stack when you single-step trhough the JS interpreter 19:50:02 they're the stack separator 19:50:08 Indeed. 19:50:09 i'd say with unlambda it's more about the awkwardness of string representation 19:50:27 I use that because it's illegal in the input program, or in the working 19:50:58 a "neater" representation, though, is simply to parenthesise the stack elements 19:51:06 the shortest unlambda quine is a rather evil continuation hack 19:51:33 ooh, ingenious 19:51:36 -!- ais523 has changed nick to ais523_. 19:51:45 (btw the one in the distribution can be shortened somewhat, because it misses the optimization `kv = k or something like that 19:51:46 ooh, ingenious 19:51:48 ) 19:51:51 err, what? 19:51:53 -!- ais523_ has changed nick to ais523. 19:52:07 let me look it up 19:52:14 and you mean `kv=v, surely? 19:52:22 er yes 19:52:33 you can think of v as a fixpoint for k 19:52:52 quine06 19:53:09 yep, it has a `kv in it 19:53:37 incidentally, I think I have a continuations impl for Underlambda written in Underlambda preprocessor somewhere 19:53:43 and it would be easy enough to adapt to Underload 19:54:07 as all Underload commands but S translate directly to Underlambda 19:54:27 and when you simplify that, you shave off ``sc.```s``sc.k``s as well 19:54:46 you'd need to modify the string representation too, wouldn't you? 19:54:52 (since that's the part of the function representing the `k) 19:55:00 ah 19:55:02 that's what i'm saying 19:55:28 more languages need continuations 19:55:53 I'm still really proud of continuation.i 19:56:30 hm? 19:57:04 I implemented continuations in INTERCAL 19:57:15 ah 19:57:18 pure INTERCAL, that is, it doesn't even use an external C library 19:57:30 (pure C-INTERCAL; doing so in INTERCAL-72 would be insane) 19:57:38 Jeez. That suggests CONTINUE FROM to me. 19:57:45 hey insanity is an advantage here 19:58:04 cpressey: that's a three-liner; NEXT FROM, make a continuation, RESUME 19:58:08 My mind just drove into a tree. 19:59:23 Ah, but it reminded me of the idea I had earlier this morning, that I forgot. Thank you! 20:01:42 I actually really like C-INTERCAL's control flow, more languages should use it 20:01:55 it's a lot more natural, in a way, then the kludges many other languages use to do much the same thing 20:02:19 ais523: you need a *MWAHAHAHAHA* after saying that 20:02:30 no, not really 20:02:51 tsk, such denial 20:08:25 AnMaster: Well, while we're at it, here's one of the wide-angle huginizations: http://zem.fi/~fis/P1070756-760.jpg -- the road that goes parallel to the picture there is Laturinkuja/Laddargränden. <-- nice 20:09:15 fizzie, you should like totally take multiple 360° panos and link them together like a virtual fizzie off-street view :D 20:18:35 -!- Madk has joined. 20:25:13 -!- Sgeo has joined. 20:31:33 -!- BeholdMyGlory has joined. 20:37:03 ais523, hi there 20:37:49 ais523, I have a question about nwn toolset. How on earth do I create new items of cloth type armour. I seem unable to manage anything but light armor. 20:38:10 ais523, editing cloth type also turns it into light armor 20:38:15 ais523, I suspect a bug 20:38:34 ais523, I think I have 1.69 or whatever the last one was called. Diamond edition iirc 20:39:04 -!- BeholdMyGlory has quit (Remote host closed the connection). 20:39:46 -!- BeholdMyGlory has joined. 21:04:48 "A regular expression to check for prime numbers" 21:04:54 I'm assuming that that's a joke 21:05:14 Oh, it's supposedly for un.. wait, still 21:07:15 in unary, with Perl 5.10 regexen, ^(aa+){2,}$(*PRUNE)(*FAIL)| 21:07:44 actually, Perl's been stealing a whole bunch of features from Cyclexa, just with more unwieldy syntax 21:07:45 unary? 21:07:57 coppro: representing, say, 9 as aaaaaaaa 21:08:06 ah 21:08:12 length of a string used to represent the number 21:08:20 I thought you meant a language or something 21:08:22 pattern-matching esolangs tend to use it, as it's easiest 21:08:37 and there is a lang called Unary, but it's one of those concept things like HQ9+ 21:08:57 what do *PRUNE and *FAIL do? 21:09:04 cut and fail from Prolog 21:09:16 remind me 21:09:17 ais523, so no idea? 21:09:21 Wait, that _works_? 21:09:30 I assume it must be inefficient for large numbers? 21:09:39 AnMaster: change the torso model, the material and AC change to match 21:09:45 oh wait, I get it 21:09:47 Sgeo: yes, very 21:09:54 ais523, huh, material is where? 21:10:08 heh, that's awesome 21:10:15 AnMaster: not visible directly, but, say, if you recolour leather, looking at what changes colour lets you see what's made of leather 21:10:28 is there proof that Perl 5.10 regexes are TC yet? 21:10:28 ais523, hm... 21:10:42 and (*PRUNE) = discard backtracking points before here, (*FAIL) = try to backtrack 21:10:45 the combo forces the regex to fail 21:10:53 right 21:11:45 actually, that regex needs special handling for 0 and 1 21:11:50 or it marks them as prime 21:11:52 but you get the idea 21:11:55 true 21:12:02 that's easy enough 21:12:08 ais523, link to this Cyclexa 21:12:11 I can't find it 21:12:16 there isn't one 21:12:20 as I said, it's unfinished 21:12:26 ais523, then how can perl steal from it 21:12:31 unknowingly! 21:12:32 ais523, is it your language? 21:12:32 ^($|a$|(aa+){2,})$(*PRUNE)(*FAIL)| 21:12:40 err 21:12:43 remove the two $s 21:12:57 that 21:12:58 is 21:12:59 unholy. 21:13:02 ais523, if so, a description and dare share your work earlier ;P 21:13:16 -!- Behold has joined. 21:13:30 -!- BeholdMyGlory has quit (Disconnected by services). 21:13:42 AnMaster: a cross between regexen and Prolog 21:14:09 with a built-in primitive for recursive replacements on parse trees 21:14:27 (most langs don't have a primitive /that/ specialised; Cyclexa was intended to write compilers) 21:15:34 I have to give Cyclexa points for sounding like the marketing name for a drug. 21:15:38 Sorry, *medication*. 21:15:44 ais523, hm 21:16:03 cpressey, you are right 21:16:04 it does 21:16:05 Talk to your doctor about Cyclexa! 21:16:05 also, it has antitext 21:16:18 huh? 21:16:45 if you match a string against normal text, that text is removed from the string 21:16:52 if you match a string against antitext, it's added to the string 21:16:54 hm the crickets are *really* loud outside today 21:17:06 thus you end up with a TC language, rather than an LBA 21:17:39 ais523, weird 21:17:54 ais523, is it always added? Or only in case of a non-match? 21:17:58 or in case of a match? 21:18:12 how can it fail to match? 21:18:15 so yes, always added 21:18:22 but ofc that bit of the regex might not run at all 21:19:04 ah 21:19:27 ais523, well fail to match = only added if not there already 21:19:36 nuuu 21:19:40 err, adding something != removing it 21:19:41 esolangs.org is down 21:19:45 I don't see why you'd consider those the same 21:19:49 whup 21:19:51 that was short 21:19:57 ais523, I meant for antitext? 21:19:58 Madk: working fine for me 21:20:21 Howabout, nondeterministic regexp replacements: so s/a/xy/ on "baza" yields {baza, bxyza, bazxy, bxyzxy} 21:20:32 cpressey, nice idea 21:20:45 with n modifier: s/a/xy/n 21:21:06 cpressey, n meaning? 21:21:09 Too bad Perl insists on being deterministic. I mean in general 21:21:21 cpressey, doesn't it have an rng? 21:21:23 err 21:21:25 prng* 21:21:30 I'm reasonably certain you can do something like that in Cyclexa 21:21:46 AnMaster: I mean the theory-of-computation meaning of nondeterminstic 21:21:50 ais523, show us the spec 21:22:01 not finished! 21:22:04 cpressey, right 21:22:11 ais523, release draft then! 21:22:15 but backtracking does nondeterminism, in a rather inefficient way 21:22:29 ais523: That's why I added "in general" :> 21:22:35 I imagine something like a=(xy|) would be enough to do what cpressey suggested 21:22:40 (in Cyclexa, that is) 21:23:03 ais523, explain that syntax or post daft spec 21:23:19 daft specs would seem a rather appropriate thing for this channel 21:23:21 ruby! \o/ 21:23:21 | 21:23:21 /< 21:23:37 ais523, err? isn't that a good thing? 21:23:37 AnMaster: "replace a with xy or nothing" 21:23:46 augur, yes ruby is horrible from what I seen 21:23:52 I think you'd need a modifier to do a global replace, but I forget what it is offhand 21:24:01 AnMaster: i love ruby 21:24:06 i just discovered something wonderful about ruby :D 21:24:12 augur, isn't haskell better? 21:24:33 yes, but not for scripting and the like 21:24:48 but i discovered that ruby has minor pattern matching :D 21:25:11 augur, erlang has pattern matching on par with haskell. better for some things, slightly worse for some 21:25:15 and there is escript 21:25:20 which is erlang as script 21:25:31 perhaps. but i like being able to dick around in TextMate and test things like and so forth 21:25:41 augur, I have no idea about that editor 21:25:47 Prolog's pattern matching beats Haskell's 21:25:49 its a mac editor 21:26:04 but oh man 21:26:07 check this out 21:26:08 ais523, can't it do erlang? 21:26:16 ais523: I think I saw someone that tried to add regexps to Haskell's pattern matching ! 21:26:23 AnMaster: that's rather out of context... 21:26:24 cpressey: ouch! 21:26:35 err 21:26:36 [[1,2], [3,4]].map { |(a,b)| a+b } == [3,7] 21:26:38 ais523, augur* 21:26:41 tab failure 21:26:47 wonderful! 21:26:51 ais523: It's not a bad idea, I don't think, but the potential for mess... yeah. 21:27:13 its like, i can do map (\[a,b] -> a+b) [[1,2], [3,4]] 21:27:16 :D 21:27:33 surely the clean method would just be 'myFunction a | a `matchesRegex` "regex" = ...' 21:27:45 augur, and you can't in haskell? 21:27:51 no no, you CAN in haskell 21:27:58 see 21:28:01 haskell >> ruby 21:28:01 but i discoverd you can do the thing above that in ruby! 21:28:07 haskell >> ruby? 21:28:12 do haskell, then do ruby/ 21:28:16 well if i must! 21:28:17 augur, no no 21:28:21 but i'd prefer >>= to >> honestly 21:28:24 augur, "much better than" 21:28:25 i mean lets be serious here 21:28:27 in this context 21:28:33 i know what you meant, spergface 21:28:34 :| 21:28:43 spergface? I never heard that insult before 21:28:53 [a+b|a<-[1,2],b<-[3,4]] -- Better. 21:29:15 pikhq, that hurts. Interestingly I think it also is valid erlang, or nearly so 21:29:19 pikhq, yes, but not as illustrative 21:29:35 augur: Mmm, true. 21:29:45 hm it isn't strangely enough 21:29:48 even with || 21:29:56 I wonder why it returns an empty list 21:30:00 that makes no sense 21:30:07 (\[a,b]->a+b)<$>[[1,2],[3,4]] 21:30:09 Thar; done. 21:30:38 pikhq, couldn't you do [a+b|[a,b]<-[[1,2],[3,4]]] 21:30:39 Haskell has some srsly gnarly operators for being an academic language. 21:30:50 AnMaster: Yes. 21:30:59 pikhq, would it do the same though 21:31:34 cpressey: Yeah, well. Hooray, functions. 21:31:56 <$>, BTW, is not in Prelude. 21:32:00 Data.Applicative has it. 21:32:11 pikhq, what does it do? 21:32:15 I don't think I got that far yet 21:32:22 AnMaster: It's infix fmap. 21:32:26 applicative functors! :D 21:32:34 i just read that in Learn You a Haskell 21:32:50 It goes along with <*>, which is the applicative functor operator... 21:33:06 <$> :: (a -> b) -> f a -> f b 21:33:17 <*> :: f (a -> b) -> f a -> f b 21:33:25 *Basically* it lets you apply the function in a functor to another functor. <*> :: f (a -> b) -> f a -> f b 21:34:12 <$> is sort of like liftA1 isnt it there 21:34:14 pikhq, ouch that hurts to think about 21:34:47 AnMaster: Most obviously useful for applying a list of functions to a list. ;) 21:35:01 pikhq, yes quite. Still somewhat mindbending 21:36:12 bbl 21:36:17 -!- augur has quit (Read error: Connection reset by peer). 21:36:26 -!- augur has joined. 21:38:15 Also, curried functions. 21:38:26 (+)<$>[1..]<*>[2..] 21:39:22 i don't think that ever gets past the first 1 21:39:30 yeah, that shouldn't work AFAICT 21:40:02 Baaah 21:40:05 the applicative instance for lists is cartesian product based, not zipping 21:40:05 One degree of gnarliness too far. 21:40:12 i.e. same as the monad 21:40:19 Right, right. 21:40:49 The zipping instance doesn't get you a monad, so that's not the default. 21:41:01 you could use ZipLists but that's awkward 21:41:18 actually it _does_ give a monad, it's just a different one 21:41:44 I thought it violated monad laws if you allowed for finite ziplists? 21:41:47 and it's not defined in the source 21:42:04 Regardless, it's not a ziplist because the monad instance isn't. 21:42:21 And inconsistent instances make me sad. 21:43:10 i believed i checked it once, and you can define it. join is essentially taking the diagonal, with some care (all the previous lists must be at least that length or you do get a law failure) 21:43:34 *believe 21:45:00 Okay, so you get a valid instance, with some restrictions. 21:45:17 Whereas the actually used instance has no such restrictions. 21:45:23 um i didn't mean restrictions 21:45:49 So I misunderstood. 21:45:59 what other than the collatz and fibonacci sequences should I make examples for in my language? 21:46:06 i meant you need to take care when defining join that you cannot use a diagonal element unless all the "square" above and to the left are also defined 21:46:12 Ah. 21:46:21 I'm thinking juggler, but then I have to figure out how to get a square root 21:46:28 Madk: Kolakoski sequence 21:46:38 It's cool 21:46:40 it's my fave 21:46:53 Madk: thue-morse 21:50:11 preferably not a gigantic one :| 21:50:33 also, wikipedia isn't clear on how the kolakoski sequence works 21:51:33 the nth number is the length of the nth block of equal digits. blocks alternate with 1s and 2s, and 1 starts the sequence 21:51:38 1, 11, 21, 1211, 111221, 312211, etc. 21:51:43 *the nth digit 21:52:03 coppro: um that's look-and-say 21:52:09 yes, exactly 21:52:21 that's not kolakoski 21:52:32 I didn't say it was 21:52:49 Madk: oh also factorial 21:56:40 google 21:56:48 's new image search design is nice 22:00:46 -!- Madk has quit (Quit: Leaving). 22:03:12 -!- distant_figure has quit (Quit: underflow). 22:09:03 There are two things that seem "obvious" to me but for which no proof has been found. 1. P < NP 2. There are an equal number of 1's and 2's in the Kolakoski sequence. 22:10:13 cpressey: the wonderful thing about proofs is that seeming is irrelevant 22:11:01 augur: Indeed their power to dispel illusion is unmatched. 22:11:30 i await the day when we have a proof that P = NP 22:11:35 just so i can shove it in your face. :D 22:11:39 -!- augur has quit (Read error: Connection reset by peer). 22:11:49 -!- augur has joined. 22:12:06 just so i can shove it in your face 22:12:08 and be like 22:12:11 EXPEL THIS 22:12:11 -!- coppro has quit (Ping timeout: 240 seconds). 22:12:24 ... "expel"? 22:13:08 -!- DH____ has quit (Quit: Trillian (http://www.ceruleanstudios.com). 22:13:18 or whatever 22:14:43 eh 22:15:03 dispel sorry. i thought you had said expel (for god knows what reason) and my client died before i could get a good look 22:15:04 ahahaha 22:15:23 pretend everything i said made sense! 22:15:42 OK! 22:15:48 :D 22:15:56 I have a lot of practice doing that all the time at work anyway. 22:25:22 -!- coppro has joined. 22:36:41 -!- GreaseMonkey has joined. 22:37:15 oooh 22:37:18 brainpipe looks good 22:38:40 -!- sftp has quit (Remote host closed the connection). 22:41:23 * Sgeo needs a set of earphones that aren't so fragile that I will end up breaking the wire and being unable to listen with both ears 22:42:23 Sgeo: Get. Proper. Headphones. 22:42:38 pikhq, I _had_ headphones. They broke. 22:42:54 That sounds improper. 22:42:57 I think one of the wires broke or something 22:42:59 ^ul (12)S(*a(~:)~*^~):((1)S)~*~((2)S:*)~*:(~())~*^(a(:^)*~a(*()~)~*^~^):^ 22:42:59 122 ...out of stack! 22:43:04 dammit 22:43:19 Because now audio only comes out of one.. ear thing, unless I hold the thing in position just right 22:43:32 Pay money for ones with replacable wires. Or at *least* one with not-shitty wires. 22:44:10 ^ul (12)S(*a(~:)~*^~):((1)S)~*~((2)S:*)~*:(~())~*(b1)S^(b2)S(a(:^)*~a(*()~)~*^~^):^ 22:44:10 12b12 ...out of stack! 22:44:46 Something similar happened to my earbuds just today 22:44:50 So I think it's me 22:45:06 erm, yesterday 22:45:16 ^ul (12)S(*a(~:)~*^~):((1)S)~*~((2)S:*)~*:(~())~*aSaSaS 22:45:17 12(~()(2)S:**a(~:)~*^~)((2)S:**a(~:)~*^~)((1)S*a(~:)~*^~) 22:45:22 ^ul (12)S(*a(~:)~*^~):((1)S)~*~((2)S:*)~*:(~())~*aSaSaSaS 22:45:22 12(~()(2)S:**a(~:)~*^~)((2)S:**a(~:)~*^~)((1)S*a(~:)~*^~) ...out of stack! 22:46:13 Sgeo: About how thick would you say those wires are? 22:46:29 oh 22:46:29 Which ones, the headphone ones or the earbud ones? 22:46:41 Both, I guess. 22:47:01 The headphone wires look thick 22:47:07 Earbuds, not so much 22:47:18 Let me take a pic 22:47:22 Mmkay. Get ones with replacable cables. 22:47:51 (the attached headphones, BTW, will almost certainly be absolutely wonderful to listen to) 22:47:52 ^ul (12)S(*a(~:)~*^~):((1)S)~*~((2)S:*)~*:(~:()~)~*^(a(:^)*~a(*()~)~*^~^):^ 22:47:54 122112122122112112212112122112112122122112122121121122122112122122112112122121122122112122122112112212112122122112112122112112212112112212211212212112212212112112212211212212112112212112122112112122121122122112122122112112122112112212212112122112112212112112212212112122112112122122112122121121122122121122122112122122112112 ...too much output! 22:48:01 Yessssss 22:48:08 oerjan: what sequence is that? 22:48:18 kolakoski, assuming it's correct 22:48:46 http://i.imgur.com/DVIRu.jpg 22:49:19 Sgeo: "image not found" 22:49:40 pikhq, hm, I see 22:50:08 I have no clue why, though 22:50:09 * oerjan notes it seems to match what's on wikipedia 22:50:12 Weird font on the phone? 22:50:43 http://i.imgur.com/DVlRu.jpg 22:51:02 There we go. 22:51:32 Definitely need replacable wiring. 22:51:51 Sad, though; noise cancelling headphones that can have a broken wire. 22:52:03 I don't use the noise cancellation 22:52:05 * oerjan adds to wiki 22:52:06 These were my dad's 22:52:35 If I hold the wire just right, it works 22:52:45 Get you some Sennheiser phones. 22:53:27 * cpressey translates the poem from Greek into an archaic form of English so that it *still* doesn't rhyme. 22:54:09 cpressey: now you have even more reason to learn underload *evil cackle* 22:54:24 oerjan: Sigh, yeah 22:54:47 -!- bsmntbombdood_ has joined. 22:54:58 Are wireless headphones any good? 22:55:11 -!- bsmntbombdood has quit (Ping timeout: 240 seconds). 22:55:27 WTF at $1000 headphones 22:55:34 ais523: you're right, using a(...)~*^ is convenient :) 22:56:35 Sgeo: And you'll never have to buy them again. 22:56:35 :P 22:56:51 I am not paying $1000 for headphones 22:57:32 Darnit, you're not made of money. 22:59:25 http://www.sennheiserusa.com/private_headphones_audiophile-headphones_005341 is that decent? 23:00:04 If by "decent" you mean "as good as you can get without selling organs", then yes. 23:02:40 My dad says he has headphones in the house 23:02:48 And that he'll try something called a "relief fold" 23:10:23 Somebody in here mentioned a very long time ago a company that prints custom cards for card games ... any recollection? 23:11:54 * oerjan recalls zzo38 being involved in such a discussion 23:12:34 and it wasn't _that_ long ago, i think it was this year 23:12:58 For me, that's a lifetime ago. 23:13:16 for some reason i have a feeling pikhq was involved, too 23:13:29 No, but I'm now curious. 23:15:09 My mother-in-law is convinced that I need to adjust Hydra to involve some cusom cards, then produce it and try to pitch it to e.g. Mattel or Hasbro. Which is hilariously absurd, but I like step 1 :P 23:15:10 well that's as much as my vague memory contains. well that and that it was expensive to do. 23:16:11 hydra? is this anything to do with that goldstein sequence thing? 23:16:19 ha 23:16:29 Gregor-P: If by "Hasbro" she means "Wizards of the Coast", it might almost work. 23:16:32 :P 23:16:38 Yes, it's a card game that relies on transfinite induction. 23:17:01 Actually, I hope it is. 23:17:12 er, *goodstein 23:17:51 'fraid not, folks 23:18:28 darn 23:19:15 -!- Gregor-W has joined. 23:19:24 Tired of typing on my phone :P 23:19:35 http://codu.org/wiki/Hydra <-- Hydra is this 23:21:41 (People seem to enjoy it because the rules are quite simple but, as the number of heads increases, it has a surprising amount of strategy involved) 23:22:31 These aren't circumaural 23:23:08 -!- GreaseMonkey has quit (Quit: I'm using NO SCRIPT WHATSOEVER - Download it at file:///dev/null). 23:24:04 transaural, for airheads 23:26:02 -!- SimonRC has quit (Ping timeout: 260 seconds). 23:26:36 http://i.imgur.com/Qb7ns.jpg 23:29:00 * Sgeo pokes pikhq 23:29:26 -!- tombom has quit (Quit: Leaving). 23:29:36 Sgeo: Insufficiently Sennheiser! 23:30:18 I see nobody has opinions on my card game :P 23:30:42 Will these at least have decent sound quality? 23:31:38 -!- MigoMipo has quit (Quit: Quit). 23:33:29 -!- Madk has joined. 23:33:32 -!- _Madk has joined. 23:34:54 Gregor-W: Seems 23:35:04 -!- SimonRC has joined. 23:39:45 I think these are minimum-volume headphones 23:40:05 you need a very small head to use them 23:40:57 -!- relet has quit (Quit: Leaving.). 23:53:21 -!- SevenInchBread has quit (Ping timeout: 265 seconds). 23:55:55 oerjan: heh, why did you put the a there? 23:56:02 I suppose it works the same way there, and after the ~ 23:56:06 Underload is a rather redundant language 23:57:48 wait where? 23:58:09 ^ul (12)S(*a(~:)~*^~):((1)S)~*~((2)S:*)~*:(~:()~)~*^(a(:^)*~a(*()~)~*^~^):^ 23:58:10 122112122122112112212112122112112122122112122121121122122112122122112112122121122122112122122112112212112122122112112122112112212112112212211212212112212212112112212211212212112112212112122112112122121122122112122122112112122112112212212112122112112212112112212212112122112112122122112122121121122122121122122112122122112112 ...too much output! 23:58:11 -!- wareya_ has quit (Read error: Connection reset by peer). 23:58:34 oh right 23:59:12 -!- wareya has joined. 23:59:20 i guess i thought of ~* as more of a unit