00:01:41 what up? 00:05:21 -!- S1 has quit (Quit: S1). 00:08:01 -!- clog has quit (Read error: Connection reset by peer). 00:35:37 -!- contrapumpkin has changed nick to copumpkin. 00:52:35 slaying monsters and other nasty dæmons. along with elves, abominations, various tengues and giants. 00:54:48 -!- Tod-Autojoined has changed nick to TodPunk. 01:21:39 -!- hamrove has joined. 01:23:33 -!- hamrove has quit (Client Quit). 01:26:10 -!- hamrove has joined. 01:38:43 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 01:41:14 -!- boily has quit (Quit: MUMMIFIED CHICKEN). 01:50:42 -!- scoofy has joined. 02:10:24 -!- lleu has joined. 02:52:12 -!- adu has joined. 02:53:36 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 03:38:30 -!- hilquias has quit (Ping timeout: 272 seconds). 03:40:05 I would guess downvoting would be allowed on the basis that it makes even less sense to add an exception to the system just to prevent users from doing something silly. 03:52:16 -!- oren has quit (Remote host closed the connection). 03:52:47 -!- oren has joined. 03:53:38 The title is glitching up 03:54:17 -!- oren has quit (Client Quit). 03:55:52 -!- oren has joined. 03:56:24 augh why isn't it showing as utf-8 03:56:35 -!- bb010g has joined. 04:03:06 oh its midnight 04:04:26 since my laptop is now immobile, I'm accessing it remotely using the laptops in the other rooms instead of carryign it 04:11:29 on the plus side, this means i can run firefox on the local machine, and DF on my laptop, and not hang either one 04:22:40 -!- fungot has quit (Ping timeout: 276 seconds). 04:24:21 aaa fungot has quit? 04:25:04 -!- ^v has quit (Ping timeout: 265 seconds). 04:44:29 -!- adu has quit (Quit: adu). 05:45:59 -!- MoALTz has quit (Quit: Leaving). 05:48:27 RIP Grooveshark 06:05:57 -!- password2_ has joined. 06:08:04 -!- hamrove has quit (Quit: hamrove). 06:22:55 -!- password2_ has quit (Ping timeout: 245 seconds). 06:26:46 -!- password2_ has joined. 06:29:24 -!- hamrove has joined. 06:48:16 -!- hilquias has joined. 06:48:24 -!- hilquias has quit (Changing host). 06:48:24 -!- hilquias has joined. 06:50:50 -!- trout has quit (Ping timeout: 245 seconds). 07:21:46 -!- password2_ has changed nick to password2. 08:09:11 -!- hamrove has quit (Quit: hamrove). 08:22:00 -!- hilquias has quit (Remote host closed the connection). 08:26:12 Hm. 08:29:10 -!- fungot has joined. 08:29:16 There. 08:35:51 -!- Patashu has joined. 09:05:10 early GG update today 09:40:16 -!- zadock has joined. 09:44:56 -!- hamrove has joined. 09:52:15 -!- zadock has quit (Quit: Leaving). 10:24:23 good mriong 10:25:59 Oh Canada, glorious and free! 10:26:01 -!- boily has joined. 10:28:43 morning 10:35:48 morning 10:36:02 today is vandalism day 10:36:15 what? 10:38:45 1 of may 10:39:01 it's where all extreme socialist groups go on a vandalism streak 10:46:32 I wonder if there'll be manifs today... 10:46:46 -!- password2 has quit (Ping timeout: 272 seconds). 10:47:52 which socialist groups qualify for "extreme" though? 10:49:01 I guess empirically, whichever ones go on a vandalism streak today? 10:57:12 -!- oerjan has joined. 11:01:46 hellørjan! 11:02:20 god moren 11:03:00 also god moily 11:03:17 Morning 11:03:33 boerjan matin! boren matin! bon mataneb! 11:06:24 god taneg 11:08:24 helloily 11:09:55 b_jon masin! 11:12:59 an an an ... my left control key has stopped working 11:13:33 oren: get new keyboard 11:13:42 unless it's a software problem 11:14:15 it is probably a problem with the kybard 11:15:22 * boily loves his mechanical keyboards 11:15:56 oren: have you ever heard of our Lord the Loud Click? 11:16:44 I should get a clicking keyboard, since they probably last longer 11:18:56 or just get three non-clicking keyboards for the same price 11:19:14 oren: don't listen to the herectics. 11:19:20 b_jonas: flblblblblblbl :P 11:19:51 oren: yep. 11:19:56 Those who vandalise.. 11:20:02 are extreme by definition :D 11:21:14 -!- boily has quit (Quit: ASTOUNDING CHICKEN). 11:26:38 -!- hamrove has quit (Quit: hamrove). 11:51:26 It's raining like fnord. 11:56:25 not here 12:02:10 good for you. 12:05:46 stupid websides, with their crazy css rules that just causes important text to crop or overlap so I have to fix the formatting locally 12:05:50 I hate you 12:21:42 you can just disable CSS 12:22:25 sure 12:22:39 that breaks this page even more horribly 12:22:51 I disable some rules only, and sometimes modify numbers 12:29:45 I want a text-mode ncurses browser that supports only non-crazy CSS 12:35:30 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 12:36:23 Really the problem is that HTML-CSS-JS is ostensibly both a document format and a programming language 12:36:55 but the requirements of each of those are very different 12:37:03 as I see it, the problem is that people are trying to set the format too strictly on their webpages instead of the browser just figuring out the right sizes and fonts that work for me 12:37:28 I think it's called "web design". 12:37:32 yeah 12:37:34 that's the problem 12:37:49 web designers should be shipped on the B-ark so we have nicely designed web pages on the new planet 12:38:35 or maybe they should just serve images instead of web pages 12:39:00 no, that's even wors 12:39:14 why? then you don't need fonts 12:40:23 yeah 12:40:26 images with click maps 12:40:40 because I want to be served content, not formatting 12:40:47 I can decide on the formatting myself, thank you 12:40:51 and I can choose the right fonts that please me 12:40:52 and with the amount of Jquery sludge these web pages run on, it might even be smaller 12:41:00 I want to copy&paste text into an IRC chat, for example. 12:44:01 nicely put: "Everyone Wants You To Have Security, But Not from Them" 12:45:03 -!- TheM4ch1n3 has quit (Ping timeout: 272 seconds). 12:51:27 EWYTHSBNFT 12:53:13 hm i think xkcd what-if hasn't updated for two weeks 12:53:28 `? EWYTHSBNFT 12:53:39 oh duh 12:53:57 Gregor: HackEgone 12:53:59 I've got it! #define btw del( #define lol ) #define del(x) 12:54:38 So I can comment like btw, this variable stores the user's preferred colors, lol 12:54:46 oerjan: Some assclown severed the fiber lines in a car crash. 12:54:50 oerjan: yes, it rarely updates 12:54:53 Expected fix before 8PM EDT 12:54:58 The worst is when sites serve text and then replace it with images client-side using javascript... for god knows what reason 12:55:18 oerjan: http://what-if.xkcd.com/archive/ lists dates 12:55:38 b_jonas: i guess he's running out of disaster scenarios 12:55:48 oerjan: and randall's removed the statement that it updates every Tuesday for long 12:56:03 Gregor: wut 12:56:50 < Gregor> oerjan: Some assclown severed the fiber lines in a car crash. – Wut. How? 12:56:59 I'm more worried that tom7's radar didn't update yet. he's made a point of having posted at least one blog entry (even if it's a silly short one) every calendar month for FIFTEEN YEARS now! 12:57:33 so the one for march is very due now unless he's using some riddiculous GMT-13:00 timezone as an excuse 12:57:38 b_jonas: it's _usually_ at least once every two weeks though. 12:57:49 http://radar.spacebar.org/ 12:58:36 b_jonas: "greetings from Tonga!" (or is that the wrong way around) 12:58:53 I think you mean the one from april 12:59:11 hmm the btw comment lol syntax is nestable 12:59:24 oerjan: dunno, but the problem is, I think -13:00 timezone isn't even used much, and he's too late for -12:00 now. +13:00 might exist with dst I think. 12:59:47 and -13:00 will be too late in about a minute or something 13:00:02 and he could have posted something about how sigbovik went down 13:00:25 yep, too late even with -13:00 now 13:01:32 though I was thinking someone could make a medieval history theme park and declare he's using like GMT-3000000:00 timezone so it's still the middle ages there 13:02:51 hm indeed -13:00 isn't used, although +14:00 is 13:03:28 sure, +14:00 is a great tourist attraction, they can make videos about earliest new year celebrations and stuff 13:04:03 < Gregor> oerjan: Some assclown severed the fiber lines in a car crash. – Wut. How? // Idonno, I'm just relaying an email 13:04:21 if I had a pacific island vacation resort to the south from 30 deg latitude south, I'd use +14:00 timezone too 13:06:22 latest new year is probably not such a good attraction 13:07:49 -!- kapil___ has joined. 13:14:32 http://hastebin.com/diyidehuqi.cs 13:25:13 int *s = malloc(sizeof(int)*100); btw that becomes lol let(s,newa(int,100)); 13:31:41 -!- `^_^v has joined. 13:50:58 -!- adu has joined. 13:57:58 -!- adu has quit (Quit: adu). 13:59:24 oren: you would love J's source code 14:01:39 Which uses things like #define DO(n,stm) {I i=0,_n=(n); for(;i<_n;i++){stm}} 14:02:23 http://xen.firefly.nu/up/j.h.html 14:02:51 -!- spatterworthy has joined. 14:03:46 http://xen.firefly.nu/up/jtype.h.html has some crazy macros as well 14:09:49 -!- GeekDude has joined. 14:13:47 Hmm, the btw lol doesn't work. btw comment :) does work 14:14:54 as does btw comment ); and X) 14:15:31 -!- MDude has quit (Ping timeout: 240 seconds). 14:15:35 -!- Patashu has quit (Ping timeout: 250 seconds). 14:15:47 those are cool macros! 14:16:23 They're a bit too obscure for my taste 14:17:09 -!- adu has joined. 14:17:18 well they're not general-purpose 14:20:11 b_jonas: aw, he cheated a bit apparently 14:20:46 backdated? I approve 14:21:00 Yeah 14:21:48 though he didn't post anything new. I've already seen the video. 14:23:36 what are some common things you would implement in a new language to show off? 14:24:04 S0lll0s: check out Rosetta Code for ideas 14:24:07 depends on what sort of capabilities 14:24:31 S0lll0s: i'd point you to the wiki but it's down. oh hm... 14:24:34 S0lll0s: hello world, list the first few hundred primes in decimal, 14:24:50 no matter, http://rosettacode.org is up 14:25:17 game of life 14:26:06 http://esolangs.org/wiki/Popular_problem 14:26:16 once it's up again 14:26:48 http://webcache.googleusercontent.com/search?q=cache:NL5oIRnSm1wJ:esolangs.org/wiki/Popular_problem+&cd=1&hl=no&ct=clnk&gl=no 14:37:36 Catching up on old emails ... Lens has a function called "confusing"?! How appropriate... 14:38:24 :t confusing 14:38:25 Applicative f => LensLike (Data.Functor.Kan.Rift.Rift (Data.Functor.Yoneda.Yoneda f) (Data.Functor.Yoneda.Yoneda f)) s t a b -> LensLike f s t a b 14:38:50 Great type, too. (wtf is a Rift...) 14:39:09 thanks, was looking for smth like rosetta 14:40:01 -!- adu has quit (Quit: adu). 14:40:25 int-e: It's not a Lift 14:41:17 Nor a Banana, I think we can go on like this for days. 14:51:52 -!- spatterworthy has quit (Quit: Page closed). 15:08:20 -!- oren has quit (Ping timeout: 272 seconds). 15:08:38 int-e: named rather deliberately =) 15:09:09 int-e: rift is a right kan lift, its a right kan extension in a 2-category where we've flipped the 2-morphisms 15:09:47 -!- oren has joined. 15:09:50 int-e: alternately if we think of applicatives as monoids in the category of endofunctors with regards to day convolution you can think of it as 'curried' day convolution. 15:09:58 that latter sense is the useful part here 15:10:09 we use rift to re-associate (<*>) 15:10:18 help! this channel is totally taken over by haskellers! 15:10:25 did you all get thrown out of #haskell? 15:10:29 * int-e nods slowly, trying hard not to look stupid. 15:10:47 the Yoneda in there fuses together multiple lenses. the Rift in there fuses to the left the (<*>)'s exposing the (<$>)'s to be fused. 15:11:24 the net effect is that confusing (some.big.long.complicated.traversal) is faster than some.big.long.complicated.traversal) when the compiler can't inline the traversal 15:11:42 e.g. when it is recursive or something 15:11:55 int-e: that wall of text was mostly 'hey there is a deep motivation for this stuff' =) 15:12:26 maybe you should just have said that "fusing" alludes to fusing :P 15:12:56 i'll be giving a couple of talks next month showcasing 'applicatives are monoids in the category of endofunctors, too' as part of how i design the api for discrimination. 15:13:06 well, yeah 15:13:20 we have fusing which abuses the fact that Yoneda lets us fuse fmaps 15:13:36 Excellent punnery 15:13:41 then fusing (_2._2) becomes one call to fmap for an unknown functor rather than two. 15:13:53 confusing is the upgraded version for traversals 15:14:01 named because it has the most confusing type we have in lens 15:14:10 :t fusing 15:14:11 Functor f => LensLike (Data.Functor.Yoneda.Yoneda f) s t a b -> LensLike f s t a b 15:14:12 :t confusing 15:14:13 Applicative f => LensLike (Data.Functor.Kan.Rift.Rift (Data.Functor.Yoneda.Yoneda f) (Data.Functor.Yoneda.Yoneda f)) s t a b -> LensLike f s t a b 15:14:37 `` cat /etc/fstab 15:15:02 ... ah well let me fill in: /etc/fstab: File not found. 15:27:27 lol 15:27:43 “Turns out the boolean NOT operator in PHP is !, not "not". I typed "not" and my syntax highlighter highlighted it, so I assumed it was the correct operator. Yeesh.” 15:27:46 nice 15:31:29 syntax highlighting is only as accurate as the knowledge of the person who wrote the highlighter 15:33:33 oren: actually, I think php is like perl in that NOT and ! are both operators 15:33:44 but NOT has low precedence 15:34:02 hmm maybe not 15:34:17 it isn't 15:34:43 (maybe it's like python or ruby *ducks*) 15:35:17 but they do have &, |, ^, &&, ||, and, or, and xor. go figure 15:35:55 -!- scoofy has quit (Ping timeout: 244 seconds). 15:36:12 do you remember very old (like 1.2 or something) ruby which had the same situation as lua, with & and | being bitwise operators but ^ being power so they used xor as the bitwise xor operator? 15:37:04 well that's fine I think. because != is the logical xor operator 15:37:11 lua uses ~ as bitwise xor these days 15:38:05 Of course, you can always just stipulate that true is all ones rather than being 1, then you can use only one set 15:38:33 these days people have started to realize that less than, lessequal, equal, not equal, addition, subtraction, bitwise and, bitwise or, and bitwise xor are important operators, and they need short mnemonics, whereas division and power and integer division and modulus and stuff like that doesn't 15:38:48 if only they also realized that min and max are just as important operations and also need short operator symbols 15:39:11 i guess that makes true=-1 15:39:13 -!- scoofy_ has joined. 15:39:22 oren: yes 15:39:43 well, it depends 15:39:52 I can certainly understand the apl viewpoint that true is 1 15:40:08 both representations can be right depending on what you want 15:40:18 there's also cases when true is minus infinity 15:40:31 um what 15:40:50 -!- scoofy_ has changed nick to scoofy. 15:41:13 oren: basically, booleans come up in a lot of places, and there's more than one way to represent them, and no one of the ways is always the best 15:41:56 Hmm... all ones as a float would be NAN 15:42:20 oren: no 15:42:24 it's minus infinity 15:43:00 Hm.. I just did it in scrip7 and I got nan 15:45:37 well specifically -nan. I dunno how a NaN can specifically be negative but that is what printf outputted 15:48:26 -!- jix has quit (Remote host closed the connection). 15:48:52 -!- jix has joined. 15:50:19 fff0000000000000 is -inf apparently 15:50:46 oren: what 15:50:49 no way 15:50:51 let me check 15:50:51 it's true. 15:51:07 7ff0000000000000 is +inf 15:51:10 lua uses ~ as bitwise xor these days ← Huh, I didn't know that. That's kinda cute, considering it uses ~= for inequality 15:51:16 Unless my compy's arch is screwed up 15:52:12 I'll check now, but I totally thought all ones represents infinity, and all other values with maximum exponent represent nans, signaling or quiet depending on the 0.5 bit 15:52:18 whereas NaN has no specific value; 7ff and fff should all be NaN values. 15:52:43 X=-1 X/0 XpX IxI . the output was -inf fff0000000000000 15:53:00 I'll check the docs. if you're right, then thank you for fixing my misconception (also this is weird) 15:55:49 eek you're right 15:56:04 infinity has all fraction bits zero 15:56:14 so it's like 1.0 with the nan exponent 15:57:19 -!- MoALTz has joined. 15:57:54 and for completeness, qnan is one with the 0.5 bit zero 15:58:10 what's qnan 15:58:29 no wait I got it backwards 15:58:50 qnan is one with the 0.5 bit one and the exponent set to the maximum 15:59:22 snan is one with the 0.5 bit zero, bur not all the mantissa bits zero, and exponent is maximum 15:59:26 so 7ff80...0 15:59:39 (for qnan) 16:00:51 int-e: yes, that's the usual qnan value, the one you get on x86 from inf-inf or 0/0 or similar stuff 16:03:04 this means all ones is a qnan, but it's one you get from compare instructions, not from other floating instructions unless they already get an unusual nan as its input 16:03:27 That's the value I got. printf outputs -nan same as all other negative nans though 16:03:30 thanks for putting me right 16:04:42 -!- HackEgo has joined. 16:05:01 hacky! 16:10:09 -!- bb010g has quit (Quit: Connection closed for inactivity). 16:18:29 -!- kline has changed nick to ayylmao. 16:21:54 -!- variable has joined. 16:54:36 -!- Phantom_Hoover has joined. 17:21:58 -!- ^v has joined. 17:42:11 reading books from 1917 is hindered by the author's expectation that the reader understands English, French, Latin and German 17:46:36 je ne sais nicht, was problema est 17:49:06 oren: and Russian too maybe? 17:52:41 -!- variable has changed nick to trout. 18:00:36 -!- hamrove has joined. 18:04:45 -!- password2 has joined. 18:31:36 -!- MoALTz has quit (Quit: Leaving). 18:34:41 -!- oerjan has quit (Quit: leaving). 18:48:29 oren: Dracula is from 1897 and perfectly readable 18:51:45 -!- HackEgo has quit (Ping timeout: 272 seconds). 18:52:40 -!- HackEgo has joined. 18:58:48 -!- hamrove has quit (Quit: hamrove). 19:03:44 -!- HackEgo has quit (Ping timeout: 245 seconds). 19:04:48 -!- HackEgo has joined. 19:07:08 -!- Koen_ has joined. 19:07:31 -!- Koen_ has quit (Read error: Connection reset by peer). 19:07:48 -!- Koen_ has joined. 19:09:12 -!- zzo38 has joined. 19:17:15 -!- nortti has changed nick to rhyfel. 19:18:34 -!- rhyfel has changed nick to nortti. 19:31:03 -!- S1 has joined. 19:36:48 ´test 19:36:53 -!- nycs has joined. 19:37:01 wasn't there a bot responding to ´ ? 19:37:04 `test 19:37:05 No output. 19:37:08 ah 19:38:28 -!- `^_^v has quit (Ping timeout: 256 seconds). 19:41:55 -!- AnotherTest has joined. 19:42:04 -!- spatterworthy has joined. 19:48:09 -!- S1 has quit (Quit: S1). 19:49:02 -!- hamrove has joined. 19:56:59 -!- S1 has joined. 19:57:38 -!- S1 has quit (Quit: S1). 20:11:49 Can you do FM synthesis by calculating all of the harmonics? 20:21:26 Ah, cloudatcost seems to have recovered from their car accident. :P 20:22:06 (4 hours ago, when HackEgo came back? perhaps...) 20:23:29 -!- password2 has quit (Ping timeout: 246 seconds). 20:30:39 zzo38: At that point it's additive synthesis 20:31:25 There isn't an obvious way to go from FM to the frequency domain, I think 20:31:38 Other than the hard way 20:31:49 Yes, I know, but, with .XM and so on you can't do proper FM except with 1:1 keyscaling of the modulation envelope and you might not want this 20:32:41 zzo38: Samples will sound good enough 20:32:56 Although obviously it's less flexible 20:34:00 Yes I know it is less flexible; AmigaMML can already generate FM synthesis samples but that might not be quite good enough; the file format does not support FM though 20:34:02 zzo38: Or you can go with additive synthesis, and get cool sounds that aren't FM 20:34:32 zzo38: If you want FM synthesis support, you could use .s3m 20:34:56 Or maybe Adlib Tracker II 20:34:59 Yes, but even with .s3m most playback software does not support FM 20:35:12 And hardly any program supports the Adlib Tracker II format 20:35:36 Which is the point at which you create a .flac of your music 20:39:38 Some programs also do not support FLAC though; they might support only MOD/S3M/IT/XM, or possibly those formats plus Vorbis; still the Vorbis and FLAC formats are plain audio formats (with compression) and may be much larger file than ones telling the notes to play; also you cannot easily set loop points 20:39:38 -!- tamare has joined. 20:41:12 I know I can also do FM with VGM format, but still it isn't one of the supported formats either 20:42:58 -!- tamare has left. 20:43:55 I also notice on Wikipedia about "group additive synthesis" 20:51:10 -!- MoALTz has joined. 20:56:07 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 21:09:00 -!- nycs has quit (Quit: This computer has gone to sleep). 21:26:26 -!- trout has quit (Remote host closed the connection). 21:30:37 -!- variable has joined. 21:30:38 Did I tell you people I wrote a fun program that makes mazes 21:30:46 here is some output: http://runciman.hacksoc.org/~taneb/baz.svg 21:31:54 I don't have the program on this computer but it uses a randomly weighted Kruskal's algorithm 21:32:10 Taneb: What does it make the svg with? 21:32:20 Melvar, the Haskell "diagrams" library 21:32:23 What is a randomly weighted Kruskal's algorithm? 21:32:30 http://projects.haskell.org/diagrams/ 21:32:46 zzo38, Kruskal's algorithm finds the minimum spanning tree of a graph 21:33:01 This makes a graph with random weights then applies Kruskal's algorithm to get a maze out of it 21:34:19 Taneb: Ah. Neat. I’m not sure how to make a path like that with it, but neat. 21:34:32 Wait, is this a negative maze? 21:34:40 Melvar, the path is in black 21:34:48 So yes. Negative. 21:34:48 Because I didn't put too much effort into the actual rendering 21:35:03 And this was easier 21:35:19 But yeah, neat. 21:35:23 Melvar, I'll paste the code later 21:36:50 It's less than 100 lines of Haskell 21:37:13 Of course it is. 21:37:16 Some of it's pretty ugly because Kruskal's algorithm works best with a union-find data structure which is easier to implement with mutability so I use ST for that 21:40:53 Taneb: Fun approach, but I think using a union find data structure is simpler. (The idea is to track connected components of the graph and only add new edges between distinct components. this gives O(n \alpha(n)) maze generation with very little effort. 21:41:00 ) 21:41:20 int-e, yes, that's what I said I was doing 21:41:31 (n is the number of nodes, so w*h) 21:41:40 That is exactly what I am doing 21:42:53 Hmm. I wouldn't call it Kruskal's algorithm... the added weights for modeling it seem to be too artificial. 21:44:06 FWIW, I started replying after "It's less than 100 lines of Haskell", I didn't really take your followup message into account. 21:44:25 * int-e is slow :/ 21:45:54 * Melvar finds headline: “Haskell creator Paul Hudak is dead” 21:47:53 <ω< The article itself trips over its own feet trying to explain what the hell Haskell is in one paragraph without knowing anything about it. 21:49:19 Melvar: I believe the headline isn't specific enough to identify the article. 21:49:34 (link, please?) 21:50:31 int-e: http://www.heise.de/-2631171 21:52:18 Melvar: hehehe 21:52:19 "Mehr zum Thema Python" well not quite 21:55:35 Let me give that a try: "Haskell was created near the end of the 1980s as a pure, functional programming language, predominantly for scientific purposes. A distinguishing feature of functional programming languages is that functions applied to the same arguments always return the same value regardless of how often they are called, and do not influence the state of a program. In addition, Haskell... 21:55:41 ...is based on the concept of monads and doesn't distinguish between variables and constants." 21:56:29 yeah, it's funny 21:57:02 "The logo of the language, a lambda, originates in the lambda calculus that underlies [Haskell], which provides a sort of semantics for certain calculations." 21:57:11 int-e, the Wikipedia article on maze generation calls it Kruskal's algorithm 21:57:18 And it certainly bears similarities 21:57:40 Taneb: Ah. Yes, there are similarities, but they still seem artificial to me. 21:57:49 What have I done. <ω< 21:58:03 Taneb: Anyway, perhaps it's just that I didn't think of this myself. :P 21:58:23 s/of this/of this connection/ 21:58:58 Melvar: I'm done... just translating for our non-(native German speakers) :P 22:00:06 -!- Lymia has quit (Ping timeout: 250 seconds). 22:02:25 -!- Lymia has joined. 22:09:36 Hmm, where have I heard this, I guess it was the Security Nightmares talk at the last C3C. "Do you know this effect, when you read a news article in your area of expertise, and you realize that the article is completely wrong? And then you read the next article and believe everything it says..." 22:12:45 It's an old thing. I first heard it named after Gell-Mann. 22:13:05 I most recently heard it in a talk by Daniel Bernstein. Maybe that's the one you're thinking of. 22:14:07 Nah, I'm pretty sure I got my source correct (it was in German, starting with "Kennt ihr das...")... that said, thanks for the references, especially the first one. 22:14:12 I think it was that "death of optimizing compilers" talk. 22:14:20 OK. 22:14:34 I have not seen that talk; I've only seen the slides. So that's definitely not it. 22:18:10 -!- AnotherTest has quit (Ping timeout: 264 seconds). 22:22:04 -!- AnotherTest has joined. 22:26:42 I found equations for "DSF synthesis"; there is a simple equation for the non-bandlimited form but the "a cos theta" term in the denominator seems to make it difficult. 22:26:49 http://www.csounds.com/journal/issue11/distortionSynthesis.html 22:32:58 a.k.a. discrete summation formula 22:37:31 -!- AnotherTest has quit (Remote host closed the connection). 22:46:32 * pikhq should clean up and AV mod his Famicom. 23:09:30 -!- Vorpal has quit (Ping timeout: 272 seconds). 23:14:56 -!- drpotoes has joined. 23:15:13 -!- drpotoes has left. 23:19:56 -!- Patashu has joined. 23:30:36 -!- hjulle has joined. 23:38:48 -!- hamrove_ has joined. 23:39:15 -!- hamrove has quit (Read error: Connection reset by peer). 23:49:20 -!- erdic has quit (Ping timeout: 256 seconds). 23:50:28 Now I added #CHDIR #TUNING #WAVE-SIZE commands into AmigaMML (not released yet). 23:51:42 -!- erdic has joined. 23:52:39 There are still no command-line switches (it is likely it won't ever need any).