00:04:12 -!- sebbu2 has joined.
00:04:12 -!- sebbu2 has quit (Changing host).
00:04:12 -!- sebbu2 has joined.
00:04:17 -!- sebbu has quit (Ping timeout: 248 seconds).
00:21:14 -!- carado_ has joined.
00:21:38 -!- carado has quit (Ping timeout: 256 seconds).
00:21:48 -!- carado_ has changed nick to carado.
00:22:40 -!- kallisti_ has quit (Ping timeout: 250 seconds).
00:31:51 <Sgeo> How does Free (Cont r) behave?
00:58:25 -!- oonbotti has quit (Ping timeout: 252 seconds).
01:03:38 <Sgeo> The order of applicatives matter, yet there's no nice syntax for rearranging the order when using a nonmonadic applicative
01:04:01 <lambdabot> It could refer to either `Control.Applicative.<**>',
01:04:01 <lambdabot> imported from `Control.Applicative' at State/L.hs:4:1-26
01:04:18 <Sgeo> @hoogle (<**>)
01:04:18 <lambdabot> Control.Applicative (<**>) :: Applicative f => f a -> f (a -> b) -> f b
01:04:19 <lambdabot> Control.Applicative (<**>) :: Applicative f => f a -> f (a -> b) -> f b
01:04:32 <Bike> ambiguous occuence
01:05:04 <Sgeo> I still think a do-like syntax for applicatives could be reasonable
01:05:32 <oerjan> Sgeo: i've been thinking comprehension syntax is more fitting
01:06:40 <oerjan> all you need afaict is to check that none of the comma separated <- declarations use each other
01:06:48 <Sgeo> But, if there's a monad that let's you put applicatives together (maybe returning Nothing if you attempt an illegal operation), monad comprehensions could be used
01:07:14 <Sgeo> Although direct syntax support would be better
01:10:44 <elliott> oerjan: well comprehensions and do notations are basically the same. though the free "pure" in comprehensions suits applicatives well
01:11:13 <oerjan> yes, the latter is what i was thinking
01:15:04 <elliott> so [f x y z | x <- ..., y <- ..., z <- ...] ==> f <$> ... <*> ... <*> ...
01:15:20 <elliott> hmm it would work well with record puns, too bad record puns are evil
01:15:29 <elliott> or can you pun that way...
01:21:26 <oerjan> or wait i'm thinking of record wildcards
01:23:29 <elliott> I was thinking if you could do [Rec{..} | field <- ..., field2 <- ...]
01:24:32 <oerjan> and also backwards, i think
01:24:41 <elliott> what do you mean by backwards
01:25:03 <oerjan> that .. is a pattern you get the names _out_ of, not put them into
01:25:42 <oerjan> that seems to be allowed
01:27:30 <elliott> I wonder if you get a fun type error if you e.g. forget to bind field3
01:27:37 <elliott> and it tries to do field3 = field3
01:27:41 <elliott> where field3 is the _accessor_ function
01:27:44 <elliott> (because punning is awful)
01:27:53 <elliott> probably it just detects that I guess :(
01:28:31 <oerjan> it says that particular binding is excluded
01:36:56 <Sgeo> Dependently typed languages don't have idiotic numbers of zip functions, right?
01:37:05 <Sgeo> zip3 zip4 zipOkThisIsDumb
01:37:11 <lambdabot> [a] -> [b] -> [c] -> [d] -> [(a, b, c, d)]
01:37:20 <Sgeo> Just use HLists instead of tuples
01:38:39 <elliott> that was how they were originally written
01:38:41 <elliott> nothing to do with dependent types, also
01:38:52 <elliott> ZipList abstracts away the zip pattern
01:39:19 <Sgeo> HLists are tuples structured like lists though, rather than flat, iirc
01:39:39 <Sgeo> (1, (2,3)) rather than (1,2,3)
01:39:53 <Sgeo> (1, (2, (3, ())))
01:39:54 <Bike> that's some old school shit right there
01:39:58 <elliott> anyway it's a bad representation because you get O(n) access
01:42:31 -!- Phantom__Hoover has quit (Remote host closed the connection).
01:45:54 <Jafet> > zip (zip (zip (repeat ()) (repeat ())) (repeat ())) (repeat ()))
01:45:55 <lambdabot> <hint>:1:64: parse error on input `)'
01:45:59 <Jafet> > zip (zip (zip (repeat ()) (repeat ())) (repeat ())) (repeat ())
01:46:01 <lambdabot> [((((),()),()),()),((((),()),()),()),((((),()),()),()),((((),()),()),()),((...
01:48:55 <Jafet> > join $ fix $ (["","()"]++) . ap (zipWith (\x y->"("++x++y++")")) tail
01:48:57 <lambdabot> "()(())(()(()))((())(()(())))((()(()))((())(()(()))))(((())(()(())))((()(()...
01:49:14 <Bike> it's like i'm really using an esolang
01:49:57 <elliott> you're not, Bike. because you don't know haskell
01:50:01 <elliott> because you're barely even a person!!!!
01:50:07 <Bike> i'm barely even a bike
01:51:07 <elliott> but you don't fix anything
01:51:19 <lambdabot> http://en.wikipedia.org/wiki/Fixed-gear_bicycle
01:51:19 <lambdabot> Title: Fixed-gear bicycle - Wikipedia, the free encyclopedia
01:51:22 <Sgeo> > let bike = const "Bike" in fix bike
01:51:36 <Bike> :t const "shitshitshit"
01:51:40 <elliott> i know what fixies are!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! FUCKER
01:51:56 <Sgeo> I did not know what a fixie s
01:52:26 <Bike> hope that helped
01:52:35 <Sgeo> elliott, what's that thing that was in lambdabot that made a joke about fixing?
01:52:47 <lambdabot> Maybe you meant: bid faq ft id thx
01:53:23 <elliott> i think i must be tired because im laughing at Bike's smiley
01:53:29 <elliott> and i usually only laugh when i use that smiley
01:53:42 <Bike> are you okay bro
01:53:44 <oerjan> !underload (:aS(:^S^:)Sa:):^S^:(:aS(:^S^:)Sa:)
01:53:46 <EgoBot> (:aS(:^S^:)Sa:):^S^:(:aS(:^S^:)Sa:)
01:54:05 <Sgeo> elliott, I laughed when you said that what I said was the saddest thing you've heard
01:54:16 <Bike> the saddest thing he'd heard you say
01:54:59 <Sgeo> I don't remember
01:55:06 <elliott> insufficient data for meaningful answer
01:57:32 <Sgeo> @pl (\x -> x x) (\x -> x x)
01:57:35 <lambdabot> optimization suspended, use @pl-resume to continue.
01:57:48 <lambdabot> optimization suspended, use @pl-resume to continue.
01:57:56 <Bike> i think i see where this is going
01:58:20 <elliott> its optimising the points away
01:58:54 <Sgeo> But the points are gone
01:59:00 <Sgeo> Why is it still trying to get rid of more?
02:00:01 <Bike> wait i thought arrows sucked
02:00:49 <Sgeo> (#(% %) #(% %))
02:01:13 <elliott> its trying to make the code shorter
02:01:14 <lambdabot> Monad m => m (a -> b) -> m a -> m b
02:01:58 <Sgeo> :t id<*>id$id<*>id
02:02:00 <lambdabot> Occurs check: cannot construct the infinite type: a0 = a0 -> b0
02:02:00 <lambdabot> Actual type: (a0 -> b0) -> a0 -> b0
02:02:11 <Sgeo> :t (\x -> x x) (\x -> x x)
02:02:13 <lambdabot> Occurs check: cannot construct the infinite type: t1 = t1 -> t0
02:02:13 <lambdabot> In the first argument of `x', namely `x'
02:02:21 <Bike> did you expect that to work i'm confused
02:03:56 <lambdabot> Occurs check: cannot construct the infinite type: t1 = t1 -> t0
02:03:56 <lambdabot> In the first argument of `x', namely `x'
02:04:06 <Bike> this is why fix exists surely
02:04:45 <Sgeo> There are functions you can pass to themselves
02:04:58 <Sgeo> So why can't I write a function that can only take such a function?
02:05:07 <Bike> what functions can you pass to themselves
02:05:21 <elliott> Sgeo: what type do you expect (\x -> x x) to have
02:05:24 <Bike> well that's because it's polymorphic isn't it
02:05:29 <elliott> note that it can be assigned a type but not in haskell 2010
02:05:45 <Bike> oh? what type would it be assigned?
02:06:10 <elliott> ok i will but only if everyone gives up
02:06:27 <Bike> how can we give up if we're too incompetent to even guess
02:06:33 <oerjan> does it count as giving up if i already know the answer?
02:06:43 <elliott> you don't count as part of everyone, oerjan
02:06:56 <elliott> a priori i assume that anything i could possibly say is something oerjan already knows
02:07:14 <Sgeo> I don't know anything about type theory outside of Haskell. Well, a little subtyping I guess
02:07:21 <elliott> its not really anything to do with type theory
02:07:46 <Bike> surely \x -> x x not being typeable in HM is type theory something
02:07:47 <Sgeo> Some sort of or type?
02:07:56 <elliott> (\x -> x x) is a function so must have type $A -> $B for some $A, $B
02:08:11 <Bike> are those perl style variables
02:08:18 <elliott> we apply x inside so we know $A must be a function type, ($C -> $D) -> $B for some $C, $D, $B
02:08:30 <elliott> the function's result is the result of applying x
02:08:39 <Sgeo> Recursive types
02:08:40 <elliott> ($C -> $D) -> $D for some $C, $D
02:08:50 <elliott> $C is what we pass in i.e. the type of x
02:09:09 <elliott> 02:03:56 <lambdabot> Occurs check: cannot construct the infinite type: t1 = t1 -> t0
02:09:34 <elliott> from a rank2 pov we can assign the type (\x -> x x) :: (forall a. a -> a) -> b -> b
02:10:15 <elliott> Bike: btw fucking learn haskell you god damn fixie
02:10:24 <Bike> that fuckin book
02:10:36 <elliott> about your opinions of the book
02:10:46 <Bike> well i'm certainly not doing it now but that's because my head is underwater
02:10:58 <Bike> how about this tomorrow i will learn agda and then shoot you
02:10:59 <elliott> buy hutton's programming in haskell if you want I hear that's good!!!!
02:11:10 <elliott> fuck it give up and read real world haskell if you want to be the worst person slash bike
02:11:14 <elliott> i don't care it just needs to happen
02:11:27 <elliott> well rwh is kind of crappy as a `first read'
02:11:39 <Bike> no i mean why does it need to happen
02:12:06 <Sgeo> Why does Bike hate LYAH?
02:12:13 <elliott> either you'll learn and understand
02:12:18 <elliott> and it won't matter any more
02:12:22 <Bike> i don't hate it, i just think it's kind of irritating
02:12:27 <elliott> headlines FIRST BICYCLE KILLED BY HASKELL
02:12:31 <elliott> SIMON PEYTON JONES ARRESTED
02:12:32 <Bike> okay fuck fine i'll try it right now you fucking shitter
02:12:43 <Bike> fuck you, sun.
02:13:02 <elliott> Bike: have you read why's (poignant) guide to ruby
02:13:02 <Sgeo> Sun's dead. Try Oracle.
02:13:12 <elliott> lyah is the tamest shit in comparison (and i love wpgtr with all my heart)
02:13:39 <Bike> i read some of wpgtr but i thought it was funnier than lyah
02:13:39 <Sgeo> iirc wpgtr says something and that something is obsolete
02:13:48 <Sgeo> Some flaw that Ruby had that was fixed
02:13:50 <Bike> i forget why i don't like lyah, maybe it's because i hate joy
02:13:55 <elliott> well wpgtr was last updated like a billion years ago
02:13:56 <Bike> do i hate joy? i forget
02:14:01 <elliott> i think its for ruby 1.8.something
02:14:04 <Sgeo> Joy is a different language.
02:14:14 <elliott> but it doesn't matter because nobody has ever learned ruby from wpgtr
02:14:16 <elliott> and that's the beauty of it
02:14:26 <Bike> i like joy the language i mean joy the happiness
02:14:35 <elliott> did you know wpgtr has a soundtrack
02:15:25 -!- kallisti has joined.
02:15:26 -!- kallisti has quit (Changing host).
02:15:26 -!- kallisti has joined.
02:15:30 <Bike> is there a haskell mode for emacs that isn't bullshit
02:15:39 <elliott> yes its called the haskell mode
02:15:46 <elliott> just get the latest one from git or whatever since your package might just be shit
02:15:54 <elliott> oh i set it into stupid indentation mode i think
02:15:59 <elliott> since the smart indentation mode irritates me
02:16:05 <elliott> like it knows better than me
02:16:12 <elliott> and wants to cycle thoruhg every possible indentation when i press tab
02:16:16 <Bike> wow it's actually in a repository gosh
02:16:21 <elliott> "did you know it's theoretically possible for you to write code at this indentation here???"
02:16:38 <Jafet> elliott: those are the best indentations you know
02:16:45 <elliott> and type my indentation manually
02:16:55 <elliott> i don't know when i regressed like this but i am happy
02:17:17 <elliott> it's because i tried the fancy alternative haskell mode thing chrisdone had
02:17:30 <elliott> and it annoyed the hell out of me and wanted me to make a .cabal for everything when i just wanted to load a file into ghci
02:17:39 <elliott> so i gave up and started doing vi foo.hs instead
02:17:39 <Bike> so what's the usual mode for editing haskell
02:17:52 <Bike> "workflow" that's the ticket
02:17:53 <elliott> well chrisdone just merged the good stuff into real haskell-mode i think
02:17:59 <elliott> well you write stuff in a file
02:18:05 <elliott> it loads in the ghci in the other emacs window
02:18:09 <Bike> oh good, i'm all over that.
02:18:09 <elliott> and you switch over and evaluate stuff
02:18:16 <elliott> its basically like lisp but we don't have anything fancy like slime
02:18:37 <Bike> suddenly i have the horrible idea of writing haskell swank
02:18:51 <elliott> like it's basically literally the same as running ghci in another terminal and pressing :r
02:19:08 <Bike> well i'll miss C-c C-c but i can deal
02:19:11 <Sgeo> :r still wipes bindings
02:19:27 <elliott> i've forgotten what c-c c-c does
02:19:29 <Bike> why would it not
02:19:38 <Bike> holy fuck haskell-platform installs a lot
02:20:00 <Sgeo> Because I want to test a function with some data that took some time to produce and don't want to re-create the data each time I change the function
02:20:03 <elliott> everything haskell platform installs for you is something you cant fuck up installing manually with cabal-install
02:20:43 <Bike> Sgeo: yeah sounds like C-c C-c would be good for that, but a lot of times being able to destroy old bindings would be kind of nice too
02:21:16 <elliott> don't leave me in the dark
02:21:20 <Jafet> elliott: until you need to upgrade a package
02:21:25 <Bike> slime-compile-defun
02:21:31 <elliott> Jafet: that's when you throw out your computer and buy a new one
02:21:33 <Bike> just compiles and loads the current form
02:21:36 <Bike> instead of like, the whole file.
02:22:22 <Sgeo> whole-file vs single-function isn't relevant, it's what happens to old bindings made at REPL that's relevant
02:22:33 <elliott> Bike: the real cool emacs stuff starts when you give up on ever writing programs and just go to coq and agda
02:22:43 <Bike> good, i hate programs
02:22:44 <elliott> where you get tightly-integrated ~HYPER-INTERACTIVE~ emacs environments
02:23:48 <Sgeo> Maybe I should be a teacher instead of a programmer
02:25:50 <elliott> is it so you can have peace
02:26:04 <Bike> because you're whiting out every few seconds and at this rate you'll become a p-zombie
02:26:20 <elliott> ok becoming a p-zombie is now on my list of life goals
02:26:30 <elliott> just before becoming a bicycle (how do you do it???)
02:26:34 <Bike> read more smullyan then
02:26:38 <Bike> it's an ancient secret i'm afraid
02:26:45 <elliott> ancient wisdom of the bicycles
02:27:06 <Bike> "so for reasons that will remain unclear i have an account on a novell network which uses windows 7 and i wish to get the sam and system files or the password hashes and saved onto a flashdrive" ##asm is a great channel
02:27:53 <Fiora> it's like 98% actual asm questions 2% random scriptkiddies asking for hacking help
02:28:24 <Bike> plot twist: 40% of the actual asm questions are people trying to wargame.
02:28:31 <Jafet> 97% homework questions
02:28:36 <elliott> well as I understand it the point of assembler is to bypass the security checks in the Micro-Soft Windows operating system to achieve a lower level of control with which to extract the necessary passwords from the system code
02:28:37 <Fiora> Yeah XD but wargame stuff sounds really cool
02:29:15 <elliott> that is why microsoft do not supply an assembler. it is too risky
02:30:11 <elliott> do you ever get the feeling someone in the channel is taking your bullshit joke seriously
02:30:17 <elliott> i'm getting that feeling real strong right now
02:30:37 <Bike> you think someone in this channel would say "Micro-Soft"?
02:30:48 <elliott> bike have you SEEN the people in thnis channel
02:30:56 <Bike> am i the narc?
02:31:13 -!- wareya has quit (Read error: Connection reset by peer).
02:32:08 -!- wareya has joined.
02:32:10 <elliott> damn Bike you are so right. i should be sleeping
02:32:28 <HackEgo> Bike: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
02:32:33 <Bike> this is the advantage of the ancient wisdom of the bicycles.
02:33:12 <Bike> right britland
02:33:50 <elliott> bike have you ever even seen a britland
02:34:03 <Bike> Only once, when I was young.
02:34:22 <elliott> wow you're looking at my time without permission
02:34:38 <Sgeo> @localtime elliott
02:34:39 <lambdabot> Local time for elliott is Thu Mar 7 02:34:38 2013
02:35:05 <Bike> /say @localtime had better just ctcp people
02:35:34 <Sgeo> @localtime words more words
02:35:51 <Sgeo> @localtime words Sgeo lambdabot words
02:36:42 <elliott> 02:36:39 -!- Irssi: Unknown command: sleep
02:36:53 <kmc> /msg nickserv ghost elliott
02:38:05 <kmc> bonghits4jesus
02:38:42 <elliott> i didn't believe you but tried to ghost you nonetheless
02:38:47 <elliott> basic principles of professionalism
02:38:54 <kmc> you sure did
02:39:11 <Bike> you're one of the worst sleepers i've ever seen.
02:39:16 <elliott> did it say hey kmc im nickserv the snitchand that elliott guy is the WORST
02:39:16 <kmc> nobody will guess my password because i used the numeral '4' instead of the word 'four'
02:39:33 <kmc> Bike: wait am i asleep
02:39:37 <kmc> is this all a dream
02:39:39 <Bike> no not you that other guy
02:39:48 <Bike> fuck do i look like zhuangzi to you
02:39:48 <elliott> fuck you already have mine since i use mosh
02:39:56 <elliott> and im sure you have some great backdoors in that crypto
02:40:00 <elliott> and don't forget that sharing is caring
02:40:04 <kmc> no i just have a backdoor for AES
02:40:09 <kmc> 'much better'
02:41:04 <elliott> Bike: what does it feel like to be able to decide to go to sleep and then enact that decision successfully
02:41:55 <Sgeo> It feels like being dead tired at midnight instead of 2pm
02:42:11 <Sgeo> It's... weird.
02:43:06 <Sgeo> I think... my sleep schedule has actually been quasinormal lately
02:44:40 <elliott> im starting to become irritated at everything for existing
02:44:49 <elliott> especialyl Bike because bicycles feel more like tangible objects than humans to me
02:45:32 <Sgeo> FireFlys aren't humans either.
02:45:54 <Sgeo> And humans being the dual of pumpkins seems weird
02:46:50 <Bike> elliott may already be a dualist!
02:47:29 <Bike> What if I threw in being a duelist as well?
02:47:59 <elliott> Bike: do you know haskell yet
02:48:26 <Bike> Just need to figure out these monad things.
02:48:33 <elliott> i know some good tutorials for that :-)
02:48:59 <elliott> superglued them eyeballzzz together
02:50:55 <elliott> twice the noses: twice the power
02:51:15 <elliott> even as a bicycle you have never seen the dawning of a day with this much smiling upon it
02:52:08 <elliott> Bike my irc client is about to literally explode if you dont tell me to go to bed again
02:53:06 <Bike> Bike is away: are you asleep yet?
02:56:24 <kmc> (-:-) TIE FIGHTER
02:56:35 <Bike> combining tie fighter above
02:57:03 <elliott> bike you told me you were away
02:57:19 <Bike> Bike is away: do you regret?
02:58:37 <kmc> have joined ##asm
02:59:29 <Bike> the hacker already left sorry
03:00:33 <Bike> sgeo you're kind of adorable sometimes i hope you know that
03:02:36 -!- Sanky has quit (Read error: Operation timed out).
03:03:03 -!- Sanky has joined.
03:11:20 -!- monqy has joined.
03:11:49 -!- impomatic has quit (Ping timeout: 246 seconds).
03:20:15 <Bike> how do i get inferior-haskell to get me a repl? haskell wiki says to C-c C-l something but that seems pretty dumb
03:21:09 <elliott> if yo uwant a repl without a file, you can open a terminal and type ghci
03:21:11 <elliott> but seriously you want a file
03:21:17 <elliott> since declarations are like 10x more convenient in a file
03:21:19 <elliott> and like indentation and stuff
03:21:26 <Bike> okay yes but i want a repl too
03:21:52 <Bike> lyah starts with a repl. i gotta go by the book here.
03:23:09 <elliott> alternatively m-x some shit FUCK I NEED TO SLEEP
03:26:15 <Bike> oh 4 * -3 isn't allowed, nice
03:26:58 <lambdabot> cannot mix `GHC.Num.*' [infixl 7] and prefix ...
03:27:06 <elliott> well negative numbers are kin dof a clusterfuck
03:27:08 <elliott> just put them in parens always
03:27:37 <Bike> > ((*) 4 ((-) 3))
03:27:39 <lambdabot> No instance for (GHC.Num.Num (a0 -> a0))
03:27:45 <elliott> monqy: whats Your Solution i have my solution
03:28:13 <Bike> oh. is there like negate somewhere
03:28:25 <monqy> elliott: my solution is get rid of unary -, have -4 and such be numeric literal, use negate if you want a function
03:28:39 <Bike> and in that moment i swear we were all monqy
03:28:42 <elliott> monqy: and what does (- 3) mean
03:28:51 <Bike> it means - takes two arguments
03:28:59 <elliott> monqy: however what does foo x = -x mean?????
03:29:05 <Bike> > ((*) 4 (negate 3))
03:29:17 <Bike> maybe i'll write all my haskell like this to piss people off pointlessly
03:29:20 <monqy> (-x is an identifier)
03:29:26 <Bike> (that's alliteration)
03:29:35 <lambdabot> Could not deduce (GHC.Num.Num (a0 -> t))
03:29:35 <lambdabot> arising from the ambiguity chec...
03:29:41 <Sgeo> Why is elliott still awake?
03:29:47 <monqy> yeah i'd probably end up making haskell into agda somehow
03:32:25 <Fiora> elliott: narcolepsy is not that fun
03:32:42 <Bike> shh he's asleep
03:33:27 <Bike> "You may not have known it but we've been using functions now all along. For instance, * is a function that takes two numbers and multiplies them." this is pretty great
03:37:03 -!- Bike has quit (Quit: Reconnecting).
03:37:20 -!- Bike has joined.
03:39:08 <Bike> Sgeo: talking about languages is a bad idea hth
03:39:38 <Sgeo> In that channel, maybe.
03:39:58 <monqy> what did sgeo do....
03:40:20 <Bike> Mentioned Haskell in ##asm. Or maybe it was someone else but anyway now everything is terrible.
03:40:34 <Bike> I'm going along with it because I'm also terrible? I don't know.
03:41:16 <Fiora> the person who's arguing with you, I haven't even seen them post anything except off-topic video clips before this o_O
03:41:56 <Bike> I wish people wouldn't do the "thing is obviously absurd and useless" for things that obviously exist. It's so uncreative.
03:42:20 <Jafet> > ((1 +) * (2 +)) 3
03:42:22 <lambdabot> No instance for (GHC.Num.Num (a0 -> a0))
03:44:08 <Bike> "This is a very simple example of a common pattern you will see throughout Haskell. Making basic functions that are obviously correct and then combining them into more complex functions." good tutorial, this
03:45:56 <Bike> ok i have a confession: I didn't know haskell actually had a basic if
03:46:16 <Bike> i thought you used case everywhere
03:48:17 <Jafet> Real functional programmers use if'
03:48:37 <Jafet> if syntax lets you do fun things with indentation though
03:49:10 * Bike hits tab a few times. what
03:51:52 -!- carado has quit (Ping timeout: 256 seconds).
03:54:48 -!- Arc_Koen has joined.
03:55:36 -!- Arc_Koen has quit (Client Quit).
03:55:53 -!- Arc_Koen has joined.
04:03:09 * oerjan assumes that Bike's "what" was followed by " could possibly go wrong?"
04:03:29 <Bike> "the hell just went wrong", more like.
04:03:59 <oerjan> whatever it was, the tabs swallowed it.
04:18:02 <Bike> Sgeo: So anyway, I'm curious, what's so alien about assembly?
04:18:48 <Sgeo> It's so... low-level
04:18:57 <Sgeo> I don't actually know Assembly really
04:19:07 <Bike> You didn't learn any in school?
04:19:24 <Sgeo> They teach assembly in schools?
04:19:29 <Sgeo> (My school sucked)
04:19:46 <Bike> Yeah, I learned basic ancient MIPS in arch class.
04:20:14 <Sgeo> I had an OS class. We wrote in C#, because the professor wrote a computer simulator thingy in C#
04:20:36 <Sgeo> Except it wasn't really a good simulator, since you didn't write things like memory management stuff in the assembly of the simulator, you wrote it in C#
04:20:50 <Fiora> we learned MIPS in the architecture class I took, and in another one of the low-level ones we had to learn basic x86 asm and how to debug with gdb, reverse engineer a basic program
04:21:07 <Fiora> like the program was a "bomb" and asked for a series of codes, and we had to use a debugger and look at the asm to figure out each code
04:21:15 <Fiora> and each one had a progressively more obfuscated way of validating the codes
04:21:24 <Bike> Sgeo: OS is a bit different from arch, I think.
04:21:29 <Fiora> and each time you inputted a wrong code, it'd email the teacher XD
04:21:52 <Bike> that seems like it'd just annoy them really
04:22:00 <Fiora> the professor would take off a small number of points for each one
04:22:08 <Fiora> (only up to a limited amount, it wasn't major)
04:22:14 <Fiora> it was mainly just to encourage people to figure out how to patch out the emailer
04:23:00 <Fiora> the OS class didn't have any outright asm but it did deal with a lot of low level stuff, since we were doing, like, paging and threading on a mips simulator
04:23:16 <Fiora> the intro CS class had a toy asm language that they used. that and python were the two intro languages
04:23:29 <Fiora> so um.... I guess there was kinda a good amount of asm
04:24:04 <Bike> Maybe it's related to Sgeo apparently getting some kind of IT degree, though he sure knows a lot of CS so I get confused about what the heck he was actually taught.
04:25:04 <Fiora> they definitely did a good job at being varied, I mean, there was everything from a class that covered natural deduction and formal logic and stuff (and had no coding!) to scheme and haskell and java and C++ and asm and stuff
04:25:20 <Fiora> and prolog. prolog says No., fiora, you are not getting an A.
04:25:26 <Sgeo> Bike, http://www.farmingdale.edu/academics/business/bcs/courses.shtml
04:25:54 <Bike> I also get confused that you actually lived in a place called Farmingdale, and I can see cows from my fucking window.
04:26:09 <Bike> "Programming in Visual Basic " oh you poor dear
04:26:30 <Sgeo> There ... was a C++ one too
04:26:36 <Sgeo> I don't know why it's not there
04:27:03 <Fiora> I don't think we actually had any courses called 'programming in <language>'
04:27:11 <Fiora> like gosh I can't remember any, I don't think they existed
04:27:14 <Sgeo> Oh, they're still there, just not called "C++"
04:27:16 <Bike> well that seems pretty boring overall
04:27:28 <Bike> hm let me see if there were any "programming in X" classes at my old school
04:27:45 <Fiora> I guess the closest we had to that is the intro course was mostly python, and the data structures class was mostly C++
04:27:46 <Sgeo> Also this is available courses, it's not like all of them were mandatory
04:28:10 <Bike> Fiora: well you're learning programming, not learning a language, at least nominally.
04:28:22 <Bike> the compilers course used Lisp but it's not like they'd advertise that as "lisp programming" :P
04:28:23 <Fiora> yeah, that's what I mean
04:28:29 <Bike> http://schedules.wsu.edu/List/Vancouver/20133/CS
04:28:51 <Fiora> the compiler course I took used haskell but like. only a little bit of it covered haskell
04:28:53 <Bike> haha advanced topics is concurrency.
04:28:59 <Fiora> the professor kind of expected us to magically figure everything out after the first two weeks <.<
04:29:17 <Bike> i thought haskell let you do everything magically?? was i wrong
04:29:26 <Bike> but yeah i have a compilers book that uses SML and it's like dude i don't know SML what is this
04:30:21 <Bike> related to haskell: is there a way to keep infinite lists from printing forever because that's pretty much not what I want?
04:30:25 <Fiora> so my memories of haskell are like, a mix of "gosh this is hard and oh gosh how do monads work and aghhhhh" and "wow pattern matching is so cool and the type system and omg"
04:30:36 <Sgeo> Bike, can turn it into a finite list
04:30:43 <Sgeo> take 50 yourList
04:31:05 <Sgeo> Or Ctrl-C if that's what you mean, although I don't know what the emacs-y version is
04:31:27 <Bike> it's still ctrl-c (inferior-haskell is pretty much just a shell anyway)
04:31:59 <Bike> it's just in CL I can do (setf *print-length* 50) and then when i do something stupid it at least stops. i imagine there's some config option for ghci, just wondering if anybody knows it
04:33:42 <Sgeo> Try asking in Haskell?
04:33:58 <Bike> oops i thought this was #haskell
04:35:59 <Fiora> close enough, right? XD
04:37:15 <Bike> Looks like lambdabot just puts an ellipsis there after some characters with no regard to anything.
04:38:24 -!- DHeadshot has quit (Read error: Connection reset by peer).
04:38:30 -!- DH____ has joined.
04:39:53 -!- DH____ has quit (Read error: Connection reset by peer).
04:39:59 -!- DHeadshot has joined.
04:54:12 -!- Jafet has quit (Quit: Leaving.).
04:54:12 -!- DHeadshot has quit (Read error: Connection reset by peer).
05:05:46 -!- monqy has quit (Quit: hello).
05:18:24 -!- oerjan has quit (Quit: leaving).
05:41:53 -!- sebbu2 has quit (Ping timeout: 248 seconds).
06:10:05 -!- Jafet has joined.
06:33:58 -!- DHeadshot has joined.
06:34:02 -!- DHeadshot has quit (Remote host closed the connection).
06:34:47 -!- DHeadshot has joined.
06:41:41 -!- sebbu has joined.
06:41:41 -!- sebbu has quit (Changing host).
06:41:41 -!- sebbu has joined.
06:47:29 -!- sebbu has quit (Ping timeout: 248 seconds).
06:49:57 -!- TeruFSX has quit (Ping timeout: 276 seconds).
06:59:13 -!- applicative_ has joined.
06:59:42 -!- epicmonkey has joined.
07:07:48 -!- sebbu has joined.
07:07:48 -!- sebbu has quit (Changing host).
07:07:48 -!- sebbu has joined.
07:09:42 -!- FreeFull has quit.
07:11:50 <HackEgo> 11) <fungot> GregorR-L: i bet only you can prevent forest fires. basically, you know. \ 14) <fizzie after embedding some of his department research into fungot> Finally I have found some actually useful purpose for it. \ 15) <fungot> oerjan: are you a man, if there weren't evil in this kingdom to you! you shall find bekkler! executing program. plea
07:15:45 -!- sebbu has quit (Ping timeout: 248 seconds).
07:22:08 -!- applicative_ has quit (Ping timeout: 245 seconds).
07:29:33 -!- fungot has joined.
07:36:06 -!- Bike has quit (Ping timeout: 276 seconds).
07:38:06 -!- impomatic has joined.
07:38:41 -!- DHeadshot has quit (Ping timeout: 248 seconds).
07:46:41 -!- epicmonkey has quit (Ping timeout: 248 seconds).
08:03:11 -!- monqy has joined.
08:03:50 <Jafet> Spell of summon fungot
08:03:50 <fungot> Jafet: abstraction by not explicitly renaming anything will interact very poorly and have strange bugs. in that time
08:05:10 -!- nooga has joined.
08:09:40 -!- azaq23 has joined.
09:06:24 -!- epicmonkey has joined.
09:26:55 -!- nooga has quit (Ping timeout: 252 seconds).
09:57:40 -!- nooga has joined.
10:11:59 <fizzie> http://ideone.com/luw5I2 that was kind of funny. (It doesn't do that on *my* 4.7.2.)
10:12:16 <fizzie> (I know it's probably a bad, I was just curious.)
10:15:07 <Fiora> that's pretty amazing
10:51:25 -!- carado has joined.
11:25:53 -!- azaq23 has quit (Quit: Leaving.).
12:12:49 -!- cookienugget has joined.
12:13:38 <cookienugget> ah, I remembered the lang wih the arrows, it was ziim
12:42:22 -!- oonbotti has joined.
12:45:21 -!- monqy has quit (Quit: hello).
12:52:14 -!- KingOfKarlsruhe has joined.
13:15:12 <Sgeo> :( I didn't eat dinner yet and it's now 8:15 AM
13:15:16 <Sgeo> I did fall asleep
13:33:11 -!- boily has joined.
13:33:55 -!- metasepia has joined.
13:46:18 -!- monqy has joined.
14:02:35 -!- Phantom_Hoover has joined.
14:25:04 -!- cookienugget has quit.
14:26:37 -!- carado has quit (Quit: Leaving).
14:26:50 -!- carado has joined.
14:31:40 -!- copumpkin has quit (Ping timeout: 240 seconds).
14:32:12 -!- copumpkin has joined.
14:39:11 -!- cookienugget has joined.
14:46:25 -!- copumpkin has quit (Ping timeout: 248 seconds).
14:47:01 -!- copumpkin has joined.
15:02:45 -!- oklopol has joined.
15:07:34 <Sgeo> Another company wants to pay me more than Ipreo (if they hire me), but it's more of a temporary position
15:36:03 <fungot> quintopia: i do not know
15:36:21 <quintopia> are you quoting zzo38 at me fungot
15:36:21 <fungot> quintopia: i don't believe in wimpy shortcut functions. let them eat their ice cream or water ice on a small board in my case
15:38:03 <fungot> boily: what about naivity, then?
15:38:54 <boily> quintopia: hungry. some vietnamese demon has been visiting my mind and urging me to eat pho.
15:39:15 <boily> fungot: don't you dare undiaerese naïvity at me, you rambunctious bot!
15:39:16 <fungot> boily: apparently lostchild doesn't msn, since that idea doesn't strike me as being overconfident n00b... so i'm trying to figure out
15:39:16 <quintopia> boily: i think this demon has your best interests at heart
15:39:49 <quintopia> boily: it's spelled naïvete actually. i think fungot just misspelled nativity
15:39:49 <fungot> quintopia: you did it right. " would somebody please find a gimp irc channel and try to infer types
15:40:30 <quintopia> even fungot agrees i fixed his mistake
15:40:39 <fungot> quintopia: if i avoid any dependence whatsoever on state held in the surrounding emacs instance, the repl didn't fnord and had these bug guys called fnord
15:50:09 -!- nooodl has joined.
15:50:34 <Sgeo> I am now addicted to http://www.bonkersworld.net/
15:53:30 <coppro> https://developers.google.com/events/io/
15:56:33 <boily> after the wobbly shapes, a game.
15:58:58 <Sgeo> I don't get the wobbly shapes. It's not asking to input 13. I got the answer, but only because I was quasi-randomly clicking around
16:00:11 <Sgeo> Oh, there are all several ones
16:02:57 <Sgeo> I'm used to Simon ending at 10
16:03:06 <Sgeo> Because it was a puzzle in Mutation
16:03:11 <Sgeo> (I usually cheated)
16:14:56 <nooodl> what language is metasepia
16:19:46 -!- Taneb has joined.
16:20:35 <Sgeo> Since it's also a chat thing, I just typed the number of each one into the chat bo
16:22:30 <Taneb> I've bought a vaguely popular album
16:23:19 <quintopia> so it's not too late to cancel the order and pirate it!
16:23:33 <Taneb> I'm holding the CD!
16:23:39 <Taneb> I'm playing the CD
16:23:45 <Taneb> And I've got the CD case here
16:24:42 -!- Bike has joined.
16:26:16 <Taneb> On another note, I'm beginning to really enjoy Schlock Mercenary
16:26:26 <Taneb> I'm up to.. February 2004
16:26:31 <Taneb> At two pages a day
16:27:18 <quintopia> oh okay, so in a few more decades you might be caught up
16:30:40 <Taneb> I'm a tad confused how RhythmBox can only work out the length of one track
16:32:11 <olsner> CDs actually only store the length of track numbers that are multiples of 7, good cd players use sofisticated heuristics to figure out the rest of it
16:39:12 <Taneb> Also, I found out recently that the E in "Ngevd" doesn't stand for elliott, after all.
16:39:16 <Taneb> It stands for eliot.
16:39:53 <olsner> pretty sure the e stands for ngevd, it's a recursive acronym
16:40:57 <Taneb> olsner, that's what the G stands for
16:41:06 <Taneb> I'm not Nathan Ngevd Ngevd van Doorn
16:41:09 <olsner> the g? there is no g in ngevd
16:42:49 <boily> Nguyen Nguyen Engevd van Doorn?
16:43:50 <olsner> NGevd ngEvd ngeVd ngevD
16:44:50 <HackEgo> ,WAc;ME6rH7ysF'U@?Dvij\]$5iהV3"4UٛZ5K߲b3QdW#!kftPڭYt<b2KNurL0 \ #{l֒qAjr+"֠oYn(XYPBe1<l.}aΘaR*sNTζ,,)x(baH$A~$[2Uon3>DnF!men}$.Ke=֜7,͕tE#CxZ(]zϤ82msċXA.gG
16:45:02 <Taneb> shachaf, that's Ngevd
16:45:21 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
16:45:28 <boily> I really should correct that italics-screen-urxvt combo bug.
16:46:58 -!- Phantom_Hoover has joined.
16:47:15 <boily> italics are rendered as reverse video in my terminal when I'm in screen, which means all the time.
16:47:43 <Taneb> Phantom_Hoover, there's a stronghold on the Minecraft server
16:47:53 <cookienugget> why is most of your terminal text in italics ?
16:49:00 -!- hagb4rd|lounge has joined.
16:49:45 <boily> cookienugget: it usually isn't, as normal text is. I'm just always not far away from a screen session, and when someone ngevds, I like it to be properly rendered.
16:49:52 <boily> I mean, it's a matter of honour.
16:50:56 <shachaf> Taneb: What does the nge stand for?
16:51:36 <Taneb> "Nathan George Eliot"
16:54:10 <Taneb> Partially because I am annoyed by how insistent GNU is on tacking itself onto Linux's name when it's used as an OS
16:54:23 <Taneb> Partially, because, as the ancient war-ballad goes,
16:54:27 <Taneb> "That's not my name"
16:54:31 <Taneb> "That's not my name"
17:08:05 <Gregor> That advise does not help.
17:08:15 <Gregor> I can't even type properly with these fool things.
17:10:05 <Taneb> Gregor, have you been playing Sburb and combining a computer with your glasses
17:11:27 <Sgeo> Does Gregor Homestuck?
17:11:31 <Sgeo> If not, he should.
17:12:09 <shachaf> Gregor: To be fair your question wasn't helpful either.
17:12:36 <Gregor> Where by "new" I mean "I have never worn any sort of vision correction in my life"
17:12:48 <Gregor> I don't know how to glasses.,
17:13:15 <Sgeo> Unfold them, so you get two pointing things hanging out. Put on such that pointy things are above ears
17:13:26 <Gregor> Yeah, I got that much.
17:13:44 <shachaf> Gregor: Oh, I remember that.
17:13:51 <Taneb> Gregor, the pointy things hanging out point downwards
17:13:56 * shachaf got glasses -- ~6 years ago?
17:14:13 <Taneb> Well, they hook downwards
17:14:26 <Gregor> shachaf: HOW DO YOU GLASSES
17:14:36 <shachaf> Gregor: It sort of happens automatically.
17:14:38 <Taneb> Gregor, try to walk around with them on
17:14:42 <Gregor> shachaf: Or perhaps more importantly, does the adjustment phase end? Because right now everything is much clearer without them.
17:14:49 <Gregor> Taneb: They're not general-purpose, walkin' around sort of glasses.
17:15:01 <shachaf> Oh, I think we're talking about different things.
17:15:13 <shachaf> Mine were general-purose, walkin' around sort of glasses.
17:15:24 <Sgeo> Erm, they should be clearer when worn, if a bit confusing
17:15:29 <Gregor> By my understanding, the concept is the same X-D
17:15:37 <Sgeo> Then again, the glasses I've worn aren't really that strong
17:15:38 <fizzie> I got glasses some 18 years ago, I think.
17:15:58 <Gregor> They're not general-purpose because their focal areas (or whatever these are called) are optimized for computer use, not general use.
17:16:06 <Gregor> But they're still supposed to be glasses X-D
17:16:18 <Gregor> HOLY CRAP IT IS CLEARER WITH THEM ON
17:16:38 <Gregor> It's just hard to know where/how to look at things.
17:16:38 <Sgeo> Yes, that's supposed to happen.
17:16:44 <shachaf> Gregor: You're missing out on the experience of looking at trees!
17:16:55 <Gregor> shachaf: I can look at trees without glasses >_>
17:17:04 <Gregor> Or I can play Minecraft and look at trees with glasses.
17:17:50 <shachaf> Gregor: The experience of seeing Minecraft-looking trees turn into real-world-looking trees when you put your glasses on.
17:18:00 <Gregor> shachaf: My eyes are nowhere near that bad.
17:18:16 <fizzie> My trees are much less cubical even without glasses.
17:18:18 <shachaf> But it was still quite an experience, looking at trees!
17:18:23 <Gregor> Actually, I have 20/20 vision, I just get eyestrain due to focal issues.
17:18:24 <fizzie> The resolution is approximately Minecrafty, though.
17:18:31 <Sgeo> Hallways. It's hallways that get me.
17:18:56 <fizzie> I get this "holy crap the world is so bright and sharp" feeling every time I clean my glasses, though. (I can manage that maybe once a month, so they're quite... opaque immediately before.)
17:18:58 <Taneb> I'm not good at reading signs
17:18:59 <Sgeo> My right eye's fine, my left eye isn't. So it's always a trip being able to have real depth perception
17:22:34 <fizzie> I've got glasses of strength somewhere around -4.0 to -4.5, which is I guess reasonably a lot but not terribly a horribly much.
17:25:58 <fizzie> Gregor: Have you considered a monocle? You seem a monocle kind of a guy.
17:26:09 <shachaf> Perhaps even two monocles.
17:26:24 <fizzie> Maybe two monocles connected with some kind of a bridge over the nose.
17:26:25 <Gregor> And for efficiency, the monocles can be attached via the nose.
17:27:17 <fizzie> Also, a monocle sounds more appropriate for "computer stuff", too. Glasses for general use, a monocle for operating a computer, that's the general rule.
17:29:19 <hagb4rd|lounge> a monocle, a smoking, a top hat, white gloves and maybe a kind of sword cane
17:29:40 -!- hagb4rd|lounge has changed nick to hagb4rd.
17:32:20 -!- Sgeo has quit (Read error: Connection reset by peer).
17:33:23 -!- Sgeo has joined.
17:33:47 <shachaf> kmc: I ended up taking M60 to the Harlem-125th Metro-North station.
17:34:08 <shachaf> Then I got on the express train instead of the local train, and went to Yonkers.
17:36:15 <fizzie> Is that like being bonkers, except with Y?
17:40:02 <hagb4rd> gregor: my dictionary says "tuxedo" or "dinner jacket". for that i wonder why we name it "smoking" here in germany.
17:40:21 <Gregor> "Smoking jacket" is a thing.
17:40:31 <Gregor> Perhaps "smoking" is a German shortform of that?
17:41:35 <Gregor> Actually, I have a top hat and white gloves already.
17:41:48 <Gregor> So all I need is to saw these glasses in half and get a smoking jacket.
17:42:11 <fizzie> And all you need to get a smoking jacket is a book of matches and a regular jacket.
17:45:47 -!- iamcal_ has quit (*.net *.split).
17:45:47 -!- FireFly has quit (*.net *.split).
17:48:49 <oklopol> also is it a game? i have a hard time finding something meaningful to do in the second level.
17:49:48 <oklopol> oh there are multiple second levels.
17:49:56 <oklopol> just like Sgeo said, i suppose.
17:51:07 -!- FireFly has joined.
17:52:03 -!- FreeFull has joined.
17:52:33 -!- KingOfKarlsruhe has quit (Ping timeout: 248 seconds).
17:53:35 <kmc> shachaf: cool
17:54:03 <kmc> oh you were not trying to get to yonkers were you
17:54:19 -!- sebbu has joined.
17:54:19 -!- sebbu has quit (Changing host).
17:54:20 -!- sebbu has joined.
17:54:27 <shachaf> No, I was trying to get to Spuyten Duyvil.
17:54:35 <kmc> did you get back?
17:55:07 <shachaf> The conductor wrote me an impromptu ticket back.
17:57:55 <Sgeo> http://www.youtube.com/watch?v=H6TVVP-gy1Q
17:58:38 -!- carado has quit (Remote host closed the connection).
18:02:14 -!- carado has joined.
18:15:00 -!- nooga has quit (Ping timeout: 245 seconds).
18:28:06 -!- Taneb has quit (Ping timeout: 252 seconds).
18:34:36 -!- Taneb has joined.
18:35:15 <Sgeo> Maybe I could understand quantum computing if I learn the monad that someone wrote for it
18:37:20 <Taneb> I think a quantum computing monad'd be more useful on a quantum computer
18:41:32 -!- monqy has quit (Quit: hello).
18:42:59 <Sgeo> It comes with a simulator
18:52:17 -!- epicmonkey has quit (Ping timeout: 248 seconds).
19:03:37 <mroman_> Program received signal SIGTRAP, Trace/breakpoint trap.
19:03:39 <mroman_> 0x77515655 in ntdll!RtlpSetUserPreferredUILanguages () from C:\Windows\system32\ntdll.dll
19:09:51 <boily> someone forgot a breakpoint.
19:15:16 <mroman_> warning: Heap block at 00530F60 modified at 00530F6C past requested size of 4
19:15:30 <mroman_> I must be doing something horribly wrong then :D
19:15:52 <Taneb> Trivia: it's difficult to guess how to code in C++
19:24:26 -!- AnotherTest has joined.
19:26:10 <mroman_> but interesting that it worked :)
19:26:12 <Taneb> I tried and got 14 pages of errors
19:26:20 <mroman_> struct foobar* = malloc(sizeof(struct foobar*));
19:26:24 -!- Jafet has quit (Ping timeout: 252 seconds).
19:27:13 <AnotherTest> mroman_: that looks like undefined behavior
19:27:13 <lambdabot> AnotherTest: You have 3 new messages. '/msg lambdabot @messages' to read them.
19:27:26 <pikhq_> That looks like a parse error.
19:28:01 -!- aloril has quit (Ping timeout: 256 seconds).
19:28:04 <pikhq_> struct foobar *foo = malloc(sizeof *foo); // may be what you wanted
19:28:58 <boily> Taneb: how do you define a page?
19:29:13 <mroman_> pikhq_: struct foobar* foo = malloc(sizeof(foo*)); is what I did
19:29:15 <Taneb> Probably bigger than the standard size
19:30:11 <pikhq_> Yeah, that's still a parse error.
19:31:09 -!- Jafet1 has joined.
19:31:26 <Taneb> Okay, if I actually printed this out, it's be just over 9 pages
19:34:22 <Taneb> Size 10, liberation mono, chrome's default
19:34:42 <Taneb> 10mm at top, 14.5mm at bottom,10mm at sides
19:38:47 <mroman_> also "foobar"->foobar is apparentely legal
19:40:53 <Taneb> Look, do you just want me to link it to you?
19:42:07 -!- aloril has joined.
19:42:25 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
19:42:50 <Taneb> http://sprunge.us/SBTS
19:44:40 <Sgeo> Enya literally lives in a castle.
19:46:16 -!- iamcal_ has joined.
19:46:29 <Sgeo> Michael Flatley also wanted that castle
19:46:34 <Sgeo> I... just... wat.
19:50:55 -!- Phantom_Hoover has joined.
20:12:50 -!- epicmonkey has joined.
20:12:58 -!- nooga has joined.
20:25:21 -!- nooodl_ has joined.
20:28:54 -!- nooodl has quit (Ping timeout: 264 seconds).
20:32:06 -!- Sgeo has quit (Quit: Going to go do a pre-interview screening things).
20:36:56 -!- AnotherTest has quit (Quit: Leaving.).
20:40:13 -!- oerjan has joined.
20:52:48 <oerjan> <hagb4rd> gregor: my dictionary says "tuxedo" or "dinner jacket". for that i wonder why we name it "smoking" here in germany. <-- it's smoking in norwegian too fwiw
20:54:52 -!- Sgeo has joined.
20:55:42 <Sgeo> Well, that was easy
20:58:32 <oerjan> does that mean you have a job now?
20:59:26 <Sgeo> It was just a "technical pre-screen"
21:01:39 <oerjan> aka an x-ray demanded by their insurance company, if you pass you get a _damn_ good health insurance
21:01:45 <Gregor> "What is 1+3?" "If I give you a computer, a hammer and a screwdriver, which tool would you use to open the computer?"
21:02:34 <oerjan> the hammer is nice for when the screwdriver isn't working properly, right?
21:02:41 <Taneb> Gregor, 1+3 is 1+3. Personally I'd use the computer.
21:02:43 <boily> I'd use the computer to open it.
21:02:51 <boily> darn. Taneb is quicker than me.
21:03:03 <Taneb> boily, great minds think alike!
21:03:36 <oerjan> great minds sometimes skip the most obvious jokes.
21:03:49 <Sgeo> It was a thing where they asked questions and then they see exactly what you type and delete etc
21:04:13 <Sgeo> I actually have a link to the questions and my answers, but don't know if it's a good idea to just go around sharing it
21:04:17 <Taneb> oerjan, why discard the most obvious
21:04:35 <Taneb> Discard the most subtle, because nobody's gonna get thsoe
21:04:51 <oerjan> but neither was subtle.
21:04:59 <boily> oerjan: it's the end of the day, and I'm only on my... *count on his fingers*... around 4th cup of coffee, ±2.
21:05:11 <boily> oerjan: my brains aren't working anymore.
21:05:44 <oerjan> i'm on my first half cup of coffee. i didn't want more as my stomach isn't too well.
21:08:22 <boily> @tell quintopia Btw, this lunch's pho was good. I did well to listen to my Vietnamese demon.
21:08:42 <quintopia> @tell boily sounds good. but i'm gonna have fried chicken! ha
21:13:54 <oerjan> my demon must be from somewhere else, it only wants me to eat children, although none of the restaurants around here serve it.
21:15:03 -!- Arc_Koen has quit (Quit: Arc_Koen).
21:15:50 -!- copumpkin has quit (Ping timeout: 245 seconds).
21:16:30 -!- copumpkin has joined.
21:21:35 <Gregor> oerjan: *serve, "none" uses plural verbs.
21:23:05 <oerjan> is this one of those british/american things?
21:24:21 <Gregor> This is one of those correct/incorrect things.
21:24:29 <Gregor> "serve" is correct, and "serves" is incorrect.
21:24:32 <oerjan> "Usually, a singular verb follows NONE, even if the noun following it is plural."
21:25:06 <Gregor> Um... no? What completely-broken source are you getting that from?
21:26:01 <oerjan> one of the google summaries for "none verb subject agreement"
21:27:38 <Gregor> “Usually, a singular verb follows NONE, even if the noun following it is plural. However, in
21:27:38 <Gregor> conversational English, a plural noun has become acceptable.”
21:27:42 <Bike> they both seem right to me
21:27:49 <Sgeo> > <hint>:1:1: parse error on input `<'
21:27:53 <oerjan> http://grammar.ccc.commnet.edu/grammar/sv_agr.htm is more subtle.
21:27:58 <Sgeo> > <hint>:1:1: parse error on input `<'
21:28:00 <lambdabot> <hint>:1:1: parse error on input `<'
21:28:06 <quintopia> i think "serves" is what I taught as a tutor
21:28:07 <lambdabot> quintopia: You have 4 new messages. '/msg lambdabot @messages' to read them.
21:28:19 <lambdabot> elliott asked 2m 27d 14h 55m 5s ago: is the description for quintopia_a on the strategies page up-to-date for space_hotel?
21:28:19 <lambdabot> ais523 said 2m 14d 6h 9m 12s ago: I made a program based on what we discussed, and a few other concepts too; see ais523_stealth
21:28:19 <lambdabot> ais523 said 27d 18h 42m 27s ago: I just beat space_hotel by over 10 score :) Can you remember when anticipation2 topped the hill (2012, or 2013)? I want to write about it and about omnipotence
21:28:19 <lambdabot> boily said 19m 57s ago: Btw, this lunch's pho was good. I did well to listen to my Vietnamese demon.
21:28:34 <jconn> Sgeo: |value error: foobar
21:28:43 <Sgeo> ) Sgeo: |value error: foobar
21:28:44 <jconn> Sgeo: |spelling error
21:28:44 <jconn> Sgeo: | Sgeo: |value error: foobar
21:28:50 <impomatic> Does Mannerisky still visit #esoteric?
21:28:50 <Sgeo> ) Sgeo: |spelling error
21:28:51 <jconn> Sgeo: |spelling error
21:28:51 <jconn> Sgeo: | Sgeo: |spelling error
21:29:09 <Bike> damn you, multiline errors
21:30:58 <lambdabot> Not in scope: data constructor `Hmm'
21:31:12 <oerjan> > Not in scope: data constructor `Not'
21:31:13 <lambdabot> <hint>:1:5: parse error on input `in'
21:33:20 <lambdabot> No instance for (GHC.Show.Show (a0 -> GHC.Base.String))
21:33:46 <Sgeo> Should make a Haskell program to make error quines
21:34:14 <oerjan> nooodl_: but not an error
21:34:16 <Bike> remotely functional languages really take the fun out of quines :'(
21:36:25 <nooodl_> > <hint>:1:1: parse error on input `<'
21:36:26 <lambdabot> <hint>:1:1: parse error on input `<'
21:37:08 <nooodl_> i wonder if there's any error quines that aren't parse errors
21:37:35 <Sgeo> > not in scope
21:37:37 <lambdabot> <hint>:1:5: parse error on input `in'
21:37:57 <Sgeo> That in causes parse errors, unless you can find a way to work around it
21:38:11 <Sgeo> Or find an error other than not in scope errors
21:38:24 <Sgeo> > No instance for (GHC.Show.Show (a0 -> GHC.Base.String))
21:38:25 <lambdabot> <hint>:1:4: parse error on input `instance'
21:38:27 -!- carado has quit (Remote host closed the connection).
21:38:38 <Sgeo> Can't use no instance errors
21:38:43 <Sgeo> > fromJust Nothing
21:38:45 <lambdabot> *Exception: Maybe.fromJust: Nothing
21:38:53 <Sgeo> That would probably be a parse error
21:40:30 <kallisti> let's say you have a corpus of text to train an AI with
21:40:53 <nooodl_> > (<hint>:1:59: parse error (possibly incorrect indentation)
21:40:55 <lambdabot> <hint>:1:59: parse error (possibly incorrect indentation)
21:40:55 <Sgeo> And let's say that corpus of text is fungot's collected wisdom.
21:40:56 <fungot> Sgeo: i don't even have to be loaded. thus loading the srfis is implementation-dependant and not portable for every goddamn thing we suggest. i've just got home and called me away from my reading list for too long
21:40:56 <kallisti> how do you take an input sentence and determine which words are "the most interesting"?
21:41:22 <nooodl_> look for the least frequent ones?
21:41:25 -!- carado has joined.
21:41:46 <Bike> Interesting to what? For what?
21:43:04 <kallisti> my guess would be that you lookup each word from the input sentence in your corpus and determine their frequency of occurence, then calculate the standard deviation of all the words' frequencies and accept only words below a threshhold
21:43:10 <lambdabot> mueval-core: L.hs: removeLink: does not exist (No such file or directory)
21:43:10 <lambdabot> Not in scope: `can't'Not in scope: `file'Not in scope: `L.hs'
21:43:22 <nooodl_> close enough. you get the idea
21:44:19 <kallisti> Bike: interesting for the purposes of making a passable chat bot that can reply to things
21:48:12 <kallisti> I think you want 2 markov models
21:48:18 <oerjan> > var$ap(++)show"var$ap(++)show"
21:48:19 <kallisti> so that you can construct a sentence "around" a given keyword
21:48:24 <kallisti> the stuff before and the stuff after
21:48:45 <kallisti> but that only works with one keyword. not sure how you could incorporate multiple keywords into this process
21:49:50 <oerjan> > var$(++)<*>show$"var$(++)<*>show$"
21:49:52 <lambdabot> var$(++)<*>show$"var$(++)<*>show$"
21:50:39 -!- DHeadshot has joined.
21:52:54 <shachaf> 13:16 <mauke> > mueval: recoverEncode: invаlid argument (invalid character)
21:53:03 <shachaf> > mueval: recoverEncode: invаlid argument (invalid character)
21:53:04 <lambdabot> mueval: recoverEncode: invalid argument (invalid character)
21:53:08 <shachaf> Sadly it's not a real quine.
21:53:17 <oerjan> > join fun"join fun"::Expr
21:53:38 <lambdabot> Ambiguous type variable `a0' in the constraints:
21:54:08 <quintopia> shachaf: because of the extra space?
21:54:18 <shachaf> No, because it's different text.
21:54:42 <oerjan> > expr$join fun "expr$join fun"
21:55:34 <oerjan> > expr.join fun$ "expr.join fun$"
21:57:16 -!- Taneb has quit (Quit: Leaving).
22:02:27 <oerjan> > "(++)??show"&(++)??show
22:02:29 <lambdabot> Couldn't match expected type `a0 -> b0'
22:02:46 -!- Phantom_Hoover has quit (Remote host closed the connection).
22:02:52 <lambdabot> Functor f => f (a -> b) -> a -> f b
22:04:53 <oerjan> > "&([show,id]=<<)"&([show,id]=<<)
22:04:54 <lambdabot> Couldn't match expected type `GHC.Types.Char -> [b0]'
22:05:42 <oerjan> > "&(??)[show,id]"&(??)[show,id]
22:05:44 <lambdabot> ["\"&(??)[show,id]\"","&(??)[show,id]"]
22:05:47 -!- boily has quit (Quit: Poulet!).
22:05:53 -!- metasepia has quit (Remote host closed the connection).
22:06:36 <oerjan> > "&var.sequence[show,id]"&var.sequence[show,id]
22:06:37 <lambdabot> Couldn't match expected type `GHC.Types.Char'
22:06:50 <oerjan> somehow i don't seem to get this
22:08:00 -!- Phantom_Hoover has joined.
22:08:47 <lambdabot> The operator `Control.Lens.Combinators.&' [infixl 1] of a section
22:12:13 <oerjan> > "&var&(??)join$fun.show.show" &var&(??)join$fun.show.show
22:12:14 <lambdabot> Ambiguous type variable `a0' in the constraints:
22:16:00 <lambdabot> The operator `Control.Monad.=<<' [infixr 1] of a section
22:16:06 <lambdabot> The operator `GHC.Base.>>=' [infixl 1] of a section
22:17:29 <lambdabot> The operator `Control.Lens.Combinators.??' [infixl 1] of a section
22:21:40 -!- momech has joined.
22:24:31 <oerjan> > "& fun.show <*> expr & expr" & fun.show <*> expr & expr
22:24:32 <lambdabot> Couldn't match expected type `[GHC.Types.Char]'
22:24:58 <lambdabot> The operator `Control.Applicative.<*>' [infixl 4] of a section
22:25:25 <oerjan> > "& fun.show <*> expr & expr" & fun.show <*> expr
22:25:26 <lambdabot> Couldn't match expected type `[GHC.Types.Char]'
22:26:26 <oerjan> > "& fun.show <*> var & expr" & fun.show <*> var & expr
22:26:28 <lambdabot> "& fun.show <*> var & expr" & fun.show <*> var & expr
22:28:54 -!- nooga has quit (Ping timeout: 276 seconds).
22:39:03 -!- DHeadshot has quit (Read error: Connection reset by peer).
22:39:08 -!- DH____ has joined.
22:42:59 -!- momech has left (":wq").
22:43:14 -!- ais523 has joined.
22:53:11 -!- nooga has joined.
23:02:19 -!- TeruFSX has joined.
23:45:12 -!- epicmonkey has quit (Ping timeout: 272 seconds).
23:47:55 <elliott> 03:32:25 <Fiora> elliott: narcolepsy is not that fun
23:48:00 <elliott> Fiora: it sounds convenient!
23:48:31 <elliott> well at least it couldn't make my sleep schedule any worse :P
23:48:55 <Sgeo> There are headphones that adjust volume to prevent hearing loss, right?
23:49:27 <Fiora> not on meds: feeling really tired all day, having trouble focusing and thinking well, falling asleep for random time periods in the evening, totally throwing my sleep schedule off, and making me end up awake at 12 AM to 5 AM which is... when none of my friends are awake and then it's all lonely
23:49:55 <shachaf> Make differently-scheduled friends.
23:50:04 <elliott> ok narcolepsy probably wouldn't be an improvement
23:50:14 <Fiora> on meds: hyperfocused, even more anxiety than usual, nervousness
23:50:14 <elliott> but my sleep schedule is roughly that bad to start with
23:50:42 <elliott> how about a special kind of narcolepsy where it only makes you go to sleep when you should be sleeping, i could go for that
23:51:17 <Fiora> (to be fair I'm not sure which I'd prefer, not being able to sleep is pretty awful too)
23:51:33 <nooodl_> did you see my Inv isomorphisms thingy; if so: was it really related to lenses somehow
23:51:36 <Fiora> and it's easy to emulate: try to nap around 5 hours after taking meds <.<
23:52:10 <Sgeo> elliott, I can confirm that it is possible to fix sleep cycles
23:52:18 <Sgeo> My current sleep cycle is quite good
23:52:47 <Bike> in college sgeo only got irrational time intervals of sleep. very unpleasant
23:52:55 <elliott> i could probably fix mine with enough dedication and willpower but the problem is that i am by far the most productive when i should be sleeping
23:53:01 <elliott> so it is kind of bad either way :(
23:53:23 <Sgeo> elliott, lose a few days of productivity so that you can be productive when you shouldn't be sleeping
23:54:09 <cookienugget> noise and distractions are a things that happens mostly when others are awake
23:54:11 <elliott> Sgeo: in my experience I am pretty much only ever motivated to/good at programming late at night
23:54:17 <elliott> I guess I could wake up really early
23:54:24 <Bike> are you judging the programming late at night also
23:54:43 <elliott> Bike: what are you implying!!!
23:54:47 <elliott> also did you learn Haskell yet
23:55:14 <Bike> i think i've got most of it now what are these "type" things
23:55:15 <shachaf> I'm slowly recovering from my lackofsleeping.
23:55:17 <Sgeo> @hoogle zipWithin
23:55:25 <Sgeo> @hayoo needs to be a command
23:55:33 <Bike> or more concretely: i'm curious how cases where one of the cases is an object instead of a constructor pattern works
23:55:48 <Bike> does it get lifted to a typeish thing
23:55:53 <elliott> Bike: what do you mean by object?
23:56:19 <Bike> Just like the basic case n of {0 -> 1; n -> n * fact (n - 1)}
23:56:32 <Bike> (I'm assuming Integer isn't actually defined as blablapeano)
23:56:42 <Sgeo> Pretend that numbers are constructors
23:56:43 <shachaf> Which part of that is the object?
23:57:05 <elliott> object is a bad word for that
23:57:10 <shachaf> Pattern-matching on numbers is just a special case.
23:57:11 <elliott> it seems like you're saying what if it's a "primitive type"
23:57:15 <elliott> in this case it just becomes
23:57:21 <elliott> if n == 0 then 1 else n * fact (n - 1)
23:57:28 <shachaf> (Except it gets turned into something else with GHC and Ints.)
23:57:31 <elliott> which is about number literals yeah
23:57:42 <elliott> same for something like Char or whatever I guess
23:58:04 <elliott> note that that "case n" works even if n is a peano numeral or whatever!
23:58:07 <elliott> as long as you have a Num instance
23:58:12 <Bike> But it works for case x of {[4] -> [5]; x:xs -> xs} too, I mean.
23:58:20 <shachaf> Char is not overloaded so its definition doesn't need to mention (==)
23:58:32 <shachaf> Bike: Yes, because you're pattern-matching on a list and then on a number.
23:58:45 <shachaf> And we've already said what pattern-matching on a number is like.
23:58:45 <Bike> Or some thing not involving typeclasses not that that's probably actually relevant
23:58:59 <elliott> Bike: data [a] = [] | a : [a]
23:59:04 <elliott> data List a = Nil | Cons a (List a)
23:59:11 <elliott> the constructors have a funky name but that's really all they are
23:59:16 <elliott> [1,2,3] is just sugar for 1:2:3:[]
23:59:25 <shachaf> Language primitives that have special-cased expression syntax -- like lists, numbers, Char, String, ... -- usually also have special-case number syntax.
23:59:26 <Bike> Ok, but so you can match on literals?
23:59:48 <shachaf> This is only sugar, though; for the most part ADTs are what counts.
23:59:49 <elliott> Bike: data Foo = Bar Int String
23:59:57 <elliott> case x of {Bar n xs -> ...}