00:14:51 -!- hagb4rd has quit (Ping timeout: 252 seconds). 00:15:24 -!- atehwa has quit (Ping timeout: 252 seconds). 00:15:24 -!- EgoBot has quit (Ping timeout: 252 seconds). 00:15:31 -!- atehwa has joined. 00:15:35 -!- EgoBot has joined. 00:22:37 -!- hagb4rd has joined. 00:23:37 -!- sprocklem has joined. 00:31:42 I wonder if I can get kmc into Rebol... 00:32:16 I think there may be some similarities to Kernel... although I don't quite understand bindology well enough 00:32:42 ('Bindology' being Rebol's fancy term for how binding works) 00:34:38 electrons hth 00:44:23 -!- nooodl has joined. 00:46:48 -!- nooodl_ has quit (Ping timeout: 245 seconds). 00:47:31 -!- boily has quit (Quit: Poulet!). 00:56:31 -!- sprocklem has quit (Remote host closed the connection). 01:00:16 -!- Nisstyre-laptop has quit (Quit: Leaving). 01:05:58 -!- nooodl has quit (Ping timeout: 245 seconds). 01:17:21 -!- jconn has quit (Ping timeout: 248 seconds). 01:21:39 -!- TeruFSX has joined. 01:29:36 -!- FreeFull_ has joined. 01:31:01 -!- FreeFull has quit (Ping timeout: 252 seconds). 01:33:38 One limitation in SQLite is that extensions cannot add new commands entirely. 01:33:55 -!- FreeFull_ has changed nick to FreeFull. 01:36:02 Maybe it is not such a problem, although it would be nice to be able to create macros. 01:42:48 does anyone here put their browser cache in /tmp 02:06:04 No. 02:06:34 thanks 02:15:47 -!- carado has quit (Read error: Operation timed out). 02:16:42 mmm the bfq io scheduler seems nice 02:18:21 -!- Bike_ has joined. 02:18:41 -!- Koen_ has quit (Quit: Koen_). 02:19:09 -!- Bike has quit (Ping timeout: 252 seconds). 02:19:32 -!- Sgeo_ has joined. 02:19:44 -!- Sgeo has quit (Read error: Connection reset by peer). 02:20:34 -!- Bike_ has changed nick to Bike. 02:38:26 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:38:45 -!- mnoqy has joined. 02:49:08 `run main = print $ let 2 + 2 = 5 in 2 + 2 02:49:13 bash: main: command not found 02:49:14 hmm, oops 03:05:37 -!- TeruFSX has quit (Ping timeout: 248 seconds). 03:06:13 -!- TeruFSX has joined. 03:20:44 -!- jconn has joined. 03:23:59 -!- Nisstyre-laptop has joined. 03:58:40 -!- aloril has quit (Read error: Operation timed out). 03:59:35 -!- yiyus_ has joined. 03:59:56 > let 2 + 2 = 5 in 2 + 2 03:59:58 5 04:00:19 Redefines + 04:00:49 I know 04:01:06 I was checking that my code was correct. Was trying to show that in a Rebol chatroom that has a bot that connects to ideone 04:01:10 ideone is downish 04:01:11 > let 5 = 2 + 2 in 5 04:01:12 5 04:01:24 Or was 04:01:28 > let (+) = (Prelude.+) . succ in 2 + 2 04:01:30 5 04:02:25 Wait, I don't know why that works 04:02:32 :t (+) . succ 04:02:33 (Enum b, Num b) => b -> b -> b 04:05:50 "Animation style, alternative to animated GIFs (see sample - works in Internet Explorer with plugin; also see tile-test)" 04:06:18 Yes, we should all install a REBOL plugin into our browsers to see animated graphics. 04:06:52 -!- yiyus has quit (Ping timeout: 240 seconds). 04:09:54 mnoqy: i hugged kmc today "ur next" hth 04:10:21 (Except for the whole part where you don't want hugs? So I guess not.) 04:12:19 -!- copumpkin has quit (Ping timeout: 276 seconds). 04:14:21 -!- copumpkin has joined. 04:15:02 -!- Jafet1 has joined. 04:15:09 * Lymia looks up Rebol 04:15:20 Is this, like, a Lisp that actually uses M-expressions!? 04:16:06 I don't know what M-expressions were actually like, but I'm going to say probably not 04:17:04 -!- rntz has quit (Ping timeout: 256 seconds). 04:17:23 -!- Jafet has quit (Ping timeout: 276 seconds). 04:17:45 -!- aloril has joined. 04:17:53 -!- rntz has joined. 04:18:35 Precedence for bare-word operators... 04:19:30 This looks to be... a language that probably has very messy semantics. 04:22:42 Some things are messy, but I think some things are nice 04:32:33 is that "sgeo wisdom" 04:32:41 Sgeo_: can I have more "sgeo wisdom" 04:36:50 random/only ["yes" "no"] 04:49:24 > (,) . succ $ 1 1 04:49:25 *Exception: show: No overloading for function 04:53:09 :t (,) . succ 04:53:10 Enum b => b -> b1 -> (b, b1) 04:54:25 -!- TeruFSX2 has joined. 04:55:45 -!- TeruFSX2 has quit (Client Quit). 05:00:17 > ((,) . succ $ 1 1) :: (Int, Int) 05:00:18 Couldn't match expected type `(GHC.Types.Int, GHC.Types.Int)' 05:00:19 ... 05:00:51 Wait, I think I know why it doesn't work >_< 05:00:59 > ((,) . succ) 1 1 05:01:00 (2,1) 05:02:42 I guess I still don't know haskell 05:03:12 > ((,) (. succ)) 1 1 05:03:13 The function `(,)' is applied to three arguments, 05:03:13 but its type `a0 -> b0 -... 05:04:04 :t succ . (+) 05:04:05 (Enum (a -> a), Num a) => a -> a -> a 05:05:52 Yeah, of course that doesn't make sense 05:06:38 what are you trying to do exactly 05:16:19 -!- Bike has quit (Ping timeout: 240 seconds). 05:19:13 Nothing 05:19:20 > Nothing 05:19:22 Nothing 05:19:54 -!- Bike has joined. 05:36:01 If no one wrote an irc:// scheme for REBOL, maybe I should 05:37:53 Maybe 06:16:22 mnoqy hlelo 06:17:48 hi shachaf 06:38:18 mnoqy: woow 07:02:23 -!- TeruFSX has quit (Ping timeout: 240 seconds). 08:02:08 -!- conehead has quit (Quit: Computer has gone to sleep.). 08:51:59 -!- nooodl has joined. 08:54:45 -!- itsy has quit (Quit: itsy). 09:18:55 -!- epicmonkey has joined. 09:29:53 -!- Phantom_Hoover has joined. 09:31:07 Vorpal: Speaking of high-resolution monitors, Asus has just announced a 31.5" 3840x2160 (aka "4K") computer monitor -- that's 140 dpi, even if it's kind of overly big for many desktops. (Also it's probably going to cost a lot.) 09:35:12 -!- zzo38 has quit (Remote host closed the connection). 09:51:08 -!- variable has quit (Ping timeout: 240 seconds). 09:54:57 -!- variable has joined. 09:55:10 -!- tswett_ has joined. 09:55:14 -!- pikhq_ has joined. 09:55:39 -!- rntz has quit (Ping timeout: 252 seconds). 09:55:45 -!- pikhq has quit (Read error: Connection reset by peer). 09:55:48 -!- tswett has quit (Read error: Connection reset by peer). 09:56:11 -!- rntz has joined. 10:22:43 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 10:27:26 -!- Frooxius has quit (Read error: Connection reset by peer). 10:27:48 -!- Frooxius has joined. 10:29:26 -!- Frooxius has quit (Read error: Connection reset by peer). 10:29:27 -!- Frooxius_ has joined. 11:17:29 -!- carado has joined. 11:19:55 -!- MindlessDrone has joined. 11:32:28 -!- mnoqy has quit (Quit: hello). 12:23:14 So, this spam claiming to be from FedEx has a subject line FedEx!!! 12:23:28 It's as though FedEx is really excited about itself 12:42:24 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 12:53:33 !!!!!! 12:59:37 -!- hagb4rd has quit (Quit: hagb4rd). 13:15:19 -!- itsy has joined. 13:42:01 https://dl.dropboxusercontent.com/u/113389132/Misc/20130601-electricity-is-fun.png 13:49:09 aw. 13:52:11 (It's what they have in Denmark, I understand.) 13:57:23 -!- TeruFSX has joined. 13:57:31 -!- itsy has quit (Ping timeout: 260 seconds). 14:02:03 FedExcited 14:09:23 I should watch Monty Python and the Holy Grail 14:21:58 -!- nooodl_ has joined. 14:22:19 -!- oerjan has joined. 14:22:49 happy duplicate australian mailman list reminder day 14:23:58 -!- Phantom_Hoover has joined. 14:24:18 -!- nooodl has quit (Ping timeout: 245 seconds). 14:24:50 http://i.imgur.com/PL8ricO.jpg 14:25:21 oerjan: huh, I got no australian reminders. just actual reminders. 14:26:29 wait, agora-* aren't australian? 14:27:06 hm i guess it doesn't count if they're dated june 1 14:27:07 oerjan: oh well sure. but it's not an australian reminder unless it comes a day early. 14:27:07 -!- augur has quit (Read error: Connection reset by peer). 14:27:14 -!- augur has joined. 14:27:19 I wonder why the australian list stopped sending reminders 14:27:26 ok then. but you also got a duplicate? 14:27:37 nope. strange. 14:27:43 or if I did then gmail lost the other 14:28:31 i didn't get one from yoyo, but i got one from yzma.clarkk.net and one from agoranomic.org, with the same named lists but in different order. 14:29:06 the lists themselves were @agoranomic.org in both cases. 14:30:30 oerjan: ah. presumably because the lists moved recently 14:30:38 from taral to comex 14:30:48 also, my back hurts with my laptop sitting on the sofa table :( 14:31:00 ok 14:31:08 laptop tip: there is no comfortable way to use a laptop 14:31:49 ...it worked well enough when sitting on the table of my old apartment, which was essentially a workbench 14:32:10 and of comfortable height with an ordinary chair 14:32:30 have you tried putting it on your lap hth 14:32:50 yes. yesterday it got too hot for that, but i guess it hasn't warmed up yet. 14:32:53 laptop tip: laptip?? 14:33:38 oh and i think i'll have to wait until i've finished my breakfast. 14:34:21 anyway, i hope my initial hate for all the little annoying details of my new apartment subsides soon. 14:35:10 it of course does have that one huge pro: no housemates! 14:35:10 -!- hagb4rd has joined. 14:35:19 hey i was just about to ask about those. 14:36:31 otoh there's still construction work in the area, the fridge is (still) noisy, and some neighbor apparently has a dog. 14:38:07 is this the same fridge, or do you have a fridge ghost haunting you 14:38:19 fridge ghost, clearly. 14:38:29 me too. 14:38:40 i am clearly having some kind of mystical attraction to noise hth 14:41:33 it's called "the law of attraction" in mystical circles. it says that you attract things you are passionate about, whether positively or negatively. at least i hope it includes positively as well. 14:42:58 what if you are passionate about not being attracted? 14:43:28 then you're james randi and ruin the experience for everyone else hth 14:44:21 also, that's the obvious reason why science cannot prove this law hth (yes, i know of the other obvious reason) 14:48:15 -!- Taneb has joined. 14:48:32 hexham attracts hexham 14:50:00 Hi 14:57:27 elliott: you may be delighted to know that yesterday IE got so t(h)rashy on my usual newspaper comic site that i actually installed google chrome. you may not be delighted that it didn't really help, and that the site itself is so trashy that many of the links (randomly) didn't work in chrome. 14:59:49 not that they _always_ work in IE either. especially the "like" button sometimes hangs up. 15:01:32 oerjan: today chrome, tomorrow netbsd on toasters. 15:01:54 alas i don't have a toaster. 15:02:09 yes, you know it's really bad when you start buying them just to run netbsd on them. 15:02:28 ...you have a kettle right? i understand americans don't have the kinds of kettles we have and this disturbs me 15:02:53 My monitor keeps turning off and on 15:03:02 yes but i never use it and also haven't moved it over from the old apartment yet. 15:03:21 you know what's great? toasters. highly recommended 15:03:44 I remember having the kettle discussion before. As far as I'm aware, a kettle is a thing that whistles when water is boiling 15:04:12 Sgeo_, those exists, but so do electric kettles 15:04:19 Which just turn themselves off 15:04:21 technically there may be a toaster in my store of things from the old house which i cannot bear even thinking about and don't you start like my dad who is purely by chance coming here tomorrow 15:04:57 Taneb, but how will you know when your water is done boiling? 15:04:57 ...your dad is a fan of toasters? 15:05:09 Sgeo_, it sort of clicks 15:05:11 wait, it has to whistle? then i probably don't have one. 15:05:13 And a light goes off 15:05:18 no it doesn't have to whistle 15:05:21 if it whistles you have the wrong kind 15:05:28 it is generally kettle-shaped, though. 15:05:43 the right kind is nice and reassuring and is part of the elite group of appliances that have soft power cords. 15:05:47 but no soft power chords. 15:07:00 finest alumin(i)um, i suspect, which is why it wasn't brought over because somehow there was an impression the new apartment had an induction stove but it doesn't anyhow. 15:07:41 hm laundry 15:09:45 it should be finest plastic 15:10:00 i fear only Taneb truly understands kettles here 15:10:22 Wait, you can actually afford aluminum stuff? Isn't that insanely expensive? 15:11:09 what 15:11:13 elliott, one of my friends has the wrong kind, but he also has an AGA cooker so it is okay 15:11:24 Taneb: i'm busy trying to understand Sgeo_'s statement 15:11:26 * Sgeo_ was vaguely trying to pretend to be from the past 15:11:52 elliott, it was addressed at oerjan 15:12:43 http://www.slate.com/articles/health_and_science/elements/features/2010/blogging_the_periodic_table/aluminum_it_used_to_be_more_precious_than_gold.html etc etc 15:14:50 elliott: i don't think my dad uses toasters much. 15:15:18 elliott, can you help me learn Agda 15:15:32 Taneb: not really 15:15:37 Okay 15:15:38 i'm better at coq myself 15:15:42 oerjan, can you? 15:15:57 Taneb: just put types everywhere, and values in the types hth 15:16:03 * oerjan doesn't know agda 15:17:30 i do recall something about napoleon (I or III?) getting awesome aluminum plates 15:18:50 Article said that Napoleon III gave aluminum cutlery for guests, with gold cutlery being the lesser cutlery 15:19:03 " and the minor emperor Napoleon III reserved a prized set of aluminum cutlery for special guests at banquets. (Less favored guests used gold knives and forks.) " 15:19:09 ah. 15:19:15 There. I should do that instead of trying to rephrase 15:20:46 napoleon iii was quite a guy. 15:23:41 Sgeo_, fun fact, in dwarf fortress aluminium is as valuable as platinum 15:24:36 (doesn't aluminium look kind of drab when used for cutlery?) 15:26:10 you'd think 15:26:50 -!- 2JTAABS63 has joined. 15:27:37 ""Above all, people adored Element 13's color and luster, which reminded them of the sparkle of gold and silver—a brand-new precious metal." 15:27:48 which means "no", i think. 15:28:05 -!- sebbu has quit (Ping timeout: 248 seconds). 15:28:08 -!- Taneb has quit (Quit: Leaving). 15:29:07 hmm 15:29:29 maybe it's some modern surfacing thing they do that makes it look dull grey rather than actually shiny 15:29:35 -!- 2JTAABS63 has changed nick to sebbu. 15:33:35 i was going to click the vanadium article, but it opens in a new window even with ctrl 15:34:04 which is of course a deadly sin (while opening in a new window without ctrl is only a grievous one.) 15:34:04 i love vanadium because i can never remember anything whatsoever of interest about it 15:34:16 Try right-click and open in new tab? 15:34:21 which is pretty much why i wanted to click on it 15:34:55 Sgeo_: there's not actually a real link, it's flash 15:35:12 gold cutlery seems kind of tacky 15:35:43 Oh, I didn't even notice the little period table. Have Flash set to click-to-play 15:35:45 that's the point hth 15:36:34 * oerjan finds a proper link to it 15:37:05 little houses on the hillside, little houses made of gold 15:37:20 wait 15:37:22 *boxes 15:37:37 hmm, i forgot that sea squirts obsessively hoard it 15:37:42 clearly they know something i don't 15:37:59 when the sea squirts have enough, we're doomed 15:38:27 no, they've just anticipated peak vanadium 15:40:19 ah blood 15:40:35 but beware of the sea squirt vampires 15:44:15 -!- sebbu2 has joined. 15:45:01 -!- sebbu2 has quit (Changing host). 15:45:01 -!- sebbu2 has joined. 15:45:20 -!- sebbu has quit (Ping timeout: 276 seconds). 15:56:54 -!- conehead has joined. 16:07:19 -!- Taneb has joined. 16:24:18 -!- epicmonkey has quit (Ping timeout: 245 seconds). 16:32:45 -!- TeruFSX has quit (Read error: Operation timed out). 16:42:39 -!- Bike has quit (Ping timeout: 252 seconds). 16:44:15 -!- Bike has joined. 16:57:52 -!- DHeadshot has quit (Ping timeout: 256 seconds). 17:14:33 The Court Jester or Monty Python and the Holy Grail? 17:17:23 Monty Court and the Holy Jester. 17:17:45 That's when you set up your 3D system so that you get one movie on left eye and the other on right. 17:18:33 Sgeo_: The Court Jester hth 17:19:06 Bike: should i watch _Singin' in the Rain_ 17:22:54 yes 17:23:41 do you just answer yes to everything..............! 17:24:08 basically 17:27:07 well then i guess i shouldn nt take movie adviçe from you!! 17:29:00 fungot: Movie adviçe please. 17:29:01 fizzie: i've been somewhat frustrated on my first tries. i get this thing start installing, i'll come back to fnord 17:29:11 Okay, take your time. 17:29:25 fungot: what about plan 9 from outer space? 17:29:26 oerjan: i haven't tried it out in usenet for all to despise." with no bindings is valid.) comic 17 is fnord, young skywalker" 17:29:42 fungot: well usenet is almost dead anyway. 17:29:43 oerjan: better still, haven't you got can't you make it ' x 3 works. 17:29:54 oh oh i know 17:30:09 Bike: should i watch Real Fast Nora's Hair Salon 3: Shear Disaster Download 17:30:20 No, Taneb should. 17:30:26 ok 17:30:33 should i watch _Nora's Hair Salon_ 17:31:24 Refer to previous mesage. 17:32:56 I should make a comparison thing between Rebol and Kernel to try to convince kmc to look at it >.> 17:33:08 And maybe not mention it before I do so 17:34:21 Make sure it has affine types. 17:34:26 damn, camino browser has ceased developmenr 17:36:11 shachaf: spoiler: nora dies 17:36:38 oh nora 17:36:47 -!- KingOfKarlsruhe has joined. 17:40:22 Guy in Rebol chat is raving about SpaceChem as an educational tool 17:40:33 (raving in a good way) 17:41:55 -!- Bike_ has joined. 17:42:04 -!- Bike_ has quit (Client Quit). 17:42:20 -!- Bike_ has joined. 17:42:31 rave on 17:42:36 -!- Bike has quit (Disconnected by services). 17:42:39 -!- Bike_ has changed nick to Bike. 17:43:48 r̈av̈e 17:57:43 -!- epicmonkey has joined. 17:58:41 -!- epicmonkey has quit (Remote host closed the connection). 17:59:07 r̈äv̈ë 17:59:36 sorry? I can't understand you 18:03:31 ŕāv̄è 18:11:49 fjällrävän 18:13:12 -!- augur has quit (Remote host closed the connection). 18:14:02 -!- augur has joined. 18:23:53 -!- AnotherTest has joined. 18:25:33 -!- surma has quit (K-Lined). 18:25:33 -!- ssue_ has quit (K-Lined). 18:25:34 -!- abumirqaan has quit (K-Lined). 18:25:36 -!- iamcal__ has quit (K-Lined). 18:25:37 -!- ggherdov has quit (K-Lined). 18:25:48 wtf 18:26:55 ok they're all on that irccloud.com thing except surma 18:28:01 `seen ggherdov 18:28:08 not lately; try `seen ggherdov ever 18:28:11 `seen ggherdov eve 18:28:16 not lately; try `seen ggherdov ever 18:28:18 `seen ggherdov ever 18:28:24 2013-03-31 20:12:10: oerjan: thankyou! 18:28:42 i suppose they were collateral damage 18:31:28 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 18:31:56 -!- iamcal__ has joined. 18:32:33 -!- ggherdov has joined. 18:32:38 -!- surma has joined. 18:33:10 perhaps someone klined everyone matching uid* 18:33:38 -!- zzo38 has joined. 18:34:37 -!- abumirqaan has joined. 18:34:58 -!- ssue_ has joined. 18:36:54 -!- tswett_ has changed nick to tswett. 18:37:41 -!- Phantom_Hoover has joined. 18:37:48 -!- TeruFSX has joined. 18:38:30 -!- Taneb has quit (Read error: Operation timed out). 18:39:01 -!- Taneb has joined. 18:39:32 -!- yonkie has joined. 18:39:56 Saw this in another channel 18:39:57 http://thehathorlegacy.com/why-film-schools-teach-screenwriters-not-to-pass-the-bechdel-test/ 18:40:02 Don't know how real that is 18:44:31 -!- phamiltiz has joined. 18:45:16 -!- abumirqaan has quit (Quit: Connection closed for inactivity). 18:48:28 http://pastebin.com/v1kbjhBS 18:48:52 Can this be made shorter in an esoteric lang? 18:49:13 Input: http://pastebin.com/uwbmWGSz 18:50:13 -!- Nisstyre has joined. 18:51:19 My perl script produces this output: http://pastebin.com/pnpsUgu5 18:52:11 How short can it be made in any Lang? :D 18:55:00 well, it can be as short as 0 bytes 18:55:08 given a suitable interpreter 18:55:29 0 bytes would not achieve the goal 18:55:34 why not? 18:55:53 You need code in order to run something 18:56:20 just have an interpreter that interprets an empty string to do whatever your script does. 18:56:27 it's a language in which the empty program is defined to do exactly what you want of course 18:56:39 The point is not to use my script at all 18:56:49 so why do you want to implement it 18:57:09 I want to see if it can be made shorter in an esoteric Lang 18:57:22 as said, of course 18:57:23 i think it could make it shorten in _perl_, anyhow 18:57:27 *i could 18:57:35 *shorter 18:57:57 And in say haskell? 18:58:02 I think you mean "can it be made shorter in an esolang that also does other (possibly) useful stuff" 18:58:08 What Lang could you make it shortest 18:58:22 well the language suggested earlier of course 18:58:41 Which? 18:59:00 but I think the length of your program will depend more on /how/ you write the code in this situation 18:59:43 Well it must generate the same output 18:59:46 hm haskell could be short if we assumed that exact format 19:00:20 phamiltiz: the one where the empty program does what the script does. 19:01:02 Well if you removed all of the redundant statements and white-space, and made all identifiers really short (and eliminated all redundant identifiers), it would be shorter 19:01:30 nvm what's in the parenthesis, not always/usually correct 19:01:58 Least amount of chars 19:02:02 Code golf 19:02:03 :t stripPrefix 19:02:04 Eq a => [a] -> [a] -> Maybe [a] 19:02:31 you can probably do that with unix tools in in a line or two of line noise, i imagine 19:02:51 You mean bash? 19:03:07 Well if you want to golf you might use something like Burlesque I guess, great language for that 19:03:07 :t map (head &&& length) group . sort . catMaybes . map (stripPrefix "username:" . drop 2 . words) . lines 19:03:08 Couldn't match expected type `b0 -> c0' with actual type `[b1]' 19:03:08 In the return type of a call of `map' 19:03:08 Probable cause: `map' is applied to too many arguments 19:03:11 bah 19:03:21 or golfscript maybe 19:03:31 :t map (stripPrefix "username:" . drop 2 . words) . lines 19:03:33 Couldn't match expected type `Char' with actual type `String' 19:03:33 Expected type: String -> [Char] 19:03:33 Actual type: String -> [String] 19:03:34 ruby seems to be popular too 19:04:09 phamiltiz: probably sed 19:04:41 :t map (stripPrefix "username:" . (!!2) . words) . lines 19:04:42 String -> [Maybe [Char]] 19:05:02 :t map (head &&& length) group . sort . catMaybes . map (stripPrefix "username:" . (!!2) . words) . lines 19:05:03 Couldn't match expected type `b0 -> c0' with actual type `[b1]' 19:05:03 In the return type of a call of `map' 19:05:03 Probable cause: `map' is applied to too many arguments 19:05:47 :t catMaybes . map (stripPrefix "username:" . (!!2) . words) . lines 19:05:48 String -> [[Char]] 19:05:54 :t sort . catMaybes . map (stripPrefix "username:" . (!!2) . words) . lines 19:05:55 String -> [[Char]] 19:06:05 :t group . sort . catMaybes . map (stripPrefix "username:" . (!!2) . words) . lines 19:06:06 String -> [[[Char]]] 19:06:21 :t map (head &&& length) . group . sort . catMaybes . map (stripPrefix "username:" . (!!2) . words) . lines 19:06:22 String -> [([Char], Int)] 19:06:35 oerjan, what are you doing? 19:06:49 he's writing your script in haskell. 19:07:21 But how is he importing the input? 19:07:33 Testing the input rather 19:07:48 haven't got to that part yet 19:07:54 I see :) 19:08:36 > map (head &&& length) . group . sort . catMaybes . map (stripPrefix "username:" . (!!2) . words) . lines $ "1.Vote (from:minestatus username:zsamkj address:174.1.** timeStamp:2012-04-30 20:10:51 -0700)\n2.Vote (from:minestatus username:revolutionxx2 address:50.129.** timeStamp:2012-04-30 20:11:02 -0700)" 19:08:37 [("revolutionxx2",1),("zsamkj",1)] 19:09:43 The problem now would be to test all the 30 lines of input 19:10:00 well yes, can't get that into lambdabot easily 19:10:18 Ideone 19:10:58 Ideone you can place input 19:12:31 :t mapM_ putStrLn . map (\s -> head s ++ " occurs->" ++ show (length s)) (head &&& length) . group . sort . catMaybes . map (stripPrefix "username:" . (!!2) . words) . lines =<< getContents 19:12:32 Couldn't match expected type `b0 -> [String]' 19:12:32 with actual type `[b1]' 19:12:32 In the return type of a call of `map' 19:12:38 oops 19:12:48 :t mapM_ putStrLn . map (\s -> head s ++ " occurs->" ++ show (length s)) . group . sort . catMaybes . map (stripPrefix "username:" . (!!2) . words) . lines =<< getContents 19:12:49 IO () 19:15:22 gah cutting and pasting from irc isn't nice 19:15:55 XD 19:16:29 i cannot manage to edit the form after pasting wrongly :( 19:16:42 -!- MindlessDrone has quit (Quit: MindlessDrone). 19:17:15 i assume it's because i'm on IE 8, oh well. 19:18:28 Lol 19:18:37 Edit what form? 19:18:42 ideone 19:18:58 Click input 19:19:03 And paste your input 19:19:27 phamiltiz: the thing is pasting from irc doesn't get it correctly formatted and it wasn't a whole program anyway. 19:20:29 oerjan > map (head &&& length) . group . sort . catMaybes . map (stripPrefix "username:" . (!!2) . words) . lines $ "1.Vote (from:minestatus username:zsamkj address:174.1.** timeStamp:2012-04-30 20:10:51 -0700)\n2.Vote (from:minestatus username:revolutionxx2 address:50.129.** timeStamp:2012-04-30 20:11:02 -0700)" 19:20:34 That doesn't? 19:20:55 ...we already tested that with lambdabot 19:21:31 What doesn't get formatted correctly? 19:21:43 -!- AnotherTest has left. 19:21:48 Because I sent you the input on pastebin? 19:22:35 n%{' '/2=9>}%:x.|${0):0': '@.x\`{=}+,,' occurs->'\n}% 19:22:37 why not download the raw paste to lambdabot and just run the haskell locally. 19:22:40 my golfscript submission 19:23:29 Bike: because lambdabot doesn't support downloading hth 19:23:39 No chance understanding that golf script 19:23:43 Does it even work 19:23:47 it does 19:24:05 oh, right, i meant hack ego. 19:24:11 w/e they're all practically the same fucking bot 19:24:16 i'll make an explanation thingy 19:24:19 it's pretty cool 19:24:54 :D 19:25:05 phamiltiz: i managed to submit it but it's never finishing compiling 19:25:39 my guess is it has finished but my browser hasn't noticed 19:25:46 Lol 19:25:50 Use chrome 19:26:19 -!- olsner has joined. 19:27:20 nooodl_ how does your golf script take input? 19:27:38 from stdin. there's no other way 19:27:55 In .txt file format? 19:27:56 -!- ggherdov has quit (Changing host). 19:27:56 -!- ggherdov has joined. 19:27:56 -!- ggherdov has quit (Changing host). 19:27:56 -!- ggherdov has joined. 19:28:00 yup 19:28:07 Oh I see :D 19:28:16 That's pretty good then 19:28:20 i have too many tabs open to close IE, and too little memory on this old laptop to open chrome (which, accidentally, i only installed yesterday) 19:28:31 Lol 19:28:49 however i have another way 19:29:19 `fetch http://oerjan.nvg.org/test.hs 19:29:25 2013-06-01 19:29:24 URL:http://oerjan.nvg.org/test.hs [200/200] -> "test.hs" [1] 19:29:30 Nooodl_ so how does your golf script work 19:29:37 IE fails to close if you have too many tabs open? 19:29:44 `run ghc --make test.hs 19:29:49 ​[1 of 1] Compiling Main ( test.hs, test.o ) \ \ test.hs:2:80: Not in scope: `group' \ \ test.hs:2:95: Not in scope: `catMaybes' \ \ test.hs:2:112: Not in scope: `stripPrefix' 19:30:13 olsner: no, but i don't want to reopen all of them afterwards. 19:30:18 oh 19:30:24 no wonder it doesn't compile 19:30:44 `fetch http://oerjan.nvg.org/test.hs 19:30:47 2013-06-01 19:30:46 URL:http://oerjan.nvg.org/test.hs [213/213] -> "test.hs.1" [1] 19:31:02 `run mv test.hs{.1,} 19:31:05 No output. 19:31:07 `run ghc --make test.hs 19:31:09 http://bpaste.net/raw/oBwty2rsVEjLEHxO4SGu/ 19:31:10 ​[1 of 1] Compiling Main ( test.hs, test.o ) \ \ test.hs:2:80: Not in scope: `group' \ \ test.hs:2:95: Not in scope: `catMaybes' 19:31:16 wtf 19:31:42 `rm test.hs 19:31:45 No output. 19:31:46 `fetch http://oerjan.nvg.org/test.hs 19:31:48 2013-06-01 19:31:47 URL:http://oerjan.nvg.org/test.hs [250/250] -> "test.hs" [1] 19:31:49 `run ghc --make test.hs 19:32:17 ​[1 of 1] Compiling Main ( test.hs, test.o ) \ Linking test ... 19:32:21 this is the point where HackEgo dies, obvio... oh. 19:32:34 in the final block i've just displayed the stack 19:33:22 goddamn you websites _no sane person_ wants links to open in a new window by default! 19:33:59 `fetch http://pastebin.com/raw.php?i=uwbmWGSz 19:34:02 2013-06-01 19:34:00 URL:http://pastebin.com/raw.php?i=uwbmWGSz [2916] -> "raw.php?i=uwbmWGSz" [1] 19:34:05 -!- itsy has joined. 19:34:10 oerjan: Especially if you make it the left button for same window and middle button for new window 19:34:28 `run ./test <'raw.php?i=uwbmWGSz' 19:34:30 Anonymous occurs->2 \ Baglex occurs->1 \ M3thud occurs->1 \ Mitzuki_Tsukashi occurs->1 \ Mo_Digger occurs->1 \ Organtrail occurs->1 \ RiceKnight occurs->1 \ Ryan2823 occurs->1 \ VolitionEos occurs->1 \ XxDarkAngel_xX occurs->1 \ counto1 occurs->1 \ dude1576 occurs->1 \ hungoverfurball occurs->1 \ jamesus occurs->2 \ jonathanklarlund occurs->1 \ kua 19:34:44 phamiltiz: looks good :) 19:34:58 `fetch http://www.golfscript.com/golfscript/golfscript.rb 19:35:00 2013-06-01 19:34:59 URL:http://www.golfscript.com/golfscript/golfscript.rb [8834/8834] -> "golfscript.rb" [1] 19:35:28 `echo "n%{' '/2=9>}%:x.|${0):0': '@.x\`{=}+,,' occurs->'\n}%" > test.gs 19:35:30 ​"n%{' '/2=9>}%:x.|${0):0': '@.x\`{=}+,,' occurs->'\n}%" > test.gs 19:35:47 `run echo "n%{' '/2=9>}%:x.|${0):0': '@.x\`{=}+,,' occurs->'\n}%" > test.gs 19:35:49 bash: n%{' '/2=9>}%:x.|${0):0': '@.x\`{=}+,,' occurs->'\n}%: bad substitution 19:35:53 oh right 19:35:54 fucking bash 19:36:17 `fetch http://bpaste.net/raw/C76Falgtu390Rz4jmqW6/ 19:36:19 2013-06-01 19:36:18 URL:http://bpaste.net/raw/C76Falgtu390Rz4jmqW6/ [53/53] -> "index.html" [1] 19:36:52 `run ruby golfscript.rb index.html <'raw.php?i=uwbmWGSz' 19:36:54 bash: ruby: command not found 19:36:57 haha ok 19:37:08 fancy 19:37:10 `run rm index.html golfscript.rb 19:37:14 No output. 19:37:53 Is golfscript written in ruby? 19:37:57 anyway i declare this to have reached the "it's possible" step where mathematicians customarily go back to bed 19:39:02 or in my case, to the fridge hth 19:40:09 -!- sebbu2 has changed nick to sebbu. 19:42:22 J is a language for the mathematicians 19:42:54 and/or banks 19:43:39 do banks SERIOUSLY use j 19:44:40 "Cognos · Bayesian Enhanced Strategic Trading · Fax Focus, Inc. · Hewlett Packard · Intel · Korea Telecom · Luen Thai · Maple Partners · Microsoft · Niagara Mohawk Power · Nikko Securities · Novell · Okada Denki Co. Ltd. · Pivotal Technologies · Syngenesis, Inc." 19:44:47 one or more of those are possibly banks or bankoids 19:45:49 those are all just categories in the functor of endobankoids 19:47:02 * itsy wonders how to contact Darkman 19:47:45 the dark signal 19:49:27 Obvious now you mention it. I've wasted so much time with the bat signal :-( 19:54:43 the problem with the dark signal is, it's dark hth 19:55:22 although ironically, bats can "see" it just fine. 19:56:44 I assume Darkman can "see" it too? 19:57:00 According to legend he was bitten by a bat. 19:57:16 if he's a bat. since batman is dark, it stands to reason darkman would be bat. 20:08:59 -!- epicmonkey has joined. 20:40:01 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90 [Firefox 21.0/20130511120803]). 20:40:14 oerjan: http://olist.com/ 20:40:23 (No update.) 20:40:54 o. list... 20:40:59 "OEvolve: OEvolve is an e-mail list for Objectivists and others interested in the proper application of evolutionary principles to diet, fitness, and health. Its purpose is to facilitate discussion about the practical sciences of cooking, nutrition, fitness, health, and more. " haha, what 20:44:03 -!- mnoqy has joined. 20:52:48 As long as they don't start applying 'evolutionary principles' to morality... oh wait 20:52:58 Sigh, I *still* haven't found a good RSS reader. 20:53:09 Suggestions? 20:53:40 I'm going to keep using Google Reader until the day it closes. 20:57:30 * itsy is still using Google Reader 20:57:38 -!- DHeadshot has joined. 20:57:42 I wonder if there's a decent RSS reader for Android 20:58:24 * pikhq_ checks to see if Liferea stopped sucking. 20:58:30 And yeah, I'm using Google Reader too. 20:59:58 Oh sweet, Liferea stopped sucking. 21:00:04 pikhq_: My father switched from Google Reader to Feedly. 21:00:09 pikhq_: He says it's good. 21:06:41 -!- itsy has quit (Ping timeout: 248 seconds). 21:08:35 very stupid name, though 21:08:42 sounds like someone trying to market an std 21:08:47 If I ask for help learning Agda in #agda, will they be annoyed 21:08:54 Grah 21:08:56 incredibly 21:08:57 I saw "Intel launches Haswell processors:" 21:09:02 And misread it as Haskell 21:09:06 Sgeo_, same, multiple times 21:09:36 Taneb: I imagine that you'll be much less annoying than some people who've asked for help before. 21:19:03 the haskell groundswell 21:20:13 Taneb already knows another language where you can be annoying in the type system 21:32:29 In Agda you can be annoying in the same way at every level. 21:41:19 marvelous 21:57:16 -!- itsy has joined. 22:00:58 -!- Nisstyre-laptop has quit (Ping timeout: 245 seconds). 22:04:33 -!- elieser224 has joined. 22:04:40 -!- elieser224 has left. 22:08:40 Is there a better way to do this? var dt = new Date(); if (new Date(2013,5,3) <= dt && dt <= new Date(2013,5,6)) { ... stuff ... } 22:09:23 i smell an uninitialized date comparison hth 22:09:46 i was guessing date without parameters gave you the present date 22:09:49 Doesn't new Date() give today's date? 22:09:51 ah. 22:10:09 i wouldn't know 22:11:14 -!- carado has quit (Quit: Leaving). 22:11:46 although looking at the current date, i suspect if (false) would be an appropriate rephrasing hth >:) 22:13:00 (don't mind me, i don't know the language so i wouldn't know if it has a better idiom) 22:13:30 -!- carado has joined. 22:13:50 that is, i doubt there's a better way that works across all C-lookalikes. 22:13:51 oerjan: itsy is writing unit tests for his time machine hth 22:13:57 shachaf: ooh 22:15:07 At least Chrome no longer gets angry if I change the system date while it's open. 22:15:40 chronochrome 22:16:28 chronochrom 22:17:23 This is better! var dt = new Date(); if (new Date(2013,5,3) < dt && dt < new Date(2013,5,7)) { ... stuff ... } 22:18:33 (since the date object also stores the time) 22:19:01 Presumably those mean different things, in that case? 22:19:08 -!- epicmonkey has quit (Ping timeout: 256 seconds). 22:19:52 new Date(2013,5,6) sets the time to midnight in the new date object. 22:20:20 new Date() get's today's date, including the time. 22:21:03 Right. Checking x <= 6 isn't the same as checking x < 7, when x can be 6.5. 22:21:04 Comparing for equality also includes the time... 22:22:41 I'm happy with it now :-) (Apart from Javascript's stupid 0 = January, 1 = February thing) 22:23:39 "But it was that same internet that directly led to his imprisonment a year ago next month." -- BBC News website 22:29:01 -!- Taneb has quit (Remote host closed the connection). 22:31:40 0-based month numbers have a long pedigree. (At least it doesn't do the 113 = year 2013 thing.) 22:34:49 -!- phamiltiz has quit (Remote host closed the connection). 22:35:12 ifMUD does make 113 if you are at year 2013. 22:37:09 Things that get implemented as thin things over the C/POSIX "struct tm" sometimes do. 22:37:31 I think ifMUD is written in Perl, though. 22:41:00 Perl localtime/gmtime elements "come straight out of the C `struct tm'" (perldoc -f localtime), too. 22:57:36 @quote 2017 22:57:36 cmccann says: I still kind of expect that the next standard will be haskell2017 or something, and all it will do is a minor change to lexical syntax of comments that fixes nothing but nevertheless 22:57:36 breaks 20% of hackage. 22:57:48 @quoerjan 22:57:48 Unknown command, try @list 22:57:51 @where quoerjan 22:57:51 I know nothing about quoerjan. 22:57:57 @where+ quoerjan @quote oerjan 22:57:58 I will never forget. 22:58:04 @@ @@ @where quoerjan 22:58:05 oerjan says: i only do impractical things 22:59:00 i think that's the only one 23:00:01 @@ @@ @where quoerjan 23:00:01 oerjan says: i only do impractical things 23:00:02 @@ @@ @where quoerjan 23:00:02 @@ @@ @where quoerjan 23:00:03 [A 23:00:03 [A 23:00:03 oerjan says: i only do impractical things 23:00:03 oerjan says: so does this mean that a comonad is like a wildlife preserve on an island in a sea of nuclear waste? 23:00:06 @@ @@ @where quoerjan 23:00:06 oerjan says: @. read run (\s -> s ++ show s) "@. read run (\\s -> s ++ show s) " 23:00:08 @@ @@ @where quoerjan 23:00:08 oerjan says: hotsmack 23:00:10 @@ @@ @where quoerjan 23:00:11 oerjan says: hotsmack 23:00:13 @@ @@ @where quoerjan 23:00:13 oerjan says: @. read run (\s -> s ++ show s) "@. read run (\\s -> s ++ show s) " 23:00:25 @@ (@@ @where quoerjan) worries 23:00:26 oerjan says: hotsmack worries 23:00:29 Er. 23:00:36 @@ @@ (@where quoerjan) worries 23:00:37 oerjan says: 'N' :( 'o' :) " worries" 23:00:54 ooh there are others 23:03:28 http://static1.businessinsider.com/image/51a8edc369bedd1f5600000a-780-586/screen%20shot%202013-05-31%20at%202.36.05%20pm.png nasty 23:04:44 @@ @@ @where quonochrom 23:04:44 monochrom says: no, you're thinking imperatively. when thinking functionally, you just worry one element, and let recursion worry the rest 23:04:45 @@ @@ @where quonochrom 23:04:45 @@ @@ @where quonochrom 23:04:45 monochrom says: "mechanical layout" means the robot had to know this layout in order to mechanically enter stuff through the keyboard. "but why through the keyboard, why not through USB?" you ask. 23:04:45 @@ @@ @where quonochrom 23:04:45 well, 20 years ago, there was no USB, and overall robot-to-computer interfaces were pretty crude, full of mechanical layouts"mechanical layout" means the robot had to know this layout in order to 23:04:45 mechanically 23:04:45 monochrom says: no, you're thinking imperatively. when thinking functionally, you just worry one element, and let recursion worry the rest 23:04:46 monochrom says: the selfish program's motive is to fool the programmer 23:06:52 well motorola finally invented the edible password: http://www.theregister.co.uk/2013/05/31/motorola_tattoo_pill_authentication/ 23:07:06 heegan 23:07:17 hichaf 23:08:08 kmc: http://static1.businessinsider.com/image/51a8edc369bedd1f5600000a-780-586/screen%20shot%202013-05-31%20at%202.36.05%20pm.png cool industry huh 23:08:42 idgi 23:09:00 kmc: i realized today that the thing you would work on at mozilla is a web application 23:09:11 shachaf: lol 23:09:28 browsers are considered systems programming now, get w/ the times 23:09:38 the webbiest web application of all 23:10:09 http://nationaldayofhacking.info/ 23:11:00 http://www.paloaltoonline.com/news/show_story.php?id=29818 23:11:09 -!- Phantom__Hoover has joined. 23:11:42 Oh, your link is better. 23:14:43 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 23:15:25 shachaf: wow 23:15:39 palo alt. toon line 23:16:00 The city will also set up a "Tech Farmers Market," where instead of farm-to-table goods, there will be ideas-to-minds concepts. 23:17:34 -!- Phantom__Hoover has quit (Ping timeout: 245 seconds). 23:17:40 -!- amca has joined. 23:22:48 -!- kmc has set topic: Ideas-to-minds concepts | http://underhanded.xcott.com/?page_id=5 | http://codu.org/logs/_esoteric | There exist Turing machines that halt in some models of ZFC, but not others.. 23:24:02 -!- elieser2241 has joined. 23:24:21 -!- elieser2241 has left. 23:29:47 -!- Phantom_Hoover has joined. 23:37:09 :t associate 23:37:10 Not in scope: `associate' 23:37:15 @hoogle associate 23:37:15 No results found 23:37:35 hoogledy-poogledy 23:38:27 i was wondering about what it was in http://stackoverflow.com/a/16552361 23:39:31 oh hm it's probably \((x,y),z) -> (x,(y,z)) 23:39:48 Yes. 23:39:56 I've seen that called that before. 23:40:28 zzo38: i think that way of formulating Reader and Writer (co)monads might interest you 23:40:40 maybe it works for more categories 23:41:56 @tell zzo38 Interesting formulation of Reader and Writer (co)monads in http://stackoverflow.com/a/16552361 23:41:56 Consider it noted. 23:42:30 ?clear-messages 23:42:30 Messages cleared. 23:43:16 zzo38: let's hope nobody else had sent you messages 23:43:38 I don't care. 23:44:06 *gasp* 23:44:48 I do know about that kind of reader/writer monads and the related comonads which use the other datatype, called env and trace. 23:45:14 zzo38: i was more pointing at the use of comonoid" 23:45:21 *"comonoid" 23:46:43 "--that is because CCCs are boring!" what's a CCC 23:46:55 cartesian closed category, i think 23:47:15 either that or cocartesian coclosed cocategory.................... 23:47:31 is coclosedness openness 23:47:48 is coclopenness clopenness 23:47:55 also is that the most awkward word to spell of all words 23:47:57 yes 23:48:04 Well, yes you get that "CoMonoid" automatically and that is one way to do it, although you don't need. 23:48:19 is a cocartesian product a cartesian coproduct 23:48:29 basically a category where Hom(A,B) is also an object, and you can do function applicationy things 23:49:17 zzo38: i was thinking that maybe it meant you could define the (co)monads more generally than in a ccc if you had comonoids 23:49:39 also can somebody explain the last part of the topic to me 23:49:53 so Hask is a CCC? 23:50:26 oerjan: Maybe; I don't know. 23:50:27 nooodl_: more or less. there might be something fishy about bottoms in there. 23:50:37 imo bottom sucks 23:50:57 I swear I read an explanation about models as pertains to computability theory once 23:51:03 is () the terminal object in Hask 23:51:27 it's actually (17,"Hello Wrold") but that's a common misconception 23:51:32 is coclopenness clopenness <-- imo yes 23:51:49 imoerjan yes 23:51:54 Bike: that's not an object in Hask!!! 23:52:13 your mom isn't an object in hask 23:52:42 i suppose lack of terminal objects is one thing that breaks ccc 23:52:47 kmc: maybe you could have a model where the sum of all integers exist, and then have a turing machine that sums all integers. i dunno 23:52:53 i think it needs products too 23:53:26 Bike: it's more subtle than that 23:53:34 http://www.haskell.org/haskellwiki/Hask#Hask_is_not_Cartesian_closed ew 23:53:55 oerjan: thinking is hard 23:54:01 (->) has 0 as an initial object and () as final object. Therefore you can make the corresponding comonad/monad too. You also have a tensor category because it is (***). Actual programs in Haskell aren't so ideal, due to various reasons. 23:55:51 kmc: the halting problem means there are TMs which zfc cannot prove whether they halt or not; by godel's completeness theorem there are ZFC models in which each are true statements. 23:56:05 -!- elieser224 has joined. 23:56:11 -!- elieser224 has left. 23:58:37 kmc: afaik that's both what i thought from before and what was recently discussed in the channel 23:59:23 although the channel discussions seemed to devolve into confusion about the meaning of truth and proof in this case