00:01:08 Merry july everybody 00:01:37 ooh you're right. 00:01:56 Meh, just because you're GMT 00:02:12 I've been in july for a while now 00:02:27 GMT aka UTC? :P 00:02:33 UNIVERSAL JULY BITCH 00:02:57 UNIVERSAL JULY! It's July EVERYWHERE IN THE UNIVERSE! 00:03:03 correct 00:04:48 -!- game16 has quit ("Leaving."). 00:05:11 -!- BeholdMyGlory has quit (Remote closed the connection). 00:06:04 -!- FireFly has quit ("Later"). 00:09:10 -!- Pthing has joined. 00:20:54 -!- KingOfKarlsruhe has quit (Remote closed the connection). 00:26:16 -!- pikhq has joined. 00:32:27 So, I tried switching back to KDE for a bit... 00:32:46 And nearly vomited. So slow... 00:33:16 baaaarrrrrrrrrrrrrf 00:37:08 pikhq: ...Your computer sucks. 00:37:10 10:32:08 FYI #proglangdesign #ltu 00:37:11 lame 00:37:23 * ehird looks at first channel 00:37:25 Laaaaaaaaaaame. 00:37:47 * ehird looks at other channel 00:37:49 Almost identicaaaaaaaal. 00:38:01 10:56:12 we had a moon person in here a while ago 00:38:01 10:56:18 at least, someone who thought they were 00:38:06 for values of a while = two days ago, iirc 00:41:23 12:52:47 C is awful. Except for all the other systems programming languages out there. :P 00:41:24 o rly 00:41:25 HASKELL 00:41:36 12:53:31 Zuu! 00:41:36 12:53:34 Wtf are you doing here :-P 00:41:39 oh do you know who he is? 00:41:40 who is he? 00:42:34 oh he's from #d 00:43:03 12:55:04 take haskell, i'm sure it's great 12:55:11 if you like to masturbate to language design 00:43:06 * ehird kicks zid to death. 00:43:12 12:55:28 but is it.. useful? 00:43:18 * ehird mangles zid's brain to information-theoretic death. 00:43:29 No revival for you, bitch! 00:48:20 12:55:52 I've never seen anything written in haskhell, just people teling me how awesome something would be when written in haskell 00:48:25 was "haskhell" intentional? 00:48:33 zid is in #ltu? 00:49:30 #ltu: WE'RE TOO EDGY FOR JUST A WEBLOG 00:49:41 ALSO ABBREVIATIONS RULE 00:51:16 * pikhq needs a good GUI environment. 00:51:39 Or just nuke X from orbit. 00:51:45 I could tolerate that. 00:51:46 12:58:05 Zuu: Go to #c++. 00:51:52 me me me me! 00:51:54 but #c++ has goedi! 00:51:57 It's written in Haskell! 00:51:59 Oh noes, not C++ 00:52:14 But geordi is poo :< 00:52:22 pikhq: Step 1. Get OS X's GUI source leaked. Step 2. Spend hours porting to Linux. 00:52:24 Step 3. Get sued 00:52:32 Step 4. I AM IN A JAIL CELL CALLED "HAMLET" 00:52:36 WASHING NASAL DEMONS 00:52:37 * Zuu wonders if ehird is a bottie 00:52:50 Zuu: Nay! I am but a. 00:53:04 Eh ? 00:53:25 * Zuu cuddles ehird ^^ 00:53:34 ehird: Not good enough. 00:53:43 Zuu: Forsooth! Make tenners to be like a flower; but no? 00:53:48 pikhq: Use Plan 9 00:53:48 I'm starting to think current GUI metaphors are t3h suck. 00:53:55 Tempting. 00:54:03 Or maybe just Plan 9 from Userspace. 00:54:05 Also, they are; but there's nothing above concept-stage in anything else. 00:54:06 ehird, is that an advanced way to ask if i'll marry you? 00:54:13 OS X at least makes using the current rubbish model OK 00:54:21 Zuu: No; 'tis but a languishing swamp demon. 00:54:36 pikhq: Naw, not userspace. You need the ubiquitous files and toolset to take advantage of p9's ui. 00:54:50 * Zuu has a hard time interpreting ehird's eso-english 00:54:54 About the only alternative that's well-developed is tiling window managers. ... And those are niche at best. 00:55:06 Also they're not very ergonomic. 00:55:25 Zuu: But flies are like a sun, and every solar system calls their star sun, just like every base calls theirs 10, because you can fly a lot, see? 00:55:49 Wth... 00:56:08 * Zuu steals all ehird's poems and eats them :> 00:56:21 Thar! 00:56:30 Zuu: Eating disallowed; a cake perhaps barred from judging murder in case of a fire/ 00:56:32 Enough of the nonsense :) 00:57:15 My brain gets overloaded with all this weird sentence compositions 00:57:22 *these 00:57:54 * Zuu is allergic to incomprehensible stuff 00:58:55 Zuu: Sentences mutate, morphed gluttery flobs in your gut. Only then may the window look at itself, but you know all about 'pataphysics, so essentially it's combinatorics, a bun, a death, and two and a half pennies for dinner. 00:59:32 * Zuu pat pats ehird :) 01:00:14 Zuu: But what most people don't realise is that Cuil is a legitimate search engine of panties. 01:00:43 While that does sound slightly interresting, i wonder if it means the same to you as it does to me 01:02:08 Zuu: Questions are a folly of multitude; mayhaps if the hunter-gatherers were astronauts instead we could get some cold porridge. 01:03:20 mayhaps 01:03:24 Hehe 01:04:42 Zuu: …insipid people are usually the target of such things, but I am wont to ask if we have not been misunderestimating such potential value as to move into a framework beyond atoms, particles and suchlike: maybe if we abandoned these antediluvian concepts, it would be an eclipsing bonanza for all who might attend (although I note that some who attend would not be pleased, as some people can find fault in anything; but I digress). 01:05:12 im afraid i dont care to read that :/ 01:05:19 quick, find a cylon base ship and plug him in 01:05:41 i wont understand 50% of it anuways, and i dont care to rape a dictionary for that sole purpose 01:07:48 -!- jix has quit ("leaving"). 01:07:51 Zuu: Hellfire! Brimstone! My, my, we've been busy lately; this Hell business sure seems Popular — with a capital P, you understand (am I pompous if I extend this capital-p starting concept to "capital punishment"? I hope not, for I am about to do so) — but would you be so fine as to make sure that only those who die get here? Specifically, those doing bad deeds; capital punishment may be a good indicator. It's nice, and all, and I am, after all, God, 01:07:53 so I would know, but I don't really like how you're picking living people from Earth. It kind of disturbs their faith in me. But, really, good work, just keep it for the dead people, okay? 01:08:30 He's unstoppable, he must be a bot 01:09:13 Zuu: Ha! Fathom such a prithee concept, but I doubt you could or couldn't depending on the weather; generally data dependencies condition on something much more uninteresting and/or valuable. I guess that's just how the world works on Tuesdays. 01:10:28 a bot on the left half of the world map 01:11:23 Zuu: I tend to disregard such concepts; they are for the old world, and I, why I am of the New World! Honey, milk, you know the deal! I'm like a rapping, gangsta, Hitler God. 01:12:05 fungot: do you agree? speak your mind! 01:12:06 Asztal: feed it birth control pills and water once a month, but perhaps it is something medical 01:13:27 Uh. 01:13:31 That's a weird diet. 01:13:37 ...Hey, fungot snapped me out of that. 01:13:38 ehird: " go study some cs you idiot"... ping timeout" 01:13:50 Ha@ 01:13:52 *Ha! 01:17:11 lament: no, never been, what is it? 01:19:24 zid: it has icky non-practical masturbatory language design people from lambda-the-ultimate.org 01:19:28 they like haskell. and scheme. 01:19:34 (zid dies of disgust) 01:19:36 oh god 01:19:49 I bet the smug just OOOZES 01:19:52 you could bottle it 01:21:54 zid 01:21:57 do you realise 01:22:03 this channel is about esoteric programming languages — 01:22:06 deliberately unusable ones 01:22:10 deliberately "masturbatory" 01:22:17 deliberately exploring the edges of programming language design — 01:22:23 lol 01:22:25 why are you here if you have such a desperate phobia of such things? 01:22:40 if befunge is 'exploring the edges of programming language design' then damn 01:23:14 It's pointless for pointless sake, not pointless pretending to not be 01:23:28 they're the opposite of the spectrum 01:24:16 because befunge is the only esolang? 01:24:33 you're just an idiot obsessed with what's popular; a language is only viable if everyone else uses it too, QED 01:24:39 you're saying haskell and brainfuck serve the same goal? 01:24:42 haskell is masturbatory bullshit because in my bubble i don't hear anyone using it 01:24:45 it's idiotic 01:24:50 zid: i never said that 01:25:01 then why couldn't one like brainfuck but not like haskell 01:25:43 alas the point went over your head utterly. 01:25:56 You'll have to dumb it down a bit then 01:29:00 I shall now interrupt this ridiculous conversation with a monologue from Oedipus Tyrannus, by Sophocles. 01:29:16 I am the son of Polybus, who reigns at Corinth, and the Dorian Merope his queen; there long I held the foremost rank, honoured and happy, when a strange event (for strange it was, though little meriting the deep concern I felt) alarmed me much: 01:29:18 http://www.fileformat.info/info/unicode/char/03bb/index.htm 01:29:20 lamda not lambda? 01:29:23 unicode typo? 01:29:33 A drunken reveller at a feast proclaimed that I was only the supposed son or Corinth's king. Scarce could I bear that day the vile reproach. The next, I sought my parents and asked of them the truth; they too, enraged, resented much the base indignity. 01:30:06 GregorR: Sorry, I was busy giggling and being told i'm obsessed with what's popular after admitting I use mainly C and befunge :P 01:30:06 I liked their tender warmth, but still I felt a secret anguish, and, unknown to them, sought out the Pythian oracle. In vain. Touching my parents nothing could I learn; but dreadful were the miseries it denounced against me. 'Twas my fate, Apollo said, to wed my mother, to produce a race accursed and abhorred; and last, to slay my father who begat me. 01:30:09 night guys 01:30:23 befunge is fun, but not brilliant 01:30:25 Uhh, C isn't popular? 01:30:40 Sad decree! Lest I should e'er fulfil the dire prediction, instant I fled from Corinth, by the stars guiding my hapless journey to the place where thou report'st this wretched king was slain. But I will tell thee the whole truth. At length 01:30:41 I came to where the three ways meet, when, lo! A herald, with another man like him whom thou describ'st, and in a chariot, met me. 01:31:13 Both strove with violence to drive me back; enraged, I struck the charioteer, when straight, as I advanced, the old man saw, and twice smote me o' th' head, but dearly soon repaid the insult on me; from his chariot rolled prone on the earth, beneath my staff he fell, and instantly expired! 01:31:27 Are we done yet, can I stop this :P 01:31:49 Yes, O Wise GregorR, decreer of reasonability and obnoxious floods to end. 01:35:05 i need bread! 01:35:26 * Zuu gives nooga some icecream 01:35:37 Zuu? 01:35:53 yes? 01:36:53 wtf are you? 01:37:36 * Zuu find it strange that everyone in here seem to be asking that question 01:39:18 But alright: I'm me, Mostly human, Alive, Awake, Bored and wondering 01:39:38 now, what are you nooga ? 01:39:51 an idiot 01:39:58 except from in need of bread 01:40:08 .. and icecream onyour face 01:40:23 .. sorry, didnt know where else to put it 01:41:46 > let n = pi in foldl (+) 0 (zipWith (\x y -> y*n**x/(product[1..x])) [1,3..] (cycle [1,-1])) 01:41:55 mueval-core: Prelude.read: no parse 01:41:55 mueval: ExitFailure 1 01:42:03 vooot? 01:43:00 > let n = pi in foldl (+) [y*n**x/(product[1..x]) | (x,y) <- zip [1,3..] cycle [1,-1]] 01:43:03 Couldn't match expected type `[b]' 01:43:23 > let n = pi in foldl (+) 0 [y*n**x/(product[1..x]) | (x,y) <- zip [1,3..] (cycle [1,-1])] 01:43:31 -!- lambdabot has quit (Read error: 104 (Connection reset by peer)). 01:43:40 AHAHHAAHHA!! 01:43:46 killed it 01:44:29 i thought that lambdabot is bulletproof 01:44:40 peer got 'im. 01:44:43 That bastard. 01:45:15 Hehe 01:46:23 > let n = pi in foldl (+) 0 [y*n**x/(product[1..x]) | (x,y) <- zip [1,3..] (cycle [1,-1])] 01:48:25 -!- pikhq has quit (Read error: 104 (Connection reset by peer)). 01:57:57 -!- pikhq has joined. 02:02:16 -!- Associat0r has quit ("#proglangdesign #ltu ##concurrency"). 02:21:28 -!- oerjan has joined. 02:24:39 Note the "" part; I was replying to him. <-- requoting lines with "<--" in them is darn confusing... 02:24:54 (that <-- was mine btw) 02:30:25 * oerjan hates it when he clicks somewhere in a slowly loading browser window to ensure it gets proper focus, and at that moment an ad shows up just there, outside the main frame 02:31:45 Ads? Web pages have ads? Oh yeah, I remember those. 02:32:13 i don't mind ads as long as they don't sneak up on me unwittingly :D 02:33:50 Ads? Web pages have ads? Whoa. 02:34:02 > let n = pi/2 in (foldl (+) 0 . take 5) [y*n**x/(product[1..x]) | (x,y) <- zip [1,3..] (cycle [1,-1])] 02:34:06 I thought I was installing Adblock out of habit. 02:34:14 pikhq: Same 'ere! 02:34:16 WHERE IS LAMBDABOT?!?!! 02:34:18 nooga: no lambdabot :( 02:34:27 i killed it 02:34:31 !haskell let n = pi/2 in (foldl (+) 0 . take 5) [y*n**x/(product[1..x]) | (x,y) <- zip [1,3..] (cycle [1,-1])] 02:34:34 1.0000035425842861 02:34:36 nooga: Wrong. 02:34:46 nooga: in #haskell usually. btw you can private message it 02:34:51 nooga: > let n = pi in foldl (+) 0 [y*n**x/(product[1..x]) | (x,y) <- zip [1,3..] (cycle [1,-1])] 02:34:51 02:43 lambdabot has left IRC (Read error: 104 (Connection reset by peer)) 02:35:01 forgot take 02:35:07 nooga: it only came here by special request 02:35:38 also !haskell is fine as long as you only use Prelude functions, otherwise you'll need some imports 02:36:03 !haskell mport Data.List; 02:36:09 I WAS EDITING THAT. 02:36:15 sure you were 02:37:32 nooga: btw i'm pretty sure sum = foldl (+) 0, precisely. 02:38:18 lambdabot confirms so 02:38:18 -!- Pthing has quit (Remote closed the connection). 02:38:30 !haskell let n = pi/2 in abs $ sin n - (sum . take 15) [y*n**x/(product[1..x]) | (x,y) <- zip [1,3..] (cycle [1,-1])] 02:38:32 2.220446049250313e-16 02:38:42 pikhq: small difference 02:38:57 !haskell let n = pi/2 in (sum . take 15) [y*n**x/(product[1..x]) | (x,y) <- zip [1,3..] (cycle [1,-1])] 02:38:58 1.0000000000000002 02:39:05 nooga: ? 02:39:21 pikhq: nooga: Wrong. 02:40:12 ... 02:40:16 What of it? 02:40:27 i thought the result is wrong 02:42:36 !haskell import Data.List;main=print$let n = pi/2 in take 15 . scanl (+) 0 [y*n**x/(product[1..x]) | (x,y) <- zip [1,3..] (cycle [1,-1])] 02:42:45 gah 02:43:42 what the heck would be wrong with the syntax there... 02:44:25 !haskell let n = pi/2 in take 15 . scanl (+) 0 [y*n**x/(product[1..x]) | (x,y) <- zip [1,3..] (cycle [1,-1])] 02:44:32 oh right 02:44:45 !haskell import Data.List;main=print$let n = pi/2 in take 15 $ scanl (+) 0 [y*n**x/(product[1..x]) | (x,y) <- zip [1,3..] (cycle [1,-1])] 02:44:48 [0.0,1.5707963267948966,0.9248322292886504,1.0045248555348174,0.9998431013994987,1.0000035425842861,0.999999943741051,1.0000000006627803,0.9999999999939768,1.0000000000000437,1.0,1.0000000000000002,1.0000000000000002,1.0000000000000002,1.0000000000000002] 02:45:04 too bad scanl is one of the non-Prelude functions 02:45:14 brb, sleep 02:45:33 heh it gives 1.0 exactly for one moment 02:46:14 !haskell scanl 02:46:29 !haskell main=scanl 02:46:52 what the HECK? 02:47:20 * oerjan facepalms at that error message 02:47:36 !haskell main=print scanl 02:47:41 XD 02:47:55 it seems scanl is Prelude anyhow 02:48:37 !haskell let n = pi/2 in take 15 $ scanl (+) 0 [y*n**x/(product[1..x]) | (x,y) <- zip [1,3..] (cycle [1,-1])] 02:48:39 [0.0,1.5707963267948966,0.9248322292886504,1.0045248555348174,0.9998431013994987,1.0000035425842861,0.999999943741051,1.0000000006627803,0.9999999999939768,1.0000000000000437,1.0,1.0000000000000002,1.0000000000000002,1.0000000000000002,1.0000000000000002] 02:49:24 !haskell scanl 02:50:05 apparently that line _really_ messes up something X/ 02:50:13 !haskell scanl 02:50:27 !haskell scanl 02:50:51 !haskell main=scanl 02:51:07 !haskell main=main 02:51:20 finally it actually gave the sensible error 02:51:46 main=main should just be an infinite loop 02:51:53 possibly detected 02:52:27 Yeah. 02:54:01 Let's see how little Haskell I remember ... 02:54:15 !haskell main=putStr "Hello" >>= main 02:54:39 !haskell main=putStr "Hello" >> main 02:54:48 Oh yeah, doesn't have input... 02:54:50 -!- coppro has joined. 02:54:58 i'm sure that'll hit EgoBot's not-doing-anything-without-a-return "feature" 02:55:36 If it flushed output, it'd work *shrugs* 02:55:38 well, with >> anyhow 02:55:40 >>= is Monad m => m a -> (a -> m b), IIRC. 02:55:54 Erm. 02:56:06 >>= is Monad m => m a -> (a -> m b) -> m b. 03:12:07 -!- pikhq has quit (Read error: 104 (Connection reset by peer)). 04:00:23 -!- oerjan has quit ("leaving"). 04:18:15 -!- pikhq has joined. 04:38:34 -!- rodgort has quit (Client Quit). 04:38:46 -!- rodgort has joined. 05:00:44 -!- fungebob_ has quit (Client Quit). 06:03:11 -!- coppro has quit ("The only thing I know is that I know nothing"). 06:10:41 -!- coppro has joined. 07:00:29 literally every link in /r/jailbait is purple :( 07:01:06 ...wrong channel 07:08:29 -!- Associat0r has joined. 07:46:27 -!- Associat0r has quit ("#proglangdesign #ltu ##concurrency"). 07:50:54 -!- Associat0r has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:23:04 -!- oerjan has joined. 08:25:03 -!- calamari has joined. 08:31:40 -!- Judofyr has joined. 08:33:33 -!- olsner has quit ("Leaving"). 08:37:09 -!- coppro has quit (Remote closed the connection). 09:17:13 -!- nooga has quit (Read error: 110 (Connection timed out)). 09:21:44 -!- oerjan has quit ("leaving"). 09:23:31 -!- M0ny has joined. 09:28:55 -!- MigoMipo has joined. 09:58:08 -!- calamari has quit ("Leaving"). 11:20:19 -!- KingOfKarlsruhe has joined. 12:09:01 Deewiant and/or fizzie: what is the best way to make a C style switch in befuge? The range is continuous and rather small (7 different cases). 12:09:17 all I can think of are rather bulky variants 12:09:18 The jump table, I guess. 12:09:38 fizzie, oh with j you mean? Hm could work 12:10:07 Just the arithmetics to move the range to [0, 6] and then something like >... jvvvvvvv with the different cases below that. 12:10:09 someone should make a page with befunge idioms. Like >:#,_ and such 12:10:20 fizzie, it is already in the range 0-6 12:10:29 :) 12:10:32 Well, that's even easier then. 12:10:44 though, it would be better to make it vertical in this case 12:10:59 That's up to you, of course. 12:12:38 There's at least two jump tables in fungot; one is the very visible triangle a bit before the middle part (there's not really a reason to have a triangle there except that it looks nice -- the "actions" themselves could be vertical just fine) and one vertically oriented one in the BF "bytecode" interpreter a bit after the "PROG EXECS:" comment. 12:12:38 fizzie: people like christopher rhodes effectively kill off hope for compilation to efficient code") gives me an error 12:14:59 AnMaster: Since it's continuous, j. 12:15:03 If it's not, binary search with w. 12:18:57 -!- pikhq has quit (Read error: 54 (Connection reset by peer)). 12:26:49 -!- pikhq has joined. 12:28:33 Ooh, that sounds nice. Maybe I should've used that instead of the if-elseif-elseif-else chain I have in fungot's Underload interp. 12:28:34 fizzie:))) would be more accurate to say that 12:33:51 fizzie: See, you shouldn't be so hostile against w. :-P 12:50:24 -!- Judofyr has quit (Remote closed the connection). 12:51:00 -!- Judofyr has joined. 12:55:49 Deewiant, w would make a nicely visual search tree too! 12:56:01 how do you make it balanced 12:56:19 I mean, I know the stuff about tree rotations and such, but I don't remember how you decide when to rotate a tree or not 12:56:58 You just write it in a balanced way from the start :-P 12:58:40 Deewiant, yeah I meant, how do you figure out how to make it a balanced tree. 12:59:30 You have all the data from the start, so split it evenly both ways.. 12:59:35 iirc fizzie is hostile against most befunge98 things except fingerprints? 12:59:40 I might misremember 13:08:54 That is mostly true, yes. 13:09:42 Although I'm not sure "hostile" is entirely the correct word. I don't carry a "DOWN WITH HERETIC FUNGE-98"/"GOD HATES FUNGE-98" signs around, for example. 13:19:36 you should, I'd like to see the reactions 13:20:40 Asztal, something like "what is that?" 13:21:00 fizzie, you use i and o in fungot too at least 13:21:00 -!- KingOfKarlsruhe has quit (Remote closed the connection). 13:21:01 AnMaster: do you got anything written down, i have to do is collect everything into a vector? 13:24:09 Also [a-f], j. '. But not any of [];nqrsuwxyz{} I think. Maybe k. 13:24:35 Or t, of course. 13:25:26 -!- FireFly has joined. 13:26:50 "; considered harmful", heh. 13:29:48 -!- BeholdMyGlory has joined. 13:37:36 ; are pretty deadly in nethack 14:01:31 hah 14:13:22 -!- Pthing has joined. 14:21:11 -!- sebbu has quit ("part sur paris pour la japan expo - rentre le 07/07/09 en fin d'après midi"). 15:05:05 -!- rodgort has quit (Read error: 60 (Operation timed out)). 15:05:08 -!- rodgort has joined. 15:10:36 -!- Associ8or has joined. 15:12:06 -!- Associ8or has quit (Read error: 104 (Connection reset by peer)). 15:19:17 -!- Associ8or has joined. 15:28:30 -!- Associat0r has quit (Success). 15:32:47 -!- Judofyr has quit (Remote closed the connection). 15:50:50 -!- inurinternet has joined. 16:01:26 -!- oerjan has joined. 16:02:40 !sh ls bin 16:02:41 /bin/ls: cannot access bin: No such file or directory 16:02:47 !sh ls 16:02:47 interps 16:03:15 !sh ls interps 16:03:15 1l 16:03:47 !sh echo interps/ghc/* 16:03:47 interps/ghc/runghc 16:04:09 !cat interps/ghc/* 16:04:18 oops 16:04:37 !ls -l interps/ghc/* 16:04:45 oh 16:04:48 !sh ls -l interps/ghc/* 16:04:49 /bin/ls: interps/ghc/runghc: Function not implemented 16:05:04 !sh cat interps/ghc/* 16:05:05 #!/bin/bash 16:07:45 -!- pikhq_ has joined. 16:08:20 -!- pikhq has quit (Nick collision from services.). 16:09:42 -!- pikhq_ has changed nick to pikhq. 16:20:42 ehird: I'm amused by how your flame at Harrop has already got 5 points 16:23:07 -!- pikhq has quit (Read error: 104 (Connection reset by peer)). 16:23:25 -!- pikhq_ has joined. 16:24:14 -!- pikhq_ has changed nick to pikhq. 16:29:28 -!- inurinternet has quit (Success). 16:29:48 -!- GregorR-L has joined. 16:30:46 -!- inurinternet has joined. 16:47:34 -!- inurinternet has quit (hubbard.freenode.net irc.freenode.net). 16:47:34 -!- rodgort has quit (hubbard.freenode.net irc.freenode.net). 16:47:34 -!- M0ny has quit (hubbard.freenode.net irc.freenode.net). 16:47:35 -!- upyr[emacs] has quit (hubbard.freenode.net irc.freenode.net). 16:47:35 -!- lifthrasiir has quit (hubbard.freenode.net irc.freenode.net). 16:47:59 -!- inurinternet has joined. 16:47:59 -!- rodgort has joined. 16:47:59 -!- M0ny has joined. 16:47:59 -!- upyr[emacs] has joined. 16:47:59 -!- lifthrasiir has joined. 17:23:26 -!- inurinternet has quit. 17:35:35 -!- Sgeo has joined. 17:37:55 -!- BeholdMyGlory has quit (Remote closed the connection). 17:48:36 -!- M0ny has quit (Read error: 104 (Connection reset by peer)). 17:48:52 -!- M0ny has joined. 17:55:10 comment karma: -1056 17:55:13 impressive 17:57:49 lol 17:59:31 * oerjan considers adding Harrop's disliked posts to his favorites. Well, almost. 17:59:32 trollface.jpg 18:31:28 oerjan, who? 18:31:51 or what 18:32:52 is there any functional language without garbage collectionj 18:32:55 collection* 18:35:15 AnMaster: John D. Harrop, the person ehird just flamed on reddit. Shameless ocaml/F# advertiser iiuc 18:35:49 heh what a mix... 18:36:27 basically my impression was he seems to downvote every _other_ PL discussion than his favorite languages, so the top of the list was an interesting haskell post i had missed :D 18:36:44 what do you mean mix? 18:38:36 AnMaster: functional language without garbage collection makes only a little sense, since free use of functional idioms means object lifetimes quickly become undecidable without it. 18:39:44 although there are implementations that attempt to minimize gc with things like region inference 18:40:34 AnMaster: functional language without garbage collection makes only a little sense, since free use of functional idioms means object lifetimes quickly become undecidable without it. <-- I'm well aware of this 18:40:42 which is why I wondered if there is a GC free one 18:40:43 or rather 18:41:06 one with completely manual memory management for the functional bits 18:41:32 oerjan, ocaml+F# 18:41:47 F# is ocaml for .NET 18:41:58 oerjan, source code compatible? 18:42:06 i'm not sure 18:42:24 not completely anyway 18:42:44 since it adds support for .NET types 18:42:56 but i know little more about F# 18:43:38 oh i vaguely recall it also removes functors, or something like that 18:43:52 hmhm 18:43:56 mhm* 18:45:07 I could've sworn that garbage collecting was straight-up required for functional programming? 18:45:43 pikhq, well, you could possibly figure out some stuff will be dead by end of function and thus compile it into an allocation on the stack instead 18:45:48 or similar 18:46:12 I would be surprised if at least ghc and ocaml didn't do that sort of stuff. 18:46:16 * AnMaster looks at oerjan 18:46:17 I *guess* if you just assumed naught but lambdas you could maybe do it... 18:46:47 er i'm pretty sure lambdas are the source of the problem, actually, or closures rather 18:47:08 returning a function definitely can cause problems yeah 18:47:31 well yeah closure to be specific 18:47:37 Closures? Who said anything about closures? 18:47:42 you could of course return a function pointer without problems 18:47:47 That's not a lambda. 18:47:53 pikhq: lambda expressions are closures in their purest form 18:48:38 so evaulating lambda calculus requires a GC? 18:48:48 Oh, right. Closures. Why did I think 'continuation' when I saw that? XD 18:48:48 sure 18:49:35 although reference counting suffices. or you could copy the next step somewhere... but that would be inefficient. 18:51:39 "zealot" was the word i couldn't remember when telling who harrop was 18:53:15 iirc he has admitted to willfully using disruptive postings to promote his services 18:53:47 so it's not just a strong opinion, but essentially commercial spamming 18:56:48 Oh, right. Closures. Why did I think 'continuation' when I saw that? XD <-- you aren't alone to confuse them... 18:57:25 well in a channel where people cannot distinguish GregorR and Gracenotes ... 18:57:36 * oerjan ducks 18:57:51 I have precedence over 'Gr' because it's my ACTUAL, HUMAN NAME :P 18:58:05 Your name is Gr? 18:58:10 >_< 18:58:16 his parents were weird 18:58:16 I have precedence over 'Gr' because it's /the beginning of/ my ACTUAL, HUMAN NAME :P 18:58:30 Well, it is in that it's my first and last initials: GR :P 18:58:30 What's with the egorR-L? Crappy last name or something? 18:58:35 GregorR, iirc I heard of someone known as "Grace", and I can't see why you can't have "Notes" as a family name. 18:58:48 Considering how many strange family names there are 18:58:51 AnMaster: Sure. But Gracenotes is, IIRC, male :P 18:59:01 (Whereas "Grace" is a female name) 18:59:03 GregorR, right 18:59:07 yes I know 18:59:07 Awesome, I want a dash in my last name too 18:59:21 AnMaster: BTW, you think family names here are weird, wait till you check out Japanese ones. 18:59:25 FireFly: Nonono, it's hyphenated. My dad's last name is egorR, my mom's is L 18:59:31 I see 18:59:31 pikhq, I wouldn't know what they mean 18:59:33 Most of them were invented in the late 1800s. 18:59:33 Still, mixed case 19:00:50 -!- Slereah has quit. 19:05:43 -!- Slereah has joined. 19:06:59 bbl food 19:13:23 -!- BeholdMyGlory has joined. 19:33:32 -!- oerjan has quit ("Good night"). 19:41:09 -!- olsner has joined. 19:44:59 -!- coppro has joined. 19:58:37 why is lambda in scheme called that? 20:01:27 it isn't *that* closely related to lambda as far I understand? 20:01:45 or maybe it is 20:14:47 anmaster: sure it is 20:15:00 its just an n-ary lambda, thats all. 20:25:07 augur, ah right 20:28:43 * AnMaster found some music that he thinks ehird will like 20:29:01 -!- Judofyr has joined. 20:34:48 -!- Judofyr has quit (Remote closed the connection). 20:43:40 err 20:43:47 sourceforge was redesigned again? 20:44:03 what the hell 20:44:10 augur, you noticed? 20:49:32 There was that email about it. 20:49:37 I jumped ship from Sourceforge a long time ago. 20:49:50 It's soooo terrible right now (or maybe this latest redesign was an improvement?) 20:50:06 YIKES 20:50:08 Not an improvement. 20:50:24 "On Tuesday 2009-06-30 at 16:00 UTC, we will be testing the first phase of our new consumer (user) pages." Then they'll revert it, and then launch on Wednesday 2009-07-01. I guess this might be the actual launch now. 20:50:47 What they say they're doing is: "We have received feedback from you and your fellow project administrators that we need an easier path for users to download your software." 20:50:51 Is it easier now? 20:51:03 There's a giant green "Download now!" button. 20:51:17 Well, couldn't be much easier than that! 20:51:48 -!- Judofyr has joined. 20:59:48 -!- Sgeo has quit (Read error: 110 (Connection timed out)). 21:00:10 Sourceforge redesigned *again*? 21:00:32 Must've taken another hit of the Enterprise. 21:06:05 anmaster: you think i go on sourceforge? 21:06:07 how cute. 21:06:56 That is an amusing way of compiling C to JVM... 21:07:08 Have GCC compile to MIPS. Compile MIPS to JVM. 21:07:15