←2014-05-29 2014-05-30 2014-05-31→ ↑2014 ↑all
00:01:54 <ion> 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 <kmc> "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 <Bike> is this re: the ISEE
01:10:08 <oerjan> nope, this is some unrelated shit
01:20:30 -!- rottytooth has quit (Quit: HydraIRC -> http://www.hydrairc.com <- Wibbly Wobbly IRC).
02:10:55 <Sgeo> http://www.reddit.com/r/ruby/comments/26st9q/got_missing_methods_solution_method_not_missing/
02:22:21 <ion> http://new.livestream.com/spacex/DragonV2
02:25:39 <mcpherrin> that countdown was awesome
02:25:50 <ion> hah
02:29:24 -!- MoALTz has quit (Read error: Connection reset by peer).
02:30:11 -!- MoALTz has joined.
02:42:26 <ion> http://en.wikipedia.org/wiki/HAL/S#Syntax
03:01:26 -!- aretecode has quit (Ping timeout: 255 seconds).
03:04:14 <Sgeo> Hum. I don't think my solution on XSS-Game level 6 was the intended one
03:05:07 <Sgeo> V hfrq n qngn HEV
03:06:27 <oerjan> hff wrx furfu xecp ntower
03:06:49 <oerjan> *furffu
03:07:01 <oerjan> *furrfu
03:08:17 <Sgeo> Only one of those words is rot13?
03:08:54 <oerjan> ebg13 vf uneq
03:08:55 <Bike> 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 <kmc> the rest are rot26
03:10:18 <oerjan> Bike: snfpvangvat
03:10:48 <Bike> ⅅ 𝕀 ℂ 𝕂 𝕊 ℚ 𝕌 𝔸 𝔻
03:11:07 <oerjan> that's not rot13 Bike
03:11:16 <oerjan> `unidecode ⅅ 𝕀 ℂ 𝕂 𝕊 ℚ 𝕌 𝔸 𝔻
03:11:17 <HackEgo> ​[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 <oerjan> `unidecode ⅅ𝕀ℂ𝕂𝕊ℚ𝕌𝔸𝔻
03:11:50 <HackEgo> ​[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 <oerjan> wait is that blackboard bold
03:12:28 <Bike> hackego wants the d
03:13:02 <Bike> 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 <Bike> so even with all these bullshit characters they're missing ones mathematicians actually use
03:13:46 <ion> nice
03:20:00 <pikhq> Do they have blackboard-bold aleph though?
03:21:37 <kmc> do they have blackboard-bold multiocular O
03:22:13 <lifthrasiir> `unidecode ☆
03:22:13 <HackEgo> ​[U+2606 WHITE STAR]
03:22:19 <lifthrasiir> blackboard-bold white star?
03:36:35 -!- conehead has quit (Ping timeout: 252 seconds).
03:38:39 <kmc> black hole sun
03:40:27 -!- conehead has joined.
03:44:49 <quintopia> won't you come?
03:52:15 <Sgeo> Black Sun, Blaxxun. I miss Cybertown
03:52:25 <Sgeo> Also, no green sun?
03:56:28 <quintopia> Sgeo (only): in what modern country was the mayan civilization located?
03:56:55 <Sgeo> I'm guessing either US or Mexico, but I'm not certain
03:59:35 <oerjan> it was no modern country hth
04:00:06 * oerjan wikipedes
04:01:42 <kmc> no country for old mayans
04:05:10 <oerjan> 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 <quintopia> 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 <oerjan> no, no.
04:07:59 * oerjan swats quintopia for not realizing the maya civilization included parts outside mexico -----###
04:08:17 <quintopia> damn that would have been doubly longwinded
04:08:56 <quintopia> 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 <oerjan> if i recall correctly, the last independent maya kingdom conquered by the spanish was in nicaragua.
04:09:59 <oerjan> ic
04:10:24 * oerjan learned that too on wikipedia
04:11:10 <quintopia> wikipedia makes everyone experts!
04:11:45 <oerjan> hm wait
04:11:52 * oerjan needs to check that
04:13:06 <oerjan> was probably guatemala. sound practically alike!
04:14:55 <quintopia> yeah one of my random pollees said "southern mexico, belize, and guatemala". she's too smart.
04:15:10 <kmc> i would have said "mexico and probably some other places"
04:16:42 <kmc> there are several nicaraguan and guatemalan restaurants within a short walk of my house
04:17:50 <oerjan> two last cities conquered in 1697
04:18:14 <newsham> used to live near a good el savadoran restaurant
04:18:28 <newsham> good times
04:22:22 <oerjan> wait am i forgetting to eat again ->
04:24:52 <kmc> http://imgur.com/gallery/Jb6jW
04:26:32 <Bike> complete comfort sounds pretty good
04:26:57 <kmc> FULL ABSOLUTE PROTECTION OF MICROCHIPS IMPLANTED INTO THE HUMAN !!!
04:27:06 <Bike> "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 <kmc> what
04:36:54 <Bike> a comment on the images
04:42:15 <kmc> what is your reaction meant to mean, though
04:42:36 <Bike> cruelty.
04:53:51 <kmc> okay
04:53:56 <kmc> fungots fall on fungot falls
04:53:56 <fungot> 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 <newsham> http://www.computerhistory.org/revolution/minicomputers/11/362
05:01:30 <oerjan> fungot: what is your opinion on rockets
05:01:30 <fungot> 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 <oerjan> fungot: that doesn't seem very relevant
05:01:52 <fungot> 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 <oerjan> fungot: oh. sorry about that.
05:02:09 <fungot> 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 <Sgeo> http://blog.bryanbibat.net/2014/01/30/obligatory-hearthstone-post-from-a-former-magic-player/
05:04:10 <Bike> oddly, recipes were probably actually my first exposure to computers.
05:04:18 <Bike> 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 <HackEgo> [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 <HackEgo> [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 <Bike> is the set of lambda calculus terms that reduce to themselves in n steps r.e.?
05:52:24 <oerjan> oh, yes.
05:52:40 <oerjan> just try all n step reductions on each term
05:53:23 <oerjan> 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 <Bike> 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 <HackEgo> [wiki] [[User:Rdebath]] http://esolangs.org/w/index.php?diff=39723&oldid=39264 * Rdebath * (+10728) /* Performance Matrix */
07:11:56 <HackEgo> [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 <HackEgo> [wiki] [[User:Rdebath]] http://esolangs.org/w/index.php?diff=39725&oldid=39724 * Rdebath * (+271) /* Interpreter List */
08:07:43 <HackEgo> [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 <impomatic> I should be on IRC to post live updates from the tournament.
08:49:24 <myname> there are core war tournaments?
08:49:31 <myname> like, offline?
08:49:42 <myname> i'm impressed
09:01:47 -!- slereah has joined.
09:01:49 <slereah> Hello
09:06:57 <slereah> I launched a perceptron with 3300 inputs
09:07:13 <slereah> I may as well go home because it's not gonna be over until next week
09:46:09 <impomatic> myname: yes, tournaments for a few other games too, notably Robocode :-)
09:46:28 <impomatic> There've been offline CW tournaments in France and Austria so far this year.
09:46:40 <myname> impomatic: i'd love robocode if it'd be less java
09:47:28 <impomatic> I think you can play robocode with Scala. (unless I just imagined it)
09:47:46 <myname> that'd be interesting
09:48:01 <impomatic> There are similar games anyway, CROBOTS, TclRobots, Scalatron, etc
09:48:19 -!- impomatic has left.
09:48:20 <myname> is there some programming game with curses ui?
09:59:59 <Taneb> 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 <Taneb> 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 <Taneb> I... used to speedrun that game when I was 6
10:00:49 <Taneb> 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 <b_jonas> Taneb: is it a PC game? or what other game system platform?
10:14:04 <Taneb> PC
10:14:11 <Taneb> iirc it was point-and-click
10:14:24 <Taneb> I probably have the CD at home
10:18:14 <Taneb> On another note...
10:18:41 <Taneb> You know how I have the Haskell lib "groups"?
10:19:52 <Taneb> I am tempted to add a RULES pragma saying "mappend (invert a) (invert b) => invert (mappend b a)"
10:21:10 <Taneb> On the basis that invert can be "division", and division is expensive
10:35:32 <myname> we have this course for maths students in their 4th semester
10:35:54 <myname> and there is that one assignment
10:36:03 <myname> "draw a platypus"
10:36:37 -!- boily has joined.
10:47:02 <b_jonas> 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 <Taneb> That's why I've hesitated
10:48:17 <b_jonas> maybe add two semantic synonyms to invert, one that prefers to remain separate, and one that prefers to merge;
10:49:04 <b_jonas> or, um, perhaps define this RULES for only some types
10:51:32 <Taneb> Anyway, I'm off to get some lunch and then do an exam
10:51:34 <Taneb> Bye!
11:02:47 -!- Phantom_Hoover has joined.
11:12:37 <boily> off to get some bike and do work.
11:12:40 <boily> à 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 <ion> A concrete truck and a concrete truck http://i.imgur.com/80tB0.jpg
14:25:10 -!- Fjlb has joined.
14:29:03 <Bike> fucked that one up
14:29:18 <int-e> 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 <ion> 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 <Melvar> Someone elsewhere did approximately this:
16:39:56 <Melvar> @___@
16:39:56 <lambdabot> Unknown command, try @list
16:40:06 <Melvar> With that particular response.
16:40:45 <int-e> hmm
16:40:53 <Bike> is that unexpected
16:41:06 <Taneb> My copy of Parallel and Concurrent Haskell arrived :D
16:41:34 <int-e> it's certainly not unexpected as far as lambdabot is concerned.
16:41:36 <Melvar> 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 <ion> 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 <HackEgo> [wiki] [[Goldfish]] http://esolangs.org/w/index.php?diff=39727&oldid=39650 * GermanyBoy * (+1373)
18:15:01 <HackEgo> [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 <ion> 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 <olsner> ion: interesting talk, now I sort of know what an impulse response is
18:56:55 <olsner> talk? lecture? something
18:56:57 <HackEgo> [wiki] [[User:GreyKnight]] http://esolangs.org/w/index.php?diff=39729&oldid=8619 * GreyKnight * (+110)
18:57:28 <kmc> good morning esotericans
18:57:51 <olsner> goodfternoon
18:58:15 <kmc> I slept on and off for about 12 hours
18:58:19 <olsner> nice
18:58:36 <olsner> so is it saturday morning there?
18:58:55 <kmc> friday morning (well, one minute before noon)
18:59:07 <kmc> most places are ahead of the US west coast
18:59:55 <olsner> I can never figure out which direction "ahead of" is when it comes to time zones
19:00:03 <kmc> I meant a later time than
19:00:30 <kmc> since we are pretty close to the date line
19:00:39 <olsner> it's "now" everywhere, people just put different numbers on it
19:00:43 <kmc> whoa
19:02:42 <kmc> we're UTC-8, -7 in the summer
19:02:57 <kmc> but not many people live in UTC-9 thru UTC-12
19:03:01 <quintopia> olsner: but relativity says it's impossible to determine what "now" exactly means...!!!
19:03:23 <kmc> just alaska and hawai'i and some other islands
19:03:52 <kmc> and afaik nobody has done any silly negative offsets less than 12
19:03:58 <kmc> like UTC+13 and UTC+14
19:04:36 <olsner> 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 <olsner> quintopia: like, approximately
19:06:07 <kmc> olsner: wut
19:06:22 <kmc> oh, I guess that makes some sense
19:08:51 <kmc> this is like how stacks that grow "up" grow towards smaller addresses B|
19:09:32 <olsner> what, really? that's growing down to me
19:09:54 <olsner> 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 <kmc> `coins
19:20:57 <HackEgo> 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 <ion> 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 <kmc> aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
19:55:29 <kmc> life is so confusing
19:55:32 <kmc> how does anybody manage
19:55:57 <kmc> fungot: how do you make your way when your way is making you?
19:55:57 <Bicyclidine> drugz- no, wait
19:55:57 <fungot> 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 <olsner> fungot: are you confusing?
20:00:25 <fungot> olsner: what is how? :) btw, i have, and fnord
20:00:48 <olsner> maybe life seems less confusing now?
20:01:05 -!- tertu has quit (Ping timeout: 252 seconds).
20:02:35 <kmc> not really
20:04:33 <kmc> it's vehemently blurry
20:05:17 <olsner> what about life are you making yourself confused about?
20:07:22 * kmc handwaves
20:09:11 <mcpherrin> kmc: pretty sure nobody manages and we're all just terrified
20:14:22 <Bicyclidine> 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 <kmc> mcpherrin: I am leaning towards that explanation, yeah
20:14:53 <Bicyclidine> Leaving the halting problem to terms that grow unboundedly.
20:15:36 <kmc> Bicyclidine: I think a term might grow arbitrarily large before reducing back to the original term
20:15:48 <kmc> mcpherrin: still I am an outlier in more than a few senses :P
20:15:55 <tromp> you cannot decide whether a term reduces to itself
20:16:00 <kmc> somebody once told me that in high dimensional space, all points are outliers
20:16:42 -!- Fodor_ has quit (Quit: Leaving).
20:16:51 <Bicyclidine> tromp: why not?
20:17:11 -!- Gracenotes has joined.
20:17:48 <Bicyclidine> somebody once told me that in high dimensional space it's pretty hard to know what the hell is happening
20:18:58 <tromp> because you can reduce the halting problem to that
20:19:08 <kmc> in high dimensional space nobody can hear you scream
20:19:17 <Bicyclidine> How, though?
20:19:39 <Bicyclidine> 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 <tromp> 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 <tromp> 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 <Bicyclidine> how
20:23:14 -!- mcpherri1 has changed nick to mcpherrin.
20:23:16 <tromp> that's straightforward
20:24:18 <Bicyclidine> If this was straightforward to me, would I be asking you?
20:25:48 <tromp> just let the lambda term simulate M
20:26:22 <tromp> 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 <Bicyclidine> i have no idea what that means, apparently
20:34:23 -!- yorick has joined.
20:43:48 -!- impomatic has joined.
20:45:01 <impomatic> 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 <oerjan> @_@
21:51:25 <oerjan> @__@
21:51:28 <oerjan> @___@
21:51:28 <lambdabot> Unknown command, try @list
21:52:37 <oerjan> <Taneb> My copy of Parallel and Concurrent Haskell arrived :D <-- you should have ordered two to check for race conditions hth
21:53:01 <kmc> http://achewood.com/index.php?date=03042004
21:54:38 <oerjan> wat.
21:58:58 -!- Sprocklem has quit (Quit: brb).
22:00:47 <ion> >middle-endian datestamp
22:01:20 <mcpherrin> >not using ISO 8601
22:01:34 <oerjan> <mcpherrin> kmc: pretty sure nobody manages and we're all just terrified <-- HEY YOU BEAT ME TO THE JOKE
22:01:59 <kmc> it's an old joke.
22:02:00 <oerjan> not hard when you're several hours ahead (hi olsner), but still
22:02:19 <ion> holsner
22:02:24 <kmc> mcpherrin is in the same timezone as me
22:02:32 <mcpherrin> whee time zones
22:02:35 <oerjan> kmc: i mean in the logs hth
22:05:50 <oerjan> <Bicyclidine> 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 <oerjan> including an annotated interpreter of lambda calculus
22:09:20 <oerjan> 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 <Taneb> 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 <madbr> hi
22:33:56 <Taneb> Hi, madbr
22:36:24 <Taneb> Odd question, but anyone know which (if any) image formats respond interestingly to random bit-flipping?
22:36:40 <ion> All of them? :-P
22:36:46 <mcpherrin> Taneb: what do you mean by "interestingly"
22:36:54 <Taneb> mcpherrin, pretty corruption
22:37:09 <ion> as opposed to that of our politicians
22:37:20 <oerjan> yog sothoth showing up, that sort of thing
22:37:31 <ion> and/or yogi bear
22:37:47 <mcpherrin> I think jpeg2000 might be fun
22:38:18 -!- tertu3 has joined.
22:38:38 <madbr> video formats where the random reverse-DCT'd data will move around interestingly with motion vectors?
22:39:28 <ion> FSM? http://en.m.wikipedia.org/wiki/File:Yog-Sothoth.jpg
22:40:07 <Taneb> On that note, played Arkham Horror today. It did not go well.
22:40:10 <madbr> there's also the LZ* kind of encodings like gif or png which might have some intersting behavior
22:40:27 <mcpherrin> yeah gif is kinda fun, especially if the flips occur early
22:41:09 <madbr> jpg might do some interesting stuff too thanks to its crazy zig zag pattern
22:41:30 <mcpherrin> I think the best thing to do here is to test
22:41:41 -!- ter2 has quit (Ping timeout: 264 seconds).
22:41:53 <mcpherrin> take, say, random imgur images, convert to a handful of image formats, and flip random bits!
22:42:02 <mcpherrin> delete runs of bits, etc
22:43:45 -!- ter2 has joined.
22:43:55 -!- Sorella has joined.
22:45:06 <ion> madbr: I see you already deleted some bits from jpeg. ;-)
22:46:37 <madbr> haven't tried it
22:47:22 -!- tertu3 has quit (Ping timeout: 265 seconds).
22:49:01 <oerjan> ion: i think confusing Yog-Sothoth with the FSM is a rather dangerous mistake hth
22:49:40 <oerjan> 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 <boily> fungot: what do you usually do on a Friday night?
23:15:43 <fungot> boily: i think i might get continuations,
23:15:59 <boily> fungot: continuing what?
23:16:00 <fungot> boily: pythons whitespace thingie makes it hard to get below the third element without dropping something
23:16:12 <boily> fungot: ah. continuing whitespace. very zen.
23:16:13 <fungot> boily: don't forget " integrate into the operating system
23:16:24 <boily> fungot: I shall quote you on that.
23:16:25 <fungot> 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 <shachaf> (.) :: forall a c. (exists b. (b -> c, a -> b)) -> (a -> c)
23:50:14 <oerjan> now that's just crazy talk
23:51:26 <Phantom_Hoover> shachaf, having a tuple in that type threw me for a minute
23:53:12 <shachaf> it's just, like, coyoneda
23:53:31 <shachaf> (exists x. (f x, x -> a)) and all that
23:56:03 -!- metasepia has joined.
23:56:03 <boily> ~duck coyoneda
23:56:04 <metasepia> --- No relevant information
23:56:33 <oerjan> ~metar ENVA
23:56:33 <metasepia> ENVA 302350Z 34006KT 9999 FEW019 BKN032 09/06 Q1020 RMK WIND 670FT 32010KT
23:56:39 <oerjan> *brrr*
23:56:42 <boily> ~metar CYUL
23:56:43 <metasepia> CYUL 302300Z 03013G20KT 30SM BKN090 21/06 A3007 RMK AC5 TCU ASOCTD SLP181 DENSITY ALT 600FT
23:56:50 <boily> ^^
23:57:06 <shachaf> boily: coyoneda f a = (exists x. (f x, x -> a)) hth
23:57:22 <boily> tdnh.
23:57:32 <boily> I suck at foralls and exists in type signatures.
23:57:37 <oerjan> you evil scoundrel canadians stealing our weather just because you have daylight
23:58:15 <shachaf> boily: it's just functions and tuples hth
23:58:22 <boily> oerjan: we're having nice weather, with blossoming trees, blue skies, nice bike lanes.
23:58:22 <oerjan> admittedly the wether forecast wasn't much better for the daytime
23:58:48 <boily> shachaf: still. the foralls disturb my chakras and imbalance my humours.
23:59:47 <oerjan> well what should we expect anyway, after all ENVA is the weather of hell
←2014-05-29 2014-05-30 2014-05-31→ ↑2014 ↑all