« first day (1314 days earlier)      last day (3628 days later) » 

12:00 PM
@BartekBanachewicz what would you use?
 
@Crow HTML and CSS?
 
is that how they do it?
 
@Crow no, they used Flash
 
:\ flash is laaame.
 
@Crow because you said so?
 
12:02 PM
I just don't care for it personally
 
IIRC you also said algebra is lame.
 
algebra class is lame
 
@Crow it's a webpage. Have you considered looking at the source for it? :p
 
"monad" is one of the words I've heard here for the first time
 
12:07 PM
Do you also know what a Monad is? Or just the word? :)
 
I've googled it and from what I've understood a monad is uh like
(begin (sth)
       (sth2))
in Scheme
which returns what (sth2) returns
 
uuuuuh - no
:D
 
then I don't know what a monad is
 
@FredOverflow Isn't it a famous painting
 
lol
 
12:09 PM
Monad is, of course, a monoid from the category of endofunctors.
 
so it's not this?
In functional programming, a monad is a structure that represents computations defined as sequences of steps. A type with a monad structure defines what it means to chain operations, or nest functions of that type together. This allows the programmer to build pipelines that process data in steps, in which each action is decorated with additional processing rules provided by the monad. As such, monads have been described as "programmable semicolons"; a semicolon is the operator used to chain together individual statements in many imperative programming languages, They can also be seen as a f...
 
@AlexM. yeah
> a monad is a structure that represents computations defined as sequences of steps
 
I scratched my arse.
 
what's the problem?
 
12:11 PM
FFS
 
@FredOverflow heh
 
@DeadMG Describe how the scratch was on a scale from 0 to 10
 
I need the instance MonadWriter [a]
where is it
 
come on, list is a Monoid
 
@BartekBanachewicz yeah; obviously a semi-group
 
λ :t mapM_ tell [1..10] :: Writer [Int] ()

<interactive>:1:12:
    No instance for (Enum [Int])
      arising from the arithmetic sequence `1 .. 10'
    Possible fix: add an instance declaration for (Enum [Int])
    In the second argument of `mapM_', namely `[1 .. 10]'
    In the expression: mapM_ tell [1 .. 10] :: Writer [Int] ()

