00:01:54 http://spacecollege.org/isee3/we-are-now-in-command-of-the-isee-3-spacecraft.html 00:14:55 -!- Rugxulo has quit (Quit: ERC Version 5.3 (IRC client for Emacs)). 00:30:17 -!- Phantom_Hoover has quit (Quit: Leaving). 00:49:19 -!- not^v has joined. 01:02:17 "This is the kind of movie where a man shitting in a hat is not enough; he must shit in two hats, and then spill one of them in close-up." 01:08:30 is this re: the ISEE 01:10:08 nope, this is some unrelated shit 01:20:30 -!- rottytooth has quit (Quit: HydraIRC -> http://www.hydrairc.com <- Wibbly Wobbly IRC). 02:10:55 http://www.reddit.com/r/ruby/comments/26st9q/got_missing_methods_solution_method_not_missing/ 02:22:21 http://new.livestream.com/spacex/DragonV2 02:25:39 that countdown was awesome 02:25:50 hah 02:29:24 -!- MoALTz has quit (Read error: Connection reset by peer). 02:30:11 -!- MoALTz has joined. 02:42:26 http://en.wikipedia.org/wiki/HAL/S#Syntax 03:01:26 -!- aretecode has quit (Ping timeout: 255 seconds). 03:04:14 Hum. I don't think my solution on XSS-Game level 6 was the intended one 03:05:07 V hfrq n qngn HEV 03:06:27 hff wrx furfu xecp ntower 03:06:49 *furffu 03:07:01 *furrfu 03:08:17 Only one of those words is rot13? 03:08:54 ebg13 vf uneq 03:08:55 did you know that if you pick a random series of letters there's a 50% chance that it's rot13 for D I C K S Q U A D 03:08:57 the rest are rot26 03:10:18 Bike: snfpvangvat 03:10:48 β…… 𝕀 β„‚ 𝕂 π•Š β„š π•Œ 𝔸 𝔻 03:11:07 that's not rot13 Bike 03:11:16 `unidecode β…… 𝕀 β„‚ 𝕂 π•Š β„š π•Œ 𝔸 𝔻 03:11:17 ​[U+2145 DOUBLE-STRUCK ITALIC CAPITAL D] [U+0020 SPACE] [U+1D540 MATHEMATICAL DOUBLE-STRUCK CAPITAL I] [U+0020 SPACE] [U+2102 DOUBLE-STRUCK CAPITAL C] [U+0020 SPACE] [U+1D542 MATHEMATICAL DOUBLE-STRUCK CAPITAL K] [U+0020 SPACE] [U+1D54A MATHEMATICAL DOUBLE-STRUCK CAPITAL S] [U+0020 SPACE] [U+211A DOUBLE-STRUCK CAPITAL Q] [U+0020 SPACE] [U+1D54C M 03:11:50 `unidecode β……π•€β„‚π•‚π•Šβ„šπ•Œπ”Έπ”» 03:11:50 ​[U+2145 DOUBLE-STRUCK ITALIC CAPITAL D] [U+1D540 MATHEMATICAL DOUBLE-STRUCK CAPITAL I] [U+2102 DOUBLE-STRUCK CAPITAL C] [U+1D542 MATHEMATICAL DOUBLE-STRUCK CAPITAL K] [U+1D54A MATHEMATICAL DOUBLE-STRUCK CAPITAL S] [U+211A DOUBLE-STRUCK CAPITAL Q] [U+1D54C MATHEMATICAL DOUBLE-STRUCK CAPITAL U] [U+1D538 MATHEMATICAL DOUBLE-STRUCK CAPITAL A] [U+1D5 03:12:25 wait is that blackboard bold 03:12:28 hackego wants the d 03:13:02 In addition, a blackboard-bold Greek letter mu (not found in Unicode) is sometimes used by number theorists and algebraic geometers (with a subscript n) to designate the group (or more specifically group scheme) of n-th roots of unity. 03:13:13 so even with all these bullshit characters they're missing ones mathematicians actually use 03:13:46 nice 03:20:00 Do they have blackboard-bold aleph though? 03:21:37 do they have blackboard-bold multiocular O 03:22:13 `unidecode β˜† 03:22:13 ​[U+2606 WHITE STAR] 03:22:19 blackboard-bold white star? 03:36:35 -!- conehead has quit (Ping timeout: 252 seconds). 03:38:39 black hole sun 03:40:27 -!- conehead has joined. 03:44:49 won't you come? 03:52:15 Black Sun, Blaxxun. I miss Cybertown 03:52:25 Also, no green sun? 03:56:28 Sgeo (only): in what modern country was the mayan civilization located? 03:56:55 I'm guessing either US or Mexico, but I'm not certain 03:59:35 it was no modern country hth 04:00:06 * oerjan wikipedes 04:01:42 no country for old mayans 04:05:10 quintopia: excuse me did you mean that as a joke or as a trick question, i need to know why to swat you twh 04:06:57 oerjan: it's a serious question. and mexico (or more specifically yucatan peninsula) is what i was looking for. (i hope you won't swat me for not writing out the longwinded version that makes it clear that i realize maya and mexico never coexisted) 04:07:33 no, no. 04:07:59 * oerjan swats quintopia for not realizing the maya civilization included parts outside mexico -----### 04:08:17 damn that would have been doubly longwinded 04:08:56 the point was to find out what country random people most associate maya with. not whether they can list all the countries it overlapped. 04:09:33 if i recall correctly, the last independent maya kingdom conquered by the spanish was in nicaragua. 04:09:59 ic 04:10:24 * oerjan learned that too on wikipedia 04:11:10 wikipedia makes everyone experts! 04:11:45 hm wait 04:11:52 * oerjan needs to check that 04:13:06 was probably guatemala. sound practically alike! 04:14:55 yeah one of my random pollees said "southern mexico, belize, and guatemala". she's too smart. 04:15:10 i would have said "mexico and probably some other places" 04:16:42 there are several nicaraguan and guatemalan restaurants within a short walk of my house 04:17:50 two last cities conquered in 1697 04:18:14 used to live near a good el savadoran restaurant 04:18:28 good times 04:22:22 wait am i forgetting to eat again -> 04:24:52 http://imgur.com/gallery/Jb6jW 04:26:32 complete comfort sounds pretty good 04:26:57 FULL ABSOLUTE PROTECTION OF MICROCHIPS IMPLANTED INTO THE HUMAN !!! 04:27:06 "It's like a pipboy... for your house!!" son, 04:29:00 -!- tertu3 has joined. 04:31:51 -!- not^v has quit (Read error: Connection reset by peer). 04:33:19 -!- tertu3 has quit (Client Quit). 04:33:41 -!- tertu3 has joined. 04:36:17 what 04:36:54 a comment on the images 04:42:15 what is your reaction meant to mean, though 04:42:36 cruelty. 04:53:51 okay 04:53:56 fungots fall on fungot falls 04:53:56 kmc: but i don't believe i ever said anything about compiling))) you only need to work?' 04:54:51 -!- ter2 has joined. 04:54:51 -!- tertu3 has quit (Read error: Connection reset by peer). 04:54:59 -!- ter2 has changed nick to tertu. 04:59:51 http://www.computerhistory.org/revolution/minicomputers/11/362 05:01:30 fungot: what is your opinion on rockets 05:01:30 oerjan: s/ a comment/ fnord" is what i do actually know one or two sml implementations. scheme has so many parentheses, though? 05:01:51 fungot: that doesn't seem very relevant 05:01:52 oerjan: the implementation is flawed. why do you wanna try my hand at porting it to common lisp, i personally am not a toy" or " fnord". 05:02:09 fungot: oh. sorry about that. 05:02:09 oerjan: ' vehemently blurry' would be an idea to let users with commit access put eggs online too?! 05:02:10 -!- MoALTz_ has joined. 05:02:25 http://blog.bryanbibat.net/2014/01/30/obligatory-hearthstone-post-from-a-former-magic-player/ 05:04:10 oddly, recipes were probably actually my first exposure to computers. 05:04:18 my parents' cookbook still has printed emails from the 90s in it 05:05:07 -!- MoALTz has quit (Ping timeout: 258 seconds). 05:27:39 [wiki] [[Talk:Rail]] M http://esolangs.org/w/index.php?diff=39721&oldid=39719 * Oerjan * (+48) unsigned, move to end of intro 05:29:36 -!- kmc has set topic: Vehemently blurry | brainfuck survey: https://www.surveymonkey.com/s/L82SNZV | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/. 05:32:11 -!- not^v has joined. 05:32:14 [wiki] [[Talk:Rail]] M http://esolangs.org/w/index.php?diff=39722&oldid=39721 * Oerjan * (+36) Move this long comment to own section 05:35:46 -!- edwardk has quit (Quit: Computer has gone to sleep.). 05:37:42 -!- edwardk has joined. 05:42:22 is the set of lambda calculus terms that reduce to themselves in n steps r.e.? 05:52:24 oh, yes. 05:52:40 just try all n step reductions on each term 05:53:23 there's only a finite number of options in each step 06:07:22 -!- oerjan has quit (Quit: leaving). 06:08:58 -!- password2 has joined. 06:09:07 recursive, too, then. 06:21:13 -!- fowl has quit (Ping timeout: 252 seconds). 06:22:56 -!- fowl has joined. 06:26:42 -!- MoALTz_ has quit (Quit: Leaving). 06:41:22 -!- KingOfKarlsruhe has joined. 06:41:55 -!- not^v has quit (Ping timeout: 240 seconds). 06:42:46 -!- not^v has joined. 06:57:10 -!- MindlessDrone has joined. 07:04:27 -!- conehead has quit (Quit: Computer has gone to sleep). 07:10:50 [wiki] [[User:Rdebath]] http://esolangs.org/w/index.php?diff=39723&oldid=39264 * Rdebath * (+10728) /* Performance Matrix */ 07:11:56 [wiki] [[User:Rdebath]] http://esolangs.org/w/index.php?diff=39724&oldid=39723 * Rdebath * (-7112) /* Performance Matrix */ 07:21:47 -!- password2 has quit (Ping timeout: 260 seconds). 07:33:55 -!- Patashu has joined. 07:38:20 -!- Sorella has quit (Quit: It is tiem!). 07:45:53 [wiki] [[User:Rdebath]] http://esolangs.org/w/index.php?diff=39725&oldid=39724 * Rdebath * (+271) /* Interpreter List */ 08:07:43 [wiki] [[User:Rdebath]] http://esolangs.org/w/index.php?diff=39726&oldid=39725 * Rdebath * (-1758) /* Interpreter List */ 08:14:47 -!- Patashu_ has joined. 08:14:47 -!- Patashu has quit (Disconnected by services). 08:30:02 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 08:35:42 -!- Slereah_ has quit (Ping timeout: 245 seconds). 08:36:07 -!- Slereah_ has joined. 08:46:21 * impomatic is just preparing to catch the train to Cambridge for the Core War tournament tomorrow :-) 08:47:05 I should be on IRC to post live updates from the tournament. 08:49:24 there are core war tournaments? 08:49:31 like, offline? 08:49:42 i'm impressed 09:01:47 -!- slereah has joined. 09:01:49 Hello 09:06:57 I launched a perceptron with 3300 inputs 09:07:13 I may as well go home because it's not gonna be over until next week 09:46:09 myname: yes, tournaments for a few other games too, notably Robocode :-) 09:46:28 There've been offline CW tournaments in France and Austria so far this year. 09:46:40 impomatic: i'd love robocode if it'd be less java 09:47:28 I think you can play robocode with Scala. (unless I just imagined it) 09:47:46 that'd be interesting 09:48:01 There are similar games anyway, CROBOTS, TclRobots, Scalatron, etc 09:48:19 -!- impomatic has left. 09:48:20 is there some programming game with curses ui? 09:59:59 When I was little I had a computer game that taught basic maths (stuff like addition, subtraction, multiplication, division for easy numbers) 10:00:26 The story of the game was that the local Mathemagician had been kidnapped and you had to explore the scary forest to save him 10:00:41 I... used to speedrun that game when I was 6 10:00:49 And now I can't remember the name 10:06:23 -!- Guest53344 has quit (Changing host). 10:06:23 -!- Guest53344 has joined. 10:06:39 -!- Guest53344 has changed nick to skarn. 10:11:25 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 10:13:54 Taneb: is it a PC game? or what other game system platform? 10:14:04 PC 10:14:11 iirc it was point-and-click 10:14:24 I probably have the CD at home 10:18:14 On another note... 10:18:41 You know how I have the Haskell lib "groups"? 10:19:52 I am tempted to add a RULES pragma saying "mappend (invert a) (invert b) => invert (mappend b a)" 10:21:10 On the basis that invert can be "division", and division is expensive 10:35:32 we have this course for maths students in their 4th semester 10:35:54 and there is that one assignment 10:36:03 "draw a platypus" 10:36:37 -!- boily has joined. 10:47:02 Taneb: but that sort of depends on what type a and b are; sometimes (mappend (invert a) (invert b)) is actually cheaper, sometimes more expensive 10:47:19 That's why I've hesitated 10:48:17 maybe add two semantic synonyms to invert, one that prefers to remain separate, and one that prefers to merge; 10:49:04 or, um, perhaps define this RULES for only some types 10:51:32 Anyway, I'm off to get some lunch and then do an exam 10:51:34 Bye! 11:02:47 -!- Phantom_Hoover has joined. 11:12:37 off to get some bike and do work. 11:12:40 Γ  plus! 11:12:42 -!- boily has quit (Quit: Poulet!). 11:27:41 -!- Patashu_ has quit (Ping timeout: 255 seconds). 11:46:19 -!- mhi^ has joined. 12:04:10 -!- Sgeo has quit (Read error: Connection reset by peer). 12:14:26 -!- Fodor_ has joined. 12:43:04 -!- yorick has joined. 13:11:16 -!- aloril has quit (Ping timeout: 252 seconds). 13:22:49 -!- not^v has quit (Read error: Connection reset by peer). 13:23:17 -!- not^v has joined. 13:24:11 -!- aloril has joined. 13:26:59 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 13:42:14 -!- conehead has joined. 14:25:06 A concrete truck and a concrete truck http://i.imgur.com/80tB0.jpg 14:25:10 -!- Fjlb has joined. 14:29:03 fucked that one up 14:29:18 this was more impressive: http://www.independent.co.uk/news/uk/home-news/victoria-line-cement-flooding-fixed-workers-used-sugar-to-stop-spilled-concrete-from-setting-9082206.html 14:31:03 -!- mihow has joined. 14:31:48 nice 14:39:34 -!- tertu has quit (Disconnected by services). 14:39:34 -!- ter2 has joined. 14:41:52 -!- Sprocklem has joined. 14:45:24 -!- Sprocklem has quit (Client Quit). 14:46:15 -!- Sprocklem has joined. 14:46:52 -!- Fjlb has quit (Ping timeout: 260 seconds). 14:49:07 -!- not^v has quit (Ping timeout: 240 seconds). 14:51:56 -!- not^v has joined. 14:54:28 -!- Sprocklem has quit (Quit: brb). 14:55:03 -!- Sprocklem has joined. 15:02:41 -!- KingOfKarlsruhe has quit (Quit: Leaving.). 15:25:07 -!- not^v has quit (Ping timeout: 240 seconds). 15:43:40 -!- Phantom_Hoover has joined. 15:56:18 -!- slereah has quit (Quit: Leaving). 16:03:25 -!- edwardk has quit (Quit: Computer has gone to sleep.). 16:05:39 -!- Sprocklem has quit (Quit: Bye). 16:22:44 -!- mihow has quit (Quit: mihow). 16:26:23 -!- mihow has joined. 16:30:15 -!- mihow has quit (Client Quit). 16:32:56 -!- yorick has quit (Remote host closed the connection). 16:39:51 Someone elsewhere did approximately this: 16:39:56 @___@ 16:39:56 Unknown command, try @list 16:40:06 With that particular response. 16:40:45 hmm 16:40:53 is that unexpected 16:41:06 My copy of Parallel and Concurrent Haskell arrived :D 16:41:34 it's certainly not unexpected as far as lambdabot is concerned. 16:41:36 Bike: Not really, I just found it amusing. 16:50:33 -!- nooodl has joined. 16:59:19 -!- erdic has quit (Remote host closed the connection). 17:00:42 -!- MindlessDrone has quit (Ping timeout: 255 seconds). 17:17:23 Paraskell 17:17:27 -!- MindlessDrone has joined. 17:25:58 -!- edwardk has joined. 17:29:38 -!- Sprocklem has joined. 17:35:27 -!- mihow has joined. 17:37:13 -!- aloril has quit (Ping timeout: 258 seconds). 17:42:48 -!- ter2 has changed nick to tertu. 17:44:30 -!- not^v has joined. 17:49:38 -!- aloril has joined. 17:51:50 -!- edwardk has quit (Quit: Computer has gone to sleep.). 17:53:07 -!- MoALTz has joined. 17:54:13 -!- Sprocklem has quit (Quit: bbl). 17:57:00 -!- edwardk has joined. 18:04:10 [wiki] [[Goldfish]] http://esolangs.org/w/index.php?diff=39727&oldid=39650 * GermanyBoy * (+1373) 18:15:01 [wiki] [[Goldfish]] http://esolangs.org/w/index.php?diff=39728&oldid=39727 * GermanyBoy * (+204) 18:15:55 -!- not^v has quit (Ping timeout: 240 seconds). 18:25:45 Skip to about 2:00. That voice. http://d396qusza40orc.cloudfront.net/dsp/recoded_videos%2FModule%205_12-h264%20for%20Coursera%20%5B0c477c9c%5D%20.mp4 18:36:21 -!- spiette has quit (Remote host closed the connection). 18:41:38 -!- tertu has quit (Ping timeout: 252 seconds). 18:41:56 -!- Sprocklem has joined. 18:46:59 -!- tertu has joined. 18:54:37 -!- drdanmaku has joined. 18:56:45 ion: interesting talk, now I sort of know what an impulse response is 18:56:55 talk? lecture? something 18:56:57 [wiki] [[User:GreyKnight]] http://esolangs.org/w/index.php?diff=39729&oldid=8619 * GreyKnight * (+110) 18:57:28 good morning esotericans 18:57:51 goodfternoon 18:58:15 I slept on and off for about 12 hours 18:58:19 nice 18:58:36 so is it saturday morning there? 18:58:55 friday morning (well, one minute before noon) 18:59:07 most places are ahead of the US west coast 18:59:55 I can never figure out which direction "ahead of" is when it comes to time zones 19:00:03 I meant a later time than 19:00:30 since we are pretty close to the date line 19:00:39 it's "now" everywhere, people just put different numbers on it 19:00:43 whoa 19:02:42 we're UTC-8, -7 in the summer 19:02:57 but not many people live in UTC-9 thru UTC-12 19:03:01 olsner: but relativity says it's impossible to determine what "now" exactly means...!!! 19:03:23 just alaska and hawai'i and some other islands 19:03:52 and afaik nobody has done any silly negative offsets less than 12 19:03:58 like UTC+13 and UTC+14 19:04:36 I might be getting confused because "ahead of" and "before" are the same word in swedish (and e.g. friday morning is before friday evening) 19:04:54 quintopia: like, approximately 19:06:07 olsner: wut 19:06:22 oh, I guess that makes some sense 19:08:51 this is like how stacks that grow "up" grow towards smaller addresses B| 19:09:32 what, really? that's growing down to me 19:09:54 but of course you always add things to the top of the stack even when the top is at the bottom 19:10:36 -!- Bicyclidine has joined. 19:13:31 -!- AnotherTest has joined. 19:19:14 -!- Slereah has joined. 19:20:39 -!- ^v has quit (Quit: Leaving). 19:20:55 `coins 19:20:57 ​glanguinecoin dupcoin tropyrrhotabllaerloidarlycoin todcoin wikicoin exetercugnitecoin exandrecoin madnanticoin matinycoin carecoin surcoin licecoin sorcoin aarcoin datescrcoin xorckincoin pingcoin rhadcoin andypacoin 5-logcoin 19:21:51 -!- not^v has joined. 19:22:38 -!- Slereah_ has quit (Ping timeout: 258 seconds). 19:28:48 -!- erdic has joined. 19:36:40 -!- edwardk has quit (Quit: Computer has gone to sleep.). 19:38:25 -!- edwardk has joined. 19:46:01 olsner: The whole course has been interesting. https://www.coursera.org/course/dsp 19:49:58 -!- Sprocklem has quit (Ping timeout: 240 seconds). 19:55:26 aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 19:55:29 life is so confusing 19:55:32 how does anybody manage 19:55:57 fungot: how do you make your way when your way is making you? 19:55:57 drugz- no, wait 19:55:57 kmc: d has two 100% incompatible stdlibs that you can't do with them 19:56:48 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 20:00:25 fungot: are you confusing? 20:00:25 olsner: what is how? :) btw, i have, and fnord 20:00:48 maybe life seems less confusing now? 20:01:05 -!- tertu has quit (Ping timeout: 252 seconds). 20:02:35 not really 20:04:33 it's vehemently blurry 20:05:17 what about life are you making yourself confused about? 20:07:22 * kmc handwaves 20:09:11 kmc: pretty sure nobody manages and we're all just terrified 20:14:22 Given a lambda term, can we determine that repeated normal reduction of that term will result in that term? 20:14:38 -!- Slereah_ has joined. 20:14:44 mcpherrin: I am leaning towards that explanation, yeah 20:14:53 Leaving the halting problem to terms that grow unboundedly. 20:15:36 Bicyclidine: I think a term might grow arbitrarily large before reducing back to the original term 20:15:48 mcpherrin: still I am an outlier in more than a few senses :P 20:15:55 you cannot decide whether a term reduces to itself 20:16:00 somebody once told me that in high dimensional space, all points are outliers 20:16:42 -!- Fodor_ has quit (Quit: Leaving). 20:16:51 tromp: why not? 20:17:11 -!- Gracenotes has joined. 20:17:48 somebody once told me that in high dimensional space it's pretty hard to know what the hell is happening 20:18:58 because you can reduce the halting problem to that 20:19:08 in high dimensional space nobody can hear you scream 20:19:17 How, though? 20:19:39 I mean there are plenty of terms w/o normal forms that don't reduce to themselves, or to anything that reduces to itself. 20:19:50 -!- not^v has quit (Quit: http://i.imgur.com/Akc6r.gif). 20:20:46 -!- mcpherri1 has joined. 20:20:51 given a TM M, build a lambda term that will reduce to itself when M is found to halt 20:20:55 -!- erdic_ has joined. 20:21:26 and that grows unboundedly when M doesn't halt 20:21:34 -!- olsner has quit (Write error: Connection reset by peer). 20:21:35 -!- erdic has quit (Write error: Broken pipe). 20:21:36 -!- Slereah has quit (Write error: Broken pipe). 20:21:39 -!- Gracenotes_ has quit (Write error: Broken pipe). 20:21:42 -!- mcpherrin has quit (Write error: Broken pipe). 20:21:50 -!- olsner has joined. 20:22:24 how 20:23:14 -!- mcpherri1 has changed nick to mcpherrin. 20:23:16 that's straightforward 20:24:18 If this was straightforward to me, would I be asking you? 20:25:48 just let the lambda term simulate M 20:26:22 and keep track of the number of steps to get a growing component 20:30:15 -!- erdic_ has quit (Changing host). 20:30:15 -!- erdic_ has joined. 20:30:24 -!- erdic_ has changed nick to erdic. 20:31:48 i have no idea what that means, apparently 20:34:23 -!- yorick has joined. 20:43:48 -!- impomatic has joined. 20:45:01 Hi :-) Free hotel wifi! 20:46:05 -!- mihow has quit (Quit: mihow). 20:47:16 -!- Phantom_Hoover has joined. 20:47:22 -!- mihow has joined. 20:49:23 -!- mihow has quit (Client Quit). 20:52:05 -!- AnotherTest has quit (Ping timeout: 276 seconds). 20:53:37 -!- Bicyclidine has quit (Ping timeout: 245 seconds). 20:53:42 -!- MindlessDrone has quit (Quit: MindlessDrone). 21:03:25 -!- edwardk has quit (Ping timeout: 252 seconds). 21:18:44 -!- impomatic has quit (Ping timeout: 276 seconds). 21:24:25 -!- oerjan has joined. 21:27:10 -!- Sprocklem has joined. 21:29:22 -!- augur_ has joined. 21:31:47 -!- augur has quit (Ping timeout: 240 seconds). 21:31:58 -!- augur has joined. 21:33:06 -!- augur_ has quit (Read error: Connection reset by peer). 21:38:13 -!- augur has quit (Ping timeout: 245 seconds). 21:42:15 -!- tertu has joined. 21:42:28 -!- rottytooth has joined. 21:43:35 -!- Patashu has joined. 21:51:18 @_@ 21:51:25 @__@ 21:51:28 @___@ 21:51:28 Unknown command, try @list 21:52:37 My copy of Parallel and Concurrent Haskell arrived :D <-- you should have ordered two to check for race conditions hth 21:53:01 http://achewood.com/index.php?date=03042004 21:54:38 wat. 21:58:58 -!- Sprocklem has quit (Quit: brb). 22:00:47 >middle-endian datestamp 22:01:20 >not using ISO 8601 22:01:34 kmc: pretty sure nobody manages and we're all just terrified <-- HEY YOU BEAT ME TO THE JOKE 22:01:59 it's an old joke. 22:02:00 not hard when you're several hours ahead (hi olsner), but still 22:02:19 holsner 22:02:24 mcpherrin is in the same timezone as me 22:02:32 whee time zones 22:02:35 kmc: i mean in the logs hth 22:05:50 i have no idea what that means, apparently <-- hint, lambda calculus is turing complete, so you can simulate anything with it. 22:06:26 -!- Sprocklem has joined. 22:06:29 including an annotated interpreter of lambda calculus 22:09:20 Bike: ^ 22:09:33 -!- mhi^ has quit (Quit: Lost terminal). 22:16:33 -!- mhi^ has joined. 22:17:13 -!- Patashu has quit (Disconnected by services). 22:17:13 -!- Patashu_ has joined. 22:17:43 -!- yorick has quit (Remote host closed the connection). 22:19:31 -!- edwardk has joined. 22:21:23 -!- yorick has joined. 22:29:00 oerjan, :) 22:29:11 -!- Sprocklem has quit (Ping timeout: 255 seconds). 22:32:34 -!- ter2 has joined. 22:32:34 -!- tertu has quit (Disconnected by services). 22:32:44 -!- madbr has joined. 22:33:08 hi 22:33:56 Hi, madbr 22:36:24 Odd question, but anyone know which (if any) image formats respond interestingly to random bit-flipping? 22:36:40 All of them? :-P 22:36:46 Taneb: what do you mean by "interestingly" 22:36:54 mcpherrin, pretty corruption 22:37:09 as opposed to that of our politicians 22:37:20 yog sothoth showing up, that sort of thing 22:37:31 and/or yogi bear 22:37:47 I think jpeg2000 might be fun 22:38:18 -!- tertu3 has joined. 22:38:38 video formats where the random reverse-DCT'd data will move around interestingly with motion vectors? 22:39:28 FSM? http://en.m.wikipedia.org/wiki/File:Yog-Sothoth.jpg 22:40:07 On that note, played Arkham Horror today. It did not go well. 22:40:10 there's also the LZ* kind of encodings like gif or png which might have some intersting behavior 22:40:27 yeah gif is kinda fun, especially if the flips occur early 22:41:09 jpg might do some interesting stuff too thanks to its crazy zig zag pattern 22:41:30 I think the best thing to do here is to test 22:41:41 -!- ter2 has quit (Ping timeout: 264 seconds). 22:41:53 take, say, random imgur images, convert to a handful of image formats, and flip random bits! 22:42:02 delete runs of bits, etc 22:43:45 -!- ter2 has joined. 22:43:55 -!- Sorella has joined. 22:45:06 madbr: I see you already deleted some bits from jpeg. ;-) 22:46:37 haven't tried it 22:47:22 -!- tertu3 has quit (Ping timeout: 265 seconds). 22:49:01 ion: i think confusing Yog-Sothoth with the FSM is a rather dangerous mistake hth 22:49:40 that is, unless the FSM is really Yog-Sothoth in (really bad) disguise. in which case we're all hosed anyway. 23:01:10 -!- Sgeo has joined. 23:01:17 -!- tertu3 has joined. 23:04:29 -!- ter2 has quit (Ping timeout: 264 seconds). 23:06:34 -!- boily has joined. 23:10:21 -!- Bicyclidine has joined. 23:15:43 fungot: what do you usually do on a Friday night? 23:15:43 boily: i think i might get continuations, 23:15:59 fungot: continuing what? 23:16:00 boily: pythons whitespace thingie makes it hard to get below the third element without dropping something 23:16:12 fungot: ah. continuing whitespace. very zen. 23:16:13 boily: don't forget " integrate into the operating system 23:16:24 fungot: I shall quote you on that. 23:16:25 boily: ( 1 ( values 1 2 3)) ( state-5))? i suspect so! :o) 23:16:47 -!- augur has joined. 23:21:18 -!- Bike has quit (Ping timeout: 240 seconds). 23:23:26 -!- Bike has joined. 23:24:51 -!- ter2 has joined. 23:26:11 -!- Sorella has quit (Quit: It is tiem!). 23:26:16 -!- yorick has quit (Remote host closed the connection). 23:27:47 -!- tertu3 has quit (Ping timeout: 240 seconds). 23:37:18 -!- ^v has joined. 23:39:46 -!- tertu3 has joined. 23:41:29 -!- kallisti_ has joined. 23:42:18 -!- ter2 has quit (Ping timeout: 252 seconds). 23:44:59 -!- kallisti has quit (Ping timeout: 276 seconds). 23:49:20 (.) :: forall a c. (exists b. (b -> c, a -> b)) -> (a -> c) 23:50:14 now that's just crazy talk 23:51:26 shachaf, having a tuple in that type threw me for a minute 23:53:12 it's just, like, coyoneda 23:53:31 (exists x. (f x, x -> a)) and all that 23:56:03 -!- metasepia has joined. 23:56:03 ~duck coyoneda 23:56:04 --- No relevant information 23:56:33 ~metar ENVA 23:56:33 ENVA 302350Z 34006KT 9999 FEW019 BKN032 09/06 Q1020 RMK WIND 670FT 32010KT 23:56:39 *brrr* 23:56:42 ~metar CYUL 23:56:43 CYUL 302300Z 03013G20KT 30SM BKN090 21/06 A3007 RMK AC5 TCU ASOCTD SLP181 DENSITY ALT 600FT 23:56:50 ^^ 23:57:06 boily: coyoneda f a = (exists x. (f x, x -> a)) hth 23:57:22 tdnh. 23:57:32 I suck at foralls and exists in type signatures. 23:57:37 you evil scoundrel canadians stealing our weather just because you have daylight 23:58:15 boily: it's just functions and tuples hth 23:58:22 oerjan: we're having nice weather, with blossoming trees, blue skies, nice bike lanes. 23:58:22 admittedly the wether forecast wasn't much better for the daytime 23:58:48 shachaf: still. the foralls disturb my chakras and imbalance my humours. 23:59:47 well what should we expect anyway, after all ENVA is the weather of hell