00:00:27 Is it possible to set up something that some parts have race conditions but that the final result does not depend on the race conditions? 00:01:07 yes 00:01:24 * Sgeo wonders if Tcl might be a sufficiently interesting language for kmc to look at. 00:01:34 in the simulator each wire is either low, high, transitioning, or unknown 00:02:14 in a particular logic family you have a rule like "low is below 0.3 V, high is above 2.7 V" or something 00:02:47 and the "transitioning" state corresponds to a voltage between those two 00:02:53 on the way from low to high or vice versa 00:03:08 Search engine keyword: static discipline 00:03:21 gate delay is the amount of time between when the inputs all reach definite low/high values, and when the output reaches a definite low/high value 00:04:06 anyway to answer zzo38's question, you could have (say) an AND gate where one input is low, and the other is still transitioning 00:04:19 and yet the output could already be low, if sufficient time has elapsed since that first input went low 00:05:29 and yeah this is significant in CPU designs 00:05:34 at least the little one in the class 00:05:38 -!- ForABetterWorld has joined. 00:05:40 http://guardianlv.com/2012/08/why-america-needs-gary-johnson/ http://www.garyjohnson2012.com 00:05:42 -!- ForABetterWorld has left. 00:05:58 processor has various functional units which get wired to each other differently for every instruction 00:06:00 -!- morel has quit (Quit: =<< bed :: IO Sleep). 00:06:27 the clock needs to be slow enough for the longest path of units which actually occurs 00:06:55 but some unused units might still be stabilizing 00:07:01 kmc, so this paper doesn't consider applicatives to be a subtype of operatives? 00:07:06 nope 00:07:10 How fast can it be? 00:07:14 And just use combiner for both? 00:07:26 i forgot about the word "combiner" 00:07:38 applicative and operative are two distinct primitive types 00:08:10 'wrap' is a builtin which turns an operative into an applicative 00:08:17 and 'unwrap' does the opposite 00:08:45 you can write 'wrap' without any specialness but not in such a way that it can be unwrapped 00:09:06 -!- Jafet has joined. 00:09:59 and you want 'unwrap' in order to write 'apply' 00:10:50 but i did 'apply' in a different hacky way which i think is still basically correct 00:11:20 except that kernel's apply will give a clear runtime type error when used on something that's not an applicative 00:11:24 whereas mine will just shit brix 00:15:34 XChat is deciding to act freezy 00:15:55 astounding 00:16:07 -!- nooga has quit (Ping timeout: 240 seconds). 00:16:37 think i'll sleep now 00:16:39 good night all 00:17:17 Night kmc 00:17:22 $define! 00:17:50 d€fine 00:18:48 £ambda 00:20:04 I don't get the "improper ancestor" thing 00:20:17 "The transitive closure of the parent relation 00:20:18 is ancestor ; the reflexive transitive closure is improper ancestor." 00:20:59 meaning "ancestor or self" i think 00:21:21 like "subset" versus "proper subset" 00:21:46 anyway sleeping for real 00:22:00 enjoy the kerneling Sgeo :) 00:22:04 Night 00:22:36 -!- Zuu has quit (Remote host closed the connection). 00:22:43 -!- Zuu has joined. 00:28:21 δε∫μn̈ 00:31:52 -!- kinoSi has quit (Read error: Connection reset by peer). 00:32:19 -!- kinoSi has joined. 00:34:41 -!- derdon has quit (Remote host closed the connection). 00:36:16 Jafet: what's that 00:36:50 δε∫μn̈. 00:37:30 is it defun 00:39:36 -!- kinoSi has quit (Ping timeout: 245 seconds). 00:40:04 -!- kinoSi has joined. 00:49:50 why would you want to desun 00:54:12 Silly oerjan, it's thesmn. 00:54:20 `welcome kinoSi 00:54:24 kinoSi: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 00:54:40 no way δ is th 01:27:43 þ is a much better th than ð! 01:28:49 which is a better th than δ 01:29:18 Oh, heh, didn't even notice that wasn't eth. Not sure what the heck that is. 01:29:35 i guess it's all greek to you 01:29:59 *sobs* 01:30:00 I actually understand the difference between Kernel's equal? and eq? 01:34:22 I’ve forgotten the difference. 01:36:38 equal? roughly is supposed to be the same for objects that are equivalent except in terms of mutation, and eq? for objects that behave the same even when mutated 01:38:45 Does anyone have any open source FPGA yet, and how fast would they run? 02:07:59 I've asked this before but how do you grep for the contents of a commit in git again. 02:08:06 Like if I want to find the last commit with "blah" in the diff. 02:16:58 Is there anything to make something like CLCLC-INTERCAL's backtracking in Haskell? 02:17:48 * Sgeo sads at the lack of syntax sugar for defining applicatives in Kernel 02:25:36 -!- Jafet has quit (Quit: Leaving.). 02:34:12 -!- NihilistDandy has joined. 02:43:31 -!- DHeadshot has joined. 02:52:21 -!- david_werecat has quit (Ping timeout: 265 seconds). 02:55:58 -!- DHeadshot has quit (Ping timeout: 246 seconds). 02:58:25 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:10:13 -!- david_werecat has joined. 03:22:53 coppro: clang warnings are infallible and perfect right 03:23:03 oh wait i see the problem here 03:25:57 -!- DHeadshot has joined. 03:46:35 elliott: oh? 03:47:39 it turns out my code was actually broken! 03:47:44 clang warnings live to see another day 03:47:48 haha 03:51:53 -!- pikhq has joined. 04:07:32 -!- pikhq_ has joined. 04:07:45 -!- pikhq has quit (Ping timeout: 244 seconds). 04:07:48 elliott: clang++ warnings. 04:19:09 -!- MoALTz has joined. 04:42:42 shachaf: same thing 04:42:57 coppro: It was a subtle way to increase clang's karma. 04:43:04 A pun of sorts, see. Except not really. 04:46:32 -!- MoALTz has quit (Ping timeout: 256 seconds). 05:15:08 does anyone know about MTAs 05:15:28 specifically please advocate whichever of exim or postfix you prefer 05:19:23 I do like postfix, but it has been like 12 years since i tried exim the last time. 05:19:37 Metro Transport Authorities? 05:19:43 kmc knows a bit, I think. 05:20:36 ion: How much painful config will I have to do to get Postfix doing reasonable things after installing it? Note: Multiply any pain by 10 because I'm having to use mailman. 05:20:48 (Also, Debian, so hopefully the defaults should be not completely terrible.) 05:21:36 elliott: There's no good Haskell book I can recommend with a straight heart. 05:21:39 With good face? 05:21:41 Whatever. 05:21:49 elliott: Weren't you writing one? 05:21:54 Do it. :-( 05:26:07 shachaf, LYAH is not recommendable? 05:26:20 I don't like LYAH much from what I've seen of it. 05:32:24 -!- pikhq has joined. 05:32:29 -!- pikhq_ has quit (Ping timeout: 244 seconds). 05:54:34 pikhq: exim or postfix 05:57:09 elliott: I haven’t really found it to be painful. 05:57:52 ion: Aww, but I already gave up and asked someone else. Okay, I guess I'll try Postfix. 05:57:59 Even if exim4 is already installed. Thebian. 05:58:24 postfix'em 05:58:42 Piles Of Stuff That something something something, extended magic 06:15:39 -!- graue has joined. 06:21:15 Is the admin interface a good reason to use Django for a project? 06:30:54 -!- shaaapii has joined. 06:33:00 -!- shaaapii has quit (Client Quit). 06:33:34 I don't generally recommend book about Haskell. People learn how they want to do so. 06:35:44 Some book may be good for some people, perhaps. 06:37:54 I may have accidentally caused my gf to be enamored with Django. 06:50:09 how'd you do that? 07:04:07 By introducing it to her. I think it's the first high-level web framework she's seen 07:04:27 quick, introduce another! 07:04:38 if it doesn't work, try something else! 07:04:44 if that doesn't work, dump her! 07:05:15 the first one i saw was flask 07:05:21 which i think is pretty okay 07:07:20 * Sgeo linked her to Weblocks 07:15:00 * Sgeo is again reminded of the attractiveness of CLOS 07:22:27 -!- zzo38 has quit (Remote host closed the connection). 08:00:40 -!- epicmonkey has joined. 08:09:23 -!- oerjan has quit (Quit: leaving). 08:23:30 -!- david_werecat has quit (Ping timeout: 268 seconds). 08:23:34 -!- DHeadshot has quit (Ping timeout: 246 seconds). 08:23:41 shachaf: c.c 08:23:55 in helsinki the trams are meter gauge! 08:26:38 -!- DHeadshot has joined. 08:30:10 -!- mekeor has joined. 08:30:25 jerkcity is 14 years old today 08:32:54 -!- atriq has joined. 08:35:46 -!- nooga has joined. 08:37:03 The weather's miserable 08:37:20 where? 08:37:24 Hexham 08:37:32 is it miserable by hexham standards 08:37:43 It's miserable by this week's standards 08:38:55 why do you live in hexham? 08:39:06 I dunno, it wasn't my decision 08:39:19 I've lived here most of my life 08:39:28 It's got a good school, I guess? 08:39:34 it does? 08:39:41 I dunno 08:39:42 Maybe 08:39:46 interesting 08:39:50 hexham is really far from london :( 08:39:54 have you been to hadrian's wall? 08:39:57 Yes 08:40:00 Many times 08:40:05 is it interesting to look at 08:40:12 Bits of it are 08:40:16 http://photo.goodreads.com/books/1179634272l/939194.jpg http://images.amazon.com/images/P/0764507761.01.LZZZZZZZ.gif http://photo.goodreads.com/books/1173497548l/298100.jpg 08:40:17 I recommend Vindolanda 08:40:29 i guess it is not so far from edinburgh 08:40:37 cool 08:40:44 http://nostarch.com/sites/default/files/imagecache/product_full/lyah.png 08:40:56 something... in this pattern is askew 08:41:02 haha 08:41:06 for dummies books are shit 08:41:09 just so you know 08:41:21 not sure what point you're trying to make here 08:41:24 but i rarely am 08:41:52 itidus21: it's not in comic sans 08:42:08 atriq: what about newcastle, is that a nice place 08:42:23 have you been on the tyne and wear metro 08:42:24 kmc, it's the city where I was born 08:42:30 Yes 08:42:34 humm 08:43:49 hm, why is the T&W Metro considered to be "light rail"? 08:44:17 does it have stations at grade with level crossings? 08:44:23 maybe the rails are made of aluminum or something? 08:45:15 -_- 08:45:26 kmc, it's a light railway as opposed to a normal railway 08:45:37 It's like a subway or underground, but overground 08:45:41 yeah it has a number of level crossings 08:45:43 http://www.freefoto.com/images/23/33/23_33_2---Kenton-Bank-Foot--Tyne-and-Wear-Metro_web.jpg 08:45:45 Small stations, frequent trains 08:46:11 atriq: just being above ground in sections doesn't make it "light rail" though 08:46:28 Ok, Lisp pathnames aren't as scary as I thought 08:46:29 It's kind of like the London Overground? 08:46:33 kmc, I think you should look at Tcl. 08:47:01 -!- pikhq_ has joined. 08:47:03 http://en.wikipedia.org/wiki/Light_railway#United_Kingdom 08:47:06 atriq: large parts of the underground and the NYC subway and almost every subway system run overground 08:47:24 tcl is boring if you already know lisp 08:47:29 -!- pikhq has quit (Ping timeout: 260 seconds). 08:47:31 ah, i didn't know it has a legal definition in UK :) 08:47:48 London Overground is just the brand for those London-area National Rail services which are operated by TfL 08:48:07 I think the lack of special forms in Tcl is interesting 08:48:36 it runs mostly on mainline railway lines, using mainline-like trains 08:48:37 fine, *if you already know kernel 08:48:54 tcl's main failing is that the string is a terrible data structure 08:49:09 "Vindolandia" (a misreading) sounds like a theme park. 08:49:24 fizzie, it pretty much is, except without rides 08:49:40 It's where they discovered that Romans wore underwear 08:49:55 elliott: anything is boring if you already know kernel 08:49:58 it's like heroin :( 08:51:07 Without rides and with active archaeology sites 08:51:50 actually the T&W Metro is not under the Light Railways Act 1896 anyway 08:52:07 Hmm 08:52:14 How odd 08:52:24 i think it's "light rail" under the US definition 08:52:38 which is not a precise definition 08:53:03 but involves some combination of: small/narrow cars, short trains, running partially in the street or at least crossing lots of streets 08:54:08 whereas heavy rail rapid transit has a dedicated right of way 08:54:27 tunnels, elevated viaducts, embankments, fenced-off areas at grade 08:54:30 -!- copumpkin has quit (Ping timeout: 244 seconds). 08:54:38 I think all the file I/O stuff scared me from CL and into Tcl 08:54:42 Or at least it helped 08:54:46 kmc: I don't understand "c.c". :-( 08:54:51 or quite often, a mixture of these on a single line 08:54:52 kmc, I don't know what it is 08:54:59 but light rail will have some grade-separated segments too 08:55:01 -!- copumpkin has joined. 08:55:08 shachaf: it's, like, eyes looking away 08:55:35 The bit I'm on most is mostly underground, but there's a bit that's raised above the road on a viaduct 08:55:44 Trains every 5 minutes 08:55:57 Are they looking toward the right side of my screen or the left side? 08:56:03 shachaf: i don't know! 08:56:12 I'd say left 08:56:13 probably the right 08:56:16 hm 08:56:18 What are they looking away *from*? 08:56:28 Is it "being suspicious"? 08:56:34 no it's like saying "um..." 08:56:44 i can't quite put my finger on it though 08:56:47 it's from #cslounge 08:56:51 I know. 08:57:10 kmc: Pictures involving barely-visible trams are a common "trick question" kind of thing in the theory part of the driver's license exam here; trams have a priority right-of-way status even when a car approaching from the same direction wouldn't. 08:57:33 huh, interesting 08:57:38 hexham is really far from london :( 08:57:43 good observation imo 08:57:58 You know what's farther from London? 08:58:22 kmc: are you visiting hexham 08:58:39 On the worldly scale of distance from London, Hexham is pretty near, really. 08:58:49 If I lived in Hexham I would probablyg o visit London once in a while. 08:58:53 Or at least once. 08:58:57 * shachaf has, in fact, been to London. 08:59:31 elliott: no 09:00:02 i'm flying to boston this afternoon 09:00:05 and not to boston, uk 09:00:09 which is kinda near hexham 09:00:11 kmc: that's enough time to get to hexham 09:00:16 but not really 09:00:17 Boston's nowhere near Hexham 09:00:21 It's in... Lincolnshire? 09:00:24 it's closer to hexham than london is 09:00:28 kmc: you should do it and meet atriq 09:00:31 meh 09:00:45 already have these shiny plane tickets 09:00:49 and i'm in dublin 09:01:01 which is also far from hexham 09:01:19 elliott: You should bring atriq to CA so I can meet him! 09:01:24 no 09:01:28 Canada!? 09:02:41 yes 09:02:53 I'd love to go to Canada! 09:04:04 do it! 09:04:14 canada gotta go to canada 09:04:54 Now you're assuming I have sufficient money to go to Canada. 09:05:28 hitchhike 09:05:34 And time. 09:05:50 "Come to Canada, we've got lions", as the song goes. 09:05:52 kmc: Do you have a US "passport card"? 09:06:24 Which reminds me, I should look into doing that ESTA thing soonishly. 09:06:38 shachaf: nope 09:06:46 and my passport is getting terribly worn out 09:06:55 cause i carry it around too much 09:07:16 Well, a "passport card" is only good for .ca and .mx and some other places. 09:13:05 i didn't know it was even good for .mx 09:13:15 a passport is also only good for some places 09:13:39 not for .ir :( 09:15:05 .ir is an interesting place. 09:15:12 I think it's multiply-illegal for me to go there. 09:17:14 can't you go on your .fi passport 09:17:20 or will you be arrested for being an israeli spy anyway 09:17:27 or will israel be mad 09:17:28 or what 09:17:47 My .fi passport says I was born in Jerusalem. 09:17:57 And the name "Ben-Kiki" is probably a little suspicious. 09:17:58 what if it said you were born in al-Quds 09:18:04 yeah, there is that 09:18:05 My grandmother once almost flew to .ir. 09:18:26 She got on the wrong flight and they had to get her off the plane when it was about to take off. 09:18:32 oh dear 09:19:12 yeah when we took the bus from poland to lithuania we were not 100% sure that it did not go through belarus 09:19:30 in which event we would have been kicked off the bus in some border town 09:20:05 -!- amethyst1937 has joined. 09:21:22 shachaf: did I already tell you that the currency in Bosnia i Hercegovina is the Deutschmark? 09:21:31 -!- amethyst1937 has left. 09:21:39 I think you mentioned it. 09:24:48 * atriq is a pretty good name 09:25:31 * shachaf is not a name at all! 09:25:51 By which I mean, "atriq" is a pretty good name 09:26:01 It's actually pronouncable 09:26:24 It's also a real name... 09:27:32 4 results on the first google page for "Ngevd" are IRC logs, and one's the quotes file 09:27:37 `quote 648 09:27:47 lots of things are real names 09:27:48 648) elliott: it occurs to me that `? welcome is atypical: its information is actually true. 09:28:17 `? welcome 09:28:21 Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 09:28:34 Ngevd isn't aname 09:28:40 It's not a name, either 09:29:05 shachaf is not a name but "shachaf" is 09:32:30 Quotation marks are way overloaded in English. 09:32:34 It's half-annoying. 09:32:52 -!- DHeadshot has quit (Ping timeout: 246 seconds). 09:34:00 -!- DHeadshot has joined. 09:34:13 man now i want to go to the Great Dorset Steam Fair 09:35:09 oh, i guess Hexham is only 4 hours from London 09:35:11 that's not too bad 09:35:40 4 hours if there's no traffic and you're speeding 09:35:55 i meant by train 09:36:01 Oh, okay 09:36:57 boston to new york is also 4 hours on the train 09:37:01 and i consider them pretty close 09:37:25 hexham to london is considerably further, but the trains in the uk are better 09:37:32 Hah 09:37:36 Prices are probably worser 09:37:39 also i keep forgetting how small the uk is overall 09:37:42 *-r 09:37:53 We're not small, just smaller than big places 09:38:29 And we're culturally big, which makes the UK seem big? I dunno 09:38:52 yeah it's £59 versus $69 09:39:15 for a trip 1 week from now 09:39:28 How are you getting that price? 09:39:38 I always seem to be somewhere in the 200's 09:39:39 nationalrail.co.uk 09:39:48 London to Hexham or Hexham to London? 09:39:54 hexham to london 09:40:16 Hmm 09:40:17 it gives a variety of options but the cheapest one is £59 09:40:23 Which route? 09:40:27 11:22 from Hexham to Newcastle 09:40:29 Via Newcastle 09:40:33 12:25 to Kings Cross 09:40:48 that's for 1 week from today 09:40:57 The 11:22's a quick train, only stops at Prudhoe and the MetroCentre 09:41:05 between Hexham and Newcastle 09:41:11 cool 09:41:45 Newcastle upon Thyme. 09:41:45 and yeah the UK is big culturally 09:41:55 at least, the UK has an outsize influence on anglophone culture 09:42:01 a large fraction of the bands i listen to are from the uk 09:42:05 I heard London is big culturally. 09:42:18 By culturally I mean has a lot of accents. 09:42:24 By hear I mean read in that play. 09:42:53 also lexande says that premier league football on BBC shortwave radio broadcasts is enormously popular in anglophone africa 09:43:07 Around here, it used to be the case that someone with training could tell what village you were from by your accent 09:43:31 and that this alone does as much good as the Organisation internationale de la Francophonie or other such deliberate organziations 09:45:08 -!- derdon has joined. 09:46:24 also you can go from boston to new york for $15 with no advance booking 09:46:27 on a sketchy chinatown bus 09:46:36 doubt you can go from hexham to london on the same arrangement 09:47:05 Newcastle has a pretty major chinatown 09:47:06 Hmm 09:47:17 interesting 09:47:19 You know, I used to think Chinatown was the capital of China 09:47:23 are chinatown buses a thing in the uk? 09:47:26 -_- 09:47:31 that would make too much sense 09:47:35 I don't think there are 09:47:42 Like Mexico City et al. 09:47:44 Are they a thing in the US? 09:47:52 Other than NYC and maybe Boston. 09:47:58 shachaf: yes 09:48:04 San Francisco has a big one 09:48:11 NYC has two or three actually 09:48:19 * shachaf has never taken one. 09:48:28 At one point when I looked they were more expensive than the other ones. 09:48:33 oh, buses, not chinatowns 09:48:45 but yes, chinatown buses are a thing on the east cosat generally 09:49:00 you can go Boston → NYC → Philly → Baltimore → DC at least 09:49:18 there might be something SF - LA too 09:49:30 and there is analogous local transport 09:49:35 Maybe I should go south sometime. 09:49:46 vans that take you from Manhattan's Chinatown to the one in Flushing, Queens 09:50:05 if you see a van in new york city labeled only in some chinese with a ↔ in it 09:50:11 then it probably goes between these two places 09:50:16 shachaf: to LA? 09:50:35 atriq: btw that's a misuse of et al i think 09:50:40 kmc: Or that general area. 09:50:46 Is it a terrible place? 09:50:56 I haven't been south of ~Santa Cruz since I moved to CA. 09:50:58 elliott, Mexico City and the others. Perfectly good. 09:51:27 i took Megabus from LA to SF 09:51:27 Like, Panama City and Durham City 09:51:43 before they stopped running on the west coast 09:51:54 gotta go to boston, ttyl all 09:51:56 They stopped running on the west coast? 09:52:00 yes 09:52:05 ttyalll 09:52:09 atriq: englihs isn't latin 09:52:15 *english 09:52:19 here is the megabus route map: http://en.wikipedia.org/wiki/File:MegabusNorthAmericaMap.svg 09:52:23 aiui in English "et al" is only used for lists of people 09:52:31 I may be wrong thoug 09:52:32 *though 09:52:36 elliott: THEN HOW COME I ENCODE MY ENGLISH TEXT USING "Latin"?! 09:52:43 evaporating now, ttyl 09:52:48 Actually I use "ANSI". 09:52:55 goodbyeegan 09:53:10 Actually I use Unicode, or sometimes Unicode Big Endian. 09:53:59 -!- atriq has quit (Quit: planning). 09:54:57 -!- epicmonkey has quit (Ping timeout: 244 seconds). 10:25:58 -!- derdon has quit (Remote host closed the connection). 10:33:19 -!- atriq has joined. 10:43:35 -!- augur has quit (Remote host closed the connection). 10:45:20 I, too, like to encode my text using Big Indians 10:57:29 -!- epicmonkey has joined. 11:05:39 graue: Are you the SCARY PERSON? 11:05:50 Or was that Alan Dipert? 11:12:16 -!- augur has joined. 11:20:07 -!- monqy has quit (Quit: hello). 11:22:15 -!- ogrom has joined. 11:32:07 SILLY PERSON is more like it 11:34:24 SILLARY PERSON 11:34:27 ANCILLARY PERSON 11:34:57 auxiliary person 11:38:52 -!- atriq has quit (Ping timeout: 246 seconds). 11:39:39 * itidus21 emits 5 stock indications of laziness 11:44:22 -!- NihilistDandy has quit. 11:47:17 -!- MoALTz has joined. 11:53:10 -!- boily has joined. 12:00:32 -!- mekeor has quit (Quit: ERC Version 5.3 (IRC client for Emacs)). 12:06:58 -!- atriq has joined. 12:10:46 -!- boily has quit (Quit: Poulet!). 12:17:06 -!- derdon has joined. 12:19:11 -!- boily has joined. 12:23:22 :t flip local 12:23:23 forall r (m :: * -> *) a. (MonadReader r m) => m a -> (r -> r) -> m a 12:23:39 :t (>>=) 12:23:40 forall (m :: * -> *) a b. (Monad m) => m a -> (a -> m b) -> m b 12:23:52 -!- ogrom has quit (Quit: Left). 12:23:53 :t flip local `asTypeOf` (>>=) 12:23:54 Occurs check: cannot construct the infinite type: b = m b 12:23:54 Expected type: m (m b) 12:23:54 Inferred type: m b 12:24:07 Never managed that one before 12:24:15 Actually 12:24:22 :t let f = join f in f 12:24:23 Occurs check: cannot construct the infinite type: a = m a 12:24:23 Expected type: m (m a) 12:24:23 Inferred type: m a 12:24:26 :t let f = join f in () 12:24:27 Occurs check: cannot construct the infinite type: a = m a 12:24:27 Expected type: m (m a) 12:24:27 Inferred type: m a 12:25:55 :t Identity 12:25:57 forall a. a -> Identity a 12:26:00 :t fix Identity 12:26:02 Occurs check: cannot construct the infinite type: a = Identity a 12:26:02 Expected type: a 12:26:02 Inferred type: Identity a 12:26:07 Having fun hear 12:26:09 *here 12:26:31 Infinite types would be an extension to Haskell that would be useful to me and only me 12:27:23 > ap id id 12:27:24 Occurs check: cannot construct the infinite type: a = a -> b 12:27:33 Even if it just allowed that type? 12:33:28 -!- atriq has quit (Ping timeout: 245 seconds). 12:34:08 Dublin airport has this weird arrangement 12:34:22 where for certain flights to the USA, you go through US customs and immigration within DUB 12:34:44 and then you go through another bag scanner machine because apparently the one you just went through for general airport security isn't good enough 12:35:04 and then you're in a little concourse at DUB that's effectively part of the US domestic air-side security/immigration zone 12:35:06 Do you have to take off your shoes for the second one? 12:35:13 and you can land at a US domestic terminal 12:35:15 shachaf: yes 12:35:30 I think that's not that unusual for major airports that fly to the US. 12:35:41 which other ones have it? 12:35:59 ah http://en.wikipedia.org/wiki/United_States_border_preclearance 12:36:04 Not sure. 12:36:22 Ah, there you go. 12:36:35 Maybe it isn't that common. 12:37:23 kmc: Once, we flew to TLV (I think?) a Canadian airport. 12:37:36 We drove north from WA to Vancouver. 12:37:55 Then we had to go through US customs/security/something because the flight was connecting through a US airport. 12:38:04 It was pretty silly. 12:38:42 fun 12:38:50 transit visas and transit immigration is in general a thing 12:39:17 "However, the US and other countries who engage in the practice have been accused of being motivated also by the desire to prevent the arrival of asylum seekers, who are protected under the 1951 Refugee Convention's non-refoulement provisions once they arrive at their destination." 12:39:22 classy 12:40:47 i wonder which "other countries" those are 12:42:16 customs and immigration rules are weird 12:42:23 they aren't transitively closed 12:43:09 for example, if you arrive from the US to the UK you have to fill out a big form about where you've been and what you're bringing 12:43:22 but if you land in the Republic of Ireland there's no such form 12:43:31 and then you can travel to the UK with no further immigration controls 12:44:50 lexande says that you might be legally required to go to a police station in the UK and fill out the form 12:49:46 on to the plane, bbl 13:01:05 -!- mekeor has joined. 13:10:37 -!- MoALTz has quit (Ping timeout: 240 seconds). 13:38:37 -!- aloril has quit (Ping timeout: 240 seconds). 13:51:08 -!- aloril has joined. 13:54:08 -!- derdon has quit (Remote host closed the connection). 13:56:49 -!- glogbackup has quit (*.net *.split). 13:56:50 -!- atehwa has quit (*.net *.split). 13:56:50 -!- HackEgo has quit (*.net *.split). 13:56:50 -!- EgoBot has quit (*.net *.split). 13:56:50 -!- SimonRC has quit (*.net *.split). 13:56:50 -!- ssue has quit (*.net *.split). 13:56:50 -!- shachaf has quit (*.net *.split). 13:56:50 -!- comex has quit (*.net *.split). 13:57:27 -!- glogbackup has joined. 13:57:27 -!- atehwa has joined. 13:57:27 -!- HackEgo has joined. 13:57:27 -!- EgoBot has joined. 13:57:27 -!- SimonRC has joined. 13:57:27 -!- ssue has joined. 13:57:27 -!- shachaf has joined. 13:57:27 -!- comex has joined. 13:57:31 -!- glogbackup has left. 13:58:42 -!- aloril has quit (Read error: Operation timed out). 14:03:19 -!- atriq has joined. 14:13:42 -!- aloril has joined. 14:19:23 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 14:29:18 -!- aloril has quit (Ping timeout: 244 seconds). 14:41:53 -!- aloril has joined. 14:42:37 -!- copumpkin has joined. 14:56:11 -!- aloril has quit (Ping timeout: 250 seconds). 15:13:16 -!- aloril has joined. 15:15:07 -!- atriq has quit (Quit: Leaving). 15:27:30 -!- Vorpal has joined. 15:56:43 http://aiju.de/b/emacs 16:04:46 -!- copumpkin has quit (Ping timeout: 268 seconds). 16:08:58 -!- copumpkin has joined. 16:10:47 -!- Phantom_Hoover has joined. 16:19:14 -!- ais523 has joined. 16:21:04 -!- MoALTz has joined. 16:23:59 -!- atriq has joined. 16:24:27 > sum$map((1/).product.enumFromTo 1)[1..19] 16:24:30 1.7182818284590455 16:26:51 -!- mig21a has joined. 16:29:35 -!- mekeor has quit (Quit: had to restart X... :/). 16:29:41 * pikhq_ mutters 16:31:53 -!- mekeor has joined. 16:36:37 -!- mig21a has quit (Remote host closed the connection). 16:36:59 -!- mig21a has joined. 16:39:35 pikhq_, sorry! 16:39:51 -!- AnotherTest has joined. 16:40:31 Hello 16:41:45 ohai 16:42:23 moi 16:48:39 -!- elliott has quit (Quit: Leaving). 16:49:07 -!- ogrom has joined. 16:49:55 -!- AnotherTest has quit (Quit: Leaving.). 16:50:58 -!- AnotherTest has joined. 16:52:21 -!- AnotherTest has quit (Client Quit). 16:52:34 -!- AnotherTest has joined. 17:01:17 -!- mig21a has quit (Quit: Colloquy for iPhone - http://colloquy.mobi). 17:03:22 -!- AnotherTest has quit (Quit: Leaving.). 17:03:34 -!- AnotherTest has joined. 17:08:03 bonjour? 17:15:34 -!- ais523 has quit (Ping timeout: 246 seconds). 17:19:52 -!- ais523 has joined. 17:36:02 -!- atriq has quit (Ping timeout: 268 seconds). 17:51:02 -!- AnotherTest has quit (Read error: No route to host). 17:51:18 -!- AnotherTest has joined. 17:53:36 -!- AnotherTest has quit (Client Quit). 17:53:51 -!- AnotherTest has joined. 18:01:45 -!- monqy has joined. 18:03:28 -!- cuttlefish has joined. 18:04:02 there, for you to freely abuse, my irc bot: cuttlefish. 18:04:09 command prefix is ~. 18:04:32 -!- epicmonkey has quit (Read error: Operation timed out). 18:09:52 -!- derdon has joined. 18:12:42 ~kill all humans 18:12:42 --- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi 18:12:51 ~eval 18:12:54 Error (1): not an expression: `' 18:13:00 What language is it 18:13:04 ~yi 18:13:05 Your divination: "Holding" to "Great Possessing" 18:19:53 -!- atriq has joined. 18:22:59 ~eval "Fyrernu: cebonoyl Unfxryy" >>= \x -> let c = toLower x in return $ if c >= 'a' && c <= 'm' then chr (ord x + 13) else if c >= 'n' && c <= 'z' then chr (ord x - 13) else x 18:23:00 "Slereah: probably Haskell" 18:24:36 Is that new? 18:25:29 my git repo says I began working on it on july 12, then adding some intermittent modifications. 18:25:48 Is it new to the channel? 18:25:51 ~help 18:25:52 --- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi 18:26:04 yeah, first public exposure. 18:26:14 ~eval "test fungot test" 18:26:14 "test fungot test" 18:26:23 ^botlist 18:26:33 my bot was previously tortured on our company's internal channel. 18:27:16 (our support team had great moments trying to crash my bot.) 18:29:42 :) 18:29:47 I wish I had a support team 18:30:03 I wish there was anything that'd let me actually use a support team 18:30:06 I dunno 18:30:50 I work for a FOSS company here in montreal. 18:31:10 Oh, sweet 18:33:06 -!- kinoSi has quit (Read error: Connection reset by peer). 18:33:33 -!- kinoSi has joined. 18:42:56 -!- AnotherTest has quit (Ping timeout: 245 seconds). 18:55:06 ...how does a FOSS company make money? 18:56:47 cd /usr/include; for i in *; do echo -n "checking for $i... "; sleep 0.2; echo "yes"; done 18:57:03 autoconf replacement 18:58:31 And that's how FOSSs make money 18:59:20 :P 19:04:57 atriq: support contracts, web and embedded development, hosting, enterprise relations, mysterious stuff... all this contributes to us making some money. 19:05:31 Hmm 19:13:21 Is "mysterious stuff" a euphemism for mob contracts or something, or do you actually not know? 19:14:27 Now I'm imagining boily as a hitman 19:14:33 In a boiler suit 19:16:51 atriq: mysterious stuff meaning we sometimes have to sign astringent NDA's for sensitive contracts. 19:17:46 Oh, okay 19:17:54 -!- ogrom has quit (Quit: Left). 19:20:46 :t runIdentity 19:20:47 forall a. Identity a -> a 19:21:32 > do {x <- Identity 10; return (x + 1); return (x *7)} 19:21:33 No instance for (GHC.Show.Show (Data.Functor.Identity.Identity a)) 19:21:33 arisi... 19:21:39 > runIdentity $ do {x <- Identity 10; return (x + 1); return (x *7)} 19:21:40 70 19:22:39 this is not the return you are looking for 19:23:01 compare with gnu C: ({ int x = 10; x + 1; x * 7; }) 19:23:27 jlaire, you do realise I know exactly what I'm doing, and I'm just fiddling? 19:23:37 of course 19:23:52 (barely know C at all...) 19:24:27 -!- Slereah_ has joined. 19:28:17 -!- Slereah has quit (Ping timeout: 256 seconds). 19:28:59 -!- fungot has joined. 19:32:59 -!- oerjan has joined. 19:35:29 generic haskell question: is Traversable useful, and why? I have never seen it in the wild. 19:37:20 ~eval "test fungot test" 19:37:21 "test fungot test" 19:37:21 atriq: you'd have to learn 19:37:23 cuttlefish: well, the zilliards shouldn't really be using assignment, there's better ways of organizing fnord, adaptive presentation, etc. i believe the internet works on cr/ lf/ crlf line-terminator stupidity. 19:37:39 ~help 19:37:39 --- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi 19:37:44 ~help echo 19:37:44 --- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi 19:37:52 ~echo fungot test 19:37:52 fungot test 19:37:53 atriq: how does this compare with something like gambit or chicken wouldn't be fast enough 19:37:53 cuttlefish: i'm interested in applying scheme to distributed programming, consider kali. is your professor using ms word to write java to extend my text editor of choice and all bets are off 19:38:05 ~echo ^echo ~echo ^echo 19:38:05 ^echo ~echo ^echo 19:38:05 ~echo ^echo ~echo ^echo 19:38:05 ^echo ~echo ^echo 19:38:06 ~echo ^echo ~echo ^echo 19:38:06 ^echo ~echo ^echo 19:38:06 ~echo ^echo ~echo ^echo 19:38:07 ^echo ~echo ^echo 19:38:07 ~echo ^echo ~echo ^echo 19:38:07 ^echo ~echo ^echo 19:38:08 ~echo ^echo ~echo ^echo 19:38:08 ^echo ~echo ^echo 19:38:08 ~echo ^echo ~echo ^echo 19:38:08 ^echo ~echo ^echo 19:38:09 ~echo ^echo ~echo ^echo 19:38:09 ^echo ~echo ^echo 19:38:09 Woops 19:38:09 ~echo ^echo ~echo ^echo 19:38:10 ^echo ~echo ^echo 19:38:10 ~echo ^echo ~echo ^echo 19:38:10 ^echo ~echo ^echo 19:38:11 ~echo ^echo ~echo ^echo 19:38:11 ^echo ~echo ^echo 19:38:11 ~echo ^echo ~echo ^echo 19:38:11 ^echo ~echo ^echo 19:38:12 ~echo ^echo ~echo ^echo 19:38:12 ^echo ~echo ^echo 19:38:12 ~echo ^echo ~echo ^echo 19:38:13 ^echo ~echo ^echo 19:38:13 ~echo ^echo ~echo ^echo 19:38:13 ^echo ~echo ^echo 19:38:13 Sorry 19:38:14 ~echo ^echo ~echo ^echo 19:38:14 ^echo ~echo ^echo 19:38:14 ~echo ^echo ~echo ^echo 19:38:14 ^echo ~echo ^echo 19:38:15 ~echo ^echo ~echo ^echo 19:38:15 ^echo ~echo ^echo 19:38:16 ~echo ^echo ~echo ^echo 19:38:16 ^echo ~echo ^echo 19:38:16 ~echo ^echo ~echo ^echo 19:38:16 ^echo ~echo ^echo 19:38:17 ~echo ^echo ~echo ^echo 19:38:17 ^echo ~echo ^echo 19:38:17 Umm,... 19:38:18 ~echo ^echo ~echo ^echo 19:38:18 ^echo ~echo ^echo 19:38:18 ~echo ^echo ~echo ^echo 19:38:18 ^echo ~echo ^echo 19:38:24 come on 19:38:39 Uh, ais523, oerjan, fizzie? 19:38:56 Wait, did it stop or is that the flood protection kicking in. 19:39:01 it would appear to have stopped? 19:39:02 I think the latter 19:39:19 fungot are you alive 19:39:20 atriq: it brought lostkng.b down to 288 kilobytes. 19:39:29 ~echo test 19:39:30 test 19:39:32 Hmm 19:39:50 Okay, fizzie, boily, make this not happen 19:40:10 ^ignore cuttlefish 19:40:19 ~echo fungot 19:40:19 fungot 19:40:20 atriq: i've heard bubble sort a lot more material on the channel 19:40:20 cuttlefish: never need to touch windows :) negative array indexes are always fun in c yesterday. a fun language 19:40:30 ^ignore 19:40:35 ^help 19:40:35 ^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool 19:40:40 ^ignore only obeys fizzie 19:40:54 I thought it listed for anyone. 19:41:06 ^bool 19:41:06 No. 19:41:11 ^bool 19:41:11 No. 19:41:35 ^bool 19:41:36 No. 19:41:49 Mama mia let me go 19:42:00 Beelzebub has the devil put aside for me 19:42:21 s/the/a/ 19:42:36 Artistic license 19:45:06 Wow, I actually managed to make a botloop? 19:45:32 Which only works due to an oddity in fungot's echo? 19:45:33 atriq: not the char 0, second char 1 etc. do you have any 19:45:37 ^style 19:45:37 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 19:45:43 ^style wp 19:45:44 Selected style: wp (1/256th of all Wikipedia "Talk:" namespace pages) 19:45:53 fungot, are you on fire? 19:45:54 atriq: i notice that you have specified the fair use rationale on the other images used on this page about robert levinson, who was the father of existentialism, which is why i have put it here and not balkan fnord? should we keep, and which is neutral. 19:46:23 "are you on fire" "whichever's useful" 19:47:22 Huh. 19:47:40 ^ignore ^(EgoBot|HackEgo|toBogE|Sparkbot|optbot|lambdabot|oonbotti|cuttlefish)! 19:47:41 OK. 19:47:56 I'll see if I have some time to do a Gregor on it some day. 19:48:10 (do a Gregor?) 19:48:34 atriq: Make it add a zero-width space in front of all starts-with-nonalphabetic output. 19:48:47 Oh, cool 19:48:49 (It's the Standard(TM) Clever(R) way of avoiding botloops.) 19:49:07 Unless there's a clone of Fungot 19:49:20 Who picks up midline commands? 19:49:27 And is poorly administered 19:49:30 Which only works due to an oddity in fungot's echo? 19:49:32 Phantom_Hoover: that misses the point. neither you nor any of your esteemed fnord would ever check an even incorrect historical reference to start your fnord what sort of changes can be considered a keylogger. the only source supporting the rumors about nick adams's homosexual leanings. user:onefortyoneonefortyone 21:41, 26 february 2007 ( utc) 19:49:34 A literism, rather. 19:49:45 @wn literism 19:49:46 No match for "literism". 19:50:09 `? Phantom_Hoover 19:50:10 Literalism, dammit. 19:50:12 Phantom_Hoover is a true Scotsman and hatheist. 19:50:25 atriq, make sure you try it with different numbers of _! 19:50:34 `? Phantom__Hoover 19:50:37 Phantom__Hoover ? ¯\(°_o)/¯ 19:50:43 `? Phantom___Hoover 19:50:46 Phantom___Hoover ? ¯\(°_o)/¯ 19:50:51 `? Phantom____Hoover 19:50:54 Phantom____Hoover ? ¯\(°_o)/¯ 19:50:57 `? PhantomHoover 19:51:01 PhantomHoover ? ¯\(°_o)/¯ 19:51:02 `? Phantom__Hoover 19:51:06 Phantom__Hoover can't decide what an appropriate number of underscores is. 19:51:08 `ls wisdom 19:51:11 ​? \ ais523 \ atriq \ augur \ banach-tarski \ boily \ c \ cakeprophet \ category \ coffee \ comonad \ coppro \ egobot \ elliott \ endofunctor \ esoteric \ europe \ everyone \ finland \ finns \ fizzie \ flower \ friendship \ functor \ fungot \ glogbot \ gregor \ hackego \ haskell \ hexham \ ievan \ intercal \ internationale \ itidus20 \ itidus21 \ kallisti \ lens \ lifthrasiir \ mad \ misspellings of croissant \ monad 19:51:24 `? friendship 19:51:27 friendship wisdom 19:51:34 hint: HackEgo is space at end of line sensitive 19:51:36 `? internationale 19:51:40 You have been reported to the House Un-American Activities Committee 19:51:41 Aaargh 19:51:46 `? hexham 19:51:49 Hexham is a European town. There are nine people in Hexham, and at least two of them are in this channel. Taneb looks after the ham. 19:52:21 `? hackego 19:52:24 HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. 19:52:33 `? lens 19:52:36 A lens is a monoidal natural transformation between higher-order coalgebra functors 19:52:45 `? intercal 19:52:48 INTERCAL has excellent features for modular program for the enterprise market. 19:52:53 `? c 19:52:56 C is the language of��V�>WIד�.��Segmentation fault 19:53:52 :D 19:54:00 `? python 19:54:03 python? ¯\(°_o)/¯ 19:54:43 `? haskell 19:54:46 Unbound implicit parameter (?haskell::Wisdom) \ arising from a use of implicit parameter `?haskell' 19:54:55 `? flower 19:54:58 flower. what IS a flower? 19:55:04 `? europe 19:55:04 -!- augur has quit (Remote host closed the connection). 19:55:07 Europe is the national anthem of the Republic of Kosovo. 19:55:15 `? comonad 19:55:18 Comonads are just monads in the dual category. 19:56:48 `? elliott 19:56:51 elliott wrote this learn DB, and wrote or improved many of the other commands in this bot. He probably has done other things? 19:57:01 `? Ngevd 19:57:05 ​ۅ.n.o.BOL...&)F\,.кȔ`{=7SpIgqczxf7.4d. 19:57:07 `? Ngevd 19:57:10 ​46/3.Z...*5(C..Bm":4E՜..ep}0%..a.Ŏ.ꐺp@..¨h<1dZne.1.o5\bt..wo.[Ə\0ё.QꫫK3y \ pEH \ *{ \ $@y.\lի*.ɵ2llޟI 19:57:29 Haha HackEgo said Bm 19:57:31 `run ls -l `which ?` 19:57:35 ​-rwxr-xr-x 1 5000 0 126 Aug 17 19:57 /hackenv/bin/? \ -rwxr-xr-x 1 5000 0 101 Aug 17 19:57 /hackenv/bin/@ \ -rwxr-xr-x 1 5000 0 42 Aug 17 19:57 /hackenv/bin/k 19:58:08 atriq: The Ngevdntry is creepy. 19:58:25 fizzie, there's a reason for that 19:58:25 `ls 19:58:28 bin \ canary \ foo \ karma \ lib \ paste \ quotes \ share \ wisdom 19:58:32 `ls canary 19:58:33 oh no it's a Búm 19:58:35 canary 19:58:39 `canary 19:58:41 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: canary: not found 19:58:48 `canary/canary 19:58:50 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/canary/canary: Not a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/canary/canary: cannot execute: Not a directory 19:58:56 `ls -l wisdom/Ngevd 19:58:59 ls: invalid option -- ' ' \ Try `ls --help' for more information. 19:59:00 `file canary/canary 19:59:03 canary/canary: ERROR: cannot open `canary/canary' (Not a directory) 19:59:05 `run ls -l wisdom/Ngevd 19:59:08 ls: cannot access wisdom/Ngevd: No such file or directory 19:59:14 `run ls -l wisdom 19:59:17 total 276 \ -rw-r--r-- 1 5000 0 12 Aug 17 19:59 ? \ -rw-r--r-- 1 5000 0 103 Aug 17 19:59 ais523 \ -rw-r--r-- 1 5000 0 59 Aug 17 19:59 atriq \ -rw-r--r-- 1 5000 0 21 Aug 17 19:59 augur \ -rw-r--r-- 1 5000 0 64 Aug 17 19:59 banach-tarski \ -rw-r--r-- 1 5000 0 67 Aug 17 19:59 boily \ -rw-r--r-- 1 5000 0 64 Aug 17 19:59 c \ -rw-r--r-- 1 5000 0 3 Aug 17 19:59 cakeprophet \ -rw-r--r-- 1 5000 0 32 Aug 17 19:59 category 19:59:19 `run ls wisdom 19:59:22 ​? \ ais523 \ atriq \ augur \ banach-tarski \ boily \ c \ cakeprophet \ category \ coffee \ comonad \ coppro \ egobot \ elliott \ endofunctor \ esoteric \ europe \ everyone \ finland \ finns \ fizzie \ flower \ friendship \ functor \ fungot \ glogbot \ gregor \ hackego \ haskell \ hexham \ ievan \ intercal \ internationale \ itidus20 \ itidus21 \ kallisti \ lens \ lifthrasiir \ mad \ misspellings of croissant \ monad 19:59:26 I think it's a symbolic link or something 19:59:46 `run ls -l wisdom/ngevd 19:59:49 lrwxrwxrwx 1 5000 0 12 Aug 17 19:59 wisdom/ngevd -> /dev/urandom 19:59:54 I knew it 20:00:10 that's a good one :D 20:00:13 `? nortti 20:00:15 nortti? ¯\(°_o)/¯ 20:00:34 `? finns 20:00:38 Finns are helpful, albeit grossly overpopulated (cf. 'Finland'). 20:00:50 `learn nortti boy. very nortti boy. 20:00:52 I knew that. 20:01:00 `? nortti 20:01:03 nortti boy. very nortti boy. 20:01:07 o kay 20:01:09 ok... 20:01:21 o.o 20:01:34 `? boily 20:01:34 oh. it is incredibly lame pun 20:01:37 boily may be French or something. We are not sure about the rest. 20:01:46 ~metar EFHK 20:01:47 EFHK 171950Z VRB01KT CAVOK 15/14 Q1016 NOSIG 20:01:47 nortti, the lamest 20:02:08 `learn atriq or two 20:02:08 ~metar zanyoujane 20:02:09 --- Station not found! 20:02:11 I knew that. 20:02:28 atriq: it uses ICAO airport codes. 20:02:36 `metar NCL 20:02:38 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: metar: not found 20:02:43 ~metar NCL 20:02:44 --- Station not found! 20:02:49 ~metar LHR 20:02:50 --- Station not found! 20:03:14 atriq: ICAO, not IATA. 20:03:29 ~metar EGNT 20:03:29 EGNT 171950Z 17004KT 120V210 9999 SCT020 BKN025 19/18 Q1009 20:03:43 ~metar EFHK 20:03:44 EFHK 171950Z VRB01KT CAVOK 15/14 Q1016 NOSIG 20:03:57 Sadly, I can't really decode anything of the line. 20:04:06 ~metar EBCD 20:04:07 --- Station not found! 20:04:19 ~metar EGNT 20:04:19 EGNT 171950Z 17004KT 120V210 9999 SCT020 BKN025 19/18 Q1009 20:05:15 `? banach-tarski 20:05:18 ​"Banach-Tarski" is an anagram of "Banach-Tarski Banach-Tarski". 20:05:22 Why was mine so short. :/ 20:05:29 Poor. 20:05:31 fizzie: it means it's not really windy, sky is clear, and it's somewhat warm and very humid. 20:05:31 (Uh, I mean... the airport reply thing.) 20:05:58 It didn't even have any 9999s. :/ 20:06:22 in canada we never have any 9999, because of a weird mix between international and american formats. 20:06:27 ~metar CYUL 20:06:28 CYUL 171900Z 22013G18KT 15SM FEW030TCU BKN050 OVC080 25/19 A2967 RMK TCU1SC5AC2 SLP049 20:07:04 I have no idea what the output means 20:07:36 those are weather observations and forecasts for pilots. 20:07:47 https://en.wikipedia.org/wiki/METAR 20:09:35 VRB01KT apparently i.e. variable direction, one knot; yeah, that's "not really windy" indeed. 20:11:27 -!- oerjan has quit (Quit: leaving). 20:11:46 -!- pikhq has joined. 20:11:55 -!- pikhq_ has quit (Ping timeout: 256 seconds). 20:15:27 -!- AnotherTest has joined. 20:22:22 -!- AnotherTest has quit (Quit: Leaving.). 20:26:46 -!- boily has quit (Quit: Poulet!). 20:27:02 -!- cuttlefish has quit (Remote host closed the connection). 20:27:15 -!- boily has joined. 20:27:27 -!- cuttlefish has joined. 20:27:52 -!- mtve has quit (Ping timeout: 244 seconds). 20:35:15 -!- mekeor has quit (Quit: everything has an end. this is the end of this irc session for me.). 20:41:16 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 20:47:58 -!- epicmonkey has joined. 20:57:05 -!- atriq has quit (Quit: Leaving). 21:01:40 -!- epicmonkey has quit (Ping timeout: 246 seconds). 21:20:07 I'm reading this post because it looks like it might be favorable to newLISP. I have already decided that the author is at least slightly clueless, yet I am still reading. 21:20:29 -!- DHeadshot has quit (Read error: Connection reset by peer). 21:20:48 -!- DHeadshot has joined. 21:23:07 -!- augur has joined. 21:23:12 " Internally, newLISP passes data by reference between built-in functions and does other optimizations." 21:23:17 Oh, that's alright then. 21:26:23 Wait, why does the thing require [cmd][/cmd] for multiline stuff? 21:26:43 -!- nooga has quit (Ping timeout: 256 seconds). 21:29:13 It reminds me a bit of Tcl 21:32:47 WTF at if acting like cond 21:37:20 You could just use Racket or Clojure 21:44:04 Hmm, do we have some kind of bot policy here? 21:44:11 I'm about to bring one in. 21:44:42 Bot policy: There is a 100% chance of someone attempting to construct a bot loop. 21:44:48 true 21:44:54 that's why I'm so eager 21:45:02 it's not a very commandable bot, however 21:45:10 oh, I have to be an op to invite :/ 21:45:23 let's see if I can circumvent this somehow. 21:46:05 Change the bot to enter a configuration-specified channel? 21:47:56 -!- psyk has joined. 21:48:15 Sgeo: no need :) 21:48:22 All it took was: 21:48:24 !eval (irc-write `(message join ,(string->symbol "#esoteric"))) 21:49:14 psyk: please feel welcome here, right? 21:49:19 atehwa: mit m haluan kaupasta? 21:49:31 psyk: no, bad bot, no finnish here. 21:49:33 atehwa: :( 21:49:33 atehwa, what language (yes, I can tell it's a Lisp) 21:49:42 And it's not Kernel 21:49:57 Sgeo: quite standard scheme, guile IIRC. 21:50:37 Yes, guile 21:50:52 I just wanted some scheme that is quite ubiquitously available. 21:51:12 But I've ported it from one scheme to another at least two times :( 21:51:25 o.O why? 21:53:10 differences in Schemes' character set supports, availability of implementations for different OS's, the like. 21:53:40 The source, by the way, is at http://sange.fi/~atehwa/psyk/ if someone is interested 21:53:57 psyk: please say at least something in English 21:54:06 atehwa: not everyone of my lines is in English! 21:54:31 psyk: you're right, they aren't, but you're a good girl none the less. 21:54:39 atehwa: Puhuisimmeko mieluummin suomea? 21:54:48 psyk: I'd rather not. 21:54:58 atehwa: Hmm.. Might be. But you sure are a liar. 21:55:54 actually, ircbot.ss there is quite a good glue if someone wants to try out bots in Scheme :) 21:56:36 well, anyway, psyk can be kicked out if he misbehaves or is irritating for some other reason 21:57:03 she's really quite a good kid, but overly fond of Finnish. 22:02:21 Well, #lisp objects to fexprs 22:02:39 I'm not sure what I think 22:02:51 They make code-walking impossible, but I'm not sure how useful code-walking is. 22:08:38 time to disappear in the great void behind the building door. 22:08:44 -!- boily has quit (Quit: Poulet!). 22:08:48 -!- cuttlefish has quit (Remote host closed the connection). 22:09:22 My current concern about newLISP scoping: 22:09:59 If I have a variable x that I intend to use dynamically, and I have a function c that wants to look at it. Yet b calls c, and has a "local" variable x.... 22:10:29 Common Lisp has conventions to prevent this scenario, which due to the way let works is possible in CL. What does newLISP do? 22:12:31 newLISP cons won't make dotted pairs, hmm 22:13:47 -!- nooga has joined. 22:19:02 "newLISP can usually read your mind, and knows what you want to do, depending on how you use the context function." 22:19:14 * Sgeo backs away slowly 22:19:58 newLISP? 22:20:04 I guess it's at least on-topic! 22:20:19 * Sgeo laughs 22:20:58 -!- MoALTz has quit (Ping timeout: 252 seconds). 22:21:14 * Sgeo is trying not to hate it 22:22:36 "To see the values of each symbol, use eval to find its value, and term to return just the symbol's name." 22:22:48 -!- david_werecat has joined. 22:35:50 -!- mtve has joined. 22:53:00 -!- nooga has quit (Ping timeout: 268 seconds). 23:05:44 -!- ais523 has quit. 23:06:20 -!- augur has quit (Remote host closed the connection). 23:07:21 -!- Vorpal has quit (Ping timeout: 276 seconds). 23:35:35 -!- nooga has joined. 23:47:59 -!- aloril has quit (Read error: Operation timed out).