<interactive>:1:13:
    No instance for (Num [Int]) arising from the literal `1'
    Possible fix: add an instance declaration for (Num [Int])
    In the expression: 1
what am I doing wrong ? :(
 
Why do you combine :t with :: SomeType? Isn't that a contradiction?
 
"just typecheck that"
 
:t [] :: [Int] spits out [] :: [Int] :: [Int]
I mean - duh :D
 
12:15 PM
or errors, as above
idgi
Writer Int () assumes that Int is a monoid incorrectly (in my case)
but Writer [Int] tries do to weird things with my list
 
eh what? "Int is a monoid" is absolute non sequitur
 
mapM_ :: Monad m => (a -> m b) -> [a] -> m ()
So you get [()].
 
tell is :: w -> m ()
and w :: [Int] in my case
fuck
 
Note that the b is ignored.
 
12:18 PM
mapM_ (tell . \x -> [x]) [1..10] :: Writer [Int] () would work
 
mapM_ only cares about the monadic side effects, right?
 
@FredOverflow yeah, I think I'll just save that for later
 
My pocket knife is quite sharp.
 
@R.MartinhoFernandes Did you chop something off? :/
 
12:27 PM
@LightnessRacesinOrbit Again?
 
I was cleaning it.
 
It's better to leave the blood dried on.
..on second thoughts, maybe not in your case.
 
At least I know it was a good investment.
Or bad.
Depends on how you look at it.
 
12:46 PM
why does liftM (+1) give m r -> m r?
ah because +
right
 
right
 
@DeadMG (+) :: Num a => a -> a -> a
 
I clearly agree
 
amusing
ah man
I'mma have to start looking for employment.
oh well, such is life I guess
 
12:54 PM
what happened?
 
I'mma have to start looking for bananas. Aslo coffee and pizza stocks low.
 
@LightnessRacesinOrbit Well, I just realized that three weeks of medical stuff left isn't really that long, and I'm broke and need employment :P
plus, I hate recruiters, CVs, and all of that stuff.
my interview suit probably doesn't even fit me anymore
 
@DeadMG You need more drugs and donuts. Pizza and curries also help.
 
ugh
fuck return and its fixity
fuck it
 
lol
I'm fat enough as it is :P
 
1:00 PM
@MartinJames to help accelerate the Irritable bowel syndrome (IBS)? >_<
 
@chmod711telkitty He has his miracle-drug now, so it's just a matter of working out which is bigger, puppy or interview-suit.
 
first I need to reply to this recruiter
there's a part of me that wants to be very snarky to him and another part that suggests that it's not a good idea.
 
it might be you're a social retard, too
and as such you'd be damned to working for example as a programmer
 
@DeadMG you are using each other to nail a job for you, no need to be snarky
 
aren't we all?
 
1:15 PM
I am a social retard too, but in return I get away with superior intelligence & furious independence so far :p - if you can get away without using help physically mentally & emotionally, you tend to hang around other people less
 
> superior intelligence
> furious independence
what the fuck am I reading
 
Xeo
whee, painters are done \o/
 
self promotion? ~_~
 
replace "superior" with "unparalleled" and a definition of puppy
 
good thing unparalleled is ambiguous in connotation
 
Xeo
1:17 PM
@BartekBanachewicz wat
 
@Xeo try λ do x <- Just 3; y <- Just 5; return x + y
 
Xeo
somebody with the name 'Illya' got flagged for saying 'just shaddup'. Obviously invalid, since the person is named Illya
@BartekBanachewicz that's nothing special about return
function calls always have the highest precedence
 
user3010322
@WilliamAndrewMontgomery I don't know, but it sounds worse than some marketing bullshit. x3
 
user3010322
... Oh. Sweet. Huge spider.
 
1:23 PM
creating your own monads is weird
 
user3010322
Yaaay
 
user3010322
The algorithm works just fine now!
 
I mean when you unpack in >>=
 
user3010322
And the edges aren't colored absolutely bizarre!
 
user3010322
 
1:25 PM
that's a lot better
but her front leg is still busted
 
okey so assuming I am already in IO ()
I can print stuff
 
@BartekBanachewicz whatcha mean?
 
Are while (ptr = get()) {} and while ((ptr = get()) != NULL) {} equivalent?
 
C++? Depends on the definition of NULL. If it's defined in terms of 0 then yes, if it's in terms of nullptr I don't think so.
 
@Jefffrey I am probably reinventing transformers in my head
soo
MonadIO is a special Monad that can always run IO apart from its context
okey.
 
1:29 PM
@StackedCrooked Yes, assuming that ptr has the implied T* type.
 
but, it has to be a monad
 
My colleage had an situation where the loop was entered when ptr was NULL. (Using the second syntax.)
Apologies for the NULL, I'm citing literally :)
 
You lost me at "transformers"
 
now how the fuck, if you're creating a monad, can you provide liftIO
 
@StackedCrooked Probably caused undefined behaviour somewhere.
 
1:31 PM
@Jefffrey you haven't used monad transformers yet?
 
Nope.
 
@StackedCrooked Do you remember the example..?
 
Reading it now.
 
24
Q: Why is there no IO transformer in Haskell?

DavidEvery other monad comes with a transformer version, and from what I know the idea of a transformer is a generic extension of monads. Following how the other transformers are build, IOT would be something like newtype IOT m a = IOT { runIOT :: m (IO a) } for which I could make up useful applica...

 
Nevermind, see ya in an hour and half. I've to follow this lesson.
 
1:36 PM
my god
@David: Depends on how you look at it. If IO was really truly a State monad whose state value was the entire outside universe, then an IOT defined as such would work correctly, where "correctly" means that a Nothing in IOT Maybe would discard the universe and thus end all existence. Personally, I'd stick with the current situation instead... — C. A. McCann Oct 24 '12 at 20:33
 
23 hours ago, by Lightness Races in Orbit
@DeadMG Let's not get ahead of ourselves
Jan 3 '11 at 4:57, by Tomalak Geret'kal
anyway, nice to be hear on SO. can't wait to teach you guys lots of stuff.
ah memories
here* :(
 
woof
 
12 flags! madness!
 
what
that rlemon post? that still going?
 
i just got it
 
1:41 PM
has anyone taken a "directed study" at a school?
 
whats that
 
it's not really a class, you suggest a personal project and claim that it bears equal merit to a course
 
@Bohemian should really know better than to answer nonsense like this. It's very disappointing. — Lightness Races in Orbit 5 secs ago
 
Yes, I have
but I could not suggest a project, the dean suggested for me
It was a full semester of work, felt like two courses + I had to write a conference format short paper afterwards
fun though, would do it again
 
Wots going on in JS room? Is it on fire?
Flag off.
 
1:52 PM
and then mozilla answers me on twitter
 
Do you really indent your code like this? You didn't feel any shame when you posted it here? You didn't think "hmm, I'm posting this in public and asking people to look at it for free, so maybe I should make it look less like Satan's posterior and more like happy C++ code?" — Lightness Races in Orbit 58 secs ago
 
fucking guy sends me a text message asking me if I want to trade my ipad mini for an iphone 5
yeah, I want to trade a piece of useless hardware for a piece of equally useless hardware
tyvm
 
@bananu7 Hello Bartek, here is out official news about this subject: http://mzl.la/RRjY09.
hello firefox, this is what I meant, basically.
> We also do not want to create a situation where Firefox users must use other browsers for key Internet activities.
ugh that's what the boycott of DRM was about
 
@LightnessRacesinOrbit I'll just tell him I'll trade it for 9 x 100 RON registered banknotes
100 ron is ~= 30 usd
 
1:55 PM
bananurama
can't even see those tweets - did you just make them up?
 
yes I totally make tweets up
 

« first day (1314 days earlier)      last day (3628 days later) »