00:01:08 <zid> Merry july everybody
00:01:56 <FireFly> Meh, just because you're GMT
00:02:12 <FireFly> I've been in july for a while now
00:02:27 <zid> GMT aka UTC? :P
00:02:33 <zid> UNIVERSAL JULY BITCH
00:02:57 <ehird> UNIVERSAL JULY! It's July EVERYWHERE IN THE UNIVERSE!
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 <pikhq> So, I tried switching back to KDE for a bit...
00:32:46 <pikhq> And nearly vomited. So slow...
00:37:08 <ehird> pikhq: ...Your computer sucks.
00:37:10 <ehird> 10:32:08 <Associat0r> FYI #proglangdesign #ltu
00:37:23 * ehird looks at first channel
00:37:47 * ehird looks at other channel
00:37:49 <ehird> Almost identicaaaaaaaal.
00:38:01 <ehird> 10:56:12 <ais523> we had a moon person in here a while ago
00:38:01 <ehird> 10:56:18 <ais523> at least, someone who thought they were
00:38:06 <ehird> for values of a while = two days ago, iirc
00:41:23 <ehird> 12:52:47 <pikhq> C is awful. Except for all the other systems programming languages out there. :P
00:41:36 <ehird> 12:53:31 <Deewiant> Zuu!
00:41:36 <ehird> 12:53:34 <Deewiant> Wtf are you doing here :-P
00:41:39 <ehird> oh do you know who he is?
00:43:03 <ehird> 12:55:04 <zid> take haskell, i'm sure it's great 12:55:11 <zid> if you like to masturbate to language design
00:43:06 * ehird kicks zid to death.
00:43:12 <ehird> 12:55:28 <zid> but is it.. useful?
00:43:18 * ehird mangles zid's brain to information-theoretic death.
00:43:29 <ehird> No revival for you, bitch!
00:48:20 <ehird> 12:55:52 <zid> I've never seen anything written in haskhell, just people teling me how awesome something would be when written in haskell
00:48:25 <ehird> was "haskhell" intentional?
00:49:30 <ehird> #ltu: WE'RE TOO EDGY FOR JUST A WEBLOG
00:49:41 <ehird> ALSO ABBREVIATIONS RULE
00:51:16 * pikhq needs a good GUI environment.
00:51:39 <pikhq> Or just nuke X from orbit.
00:51:45 <pikhq> I could tolerate that.
00:51:46 <ehird> 12:58:05 <pikhq> Zuu: Go to #c++.
00:51:52 <Zuu> me me me me!
00:51:54 <ehird> but #c++ has goedi!
00:51:57 <ehird> It's written in Haskell!
00:51:59 <Zuu> Oh noes, not C++
00:52:14 <Zuu> But geordi is poo :<
00:52:22 <ehird> pikhq: Step 1. Get OS X's GUI source leaked. Step 2. Spend hours porting to Linux.
00:52:32 <ehird> Step 4. I AM IN A JAIL CELL CALLED "HAMLET"
00:52:36 <ehird> WASHING NASAL DEMONS
00:52:37 * Zuu wonders if ehird is a bottie
00:52:50 <ehird> Zuu: Nay! I am but a.
00:53:25 * Zuu cuddles ehird ^^
00:53:34 <pikhq> ehird: Not good enough.
00:53:43 <ehird> Zuu: Forsooth! Make tenners to be like a flower; but no?
00:53:48 <pikhq> I'm starting to think current GUI metaphors are t3h suck.
00:54:03 <pikhq> Or maybe just Plan 9 from Userspace.
00:54:05 <ehird> Also, they are; but there's nothing above concept-stage in anything else.
00:54:06 <Zuu> ehird, is that an advanced way to ask if i'll marry you?
00:54:13 <ehird> OS X at least makes using the current rubbish model OK
00:54:21 <ehird> Zuu: No; 'tis but a languishing swamp demon.
00:54:36 <ehird> 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 <pikhq> About the only alternative that's well-developed is tiling window managers. ... And those are niche at best.
00:55:06 <ehird> Also they're not very ergonomic.
00:55:25 <ehird> 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:56:08 * Zuu steals all ehird's poems and eats them :>
00:56:30 <ehird> Zuu: Eating disallowed; a cake perhaps barred from judging murder in case of a fire/
00:56:32 <Zuu> Enough of the nonsense :)
00:57:15 <Zuu> My brain gets overloaded with all this weird sentence compositions
00:57:54 * Zuu is allergic to incomprehensible stuff
00:58:55 <ehird> 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 <ehird> Zuu: But what most people don't realise is that Cuil is a legitimate search engine of panties.
01:00:43 <Zuu> While that does sound slightly interresting, i wonder if it means the same to you as it does to me
01:02:08 <ehird> Zuu: Questions are a folly of multitude; mayhaps if the hunter-gatherers were astronauts instead we could get some cold porridge.
01:04:42 <ehird> 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 <Zuu> im afraid i dont care to read that :/
01:05:19 <Asztal> quick, find a cylon base ship and plug him in
01:05:41 <Zuu> 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 <ehird> 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 <ehird> 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 <Zuu> He's unstoppable, he must be a bot
01:09:13 <ehird> 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 <Zuu> a bot on the left half of the world map
01:11:23 <ehird> 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 <Asztal> fungot: do you agree? speak your mind!
01:12:06 <fungot> Asztal: feed it birth control pills and water once a month, but perhaps it is something medical
01:13:31 <ehird> That's a weird diet.
01:13:37 <ehird> ...Hey, fungot snapped me out of that.
01:13:38 <fungot> ehird: " go study some cs you idiot"... ping timeout"
01:17:11 <zid> lament: no, never been, what is it?
01:19:24 <ehird> zid: it has icky non-practical masturbatory language design people from lambda-the-ultimate.org
01:19:28 <ehird> they like haskell. and scheme.
01:19:34 <ehird> (zid dies of disgust)
01:19:49 <zid> I bet the smug just OOOZES
01:19:52 <zid> you could bottle it
01:22:03 <ehird> this channel is about esoteric programming languages —
01:22:06 <ehird> deliberately unusable ones
01:22:10 <ehird> deliberately "masturbatory"
01:22:17 <ehird> deliberately exploring the edges of programming language design —
01:22:25 <ehird> why are you here if you have such a desperate phobia of such things?
01:22:40 <zid> if befunge is 'exploring the edges of programming language design' then damn
01:23:14 <zid> It's pointless for pointless sake, not pointless pretending to not be
01:23:28 <zid> they're the opposite of the spectrum
01:24:16 <ehird> because befunge is the only esolang?
01:24:33 <ehird> 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 <zid> you're saying haskell and brainfuck serve the same goal?
01:24:42 <ehird> haskell is masturbatory bullshit because in my bubble i don't hear anyone using it
01:24:50 <ehird> zid: i never said that
01:25:01 <zid> then why couldn't one like brainfuck but not like haskell
01:25:43 <ehird> alas the point went over your head utterly.
01:25:56 <zid> You'll have to dumb it down a bit then
01:29:00 <GregorR> I shall now interrupt this ridiculous conversation with a monologue from Oedipus Tyrannus, by Sophocles.
01:29:16 <GregorR> 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 <ehird> http://www.fileformat.info/info/unicode/char/03bb/index.htm
01:29:33 <GregorR> 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 <zid> 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 <GregorR> 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 <zid> night guys
01:30:23 <nooga> befunge is fun, but not brilliant
01:30:25 <ehird> Uhh, C isn't popular?
01:30:40 <GregorR> 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 <GregorR> 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 <GregorR> 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 <GregorR> Are we done yet, can I stop this :P
01:31:49 <ehird> Yes, O Wise GregorR, decreer of reasonability and obnoxious floods to end.
01:35:26 * Zuu gives nooga some icecream
01:37:36 * Zuu find it strange that everyone in here seem to be asking that question
01:39:18 <Zuu> But alright: I'm me, Mostly human, Alive, Awake, Bored and wondering
01:39:38 <Zuu> now, what are you nooga ?
01:39:58 <Zuu> except from in need of bread
01:40:08 <Zuu> .. and icecream onyour face
01:40:23 <Zuu> .. sorry, didnt know where else to put it
01:41:46 <nooga> > let n = pi in foldl (+) 0 (zipWith (\x y -> y*n**x/(product[1..x])) [1,3..] (cycle [1,-1]))
01:41:55 <lambdabot> mueval-core: Prelude.read: no parse
01:43:00 <nooga> > let n = pi in foldl (+) [y*n**x/(product[1..x]) | (x,y) <- zip [1,3..] cycle [1,-1]]
01:43:03 <lambdabot> Couldn't match expected type `[b]'
01:43:23 <nooga> > 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:44:29 <nooga> i thought that lambdabot is bulletproof
01:46:23 <nooga> > 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 <oerjan> <ehird> Note the "<oerjan>" part; I was replying to him. <-- requoting lines with "<--" in them is darn confusing...
02:24:54 <oerjan> (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 <GregorR> Ads? Web pages have ads? Oh yeah, I remember those.
02:32:13 <oerjan> i don't mind ads as long as they don't sneak up on me unwittingly :D
02:33:50 <pikhq> Ads? Web pages have ads? Whoa.
02:34:02 <nooga> > 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 <pikhq> I thought I was installing Adblock out of habit.
02:34:16 <nooga> WHERE IS LAMBDABOT?!?!!
02:34:18 <oerjan> nooga: no lambdabot :(
02:34:31 <GregorR> !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:46 <oerjan> nooga: in #haskell usually. btw you can private message it
02:34:51 <nooga> nooga: > let n = pi in foldl (+) 0 [y*n**x/(product[1..x]) | (x,y) <- zip [1,3..] (cycle [1,-1])]
02:34:51 <nooga> 02:43 lambdabot has left IRC (Read error: 104 (Connection reset by peer))
02:35:07 <oerjan> nooga: it only came here by special request
02:35:38 <oerjan> also !haskell is fine as long as you only use Prelude functions, otherwise you'll need some imports
02:36:03 <pikhq> !haskell mport Data.List;
02:36:09 <pikhq> I WAS EDITING THAT.
02:37:32 <oerjan> nooga: btw i'm pretty sure sum = foldl (+) 0, precisely.
02:38:18 -!- Pthing has quit (Remote closed the connection).
02:38:30 <nooga> !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:42 <nooga> pikhq: small difference
02:38:57 <nooga> !haskell let n = pi/2 in (sum . take 15) [y*n**x/(product[1..x]) | (x,y) <- zip [1,3..] (cycle [1,-1])]
02:39:21 <nooga> pikhq: nooga: Wrong.
02:40:27 <nooga> i thought the result is wrong
02:42:36 <oerjan> !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:43:42 <oerjan> what the heck would be wrong with the syntax there...
02:44:25 <oerjan> !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:45 <oerjan> !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 <EgoBot> [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 <oerjan> too bad scanl is one of the non-Prelude functions
02:45:33 <oerjan> heh it gives 1.0 exactly for one moment
02:47:20 * oerjan facepalms at that error message
02:47:36 <oerjan> !haskell main=print scanl
02:47:55 <oerjan> it seems scanl is Prelude anyhow
02:48:37 <oerjan> !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 <EgoBot> [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:50:05 <oerjan> apparently that line _really_ messes up something X/
02:51:07 <pikhq> !haskell main=main
02:51:20 <oerjan> finally it actually gave the sensible error
02:51:46 <oerjan> main=main should just be an infinite loop
02:54:01 <GregorR> Let's see how little Haskell I remember ...
02:54:15 <GregorR> !haskell main=putStr "Hello" >>= main
02:54:39 <pikhq> !haskell main=putStr "Hello" >> main
02:54:48 <GregorR> Oh yeah, doesn't have input...
02:54:50 -!- coppro has joined.
02:54:58 <oerjan> i'm sure that'll hit EgoBot's not-doing-anything-without-a-return "feature"
02:55:36 <GregorR> If it flushed output, it'd work *shrugs*
02:55:40 <pikhq> >>= is Monad m => m a -> (a -> m b), IIRC.
02:56:06 <pikhq> >>= 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: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 <AnMaster> 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 <AnMaster> all I can think of are rather bulky variants
12:09:18 <fizzie> The jump table, I guess.
12:09:38 <AnMaster> fizzie, oh with j you mean? Hm could work
12:10:07 <fizzie> Just the arithmetics to move the range to [0, 6] and then something like >... jvvvvvvv with the different cases below that.
12:10:09 <AnMaster> someone should make a page with befunge idioms. Like >:#,_ and such
12:10:20 <AnMaster> fizzie, it is already in the range 0-6
12:10:32 <fizzie> Well, that's even easier then.
12:10:44 <AnMaster> though, it would be better to make it vertical in this case
12:10:59 <fizzie> That's up to you, of course.
12:12:38 <fizzie> 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 <fungot> fizzie: people like christopher rhodes effectively kill off hope for compilation to efficient code") gives me an error
12:14:59 <Deewiant> AnMaster: Since it's continuous, j.
12:15:03 <Deewiant> 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 <fizzie> 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 <fungot> fizzie:))) would be more accurate to say that
12:33:51 <Deewiant> 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 <AnMaster> Deewiant, w would make a nicely visual search tree too!
12:56:19 <AnMaster> 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 <Deewiant> You just write it in a balanced way from the start :-P
12:58:40 <AnMaster> Deewiant, yeah I meant, how do you figure out how to make it a balanced tree.
12:59:30 <Deewiant> You have all the data from the start, so split it evenly both ways..
12:59:35 <AnMaster> iirc fizzie is hostile against most befunge98 things except fingerprints?
13:08:54 <fizzie> That is mostly true, yes.
13:09:42 <fizzie> 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 <Asztal> you should, I'd like to see the reactions
13:20:40 <AnMaster> Asztal, something like "what is that?"
13:21:00 <AnMaster> fizzie, you use i and o in fungot too at least
13:21:00 -!- KingOfKarlsruhe has quit (Remote closed the connection).
13:21:01 <fungot> AnMaster: do you got anything written down, i have to do is collect everything into a vector?
13:24:09 <fizzie> Also [a-f], j. '. But not any of [];nqrsuwxyz{} I think. Maybe k.
13:25:26 -!- FireFly has joined.
13:26:50 <fizzie> "; considered harmful", heh.
13:29:48 -!- BeholdMyGlory has joined.
13:37:36 <zid> ; are pretty deadly in nethack
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:41 <EgoBot> /bin/ls: cannot access bin: No such file or directory
16:03:47 <oerjan> !sh echo interps/ghc/*
16:04:48 <oerjan> !sh ls -l interps/ghc/*
16:04:49 <EgoBot> /bin/ls: interps/ghc/runghc: Function not implemented
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 <Deewiant> 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:59:31 * oerjan considers adding Harrop's disliked posts to his favorites. Well, almost.
18:32:52 <AnMaster> is there any functional language without garbage collectionj
18:35:15 <oerjan> AnMaster: John D. Harrop, the person ehird just flamed on reddit. Shameless ocaml/F# advertiser iiuc
18:36:27 <oerjan> 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:38:36 <oerjan> 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 <oerjan> although there are implementations that attempt to minimize gc with things like region inference
18:40:34 <AnMaster> <oerjan> 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 <AnMaster> which is why I wondered if there is a GC free one
18:41:06 <AnMaster> one with completely manual memory management for the functional bits
18:41:58 <AnMaster> oerjan, source code compatible?
18:42:44 <oerjan> since it adds support for .NET types
18:42:56 <oerjan> but i know little more about F#
18:43:38 <oerjan> oh i vaguely recall it also removes functors, or something like that
18:45:07 <pikhq> I could've sworn that garbage collecting was straight-up required for functional programming?
18:45:43 <AnMaster> 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:46:12 <AnMaster> I would be surprised if at least ghc and ocaml didn't do that sort of stuff.
18:46:17 <pikhq> I *guess* if you just assumed naught but lambdas you could maybe do it...
18:46:47 <oerjan> er i'm pretty sure lambdas are the source of the problem, actually, or closures rather
18:47:08 <AnMaster> returning a function definitely can cause problems yeah
18:47:31 <AnMaster> well yeah closure to be specific
18:47:37 <pikhq> Closures? Who said anything about closures?
18:47:42 <AnMaster> you could of course return a function pointer without problems
18:47:47 <pikhq> That's not a lambda.
18:47:53 <oerjan> pikhq: lambda expressions are closures in their purest form
18:48:38 <AnMaster> so evaulating lambda calculus requires a GC?
18:48:48 <pikhq> Oh, right. Closures. Why did I think 'continuation' when I saw that? XD
18:49:35 <oerjan> although reference counting suffices. or you could copy the next step somewhere... but that would be inefficient.
18:51:39 <oerjan> "zealot" was the word i couldn't remember when telling who harrop was
18:53:15 <oerjan> iirc he has admitted to willfully using disruptive postings to promote his services
18:53:47 <oerjan> so it's not just a strong opinion, but essentially commercial spamming
18:56:48 <AnMaster> <pikhq> Oh, right. Closures. Why did I think 'continuation' when I saw that? XD <-- you aren't alone to confuse them...
18:57:25 <oerjan> well in a channel where people cannot distinguish GregorR and Gracenotes ...
18:57:51 <GregorR-L> I have precedence over 'Gr' because it's my ACTUAL, HUMAN NAME :P
18:58:16 <oerjan> his parents were weird
18:58:16 <GregorR-L> I have precedence over 'Gr' because it's /the beginning of/ my ACTUAL, HUMAN NAME :P
18:58:30 <GregorR-L> Well, it is in that it's my first and last initials: GR :P
18:58:30 <pikhq> What's with the egorR-L? Crappy last name or something?
18:58:35 <AnMaster> 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 <AnMaster> Considering how many strange family names there are
18:58:51 <GregorR-L> AnMaster: Sure. But Gracenotes is, IIRC, male :P
18:59:01 <GregorR-L> (Whereas "Grace" is a female name)
18:59:07 <FireFly> Awesome, I want a dash in my last name too
18:59:21 <pikhq> AnMaster: BTW, you think family names here are weird, wait till you check out Japanese ones.
18:59:25 <GregorR-L> FireFly: Nonono, it's hyphenated. My dad's last name is egorR, my mom's is L
18:59:31 <AnMaster> pikhq, I wouldn't know what they mean
18:59:33 <pikhq> Most of them were invented in the late 1800s.
19:00:50 -!- Slereah has quit.
19:05:43 -!- Slereah has joined.
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 <AnMaster> why is lambda in scheme called that?
20:01:27 <AnMaster> it isn't *that* closely related to lambda as far I understand?
20:14:47 <augur> anmaster: sure it is
20:15:00 <augur> its just an n-ary lambda, thats all.
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:47 <AnMaster> sourceforge was redesigned again?
20:49:32 <fizzie> There was that email about it.
20:49:37 <GregorR-L> I jumped ship from Sourceforge a long time ago.
20:49:50 <GregorR-L> It's soooo terrible right now (or maybe this latest redesign was an improvement?)
20:50:24 <fizzie> "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 <fizzie> 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:51:03 <GregorR-L> There's a giant green "Download now!" button.
20:51:17 <fizzie> 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 <pikhq> Sourceforge redesigned *again*?
21:00:32 <pikhq> Must've taken another hit of the Enterprise.
21:06:05 <augur> anmaster: you think i go on sourceforge?
21:06:56 <pikhq> That is an amusing way of compiling C to JVM...
21:07:08 <pikhq> Have GCC compile to MIPS. Compile MIPS to JVM.
21:07:29 <augur> AnMaster: i do not visit sourceforge.
21:07:31 <AnMaster> augur, you generally end up having to download some project from there every now and then
21:08:09 <AnMaster> <GregorR-L> There's a giant green "Download now!" button. <--- that was there before?
21:08:10 <augur> their new site makes me thing: crappy file hosting site/url squatter
21:08:33 <AnMaster> it looks like a mix between that and github
21:09:12 <AnMaster> launchpad has keept almost the same design for years now
21:14:18 -!- GregorR-L has quit (Read error: 60 (Operation timed out)).
21:28:28 -!- coppro has quit (Remote closed the connection).
21:45:29 -!- augur_ has joined.
21:45:29 -!- augur has quit (Read error: 104 (Connection reset by peer)).
22:14:04 <Deewiant> AnMaster: cfunge fails for files with mac line endings
22:17:51 <GregorR> Both metaphorically and quite literally.
22:18:37 <AnMaster> Deewiant, can you filebin the file in question
22:18:46 <AnMaster> because I tested it on mycology converted to CR line endings
22:19:34 <AnMaster> Deewiant, pastebin won't work, they mangle
22:19:44 <AnMaster> or upload with scp or similiar
22:20:56 <Deewiant> Why the fuck would I filebin that
22:21:04 <AnMaster> Deewiant, there is no line ending at all in that you pasted
22:21:18 <Deewiant> It's a line of text, it ends in a newline
22:21:56 <AnMaster> Deewiant, it is an infinite loop?
22:22:03 <AnMaster> or at least it never seems to end here
22:22:10 <Deewiant> AnMaster: Your loader infinite loops.
22:22:22 <AnMaster> Deewiant, I was using LF line endings here to test it...
22:22:37 <AnMaster> Stack has 1 elements, top 5 (or less) elements:
22:22:43 <Deewiant> Oh, you're right, that one doesn't trigger it :-(
22:23:32 <AnMaster> Deewiant, closing bug as INVALID
22:23:48 <Deewiant> AnMaster: Shut up, I told you the case was flawed
22:23:55 <AnMaster> Deewiant, please reopen if you have a working test case
22:24:40 <AnMaster> infinite loop with LF as expected
22:25:13 <AnMaster> Deewiant, I'm sorry, I can't reproduce, I get an infinite loop in the program according to the trace. Not in the loader
22:25:22 <AnMaster> and that infinite loop is expected
22:25:34 <Deewiant> AnMaster: It's not the loader, I misspoke. The trace says that the v never finds the <.
22:25:54 <AnMaster> Deewiant, sure you are actually using the last trunk
22:26:16 <Deewiant> Given that I updated it fifteen minutes ago... yes
22:26:26 <AnMaster> Deewiant, please pastebin output of ./cfunge -v
22:26:46 -!- upyr[emacs] has quit (Remote closed the connection).
22:26:55 <Deewiant> AnMaster: zsh: no such file or directory: ./cfunge
22:27:08 <AnMaster> Deewiant, well, relevant path then
22:28:06 <Deewiant> http://www.pastie.org/private/sxj29wgewpmqvhfdzbahja
22:28:51 <AnMaster> Deewiant, what bit was the wrong uname btw?
22:29:13 <Deewiant> The bit that has the uname -r.
22:29:46 <AnMaster> Deewiant, mhm. Since I use cmake to figure it out I guess I forgot to account for cmake caching the result of that check
22:30:19 <AnMaster> Deewiant, okay, can reproduce it now. *debugs
22:32:24 -!- Judofyr has quit (Remote closed the connection).
22:37:41 <fizzie> That looks like four added lines to me!
23:08:59 -!- augur_ has changed nick to augur.
23:20:40 -!- KingOfKarlsruhe has joined.
23:31:39 * ehird notices people mentioning his flame in the backlog. Gee, I'm famous.
23:32:11 -!- augur has quit (Read error: 104 (Connection reset by peer)).
23:32:30 -!- augur has joined.
23:33:30 <ehird> 06:00 bsmntbombdood: literally every link in /r/jailbait is purple :(
23:33:30 <ehird> 06:01 bsmntbombdood: ...wrong channel
23:34:39 <ehird> 17:35 oerjan: AnMaster: John D. Harrop, the person ehird just flamed on reddit. Shameless ocaml/F# advertiser iiuc
23:34:43 <ehird> he does it — and he has said this —
23:34:47 <ehird> to generate business for his company
23:34:52 <ehird> in his deluded, fuckheaded world, this actually works.
23:34:58 <ehird> in the real one, he's just an intolerable idiot
23:35:27 <AnMaster> ehird, why don't they ban him?
23:36:24 <ehird> 19:28 AnMaster found some music that he thinks ehird will like
23:36:40 <ehird> 19:43 AnMaster: sourceforge was redesigned again?
23:36:41 <ehird> 19:44 AnMaster: what the hell
23:36:43 <ehird> looks like github.
23:37:41 <AnMaster> <augur> their new site makes me thing: crappy file hosting site/url squatter
23:37:48 -!- M0ny has quit.
23:38:33 <AnMaster> ehird, https://freedroid.svn.sourceforge.net/svnroot/freedroid/sound/music/Bleostrada.ogg <-- do you like it?
23:40:37 <ehird> 23:34 AnMaster: ehird, so very wrong channel // yeah, I believe that was destined for #reddit
23:40:51 <ehird> 23:35 AnMaster: ehird, why don't they ban him? // who? he's everywhere
23:40:59 <ehird> 23:37 AnMaster: :D // shush, someone else said github too
23:41:07 <ehird> i thought squatter at first
23:41:13 <ehird> i'll listen in a sec.
23:41:33 <AnMaster> ehird, prediction: in one year's time, it will be big news if a week passes without a redesign of sourceforge
23:41:41 <ehird> http://www.reddit.com/r/programming/comments/8xaas/how_did_i_not_find_this_language_years_ago/c0aq1g9, btw, is his comment and my flame
23:41:48 <ehird> "colostomy bag" now ranks among my favourite insults
23:42:55 <ehird> wow, OCaml for Scientists actually costs £85
23:43:01 <ehird> i didn't realise it was _that_ expensive
23:44:42 <ehird> AnMaster: downloading that thar ogg
23:45:23 <AnMaster> <ehird> wow, OCaml for Scientists actually costs £85 <--?
23:45:32 <ehird> Jon Harrop's shitty book.
23:45:45 <ehird> £85 is a ridiculous price; most programming books are like £30
23:47:28 <ehird> AnMaster: that song is ok. i mean, i like the basic style, but it's still of typical game music quality
23:47:35 <ehird> s/song/track/ for accuracy
23:47:49 <AnMaster> http://www.reddit.com/r/programming/comments/8xaas/how_did_i_not_find_this_language_years_ago/ <-- what do you think about the actual thing it links to?
23:48:08 <ehird> it's a rather typical i-love-lisp post. not particularly interesting.
23:48:09 <AnMaster> I never found scheme and pascal similar...
23:48:21 <ehird> they are, in a perverse way
23:48:38 <ehird> sure. pascal's how to do it the wrong way ;-)
23:48:57 <ehird> [though original pascal, really, wasn't all that bad a language]
23:49:15 <AnMaster> ehird, delphi is pascal gone really really bad
23:49:24 <AnMaster> but I coded in other pascal variants too
23:49:29 <ehird> delphi is really .awful
23:49:39 <ehird> i need to learn to write sentences linearly
23:49:55 <ehird> it's especially annoying on the iphone
23:50:00 <ehird> i wrote that flame on it and it took like 3 minutes
23:50:07 <ehird> constantly trying to reposition the cursor
23:51:01 <ehird> 2009 is a fun year for dying.
23:51:06 <ehird> augur: http://en.wikipedia.org/wiki/Karl_Malden
23:51:15 <ehird> yeah i wkipedi-ae-d it.
23:51:20 <augur> man what i dont even know this guy
23:51:34 <ehird> IT'S OKAY, BILLY MAYS IS MORE IMPORTANT
23:51:44 <GregorR> We're all too young to have known Karl Malden :P
23:51:48 <AnMaster> <ehird> i need to learn to write sentences linearly <-- How do you write them then
23:51:52 <GregorR> Stop dying, celebrities! STOP IT!
23:51:58 <GregorR> If I was a celebrity, I'd be worried right now.
23:52:04 <augur> billy mays is so more important
23:52:09 <AnMaster> <GregorR> RIP Karl Malden <GregorR> STOP DYING, CELEBRITIES <-- should I know who this is?
23:52:09 <ehird> AnMaster: I write a basic outline or the whole thing if it's simple enough, then bat around correcting errors and rewriting and adding and removing
23:52:30 <GregorR> As a Swede less than 50 years old, no :P
23:52:43 <augur> what he does is, he constructs the semantic content of the sentence in semi-graph form
23:53:10 <augur> then he applies a transformation algorithm that linearizes the graph, producing a set of potential sentences
23:53:10 <ehird> augur: i'm not sure that will help :)
23:53:25 <AnMaster> augur, that makes perfect sense
23:53:26 <augur> and then he selects among them, choosing the one that is most pragmatically effective
23:53:46 <augur> it takes ehird about three and a half hours to construct each sentence
23:53:52 <ehird> PATRICK SWAYZE DIED
23:54:02 <ehird> ..................
23:54:10 <ehird> He's a guy who's dead.
23:54:26 <ehird> ((((((((((((((((((((((((((((((((((((((((goodnight sweet prince))))))))))))))))
23:54:28 <augur> its not much of a surprise
23:54:33 <augur> since he had serious cancer
23:54:41 -!- MigoMipo has quit ("QuitIRCServerException: MigoMipo disconnected from IRC Server").
23:55:02 <AnMaster> ehird, wikipedia says he is alive?
23:55:23 <augur> anmaster: if he JUST died
23:55:51 * GregorR can find no evidence to support this observation.
23:56:11 <ehird> http://encyclopediadramatica.com/Goodnight_Sweet_Prince
23:56:14 <augur> GregorR: if he JUST died
23:56:25 <ehird> augur: ...then I wouldn't know about it.
23:56:26 <GregorR> augur: And what, ehird is his buddy? :P
23:56:31 <augur> ehird: but you might!
23:56:42 <augur> the rumor mill is mysterious
23:58:41 <ehird> "Terms of use: no crawlers, no wget, no site copying, use of pictures, movies and text only with permission. No excessive rss feed checking."
23:58:45 <ehird> ↑ rms cannot visit this site.
23:59:49 <ehird> augur: stallman browses the web by sending email to a daemon which then wgets the page in batch mode and emails it back to him.