00:03:57 so yeah. who has moved lately? <-- i have moved about 4 km southeast hth 00:04:09 are you still in trondheim 00:07:38 -!- Bike has quit (Ping timeout: 245 seconds). 00:08:11 -!- Bike has joined. 00:09:41 Poll: How long ago is "ancient" 00:09:54 yesterday 00:10:05 before the 1990s 00:11:07 July 6, 1189 00:12:23 long enough ago that I don't remember it 00:14:26 -!- Bike has quit (Read error: Connection reset by peer). 00:15:34 -!- Bike has joined. 00:15:39 elliott: i believe i'm still within city limits, yes 00:15:58 that poll sucked. 00:16:27 oerjan: can I have directions for when I visit 00:20:55 elliott: http://goo.gl/maps/SMmWk hth 00:21:39 is that a map of a crop? 00:21:52 XD 00:27:12 -!- lifthrasiir has quit (Ping timeout: 252 seconds). 00:29:22 -!- Bike has quit (Ping timeout: 256 seconds). 00:32:56 Koen__: it's a cropped map of a crop hth 00:33:30 you live next to the beach though 00:33:33 that sounds cool 00:34:12 i'm afraid much of that beach is also changing into apartments hth 00:34:45 well I guess it's a good news for the people who are gonna move into those appartments 00:35:18 thoug according to that map, if you have just moved 4km southeast... you used to live in the sea? 00:35:55 well _approximately_ southeast. 00:35:59 I always knew oerjan was a mermaid 00:36:11 there was just something fishy about him this whole time. 00:38:00 http://goo.gl/maps/2Whbx 00:38:36 don't I get at least a swat for that pun? 00:39:08 @slap elliott 00:39:08 * lambdabot loves elliott , so no slapping 00:39:10 ah, oerjan lives on the roof. 00:39:12 darn 00:39:51 *lived 00:39:57 @slap elliott 00:39:57 * lambdabot throws some pointy lambdas at elliott 00:40:32 shiba are just so cute. http://i.imgur.com/VKT21lx.png 00:41:22 shachaf: how am I not nice? 00:41:57 :( 00:42:01 I didn't say you were not nice. 00:42:09 I'm not sure. 00:42:32 hrrmpf 00:42:36 aren't any coordinates approximate? like how many sigfigs are necessary to no longer be approximate <-- the exact point has to be inside your body hth 00:44:01 I don't want any points inside of my body 00:44:58 it's ok copumpkin, I still like you. 00:45:04 yay 00:45:14 * copumpkin hugs elliott and gives shachaf a dirty look while doing so 00:45:29 I wonder if GPS is accurate enough for that. 00:45:33 just because you like copumpkin doesn't mean you have to like CT, btw 00:45:47 which CT are we talking about here? 00:46:11 copumpkin: See? 00:46:20 Dirty looks. 00:46:26 That's the kind of think I'm talking about. 00:46:29 * copumpkin gives shachaf a dirtier look 00:46:31 I think 'Connecticut' would be less offensive than 'category theory' in this context 00:46:39 in fact 00:46:44 * copumpkin gives shachaf THE DIRTIEST LOOK 00:46:49 ew 00:46:50 offending several million people vs. possibly hundreds 00:46:52 that's p. dirty 00:46:52 SO DIRTY YOU'LL NEED A SHOWER 00:48:14 -!- lifthrasiir has joined. 00:48:25 i just showered 00:48:33 thanks a lot 00:48:34 how is it any different from a copumpkin hug then? <--- burn & zing & snap 00:48:43 :( 00:49:20 * Fiora hugs elliott just to hug elliott 00:49:42 wow 00:49:49 this channel is discriminating against me 00:50:16 the conspiracy 00:50:27 * Fiora hugs shachaf too, okay? :< 00:50:52 wow a forced hug 00:50:56 does that even mean anything 00:51:06 * Gracenotes force hugs shachaf 00:51:07 i can feel the reluctance :'( 00:51:14 help 00:51:31 anyone read Gunnerkrigg? 00:51:38 that Hetty huh 00:51:52 I'm sorry ._. I just won't do anything next time... 00:52:04 Fiora: You were fine! It was a joke. 00:52:17 oh. 00:52:42 @hug Fiora 00:52:42 http://hackage.haskell.org/trac/ghc/newticket?type=bug 00:52:53 anyone read `olist? 00:52:56 that vaarsuvius huh 00:53:24 lol 00:53:59 not as such 00:54:38 -!- Bike has joined. 00:55:11 history's worst mass-murderer 00:56:26 hetty sure is a character. 00:56:32 oh for sure, Bike 00:56:42 How do you write ^-1 in Unicode? 00:57:05 you rely on word processors 00:57:13 that know about Unicode 00:57:49 ⁻¹ not good enough for you huh 00:57:52 Bike: fix your connection 00:58:05 can't 00:58:43 ummm try harder 00:59:02 -!- kallisti has joined. 00:59:03 -!- kallisti has quit (Changing host). 00:59:03 -!- kallisti has joined. 01:01:53 kmc: so have you convinced them to make the rust syntax less ugly yet..... 01:03:01 rust syntax isn't so bad 01:03:05 -!- Bike has quit (Ping timeout: 256 seconds). 01:03:35 yes it is 01:04:39 you have bested me 01:07:14 -!- Nisstyre-laptop has joined. 01:11:46 no i haven't 01:11:52 someone was arguing a lot about semicolons today in #rust 01:18:17 was it bad 01:19:12 kmc: what about lexical syntax of comments 01:20:40 -!- Nisstyre-laptop has changed nick to Nisstyre. 01:21:48 "This may seem like a sneaky attempt to trick developers, but this behavior is actually specified in HTML5[2]. The navigator.product property must be Gecko and navigator.appName should be either Netscape or something more specific. Strange recommendations, but Internet Explorer 11 follows them." 01:22:41 Oh that's wrong 01:22:43 "Must return either the string "Netscape" or the full name of the browser, e.g. "Mellblom Browsernator". 01:22:43 " 01:25:39 http://stackoverflow.com/questions/14573881/why-the-javascript-navigator-appname-returns-netscape-for-safari-firefox-and-ch 01:26:29 so has anyone created a Mellblom Browsernator yet 01:35:17 -!- Bike has joined. 01:36:21 so does anyone know how to make kernel modules stop being terrible. or at least how i can get their versions to learn that my version is actually a DLL from 1997. 01:37:44 no im pretty sure thats just that dang ol eternal mystery again 01:38:03 what's the mystery 01:38:23 what 01:38:53 disable all kernel modules 01:39:02 -!- Nisstyre has quit (Quit: Leaving). 01:39:26 Oh, what I pasted wasn't wrong, I just misread 01:39:46 kill all humans 01:40:25 "How do I turn this human back on again?" 01:40:32 modprobe soul 01:40:34 "You can't, Android Friend. You killed him." 01:40:36 "NOOOOOOOOOOOOOO" 01:40:48 later Android Friend acquires a taste for blood etc. 01:40:54 many Academy Awards are won 01:53:00 -!- Lymia has joined. 01:53:22 what's this about dlls 01:53:41 shachaf: oh, one interesting thing is that /*! foo bar */ is sugar for #[doc("foo bar")] or so 01:54:21 the latter is an example of an attribute 01:55:02 attributes seem cool to me, I guess they are really no different from __attribute__((foo)) or {-# FOO #-} but the syntax is less hackish, being designed in from the beginning 01:55:11 and they have a standard sort of key-value syntax 01:58:34 well, {-# #-} is "designed in" 01:58:57 well, maybe not entirely so, since it's clearly made to be compatible with comments 01:58:58 anyway, where's this gathering thing 01:59:04 and when 01:59:07 and any details at all 01:59:31 san francisco, tomorrow, evening-ish? 01:59:45 where in san francisco 01:59:49 when evening-ish 02:00:15 i might go to sf earlier in the day 02:00:22 i don't know 02:00:24 via Caltrain? 02:00:25 shachaf: it's not in haskell 98!!! 02:00:33 kmc: it's in 2010, at least 02:00:38 oh yeah 02:00:44 oh, 98 too 02:00:44 http://www.haskell.org/onlinereport/pragmas.html 02:00:47 shachaf: I expect I will be joining you, probably 02:00:49 cool 02:00:52 that would work best 02:01:08 i wish they'd introduce a one-line --# FOO syntax 02:01:26 Gracenotes: sgtm 02:01:39 > let (--#) = (+) in 2 --# 4 02:01:40 6 02:01:48 we will probably meet somewhere in the Mission or SoMa 02:01:52 "i know \"i know\"" 02:01:53 I live at 26th and Bryant 02:02:05 too many acronyms 02:02:05 but we might be watching fireworks from mozilla office at 2 Harrison 02:02:11 but likely not? 02:02:15 anyway shachaf has my phone number 02:02:27 and kmc has mine 02:02:29 no, mozilla will be overful of people already? 02:02:30 i'm still coming 02:02:43 they are not free as in free-fireworks-viewing? 02:02:44 though I do not have kmc's phone number 02:02:45 Gracenotes: they're doing a lottery to see who can go 02:02:54 and have not sent out results yet 02:03:01 Lottery? 02:03:10 Is it a small office that lots of people want to go to or something? 02:03:20 How about first-come-first-serve, get there 2 hours early. that will be fun. 02:03:57 mozilla fireworx, the new web browser written in rust 02:04:16 shachaf: it's a pretty large office but they say it's unsafe to have more than 100 people on the roof deck 02:04:24 ah 02:05:33 I can't help shake the feeling that this some elaborate hazing ritual on kmc 02:05:50 heh 02:06:00 "the ol' roof deck fireworks lottery" 02:09:56 I hope Mozilla employees and friends of Mozilla employees don't do anything dumb like have illicit substances 02:10:02 they would not be a fun party, in that case 02:10:21 i don't understand 02:10:37 well, oh, or SF police just might not care, too. 02:10:39 are you seriously going to be upset if people are smoking weed around you 02:10:42 yes 02:10:54 SF police could not possibly give less of a shit about people smoking weed 02:10:59 kmc: not that upset relatively speaking 02:11:17 being upset about not liking the smell of smoke or something is reasonable 02:11:32 it is a somewhat difficult smell to avoid in sf :'( 02:11:37 and it is polite of people to smoke outdoors / otherwise away from people who mind 02:11:48 I mean, if you want good examples of being not observing proper drug-smoking etiquette, just go to a music festival 02:11:50 but if you're very much against weed-smoking in general then, uh, you probably won't have a good time hanging out with me and my friends 02:12:30 kmc: i was in Weed, CA once 02:12:38 do you smoke weed 24/7 :o 02:12:41 i'm against smoking weeds because you're not meant to just smoke random weeds from your garden......... try some drugs instead 02:13:19 i think smoking weeds, is cruel, to the weeds 02:13:30 elliott: are drugs like drugz? 02:13:38 no, completely different 02:14:11 we need an PSA t-shirt saying "I'm high on Haskell" 02:14:23 im hi on hi 02:14:24 Very effective on youngsters 02:14:24 - mnoqy 02:14:31 ok so my july 4th looks like this 02:14:32 Gracenotes: no, but on a holiday that is largely about looking at pretty explosions, it is safe to assume some weed will be smoked 02:14:37 trondheim -> san francisco -> ??? 02:14:42 or maybe sf comes before trondheim 02:14:50 does anyone else want me to visit 02:15:03 are we having our antarctica trip 02:15:14 why trondheim 02:15:25 kmc: oerjan 02:15:29 -!- sprocklem has joined. 02:15:53 what's oerjan's approximate body weigh 02:16:45 Bike: how close would you say you are to san francisco 02:17:10 hm 02:17:19 let me see if i can "pull a Fiora" for you 02:17:55 what's a fiora and how do you pull it 02:19:08 apparently i don't know 02:19:24 google says a drive would take ten hours, 38 minutes 02:19:32 or ten hours, 41 minutes in present traffic, thanks 02:19:35 sounds right 02:19:37 ok but what if I have wings. 02:19:39 -!- Nisstyre has joined. 02:19:43 -!- nooodl has quit (Ping timeout: 245 seconds). 02:19:45 it would be about 16 hours from where i lived in washington 02:19:57 Bike, how far in miles 02:19:58 how fast do you fly exactly 02:20:02 or maybe 24 hours if you stop to sleep et c 02:20:02 are you offering to like carry me 02:20:10 yes 02:20:11 Phantom_Hoover: 670 02:20:14 hmm 02:20:20 how far are you from new york 02:20:21 thats how much i love you Bike 02:20:27 um 02:20:29 pretty far imo 02:20:30 Phantom_Hoover: way farther 02:20:38 are you trying to like triangulate me 02:20:43 no! 02:20:49 i'd need 3 points for a triangulation 02:20:55 ok well it's 44 hours. 02:21:00 or, in current traffic, 44 hours. 02:21:09 that's a lotta hours 02:21:17 i dont think disatnces that long even exist 02:21:29 british people, am i right 02:21:29 i'm planning to just use two and discard the one that's in the sea 02:21:41 you could just like, ask 02:21:47 `? Bike 02:21:52 Bike is from Luxembourg. 02:21:58 yay, HackEgo is fixed 02:22:00 says where i'm from not where i am! 02:22:03 oh hey HackEgo is fixed. 02:22:05 thanks Gregor 02:22:08 guess san francisco got my note. 02:22:14 i drove from portland to california once :'( 02:22:25 `addquote Hmm, is an Electronic Signature in a PDF file a thing? How do they work? [1] Yes. [2] It doesn't. 02:22:28 i did that too, imo it sucked. 02:22:29 1066) Hmm, is an Electronic Signature in a PDF file a thing? How do they work? [1] Yes. [2] It doesn't. 02:22:33 Phantom_Hoover gets to readd his quote himself 02:22:42 but who gets to writee it 02:23:01 "Take the Interstate 84 E exit toward Ogden/Salt Lake, 589 mi" these directions are great 02:23:13 kmc: ok the plan is for Gracenotes and me to take the train to sf tomorrow and then meet y'all somewhere in soma/mission 02:23:21 Keep left at the fork, follow signs for I-80 E/Cheyenne and merge onto I-80 E 02:23:22 for 1008 miles 02:23:39 1008 miles :'( 02:23:45 bad mile amount 02:23:49 wow it's recommending toll roads 02:23:50 f u google 02:23:52 isn't that like 02:23:58 the earth's radius 02:23:59 Bike: there's an option for no tolls 02:24:00 or most of it 02:24:02 how many walses is 1008 miles 02:24:23 the radius of the earth is apparently 3,959 miles 02:24:24 @google 1008 miles in walses 02:24:27 http://www.distancebetweencities.net/wales_me_and_west-van-lear_ky/ 02:24:27 Title: Distance between Wales, ME and West Van Lear, KY 1008 Miles / 1622 Km 02:24:59 > 2*pi*3959 02:25:00 24875.130631123982 02:25:22 elliott: imo you should come visit 02:25:22 how wide is wales 02:25:38 elliott: use the copumpkin method of travel 02:25:45 i already said i'm visiting tomorrow 02:25:46 lol 02:25:47 is... there a city called wales 02:25:59 Phantom_Hoover: everything in the US is named after something in the isles, yes 02:26:11 anyway this map makes it look like wales is about the size of massachusetts 02:26:12 `the isles' 02:26:14 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: the: not found 02:26:21 so, 1008 miles is like..................... i'm gonna say a hundred waleses at least. 02:27:07 is wales 10 miles 02:27:14 hm, misread as walrus 02:27:14 yeah i think so 02:27:29 there are 8 settlements named wales in the us 02:28:26 oh " It is about 274 km (170 mi) north–south and 97 km (60 mi) east–west" 02:28:28 imagine leaving wales and being like 02:28:30 jeez i miss that place 02:28:40 let's name this place that is definitely far better than wales, after wales 02:28:40 > 1008/97 02:28:41 10.391752577319588 02:28:45 wait that was dumb 02:28:48 > 1008/60 02:28:49 16.8 02:28:50 there. 02:28:55 exacty 16.8 waleses 02:29:03 that's a lot of wales 02:29:51 Space wales. Falling toward the planet over which they happened to come into existence. 02:30:20 elliott, do you hate wales more than scotland 02:30:31 -!- TeruFSX2 has joined. 02:30:37 Phantom_Hoover: can there not be two incomparably great evils in the world 02:30:45 why would you hate scotland 02:30:47 shachaf: sgtm 02:30:52 "We could not calculate directions between Moscow, Russia and Anadyr, Chukotka Autonomous Okrug, Russia." google maps disappoints me 02:31:18 "We could not calculate directions between Moscow, Russia and Beijing, China." oh come on! there's a train 02:31:18 shachaf, because you're from england 02:31:25 and thus can only take self-hatred so far 02:31:48 Bike: can you ask it whether there's a ferry from newcastle to uh what was it, bergen 02:31:49 Bike, sadly they have fixed the bug where ferries are considered zero distance for foot directions 02:31:49 kmc: so you should call me or something when you know concrete plans, probably 02:31:52 Google Maps should make a Soviet Russia joke when it can’t figure out a route in Russia. 02:32:06 anyway /me vanishes for a bit 02:32:27 which meant that if you asked for directions between any two sufficiently distant points in the british mainland it would take you across the irish sea at least twice 02:32:27 or just send a global notice on all of freenode 02:32:37 Phantom_Hoover: awesome 02:32:43 we barely knew ya, shachaf 02:32:56 Phantom_Hoover: i loved that 02:33:14 shachaf: sounds good 02:33:14 i once asked for directions from john o'groats to land's end 02:33:20 how about you call/text me when you arrive in sf 02:33:26 and i can reply with my coördinates 02:33:41 wow, it actually can give you directions from moscow to birobidzhan 02:33:51 Ooh. 2 + 3 = 1 * 5 and 2 * 3 = 1 + 5. 02:33:59 the route went through all 4 UK countries, the republic, the isle of man, and france 02:34:00 Pretty sure I just discovered the greatest mathematical theorem ever. 02:34:04 the instructions consist of "take this highway for 99 hours" but still 02:34:41 Bike: come on how do I get to norway 02:34:57 I know you're thinking well why would you want to but some of our less fortunate friends live there 02:35:26 ok ok i'm done wrestling with russia let me see 02:35:46 tswett: O, you found out things like that. I don't think it is "the greatest mathematical theorem ever"; it is just something you notice. Others notice other things too, not only in mathematics. A while ago I noticed that the initial letters of the first four astrological signs are the same as the initial letters of DNA. 02:35:50 first let me see if it can do newcastle to Birobidzhan 02:35:52 oh my god, it can. 02:35:53 tswett: just find distinct factors of numbers with identical sums hth 02:36:12 7125 miles, 132 hours of driving 02:36:25 ..or the other way around 02:36:36 ok so: you mean bergen norway right 02:36:45 the answer is, it has you drive. 02:37:27 `hpmordate 02:37:28 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hpmordate: not found 02:37:30 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:37:42 through the chunnel, and then a ferry (!!!!!) from larvik to hirtshals. 02:38:17 Bike: i mean trondheim norway 02:38:22 ok 02:38:24 bergen is just where the ferry used to go 02:38:37 yeah basically the same 02:38:41 except you go norther 02:38:48 ok but i don't have a car. 02:38:56 also this takes 29 hours 02:39:03 so, probably should leave like yesterday? 02:39:45 that's ok, Fiora has the time travel thing sorted out. 02:39:58 but seriously, this thing can give you driving directions from hexham to Birobidzhan, that is cool as hell imo. 02:40:19 it's impressive that there is even a way to get to not-hexham from hexham 02:40:36 cant get there from here, as they say 02:41:16 shit yes it does hexham to thailand 02:41:31 "This route has tolls. This route includes a car transport." 02:41:47 also you have to drive through iran. 02:41:51 and burma. 02:41:53 good route 02:42:16 pic pls 02:42:37 "Pass by Zubair Traders and Electronics (on the left in 0.3 mi)" this is the best shit 02:42:44 I had idea of some programming language for Magic: the Gathering cards. One feature is that the printout is different than the input; for example, replacing ~ with the card's name, displaying mana symbols, making reminder text italic, and changing around some of the special programming symbols into printout format (including hiding things if necessary). 02:43:08 elliott: http://goo.gl/maps/lKISo 02:43:25 ummmm that's not a picture 02:43:27 Elliott's Journey 02:43:55 i really like how it talks about like individual roundabouts 02:44:03 yes it's great 02:44:13 you will pass so-and-so petrol station, in waziristan 02:44:15 For example, "Draw =3 cards." means the same as "Draw 3 cards." but prints as "Draw three cards." 02:44:31 "Driving directions to Cape Town, South Africa. This route crosses through multiple countries." 02:44:39 i christen this route "imperialism" 02:44:41 57. Continue onto E-75 02:44:42 Pass by ГРАДСКО САОБРАЋАЈНО ПРЕДУЗЕЋЕ "БЕОГРАД" - САОБРАЋАЈНИ ПОГОН КОСМАЈ (on the right in 3.8 mi) 02:45:04 kazakhstan? 02:45:09 "82. Slight right" jesus 02:45:18 hm yes has you driving through dr congo 02:45:41 so you realise i have to travel this route sometime in my life now right 02:45:53 do you need to go to bangkok 02:46:00 Plurals of subtypes can be indicated by "=s" such as "Destroy all Wall=s." 02:46:11 What other ideas do you have about things like this? 02:46:26 Comments are in parentheses. 02:46:59 Other punctuation has other purposes. 02:47:08 It would take you 100 days to walk without stopping 02:47:09 jesus you can plot to /jakarta/ 02:47:43 Pass by CENTRAL BANK OF INDIA 02:47:47 pretty much just trying to get the longest routes possible atm 02:47:57 this one's 249 hours, 10,289 mi 02:48:19 help i froze my browser 02:48:23 so if you walked for 6.6 hours a day, it would take you a full year 02:48:32 oh there's a ferry from singapore to indonesia. why did i not think of that. 02:49:04 -!- Koen__ has quit (Quit: Koen__). 02:49:33 zzo38: so a markup language? 02:49:51 well, plus programming parts... 02:49:55 if wanted 02:50:11 Bike: We could not calculate directions between Hexham, Northumberland, UK and Antarctica. 02:50:45 elliott: it can do hexham to dili though. 02:51:16 340 hour drive 02:51:36 where is dili. 02:51:52 tswett: 2 + 2 = 2 * 2 hth 02:51:55 We could not calculate directions between Hexham, Northumberland, UK and Tokyo, Japan. 02:51:58 this thing is useless 02:52:21 = 2 ^ 2 02:52:50 Bike: hexham to serbia = success 02:52:55 only 25 hours though. 02:52:59 wait 02:53:00 fuck 02:53:04 serbia isn't where i was thinking of 02:53:10 oh my god I've forgotten what it's called 02:53:18 jesus 02:53:23 help me Bike 02:53:33 Gracenotes: Yes, kind of like that; I meant that it has markup used to reformat for printing, although the computer can also execute it as a program. 02:54:24 how did hexham get significant here? 02:54:35 that is the question nobody can answer, Gracenotes 02:54:40 zzo38: is this to do simulation-y stuff? 02:54:53 Gracenotes: What is "simulation-y stuff"? 02:54:57 presumably the standard libraries ofsuch a language might encode the rules of Magic 02:54:58 Bike: ok seriously, what's the place that's like russia but worse called. 02:55:11 that is literally the best description I have. 02:55:17 zzo38: like, statistical analysis of various decks 02:56:23 Gracenotes: Yes, that is what I mean; the standard libraries include rules of Magic. But I don't really mean statistical analysis (you can still do that, but you don't need to parse the card text as a program to do so); I mean to implement the game in computer. 03:00:33 You would have further syntax for specifying that something is a card name, and so on. 03:03:58 There could be a syntax <|> where the text before | is a program and after | is a comment; only the comment will print (and the <|> won't print). We could also have [] to embed Haskell codes, or whatever it is. 03:04:38 Use {} to delimit mana symbols and other symbols. 03:04:39 Bike: ok seriously, what's the place that's like russia but worse called. <-- belarus? 03:04:58 it's like, in russia. you know. thing 03:06:15 oh. siberia. 03:06:28 http://i.imgur.com/o0EQIlV.png help. they're on to me 03:06:33 oerjan: yes, that. not serbia 03:06:42 GOT YOU 03:07:25 that's probably a picture of Bryggen (Bergen world heritage site) 03:09:41 only remaining hanseatic league office, or something like that 03:10:59 The other thing to do is that ~ and ~~ both mean a reference to itself (even if the text containing the tilde is being applied to a different object, although if it is copied, the text will refer to the copy), but prints as the name of the card. If the name of the card contains a comma, then ~~ will omit the comma and everything that comes after it. 03:12:10 (So there are many syntaxes to mean the same thing; what other programming languages also do the same thing and in a similar way?) 03:17:21 siberia is like 03:17:22 in russia 03:18:13 elliott: btw that Birobidzhan place? EAST OF SIBERIA BRO 03:19:18 geography is too hard when I'm this tired, Bike. 03:21:38 where'd you think a place called Birobidzhan was gonna be 03:21:40 texas? 03:22:29 france 03:36:21 paris, texas, clearly 03:45:04 kmc: ok 03:46:14 elliott: did you ever finish inventing n-dimensional fenceposts 03:47:12 kmc: http://contemplatecode.blogspot.com/2013/07/haskell-weekly-news-issue-272.html 04:06:54 hm i just did https://en.wikipedia.org/w/index.php?title=Esoteric_programming_language&curid=53398&diff=562623568&oldid=562606940 and i've come to think about whether there are any other, disjoint communities of note. didn't there use to be quite a bit of stuff in japanese, which might mean there's a whole disjoint community as well... 04:09:26 we need jsvine to finish that article so we can have more citations on wikipedia 04:12:07 i try to google translate https://ja.wikipedia.org/wiki/難解プログラミング言語 and google tells me the address is invalid :( 04:12:34 you think they'd get that stuff right for a translation tool 04:12:40 *you'd 04:13:20 oerjan: works for me 04:13:27 oh wait hm 04:13:32 well i used the google translate built into chromium 04:13:57 i like these descriptions of languages 04:14:03 oerjan: Japanese esolang & obfuscation community is vibrant (to me), and it is more or less disjoint 04:14:16 to esolangs.org and etc. 04:14:53 _somehow_ i'd got a :443 port into there, it worked when i removed it. 04:14:55 Befunge self-change possible two-dimensional array source code 04:15:13 Lazy K in a pure functional language, rather than the syntax for defining a new function, built-in function does not exist only three 04:15:14 lifthrasiir: so i thought the english wikipedia should have a link to it 04:15:37 oerjan: I think there is no central point in Japanese community though 04:16:21 many activities occur in hatena diaries (Japanese's equvialent to LJs, or similar) of interested people 04:16:51 fungot: you should invent a programming language 04:16:51 shachaf: but big bucks are for it. if it's the code, forcer?... by clog? cmeme does the logging. 04:17:04 exactly 04:17:11 fungot: go for the big bucks 04:17:11 shachaf: okay, maybe someone will rip the eventual dvd subtitles... otherwise it works just as well? 04:17:37 also note that the community itself is smaller, but they have managed to make esolang and obfuscation (specifically code golfing) to a general pastime of Japanese programmers somehow 04:18:27 I don't know how it was possible 04:18:35 lifthrasiir: it seems like it overlaps significantly with golf in japan 04:18:41 to a greater extent than in the west 04:18:45 but i don't know how true this is 04:19:09 elliott: yes, code golfing is a lot popular in Japan than in the west (I think) 04:19:11 oh you just said that 04:19:38 and some of code golfers happen to be interested in esolangs 04:20:21 -!- sprocklem has quit (Remote host closed the connection). 04:20:43 I haven't seen such unexpected popularity in Korea 04:21:48 (popularity, is of course relative, and we all know most programmers don't know even their existence, but golfing is relatively popular in Japan than in the west...) 04:25:18 i think any programming culture which has these kind of oddities at the forefront is pretty great 04:34:00 Bike: oh _Mathematics Made Difficult_ is good 04:34:28 is there golfing with assembly, like, writing the shortest assembly program in bytes? I guess demos are a little like that 04:34:47 so i've herad 04:34:48 heard 04:34:51 Yep. 04:34:57 There is also https://en.wikipedia.org/wiki/Superoptimization 04:35:14 -!- epicmonkey has joined. 04:35:26 it doesn't count in assembly since it might actually be useful. 04:35:37 True. 04:36:00 Fiora: imo we should play x86 golf 04:36:18 I don't think it's actually useful 04:36:24 like, you can do totally silly things that are really slow 04:36:38 but small 04:36:55 There are always extreme cases. 04:37:04 but that's the fun part! doing silly things 04:37:23 except when i do them 04:37:27 and then it's called being confusing 04:38:37 OK, I guess I'll fix lens instead. 04:41:21 zzo38: Aries, Taurus, Gemini, Cancer... HOLY SHIT 04:41:24 -!- Gracenotes has quit (Changing host). 04:41:24 -!- Gracenotes has joined. 04:41:36 They're in the wrong order, though. Everyone knows the order is GCAT, not ATGC. 04:42:06 I didn't know there is an order of the DNA. 04:47:11 Unrelated: I like how there's some consensus about what the most important mathematical concept is. 04:48:00 Namely, the function. 04:48:02 there's a lot of consensus about what the easiest mathematical concept is, too 04:48:27 Hm. Lemme try to think what I think the easiest mathematical concept is. 04:48:58 I'm gonna say... the contrapositive of the substitution principle. If two things differ in some way, then they are not the same thing. 04:49:09 leibniz equality? 04:50:43 Bike: help you're not even in #haskell 04:50:50 Hm. The Leibniz equality reminds me of a certain philosophical argument that there should be no uncountable sets. 04:50:55 why would i be in #haskell. 04:51:33 because ion is talking about leibniz equality in #haskell 04:51:44 Uncountable proper classes are okay, but there should be no uncountable sets. The idea is that given two different uncountable sets, it may be impossible to distinguish between them even given an infinite amount of time. 04:51:47 ok but that's some weird typery i don't really care about. 04:52:02 And if two things are impossible to distinguish, they should not be considered different. 04:52:08 So, uncountable sets should not be admitted. 04:52:21 tswett: sounds............. constructive 04:55:37 -!- epicmonkey has quit (Read error: Operation timed out). 04:58:37 -!- zzo38 has quit (Quit: zzo38). 05:09:15 well i still don't know if there's a way to get a pointer to the Japanese community into wikipedia, but at least i found the KEMURI language to add to our wiki. 05:16:09 -!- Poolala has joined. 05:17:34 i wonder which IE designer had the bright idea of excluding https links from the _users own log_... 05:34:21 -!- geo5 has joined. 05:34:24 -!- geo5 has left. 05:53:01 It's Not About The Nail http://youtu.be/-4EDhdAHrOg 06:04:33 -!- Bike has quit (Ping timeout: 256 seconds). 06:05:48 -!- Bike has joined. 06:14:32 -!- Poolala has quit (Quit: Page closed). 06:20:33 -!- FreeFull has quit. 06:22:57 -!- TeruFSX2 has quit (Ping timeout: 248 seconds). 06:24:39 ion: and sometimes it really _isn't_ about the nail but everyone insists it is. 06:25:40 or maybe i just am that lady, sigh. 06:26:05 Sometimes the nail is just a penis. I mean a nail. 06:26:21 thank you, freudzie 06:38:44 -!- Nisstyre has quit (Quit: Leaving). 07:21:21 -!- heroux has quit (Ping timeout: 246 seconds). 07:22:38 -!- Bike has quit (Ping timeout: 245 seconds). 07:23:00 i don't even get lambdabot to work with irc :( 07:23:16 -!- heroux has joined. 07:24:15 > "but i work just fine!" 07:24:16 "but i work just fine!" 07:25:12 do you have any idea what the parameters of the irc-connect function actually are? 07:25:58 i assume network name, network address, port, user name, ???, ??? 07:26:20 the last two may be passwort and join message or the like, but i'm pretty unsure 07:29:32 myname: you forgot the name and bloodtype of your firstborn 07:29:37 hth 07:29:51 oerjan: that's because there is no firstborn 07:30:10 ah. well then you cannot run lambdabot sorry 07:30:15 damn 07:31:33 i found nothing that looks like a documentation, though 07:31:47 @help irc-connect 07:31:47 irc-connect tag host portnum nickname userinfo. connect to an irc server 07:32:02 "yeah, there is this online.rc file, but we won't tell you what it looks like" 07:32:14 i see 07:32:23 tag, hostname, port, nick, user 07:32:25 how do i set a server password? 07:32:39 My lambdabot came with an online.rc... 07:32:43 I don't know if you can. 07:32:58 mine didn't 07:33:30 I guess ellimokus got rid of it. 07:33:32 i just threw out cabal install and got a dictionary with a bunch of binaries 07:33:51 Maybe try "cabal unpack lambdabot" 07:34:30 and then making the setup steps myself? 07:34:46 i really don't see the advantages, but well 07:35:09 if i can't provide a server password, it may be pretty useless for me nontheless 07:37:54 -!- sebbu2 has joined. 07:38:21 in the unpacked online.rc is "password.rc" as a parameter of the irc-connect command, but i don't find password.rc ... 07:39:54 -!- sebbu has quit (Ping timeout: 246 seconds). 07:45:07 -!- oerjan has quit (Quit: Argh). 07:45:29 -!- mnoqy has quit (Quit: hello). 07:47:09 -!- Taneb has joined. 07:47:36 :) 07:54:29 oh dear, just looking at the code makes me crying blood 07:55:32 :( 07:55:53 Which code? 07:55:58 "how hard can it be to look at how to add a password" 07:56:07 stupid me 08:08:52 -!- kallisti has quit (Ping timeout: 276 seconds). 08:44:34 -!- Taneb has quit (Ping timeout: 256 seconds). 08:53:32 shachaf: it was inevitable really 08:53:54 ? 08:54:00 Oh, your quote. 08:57:14 drugz https://fbcdn-sphotos-e-a.akamaihd.net/hphotos-ak-prn1/1015321_10200452898865210_1550553282_o.jpg 08:57:46 drugz doing drugz #drugs 08:57:57 help where did that s come from 08:58:43 OH NO 09:02:17 ion: do you have a link / translation? 09:03:03 It’s just a boring article about people using more cannabis, the image was the funny part. 09:03:24 @ask zzo38 Are there TeX macros for typesetting Magic: the Gathering cards? 09:03:24 Consider it noted. 09:03:43 ion: yeah so why is there a syringe 09:03:50 someone is confused 09:03:57 kmc: http://repo.or.cz/w/TeXnicard.git 09:04:25 btw if the article says: how many people in your fair country smoke weed, anyway 09:04:39 oh good 09:05:31 huh, zzo338 runs an irc server 09:06:07 http://slbkbs.org/zzo38-irc.txt 09:06:42 what 09:07:06 +HITLER sounds awsome. 09:07:08 e 09:07:14 /join +HITLER 09:07:35 what's a + channel anyway 09:08:05 These unmoderated channels work almost exactly the same as '#' channels, except nobody can obtain channel operator status on them. Some implementations seem to set the channel mode to '+nt' upon creation, however most implementations act as if modes +nt are set but don't announce them as being set. 09:08:17 kmc: The only numbers in the visible part of the article are about 132 drugz-related crimes in Central Ostrobothnia last year, 114 in the preceding year. 09:08:43 ion: if i drugz will i become a criminal 09:08:46 is "having drugz" a drugz-related crime 09:09:53 kmc: I think so. The paragraph talks about “crimes related to the use and sales of cannabis”, which probably means “the use and sales of cannabis”. 09:10:08 then kind of a bullshit metric imo 09:10:20 y'all should join me on zzo38computer.org 09:10:22 port 194 09:10:29 is that the ICANN port for IRC? 09:10:39 irc 194/tcp 09:10:50 amazing 09:10:57 (IANA? whoever) 09:11:21 I,I reddit.com/r/IANA 09:32:06 -!- sacje has quit (*.net *.split). 09:32:06 -!- conehead has quit (*.net *.split). 09:37:49 -!- sacje has joined. 10:01:34 -!- Phantom_Hoover has joined. 10:13:44 https://crypto.cat/ http://tobtu.com/decryptocat.php 10:14:45 good cryptography 10:43:57 -!- nooodl has joined. 10:58:00 -!- Taneb has joined. 11:22:31 -!- itsy has quit (Ping timeout: 246 seconds). 12:11:23 -!- sacje has quit (Quit: sacje). 12:34:58 -!- conehead has joined. 12:36:55 -!- MindlessDrone has joined. 13:17:35 for some reason dbelange has an urban dictionary entry 13:18:07 (so does zzo) 13:20:16 "buy zzo38 mugs & shirts" it is amuse 13:20:32 Sadly there are no statistics as to how many have been bought. 13:20:56 Did you know that: I have one too. (But it's not one I'm very proud of.) 13:22:08 -!- Koen_ has joined. 13:22:26 -!- Koen_ has quit (Client Quit). 13:22:43 -!- Koen_ has joined. 13:23:10 -!- Koen_ has quit (Read error: Connection reset by peer). 13:23:13 -!- Koen__ has joined. 13:27:34 -!- Taneb has quit (Quit: Leaving). 13:32:59 -!- katla has joined. 13:44:38 -!- TeruFSX2 has joined. 13:44:39 -!- mnoqy has joined. 13:48:08 fizzie, you do? 13:48:22 i tried 'fizzie' but it just came up with the standard ridiculous sex act 14:02:29 -!- sacje has joined. 14:21:53 Yes, the standard ridiculous sex act is what I meant. 14:22:25 Also "The act of shoving Pop-Rocks (TM) into the male penis via the urethra. [add a video]" please don't add a video 14:34:29 Why, would you be obliged to watch it because it depicts something named after you, or something? 14:34:56 i don't think that's a video the world needs to contain 14:36:51 just do it 15:02:06 Deewiant: Isn't that how it works? (But also what P_H said.) 15:16:07 -!- TeruFSX2 has quit (Ping timeout: 264 seconds). 15:23:58 -!- sivoais has quit (Ping timeout: 252 seconds). 15:27:07 -!- Taneb has joined. 15:30:00 -!- mnoqy has quit (Quit: hello). 15:35:42 -!- katla has quit (Quit: My damn controlling terminal disappeared!). 16:03:19 -!- Taneb has quit (Quit: Leaving). 16:09:32 -!- katla has joined. 16:25:42 -!- sebbu2 has changed nick to sebbu. 16:28:10 -!- conehead has quit (Quit: Computer has gone to sleep.). 16:31:28 8j0 ÷ 0j1 gives me 0J0.125. what the shit 16:32:04 err, wait, 0j8. 16:33:24 oh it's still wrong... how do you mess up complex division, guy who made this 16:34:23 -!- conehead has joined. 16:34:23 it's pretty complex 16:34:49 that's not even a real pun fuck you 16:35:06 Bike: dont question me 16:35:20 that wasn't a question! 16:35:24 it was a statement< 1372972322 964856 :Gregor!~Gregor@libdl.so PRIVMSG #esoteric :`echo hi 21:12:05 hi 21:12:09 basically glogbot just gives up after some hours each day, it seems 21:12:33 (which you'd, like, expect if the disks are full i guess) 21:21:24 -!- Taneb has quit (Quit: Leaving). 21:23:55 Bags packed ready for Silicon Dreams tomorrow :-) 21:24:15 * itsy hopes they're selling some cool stuff... 21:24:36 is that the electric sheep kind of dreams 21:26:10 oerjan: http://www.silicondreams.org.uk no sign of electric sheep :-( 21:28:20 looks charming 21:44:35 -!- TeruFSX has joined. 21:54:29 -!- Nisstyre-laptop has joined. 22:19:17 -!- nooodl_ has joined. 22:20:21 -!- nooodl has quit (Ping timeout: 252 seconds). 22:41:58 dammit i think cabal is breaking because i named by new laptop's user "Ørjan" 22:42:29 it compiles everything fine and then gives invalid byte sequences on the final registrations 22:43:05 hah 22:44:00 cute 22:46:20 oerjan: nasty 22:46:28 surprising that they don't handle that, maybe there's an issue for it... 22:47:12 oh no the "new haskell script" shortcut from the file browser isn't there. hm maybe it was actually hugs that made that on my old laptop, way back. 22:48:17 elliott: of course if they _have_ fixed it, i probably cannot install the fixed version D: 22:49:20 oerjan: sounds like an excellent time to install linux >:) 23:02:01 right after i get rid of this crippling loss of motivation to do anything involving yak shaving. (except agoran Yaks, they're cool.) 23:03:20 clearly what I need to do is bring an ubuntu CD to trondheim. 23:12:22 -!- maddock has joined. 23:23:38 -!- nooodl_ has changed nick to nooodl. 23:25:19 i'm blanking on a clever way to compute x // 2 + x // 4 + x // 8 + ..., help 23:25:35 if x = 2^n it's n-1 but that's all i got 23:26:47 oh, i guess i can just iterate //2, that's something 23:27:26 what's // and how's its precedence 23:27:43 integer division 23:27:58 i forget the actual way you write it 23:29:31 presumably depends on language (haskell is `div` or `quot`) 23:29:53 tryin' to be all mathy here donchaknow 23:29:58 but like 15 // 2 = 7, 16 // 2 = 8, etc 23:30:10 in that case [ x / 2 ] is one way 23:30:35 er, i'm guessing [] isn't iverson bracket 23:31:00 except _ideally_ without top horizontal part of brackets 23:31:21 no, it's floor 23:31:28 er, how's that wor. 23:31:29 work 23:31:32 Bike wouldn't that give a similar result as multiplying by MAXINT-1 and taking the high word of the result? Which might be similar to computing 0-x. 23:32:15 itsy: i think you get trouble with the bits you want to cut off giving carry into the bits you want to keep 23:32:48 well like, this(15) = 11 for instance 23:32:59 also i'd kind of like to generalize it to bases other than two. 23:33:15 oerjan: surely [...] is rounding 23:33:16 ...now you're just being difficult :P 23:33:29 or alternatively, doesn't it have to be ceiling as well. 23:33:45 well floor(15/2) isn't 11 anyway so i don't get what oerjan meant. 23:33:53 elliott: i vaguely thought it meant floor by default, but you always want 23:34:04 Bike: i mean 15 // 2 = floor (15 / 2) 23:34:05 Bike: he meant for denoting integer division 23:34:11 oh 23:34:13 boring 23:34:18 oerjan: I always want? 23:34:33 *always want to cut off top or bottom for clarity 23:35:06 right 23:35:14 `relcome maddock 23:35:21 ​maddock: 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.) 23:35:23 http://en.wikipedia.org/wiki/Floor_and_ceiling_functions#Notation 23:35:54 itsy: i'm not sure what you meant but (x * (2^n)-1) >> n doesn't work 23:36:16 Bike: what i'm thinking is this is sort of a summing of a triangle of bits 23:36:54 elliott: clearly you cannot consider gauss to be _wrong_ hth 23:36:57 maybe start with y=1, result=0. If the right bit of x is set then result=result+y. Then shift x right. shift y left and add 1. Then repeat until x=0 23:37:31 oerjan: pfft, what's gas but a load of hot air 23:37:54 oerjan: kind of bizarre that APL lead to a change in common mathematical notation... 23:38:06 for such simple operations 23:38:27 well who uses floor and ceiling besides CS people anyway 23:38:34 oerjan: btw i have no idea what triangle of bits means 23:38:47 Bike: oh now i see the confusion - the notation _was_ invented by iverson, but it's not what's called "iverson brackets" :P 23:38:53 oh, yeah, no 23:39:02 iverson brackets is [foo] = 1 if foo is true, 0 otherwise 23:39:08 kinda useful but not like. related. 23:39:24 I think Dijkstra liked those 23:39:35 though he hated APL I guess 23:39:47 dijkstra hated everything, though 23:39:55 oh maybe it was Knuth who liked it 23:40:02 oh yeah he uses it all the time 23:40:05 Bike: yeah but he was cuddly on the inside. 23:40:25 so are hedgehogs 23:41:13 hedgehogs are great 23:42:42 tru 23:43:42 Knuth uses it in his book 23:44:03 can you express the halting problem as an iversen bracket 23:44:22 maybe it would have to be two brackets nested 23:45:10 H(x) = [x halts] 23:46:28 what i really wanted was an iverson bracket you cant give the value 0 or 1 to 23:53:06 i can't give a value to [is {some set of matrices} mortal] :P 23:53:37 but that does have a value 0 or 1 23:53:40 even if we cant find it 23:54:00 well an iverson bracket is defined to have a value of 0 or 1. 23:54:07 that's just... how it's defined 23:55:00 well X = [X = 0] can't be given a value. 23:55:08 I still think there's some non recursive X I could write [X] and argue that it cant be given as 0 or 1 23:55:50 what's the difference between "does have a value [...] even if we cant find it" and "cant be given as 0 or 1" 23:55:52 and I think you can do it with 2 []'s but not 1 23:56:09 elliott: heh 23:56:17 I would assume that for any given P you can prove ~([P] <> 0 /\ [P] <> 1) 23:56:21 Bike i want an actual contradiction from assuming [X] = 0 or [X] = 1 23:56:34 elliott what if P includes iverson brackets too? 23:56:35 well uh, elliott gave that 23:56:43 nonrecursive 23:56:45 and excluded middle gives [P] = 0 \/ [P] = 1 presumably 23:56:52 katla: well, hmm 23:56:56 oh, i thought you meant "recursive" like "computable" 23:56:58 yeah, I don't actually know 23:57:06 elliott's is just the liar paradox and there are nonrecursive liar paradoxes 23:57:34 (quick, how do you do yields falsehood) 23:57:37 like, I think the function [-] : Prop -> 2 existing is just equivalent to LEM? 23:58:05 to go from that to LEM is easy, you just plug the proposition into the function and then you get either a proof of P or not P by the definition of [-]. 23:58:19 to go the other way, you define the function by casing on whether the proposition you're given is true or not. 23:58:56 sounds legit