00:01:08 -!- Lymia has joined. 00:01:08 -!- Lymia has quit (Changing host). 00:01:08 -!- Lymia has joined. 00:01:41 -!- FreeFull has quit (Ping timeout: 245 seconds). 00:03:25 -!- augur has joined. 00:16:56 Bike_: btw you got cut off at "why love will never be measu" 00:17:48 oops 00:21:31 -!- Bike_ has changed nick to Bike. 00:21:59 measu more like ceaușescu 00:23:25 -!- nooga has joined. 00:25:44 Gregor: that behe guy's page is sad http://www.lehigh.edu/~inbios/faculty/behe.html 00:25:55 Gregor: "My ideas about irreducible complexity and intelligent design are entirely my own. They certainly are not in any sense endorsed by either Lehigh University in general or the Department of Biological Sciences in particular. In fact, most of my colleagues in the Department strongly disagree with them." 00:26:49 elliott: The university itself has a page summarily disavowing all connections with his views. 00:27:09 typical liberal censorship 00:27:23 lul 00:27:54 "Such a research credit system would have huge benefits for one’s career prospects; and it might encourage more effective collaborations. Moreover, these credits could easily be tracked by scientist or project in a database akin to the Internet Movie Database (IMDB). It could provide an alternative to the ever-so-important citation factors as a means of assessing one’s scientific impact. And maybe one day there will even be an Academy Awar 00:28:18 academy awar 00:28:25 -!- FreeFull has joined. 00:28:31 How did I not know about this fellow before. 00:28:39 ds of Science. 00:28:48 Gregor: haha link 00:28:52 * Bike curses, loads splitlong.pl 00:29:21 this behe guy seems more pitiful than anything 00:29:23 elliott: http://www.lehigh.edu/~inbios/news/evolution.htm 00:29:31 Behe has testified in several court cases related to intelligent design, including the court case Kitzmiller v. Dover Area School District that resulted in a ruling that intelligent design was religious in nature.[2] 00:29:45 elliott: I love its use of scare quotes, btw. 00:29:46 can't imagine he is doing very much that furthers the ID cause all in all 00:29:52 How do you know *biochem* and think it's intelligently designed? 00:30:15 I mean damn, biology is the least intelligent thing. 00:30:24 -!- augur has quit (Remote host closed the connection). 00:30:38 Gregor: man it must be real awkward in that department 00:31:00 Tenure is amazing. 00:31:05 so uh none of his papers appear to be very biochem 00:31:18 he published one in "God and Design: The Teleological Argument and Modern Science" 00:31:36 :-) 00:31:47 Bike: Ever since he became all stupid-ID, he has a total of one peer-reviewed paper in a legitimate journal. 00:31:51 dare i look at the paper he put a pdf of up? 00:32:03 Maybe it is what it seems to someone, whether it seems to be intelligently designed to you or completely stupid designed. 00:32:05 i'm thinking no 00:32:25 I don't know for sure, of course; this is just a guess. 00:32:47 unrelated «A team of scientists can verify that their 5-year long DNA study, currently under peer-review, confirms the existence of a novel hominin hybrid species, commonly called “Bigfoot” or “Sasquatch,” living in North America. Researchers’ extensive DNA sequencing suggests that the legendary Sasquatch is a human relative that arose approximately 15,000 years ago as a hybrid cross of modern Homo sapiens with an unknown ... 00:32:53 ... primate species.» 00:33:26 -!- augur has joined. 00:33:58 m-hm 00:34:06 I read in some book, that it is illegal to kill a Sasquatch in British Columbia. If it exists, it must be rare and therefore endangered species to I suppose it makes sense whether or not it exists, by using this logic. 00:37:21 -!- augur has quit (Remote host closed the connection). 00:37:31 Actually the person said that governments should immediately recognize sasquatches as indigenous peoples 00:40:20 -!- augur has joined. 00:52:00 Science does not show you whether or not God made up the world and stuff anyways; it only shows you how indirect it is. 00:52:08 I just realized why the library in question emits objects when there's only 1, rather than an array containing the object... and it's not the fault of Cablevision's wrapper around the library. 00:52:17 I blame Cablevision's wrapper for a lot of things, but not this. 00:55:09 "During the time of their association, Livingstone urged Sechele to make peace with the uncle who ruled the other half of the Kwêna. Sechele sent his uncle a gift of gunpowder. The uncle was suspicious of the gift and set fire to it. His death in the resulting explosion enabled Sechele to reunite the tribe." 00:55:19 smart move, uncle 00:55:56 -!- augur has quit (Remote host closed the connection). 00:56:29 -!- zzo38 has quit (Remote host closed the connection). 00:57:38 -!- augur has joined. 01:00:39 http://www.reddit.com/r/conspiratard/comments/1bo6tm/the_onion_popular_childrens_book_author_reveals/ 01:05:18 -!- FreeFull has quit (Ping timeout: 256 seconds). 01:07:59 wat 01:08:24 -!- augur has quit (Ping timeout: 256 seconds). 01:09:46 NO MEME POSTINGS -- except as comments here: The Official Conspiratard Memes Thread 01:09:51 sgeo why are you on reddit 01:11:58 sgeo are you on reddit again....... 01:12:35 * Sgeo star-heart-horseshoe reddit 01:13:47 "meme" means a picture with some text on top of it right?? 01:14:22 shachaf: oh god you may be right 01:14:30 -!- sdr|Flu has changed nick to ReadingDragon. 01:14:49 it might actually have got that as its common meaning 01:15:18 it's, like... word cancer 01:15:22 :-( 01:15:25 constantly mutating and metastatising 01:16:58 -!- FreeFull has joined. 01:17:05 Phantom_Hoover: well maybe we'll get mad scientists as a result (see: the miracle of science comic) 01:18:14 *the a 01:18:39 the original concept is silly enough that it's hard to feel bad about it being co-opted into whatever the fuck reddit does, except that i don't like reddit more than i don't like dawkins. a dilemma 01:24:29 would you say that the word "meme" is............ a meme?!?!? 01:26:31 * Sgeo is actually quite active on Reddit 01:27:03 (Doctor Who spoilers) 01:27:09 (If you try to Reddit stalk me) 01:27:49 "There are decent Redditors, they just don't understand how much fun they could be having driving the scum from their shores." 01:28:31 best spoiler warning ever 01:28:50 i'm really quite active on reddit (spoiler warning for John's Bells) 01:29:01 Sgeo: why would i "try to Reddit stalk" you 01:29:09 we know every last detail of your life from this channel 01:29:33 No you don't. (Although many details not on here are also not on Reddit) 01:29:48 name one thing we don't know 01:29:54 sgeo, international man of mystery 01:30:14 his... height? 01:30:27 I've mentioned my height 01:30:46 sgeo XD 01:30:48 where he works and information about their proprietary codebase 01:30:50 wait n/m 01:31:39 #esoteric, more like #sgeoconfessional 01:31:41 his height is 1.026 fiorameters 01:31:50 that's pretty short. 01:31:56 what's a fiorametre in normal heights 01:31:57 how many meters are there in a fiorameter 01:32:02 1.56? 01:32:08 (it's like a smoot or something) 01:32:14 i assume everyone in this channel is either physically stunted or scandinavian 01:32:28 Phantom_Hoover: um, she said fiorameter 01:32:32 fiorametre is something else 01:32:41 Phantom_Hoover: i'm actually a http://en.wikipedia.org/wiki/Nordic_aliens 01:32:44 a fiorameter is a device for measuring Fioras 01:32:55 who the hell measures height in metres 01:33:02 Bike, i... wow 01:33:03 like ok come on imperial system sucks the most 01:33:11 but how tall is even a metre?? nobody knows 01:33:14 height is measured in meters not metres hth 01:33:17 um, I mean, I measure in centimeters, but meters/cm are kinda the same thing really? 01:33:26 We put forward a practice perspective on absorptive capacity. We illustrate this by network congregating, i.e. repeatedly exchanging face-to-face ideas at interorganizational venues such as conferences, which Intel Corporation attends as a leading member of the semiconductor industry network SEMATECH. 01:33:27 uh 01:33:31 I mean, they're trivially convertible 01:33:44 they are literally orders of magnitude apart 01:33:46 not when you're using base 12 01:34:01 sorry but I live in the UK and we like to have at least one stupid exception to every rule. in this case, the exception is that we measure height in feet & inches even though nobody really uses them for anything else except old people 01:34:10 elliott: and you measure weight 01:34:11 in STONE 01:34:13 yes 01:34:14 elliott: Do you still use km/h for vehicular speeds 01:34:19 what in the I don't even why 01:34:23 i feel the stone is a nice round measurement 01:34:32 and not just because stones are nice and round! 01:34:35 Bike: we measure long distances in miles 01:34:38 * Bike stones Phantom_Hoover 01:34:43 Fiora: well I use kg for weight actually 01:34:45 elliott: wait do you actually use stone 01:34:45 elliott: aw man that's way too consistently inconsistent 01:34:49 elliott, road signs are all in miles/yards 01:34:51 because I draw the line at figuring out how much a stone is 01:34:54 kilograms NOW we're talking 01:34:55 XD 01:35:12 I measure my weight in platinum-iridium cylinders 01:35:12 well basically it's a good sized stone 01:35:21 kilograms are nice because a kilometer is literally defined as "how massy this one particular object in France is" 01:35:23 I have no fucking clue how much a stone is. 01:35:26 kilogram* 01:35:32 Pounds work, kilograms work, but stone? 01:35:42 I think a stone is like 6.something kg? 01:35:52 oh. 14 pounds. what. why 14. 01:36:03 Welcome to imperial measurement! 01:36:08 Here's your hogshead of ale 01:36:09 all the imperial conversion factors are an even teen 01:36:11 Probably because the king's favorite stone happened to be 14 pounds. 01:36:13 lol stone 01:36:13 it's like. it has different bases for every conversation factor 01:36:14 where teen also includes 12 01:36:25 the reason why british people can never make fun of americans for having dumb units 01:36:36 (a hogshead is 238.480942 liters i hope you like alcohol) 01:36:58 imo the best unit of measurement is the bloit 01:37:02 Bike: Only some hogsheads are 238.480942 L. 01:37:29 bloit: the distance the king's favourite pet can run in one hour 01:37:34 Only the greatest hogsheads can aspire to be 238.480942 liters 01:37:40 the best unit of measurement is the barn-megaparsec 01:37:45 Which hogshead unit to use depends on what you're *measuring*. 01:37:46 I still can't get over how columbus thought he could sail to the East Indies because he miscalculated the earth's circumference... 01:37:47 And where. 01:37:52 because he used the wrong "mile" unit 01:38:07 in his math 01:38:15 * kmc is 6'3" tall and not scandinavian 01:38:33 are you descended from redwoods 01:38:48 * pikhq is 5'11" tall and part scandinavian 01:39:01 kmc, i think my primary datapoint in this was, uh... elliott 01:39:20 wait datapoint in what 01:39:32 everyone here being medieval height 01:39:38 ah 01:39:56 i think i may have grown a bit 01:39:57 what's medieval height? 01:39:58 no i think i'm decended from british people and german people and maybe irish people? 01:40:01 maybe 01:40:01 "white people" 01:40:03 v. short 01:40:05 idk i feel short 01:40:16 elliott: i thought you were school isn't school tall 01:40:16 how tall are you? 01:40:26 Fiora: exactly 01:40:32 I don't know! 01:40:38 and I can't check now because it would ruin the mystery 01:40:39 you... don't know? XD 01:40:41 it's time for a heartwarming lesson about how short people and tall people each have unique advantages in life 01:40:43 my dad assures me my extended family is all short due to malnutrition 01:40:45 is this like, quantum height? 01:40:48 i am sceptical of this however 01:40:52 like, if you don't measure it, it's not decided yet? 01:41:08 Fiora: that's my approach to my weight at the moment :X 01:41:21 man fiora i forget my fucking age, can't you forgive someone not knowing how much taller than you they are 01:41:36 i used to be like 200 lbs, which was pretty much fine, but then chipotle opened next door to work... 01:41:40 Bike: I'm teasing and being silly 01:41:52 you monster 01:42:01 do bikes even age 01:42:10 no but we depreciate 01:42:10 they totally do, you have to replace them after a while right? 01:42:10 if elliott measures his height he'll just become uncertain about the speed he's growing 01:42:19 *snerk* 01:42:35 which carries the risk that he will shrink into nothing 01:42:38 i got drunk and fixed my bike the other day 01:42:45 still needs 1 more fix though 01:42:46 Phantom_Hoover: some say this has already happened 01:42:47 thug lyfe 01:43:33 Bike hello 01:43:49 hi shachaf! 01:43:51 what's up 01:44:23 hi Bike߹ 01:44:29 `welcome Bike 01:44:35 Bike: 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.) 01:44:37 nko 01:44:39 wtf is nko 01:46:19 oh it's a west african language 01:46:39 so when will Bike have to be replaced 01:47:23 kmc will get drunk and fix him 01:47:25 `frink 1 barn megaparsec 01:47:30 I'm on a rolling replacement schedule. Parts of me will be replaced all the time, even as you're talking to me 01:47:38 0.0000030856775813057289536 m^3 (volume) 01:50:15 that's not very big 01:52:36 Bike: do you contain pieces from the ship of theseus? 01:52:41 `frink 1 liter 01:52:54 1/1000 (exactly 0.001) m^3 (volume) 01:52:59 oerjan: wasn't that destroyed by like a billion years ago 01:53:03 wait _are_ you the ship of theseus 01:53:17 -!- nooga has quit (Ping timeout: 255 seconds). 01:53:18 That's 3 mL. 01:53:20 wasn't I destroyed like a billion years ago 01:53:23 Small, but usable. 01:53:32 Bike: possibly. are you being whooshed? 01:53:38 `frink 1 knot / hertz * newton / pascal 01:53:43 possibly 01:53:49 463/900 (approx. 0.5144444444444445) m^3 (volume) 01:54:09 `frink 1 mile/gallon 01:54:15 knotN/HzPa: the best unit?? 01:54:18 48000000000/112903 (approx. 425143.707430272) m^-2 (unknown unit type) 01:54:23 :) 01:54:49 `frink 1 2 / 3 4 01:54:58 8/3 (approx. 2.6666666666666665) 01:58:37 -!- nooga has joined. 02:01:50 "Writing for ArtReview, Sam Jacob noted that Sugababes, one of the most successful all-female British bands of the 21st century,[8] "were formed in 1998 [..] but one by one they left, till by September 2009 none of the founders remained in the band; each had been replaced by another member, just like the planks of Theseus’s boat."[9][10] Echoing Hobbes' discussion on the discarded planks, the three original members reformed in 2011 under the name Mu 02:02:14 under the name Mu 02:02:19 Mutya Keisha Siobhan, with the "original" Sugababes still in existence." 02:02:38 catchy name that 02:02:50 it's actually just their first names 02:03:51 oerjan: mkdir ~/.irssi/scripts && ln -s . ~/.irssi/scripts/autorun && ln -s /usr/share/irssi/scripts/splitlong ~/.irssi/scripts/ 02:03:59 err 02:04:09 oerjan: ln -s /usr/share/irssi/scripts/splitlong.pl ~/.irssi/scripts/ 02:04:15 /script load splitlong 02:05:55 OKAY 02:21:17 -!- nooga has quit (Ping timeout: 245 seconds). 02:31:59 -!- nooodl has joined. 02:32:34 -!- Nisstyre-laptop has quit (Quit: Leaving). 02:33:54 -!- augur has joined. 02:35:15 -!- nooodl_ has quit (Ping timeout: 258 seconds). 02:39:27 -!- Nisstyre-laptop has joined. 02:50:35 -!- Phantom_Hoover has quit (Ping timeout: 258 seconds). 02:52:12 -!- augur has quit (Read error: No route to host). 02:53:13 -!- augur has joined. 03:00:17 http://www.neocomputer.org/projects/et/ 03:03:03 -!- zzo38 has joined. 03:06:29 The myth: A lot of people blame poor collision detection for this problem. That is simply not true. The collision detection in E.T. is perfect. There are no bounding boxes like in more modern games. Collision detection happens at the pixel level. You can't get any better than that. If you fall in to a well, it's because your player character visually overlaps it. 03:07:20 that is... actually really cool O_O 03:07:34 mods like that are always really impressive, though I think my favorite are the pokemon 'mods' 03:07:57 what do they do? 03:08:03 there's literally total conversions of pokemon that add entire new regions, tons of new pokemon, non-midi (i.e. recorded) background music 03:08:16 and redo the entire type system and battle logic 03:08:34 and it still works on a GBA 03:08:45 oh yeah one of my friends played Pokemon Quartz or whatever it was 03:08:50 like, they even changed the size of the cartridge 03:08:53 very weird to see 03:08:55 Oh, good, actually works on real hardware. 03:09:08 The SNES world has stupid shit like people writing patches for ZSNES. 03:09:18 Which is, uh, ludicrous. 03:09:28 http://www.youtube.com/watch?v=7FwJjJlESzY 03:09:30 is pikhq secretly the bsnes guy 03:09:34 (example I guess?) 03:09:41 Bike: No, I just am a BSNES fan. 03:09:45 haha knew it 03:09:46 -!- augur has quit (Remote host closed the connection). 03:10:08 -!- augur has joined. 03:10:25 Players looking for additional challenge above game mode 3, but not quite as challenging as game mode 2 (with the nasty FBI Agent) have always felt left out. 03:10:28 all 0 players 03:10:36 Fiora: I was half expecting that to go into Touhou danmaku 03:11:02 ...are these vocals 03:11:10 yeah 03:11:14 the quality isn't that great, but it's a GBA 03:11:17 I didn't even know GBA sound could do that 03:11:52 I didn't know either 03:11:54 and then I saw this <.< 03:13:19 how long is this song holy hell 03:13:39 they have multiple tracks too, replacing various themes apparently 03:13:46 and they only increased the cart from like 16 to 32MB (?!) 03:14:05 I wonder what they did, like, I doubt the GBA can decode mp3 O_O 03:14:21 half their attacks are ohks. i don't remember the elite four being this fast >: 03:14:22 could just be low sample rate/mono I guess 03:14:26 maybe with ADPCM? 03:14:34 well i mean the DS could barely manage vocals right 03:14:45 twewy's sound quality was... not so good 03:15:40 All official software for Nintendo DS has to use the official ARM7 codes but homebrew softwares may have their own ARM7 codes so that you can do some limited parallel processing and stuff 03:16:00 The GBA is actually probably quite capable of decoding MP3. 03:16:08 Erm, wait 03:16:13 No, I was looking at the DS specs 03:16:14 XD 03:16:22 Hmm. 16.78 MHz. 03:16:57 I think you could pull off an MP2 decoder on that. 03:17:33 you'd need some fixed point madness too, probably XD 03:18:09 but could you do that while also performing the tortorous calculations of a pokeyman battle 03:19:04 If it is a homebrew program you might be able to, possibly 03:19:22 Listening to the actual audio though, it sounds like it's mu-law at a decent sampling rate. 03:19:57 ah, so not even like adpcm, even simpler 03:20:14 Gets reasonable audio performance though. 03:20:36 Particularly if you're willing to shove it at, like, 16kHz or more. 03:20:56 128kbps audio if it's 8-bit 16kHz mu-law. 03:21:30 You're not going to have a *ton* of this stuff in the game like that, but you've definitely got room. 03:21:57 they probably splurged for the final boss. 03:23:04 And as far as the sound output goes, you can rather reasonably shove PCM out of it. 03:23:38 And that game with barely done vocals on the DS? That's probably just incompetence. 03:23:56 :( 03:24:09 They had a lot of movie cutscenes too, maybe they didn't have room. 03:24:43 512 megs. 03:26:24 it does 32 channels of adpcm I think with the normal "bios" 03:26:25 madbr: You have 2 new messages. '/msg lambdabot @messages' to read them. 03:26:27 Why should they need so many movie cutscenes? They shouldn't need a lot of high-quality recorded music either (you can use a simple sound generator). 03:26:50 streaming music is boring anyways 03:27:06 zzo38: It had a lot of rap. 03:27:38 cool, the chinese spammers have moved on from trying to sell me wire mesh 03:27:44 now they want to sell me 'double wire binding machine, double wire forming machine, automatic punching machine, etc' 03:27:54 an automatic punching machine WOULD be pretty useful 03:29:45 Punching speed: 4200/5400(times/hour) 03:30:04 automatic circumcisers? matching salt and pepper shakers? 03:30:04 -!- nooodl has quit (Ping timeout: 256 seconds). 03:30:09 haha 03:30:11 they'd better have actually provided that figure kmc 03:30:23 they did 03:30:26 yes 03:30:31 well i trascribed it wrong, it was "4200-5400" 03:30:37 it's better wtih the / :( 03:30:50 i wouldn't invest in an automatic punching machine unless i knew was getting at LEAST 3000 punches/hr 03:30:50 sry 03:31:40 it's a big Internet and it will take a long time to punch everyone on it 03:32:58 -!- Whtspc has joined. 03:33:16 i'll sign up for the kmc punch 03:34:51 form a line to the throne 03:37:21 Bike: yeah, DS games had a ton of room 03:37:27 the biggest DS cartridge is actually pokemon black/white, I think 03:39:32 how fast is the DS's first core? 03:39:52 ~60MHz 03:40:09 Not *enormously* fast, but fast enough to do some decent audio decompression. 03:40:22 mp2/mpc is like only half the size of adpcm 03:40:32 for like 100x the cpu usage 03:40:48 I guess it's ok if the cpu is doing, like, nothing else 03:40:55 and it's only one sound at the time 03:41:53 mp3 is even slower due to the added mdct 03:41:58 -!- Bike_ has joined. 03:42:19 -!- Whtspc has quit (Quit: Bye). 03:42:19 and ogg has even larger MDCTs 03:42:30 There's a reason I was suggesting MP2. :) 03:42:41 -!- Bike has quit (Disconnected by services). 03:42:43 -!- Bike_ has changed nick to Bike. 03:43:13 do you mean vorbis 03:43:21 kmc: One presumes. 03:43:22 ogg=vorbis 03:43:26 not true 03:43:31 ogg is the container format, I thouht? 03:43:33 yep 03:43:33 thought 03:43:38 yeah I know ogg is the container format 03:43:39 technically 03:43:43 doesn't matter 03:43:51 ogg speex and ogg flac files are pretty common I think 03:43:51 Vorbis is not Ogg. 03:43:58 "in this conversation about technical aspects of music storage formats i was being nontechnical" 03:44:00 pikhq: once again 03:44:01 also ogg video files with whatever audio codec as well 03:44:07 kmc: What's a bit more common is Vorbis in not-Ogg. 03:44:11 anyway i like that they're named after an obscure discworld character 03:44:20 For instance, WebM. 03:44:21 pikhq: yes ogg is the container format. but it doesn't matter because ogg is only used for vorbis anyways 03:44:25 pikhq: hm 03:44:30 which is derived from matroshka? 03:44:31 madbr: OGM, anyone? 03:44:39 madbr: but that's not true and anyway, why not say the correct thing 03:44:42 kmc: Yes, it's a subset of Matroska. 03:45:12 if they called the extension .vorbis, I'd call it vorbis 03:45:25 they named the files .ogg so that stuck, fine with me 03:45:26 madbr: That's like saying "MKV" when you mean h.264. 03:45:44 Or "AVI" when you mean DivX. 03:45:59 everybody calls vorbis "ogg" 03:46:00 everybody 03:46:13 nope 03:46:14 not me 03:46:16 hth 03:46:19 Look at the channel you're in. 03:46:21 nitpicking on that is pretentious 03:46:29 Look at the channel you're in. 03:46:33 Ogg container format is use for a few other things too, and I think Ogg is a much better container format than Matroska anyways. For additional data you should have multiple streams; however many you need for the extra data, and then exclude whatever you don't want. 03:46:33 i don't deny that i'm being pedantic 03:46:41 but I think it's appropriate 03:46:44 in context 03:46:44 no it's not 03:46:54 ok 03:46:56 i don't care 03:47:17 you may resume your discussion of DCT sizes or whatever 03:47:19 anyways 03:47:50 yeah irl they mostly use mpc/mp3/ogg (vorbis, whatever) on platforms that have limited bandwidth 03:48:04 ie optical media (CDs, blue rays, DVDs) 03:48:17 on iphone it's actually not worth it 03:49:25 adpcm is twice as large but it's 1/10th the CPU usage 03:50:26 -!- doesthiswork has quit (Quit: Leaving.). 03:51:11 -!- monqy has quit (Quit: hello). 03:52:40 incidentally it's also much, much, much easier to implement in hardware, which is why a lot of platforms had it too 03:54:58 -!- augur has quit (Remote host closed the connection). 04:03:12 -!- FreeFull has quit (Ping timeout: 264 seconds). 04:09:14 -!- kallisti has joined. 04:09:58 -!- FreeFull has joined. 04:18:17 -!- Nisstyre-laptop has quit (Quit: Leaving). 04:22:40 -!- augur has joined. 04:24:16 -!- augur has quit (Remote host closed the connection). 04:24:48 -!- augur has joined. 04:25:09 -!- monqy has joined. 04:31:10 -!- Nisstyre-laptop has joined. 04:34:35 -!- Bike_ has joined. 04:34:50 Vault uses unsafePerformIO 04:35:00 -!- Bike has quit (Ping timeout: 245 seconds). 04:35:08 I was hoping there was a 'pure' way to do that sort of arbitrary type data store 04:35:12 gotta go fast *obnoxiously distorted Sonic music* 04:35:42 vault uses unsafeCoerce, not unsafePerformIO 04:35:57 -!- Bike_ has changed nick to Bike. 04:36:06 hi Bike 04:36:08 anyway you need to add a primitive typed name supply where equality gives evidence of type equality e.g. Typeable is actually fulfilling this role 04:36:13 then you can build everything else on top of that 04:36:15 hi monqy 04:36:30 hang on hang on what's going on here "this look good" 04:36:32 http://www.youtube.com/watch?v=WF9CS3L_ezw 04:36:32 s 04:36:38 hi monqy 04:36:48 i gotta get in on this hi monqy business 04:36:56 https://github.com/HeinrichApfelmus/vault/blob/master/src/Data/Vault/ST/Pure_Lazy.hs#L30 04:37:36 i agree that one specific file has unsafePerformIO in it, not sure why this would prevent you from reading the other files with more canonical implementations than the IORef hack 04:38:04 Because I thought the file named 'Pure' would be the purest implementation 04:38:05 (actually the IORef connection is fairly deep -- a supply of these name things is fundamentally what ST gives you) 04:38:25 (Vault and ST are roughly the same thing) 04:38:40 (you can implement an ST transformer as a state transformer using Vault and some other stuff, etc.) 04:39:55 * Sgeo reads http://apfelmus.nfshost.com/blog/2011/09/04-vault.html 04:40:01 Sgeo: in hdis86 the file named Pure is the one with the pure interface, and consequentially the most unsafePerformWhatever implementation 04:40:08 hip hip himonqy! 04:40:08 that post probably won't help you understand the primitives underlying this kind of thing 04:40:21 shachaf: ???????? 04:40:57 monqy: its the "monqy cheeer" 04:42:11 monqy: have you played the neverhood 04:42:35 no 04:42:41 havent you asked me that at least twice before 04:43:25 maybe i asked the 'old you" 04:43:35 IORef allows you to make (f :: ContT () IO x -> IO [x]) such that (f (return x) = return [x]) from what I can see. It seems to be the only case with ContT with IO monad; not with any other monads, as far as I can tell (except Finalize, which is trivial). 04:43:38 remember, you can't step in the same river twice, monqy 04:49:08 -!- Bike has quit (Ping timeout: 256 seconds). 04:51:03 -!- Bike has joined. 04:58:39 shachaf: except the ankh, i just learned from that ship of theseus article 05:00:20 which article 05:00:29 wikipedia 05:05:52 -!- madbr has left. 05:07:24 -!- FreeFull has quit (Ping timeout: 264 seconds). 05:08:46 -!- GOMADWarrior has quit (Ping timeout: 245 seconds). 05:21:07 -!- btiffin has joined. 05:21:48 Idea; The programming language with the most easter eggs. 05:22:28 yes 05:22:36 You can write on the esolang wiki list of ideas if you want to 05:22:56 Might do 05:23:15 -!- FreeFull has joined. 05:29:22 Did, under Looks Like. I'll accept opinions on the cbrain article too. Just to get a feel for expectations. 05:29:42 Cont r IO x -> r -> IO (r, [x]) works too, I think, other than what I wrote above. 05:29:54 How much time should be spent on the useless? :-) 05:30:37 btiffin: I think the answer is :-) 05:31:03