« first day (1315 days earlier)      last day (3639 days later) » 

12:00 PM
Calling f(1, 2) deduces u as empty and t as {int, int}.
 
Xeo
no
it was correct before
 
gasp
 
Xeo
T is non-deducible, will be empty if you don't provide template arguments manually
 
okay, so that case is pretty pointless, isn't it ?
 
Xeo
Kinda
There may be cases where you want that, but I'd wager they're rare
 
12:05 PM
tuples and indices, multiple type packs (e.g. types<Args...> and types<Stuff...>)
 
Xeo
That's different, they're not used as function parameters there
 
His question was general.
> Is there a use-case of a double variadic template list ?
 
Maybe I wasn't clear enough, but I asked about the (T && ... t, U && ... u) thing.
 
Xeo
Teehee ♪
 
TIL there's no maybeHead in Haskell. Fuck.
 
12:07 PM
My technical english isn't that great, sorry x)
 
inb4 it's trivial to write
 
@Jefffrey damn
 
he he
 
anyway, #haskell is great
> I have a trivial question regarding formal category theory.
 
Xeo
> trivial
> formal category theory
 
12:09 PM
Anyway good night.
 
Xeo
those just don't go together
 
Unless you are a genius.
 
@Xeo he didn't put it that way, but it was pretty much that
 
@Jefffrey null --> ((Nothing!), Just . head)
 
I don't even know what language you are speaking.
 
Xeo
12:12 PM
@R.MartinhoFernandes haha
 
@Jefffrey Haskell with a bunch of combinators I used in class in university.
 
@Jefffrey robot has magic arrows.
and birds.
 
@Jefffrey Then write it
 
@Rapptz Where are you?!
 
birds are way more fucked up
 
12:13 PM
Yay, I've finally inb4ed cat.
5 mins ago, by Jefffrey
inb4 it's trivial to write
 
I need sleep
 
I don't quite understand StateT a Maybe b
I understand that's like a -> Maybe (b, a)
 
Monad transformers are like burrito transformers
 
but wtf does that mean
 
keeping friends = effort
friend's birthday, she wanted to stay at a cave resort, so I am roped in to stay there with a couple of others
 
12:16 PM
> The @pl (point-less) plugin is rather infamous for using the (->) a monad to obtain concise code
that's fucked up
 
Xeo
It's annoying that monad transformers unwrap inside-out
@BartekBanachewicz Reader is cool!
 
> a cave resort
 
@Jefffrey that's a computation that Maybe returns b using a state.
 
I hate that ghci has to list all the fucking imports I've done
 
12:17 PM
It's a cave with a colourful sign in front of it
 
inb4 there's a flag for that
 
@Jefffrey :set prompt "lambda> "
 
(!) x = \_ -> x is nasty.
 
%s turns into the list of imports
 
Xeo
@R.MartinhoFernandes (!) = const?
 
12:18 PM
@Xeo yep
 
let's test this StateT out
 
I use :set prompt "[%s]\n\955" to list the modules on a separate line.
 
Xeo
@BartekBanachewicz I know it's right, I wonder why he didn't write it that way
 
why aren't we in Haskell room btw
 
Because it's boring
(This message fits equally well to both preceding messages)
 
12:19 PM
@BartekBanachewicz GOOD QUESTION
 
@Xeo Just wanted to highlight that it's meant to be used with one argument, even though it's a binary op.
 
(hey, Puppy! a question! bin it!)
 
he can't lel
 
Xeo
@R.MartinhoFernandes mh
 
(!undefined) is id.
So nasty.
 
Xeo
12:20 PM
Hm, there's no function to discriminate on Bool in the Prelude, right?
 
@Xeo That's given by if, but it's not a function :(
With (?) p = \x -> if p x then Left x else Right x you can use either to branch.
 
Xeo
yeah
(null?) >>> (Nothing!) ||| (Just . head)
Wait, isn't that (?) backwards?
 
Xeo
Should be Right on True, no?
 
12:23 PM
Why?
 
I couldn't find an answer for this on SO. Seeing as function local static variables are initialized only the first time the function is called, I'm assuming they incur a hidden branch in the function's code?
 
It's Right for whatever you want on the right.
In this case, it reads a lot better with else on the right.
 
Xeo
mh
I was thinking of the mnemonic with "Right is the correct value"
 
Yeah.
In class we used i1 and i2 instead of Left and Right.
 
TIL Java has "multi-catch" clauses
		} catch (ServerUrlInvalidException | InvalidServiceVersion e) {
 
Xeo
12:25 PM
I guess Left makes more sense if you think of it as a combinatori if
 
@LightnessRacesinOrbit America.
It's 8:25 AM and I can't sleep.
:<
 
don't sleep
 
At least it's Memorial Day weekend.
 
Haha
0
Q: LLVM 3.4 unable to select Platform Toolset in VS 2012

SegmentedI have built the LLVM using Cmake from the documentation @ LLVM on visual studio. I have an existing code project in visual studio, where I want to build my interpretor. I want to set the Platform Toolset to LLVM, however when I navigate to Properties>general>Platform Toolset in VS 2012 for my ex...

 
@Borgleader A compiler could do thunking and make it an unconditional branch, I guess.
 
Xeo
12:27 PM
(null?) -- if null x
>>>     -- then
  (Just . head)
|||     -- else
  (Nothing!)
 
I should redirect that to Microsoft.
 
@Xeo That's broken.
 
Xeo
1 min ago, by Xeo
I guess Left makes more sense if you think of it as a combinatori if
related to that ^
 
@Rapptz It's 2:28pm and I can't sleep either
 
god Ideone doesn't have Trans
 
12:31 PM
must be a Russian site
 
@Borgleader And at least one atomic op incase of concurrent entry.
 
ba dum tschh
 
@DeadMG Ah yes that would make sense
 
Xeo
@R.MartinhoFernandes Oh. Now I see what you mean. Should've been (not . null?)
 
12:37 PM
hm, is there a shorthand for lift . return ?
 
Xeo
just return?
 
@Xeo ((not . null)?)
 
Xeo
@R.MartinhoFernandes (.) has lower precedence than (?)?
 
@Borgleader Pity that he's totally wrong.
 
12:38 PM
damn @DeadMG was a second 16 seconds faster
well even then I wouldn't downvote on the spot
 
I did, because it's frankly incorrect.
 
I'm dumb.
 
Xeo
It should be
I think?
Now you have me confused
 
@BartekBanachewicz no stars for you
 
@Xeo yeah, you don't have to explicitely switch to inner context from a transformer to return from it, I think
 
12:41 PM
@R.MartinhoFernandes Oh, I see.
 
@Xeo The thing with ? is that it needs to abuse section syntax to work as a unary op.
 
Xeo
@R.MartinhoFernandes Ah, true
dec5 :: StateMaybe Int Int
dec5 = do
        x <- get
        if x > 5 then return (x-1)
                 else mzero
@BartekBanachewicz Yeah, ^ works for your Main
 
lol, funny mzero
 
Can I flag edit requests?
There's some guy going around editing a bunch of question titles, but he's just taking out the question and turning them into statements
over and over and over
 
@Collin uh-oh.
 
Xeo
12:44 PM
@Collin example?
 
@Collin Link?
 
Does an unconditional jump count as branching?
 
@R.MartinhoFernandes I don't think so. The dependence on the condition makes it a branch
 
Xeo
@Collin Ugh
 
12:45 PM
@Collin Go to Meta Stack Overflow
and complain
 
they keep getting approved, which is annoying
ok
 
yeah, fucking meta it
 
Wow, and here I thought the VS IDE was bad for C++ code
I didn't remember it being quite this slow for C# code :|
 
@Collin link it here after you write it
 
12:46 PM
ok
 
So we can upvote it
because fuck that guy
 
Xeo
@Collin Jeezuz. is that guy doing anything else?
His rep history is full of that shit
 
not sure
 
12:47 PM
do I complain about this dude in particular?
 
holy cow
@Collin yes
 
or like "Should question titles be questions?"
 
Yes titles should be questions
what are we talking about
 
@Collin Well, title it "Should question titles be questions?", but name the guy and link to his profile in the body.
 
Xeo
Q&A, not S&A
 
12:48 PM
@R.MartinhoFernandes The executed code varies depending on a run-time condition. The self-modifying code is just a different implementation.
 
@Collin about him.
 
He literally just made 1,948 reputation (or 1,848) only by edits...
This guy should be put in a mental institution.
 
@DeadMG He didn't ask if the code varied, only if it involved branching.
 
he has 168 answers
 
Yeah, just noticed.
 
12:50 PM
the highest voted have 2
 
well, I think that self-modifying code like that is a branch, even if it doesn't literally involve a branch instruction.
 
That it is functionally equivalent is irrelevant.
 
he has like 700 rep from posts
and the rest from edits
 
Otherwise the question would be silly.
 
Maybe is MonadError right
 
12:51 PM
I disagree.
 
Xeo
@BartekBanachewicz Don't think so
 
a simple example of how it's not silly is the optimization I suggested that definitely doesn't involve a branch of any sort
 
@Xeo ah, Either is.
it requires error information
 
Xeo
Ye
MonadError sucks though
 
why now?
I've heard that MonadPlus sucks
 
12:53 PM
0
Q: Should question titles generally be questions?

CollinI know we're not going to enforce this in general, but there's currently a lot of noise in the review queue from user Anand Solanki, who's edit history consists almost entirely of editing question titles from questions into statements. Should we be approving these edits? Many times they marginal...

 
Xeo
MonadEither would be way more general
 
Anyway, I'm not interested in having yet another discussion where you choose to be right by defining all the terms as you please.
 
Xeo
Stupid ErrorT
@Collin *whose
 
Ven
do you even monad#fail bro
 
@Xeo ah english
 
12:55 PM
@R.MartinhoFernandes You asked me whether or not it counted as branching. What were you expecting if not me to give my opinion on whether or not it counts as branching?
 
We don't have much time to stop him: 66 more rep and his edits will bypass reviews entirely. Do you know if someone left him a comment about this issue? — Frédéric Hamidi 45 secs ago
 
Xeo
We don't have much time to stop him: 66 more rep and his edits will bypass reviews entirely. Do you know if someone left him a comment about this issue? — Frédéric Hamidi 47 secs ago
Wasn't it 3k?
 
hahah
@Xeo nope, 2k
 
Xeo
12:57 PM
@Ven Please not again. Just drop it, thanks.
 
Ven
not again what ?
 
@Ven this vagina thread is dead
 
Ven
well, I never read it
no biggie
 
> I'm pretty sure he doesn't give a flying... fly.
Let's take your first example, "Fooing a bar". Although short, it lacks context. There's nothing in the question that indicates what sort of answer that could be. Possible actual questions include:

Philosophy: Is it wise to foo a bar?
Advice: When should I foo a bar but baz a bar?
Mechanics: How do I foo a bar?
Possibility: Can I foo a bar?
Comparison: How many different ways can I foo a bar?
Survey: How do you foo a bar?
lol, this is nice
 
source?
 
lol
 
Ven
I think I'm genuinely in love with lightness'
 
@Xeo Ugh. Stupid rep farming.
 
Ven
ok it's over
 
1:06 PM
> dsdsfdsfds dsfdsfsfds
Hahah, he stopped using "Improved Formatting".
 
@R.MartinhoFernandes The bot crashed.
 
Heh. I rejected one of his edits just now simply on the basis that he called it "Improved Formatting". — BoltClock ♦ 9 mins ago
Is @BoltClock trolling here?
@Rapptz That's what I thought; not really "night" :P
 
just get the guy banned already
 
Xeo
1:09 PM
He is
Edit banned, that is
 
neat
 
They should also revoke all his reputation gained from edits.
 
^
 
Excellent. Now we only have to wait for him to complain about his situation on Meta. — Frédéric Hamidi 26 secs ago
 
I wish he does
 
Ven
1:11 PM
you get rep from edits ?
 
yes
 
only before you have 2k rep
 
Xeo
A whopping 2. Until you're at 2k or something
 
Ven
too bad ^o)
 
AFAIK you can only get 1000 rep from edits.
I.e., not full edit privileges without hard cash rep.
 
1:13 PM
@LightnessRacesinOrbit what was the comment?
 
Ven
havn't gotten any real rep in quite some time
I only get rep from old answers from time to time
 
@DeadMG I think I might have figured out a way to avoid branching in a function with a static local var: http://coliru.stacked-crooked.com/a/db8ac13683a9bec4
Calls to the function before replacement is complete (assuming the actual code replacement is atomic), will wait for init to complete, then jump to the real function. Later calls will go to the function directly.
 
Ven
I just feel like I need to search for questions nowadays :/
 
> @AnandWhatever: <a href="the meta post">STOP IT</a>
 
1:14 PM
@rubenvb hm?
 
> I was thinking he (Scott Meyers) looked like a wandering minstrel :) He needs a lute. (No offense intended, of course.) linky
 
robot suggested exactly that.
 
Yet he deleted his answer.
 
@DeadMG Robot suggested a lute for Scott Meyers?
 
I said that it's a branch with just a different implementation.
 
1:16 PM
but after the init is complete, no branch occurs anymore.
 
@DeadMG Have you read the recruiter's reply yet?
 
It's not quite the same as leaving an if condition in the code.
 
@rubenvb "wait"
 
well, that really depends on how you define branch, and I think even "incur", since the question doesn't necessarily imply that he understands it to mean branching every time... it certainly does require at least one branch in one execution of the function if you use the self-modifying code
 
@rubenvb Because it can't be made to work.
 
1:17 PM
I think the question just isn't specific enough to determine whether or not the self-modifying code counts as incurring a branch in the questioner's mind.
 
@rubenvb Your branches are hidden in the "lock_and_wait" and "unlock" bits.
 
Have you guys thought of collaborative-pseudocode-comments? That's a good attempt: stackoverflow.com/questions/23830062/…
 
@R.MartinhoFernandes I didn't say 100% branchless, what this does is remove branching for calls after the init and replace are complete. The lock_and_wait disappears once the first call enters the real function.
But OK, it's not "branchless".
 
@ThePhD fuck it, I ordered the parts.
 
Xeo
What parts?
 
1:24 PM
@MarcoA. what
 
@Xeo Parts to build a sidereal drive.
 
what, a drive that orbits the sun?
 
how to lift edit ban btw?
 
Xeo
@R.MartinhoFernandes Sounds cool
 
1:28 PM
@BartekBanachewicz It's temporary, so all you have to do is wait it out
 
@BoltClock that doesn't sound particularly great WRT our "edit champion"
 
@MarcoA. ;p
@BartekBanachewicz You got edit banned?
@R.MartinhoFernandes Nice. Why?
 
@LightnessRacesinOrbit no, of course not
 
@LightnessRacesinOrbit Because there's quite expensive and most often controlled from a wired "remote".
I can build a wireless one for half the price.
 
But only a tiny, tiny minority of people want to interact. The vast majority of people are just reading and don't care how the content came about. We aren't writing for the small minority of people who participate on SE, we're writing for everyone who looks for information on the Internet. — Gilles 33 secs ago
uh, I write because I like to
most of my answers are on buried questions that won't prolly get a halfshit % of attention of jquery ones
so what
 
1:34 PM
There's this lizard in my terrace. It's alive (every 10/20 seconds his body looks like it is breathing), but apparently can't move (even though all its limbs are still there).
What shall I do?
 
@Jefffrey maybe he's just enjoying the heat
 
@Jefffrey that doesn't sound like a bug
 
Is leaving it alone not an option? Lizards don't spend much time moving around normally
 
@LightnessRacesinOrbit Also because it's fun :P
 
1:36 PM
The problem is that my cats keep "playing" with it.
 
I love that image
 
I think it's almost dead, and it might be suffering.
 
@Jefffrey It's probably just heating up.
Lizards are coldblooded.
 
@BartekBanachewicz Fun fact: if you put a sock on an ostrich's head, it becomes lethargic and you can do everything you want with it.
 
I just realized
In that guy's last few edits
I beat all the robo-reviewers to them
 
1:38 PM
@Collin Lizards usually run away when a human is approaching. This one is clearly handicapped somehow.
 
0
Q: Singleton Pattern: Multiton?

RNI2013I am confused as to how the multiton implementation of the singleton pattern works. I am aware that the definition of a singleton is as follows: Ensure a class allows only one object to be created, providing a single point of access to it. However, when using the enum version of the single...

> would the multiton not allow for more than one object of the class to be created?
LOL
 
pluriton
 
@R.MartinhoFernandes I meant what will you mount on it?
 
Who came up with Multiton? Was it on April 1?
 
Xeo
@LightnessRacesinOrbit A telescope?
 
1:40 PM
I wouldn't exclude its limbs are not functional anymore. My cats usually rip
grasshoppers's limbs apart. I don't think they made an exception with this lizard.
 
I want one object. No wait, I want more than one. But now there's a problem, I have more than one :(
 
@LightnessRacesinOrbit I'm honestly surprised you weren't already aware of my backticks post
 
@BoltClock Me too :(
 
@LightnessRacesinOrbit A telescope. I already have the mount, just not an automated drive for tracking (i.e. you have to point and adjust it manually)
 
@Xeo Seems likely. So what I'm really doing is starting a conversation with Robot about how he has a telescope that I haven't heard him talk about before, and how much he uses it to "watch the stars", etc.
But it's not going too well...
@R.MartinhoFernandes Nods
 
Xeo
1:41 PM
He talked about it before
 
I want both. Not that it'd do me much good where I live
@Xeo Must have been during that time when I had him plonked
JOKING
 
@LightnessRacesinOrbit Does he actually have a telescope? I thought that was a euphemism?
 
Xeo
@FredOverflow ...
 
@FredOverflow Let's not even guess at what "sidereal mount" would mean in the context of that euphemism
 
1:41 PM
¬_¬ s/\n*/\n/ is a long way from s/\n+/\n/
 
oh look
> The reason how I found your details, was that I noticed you were previously/are currently an active contributor to Github. Because of this I appreciate you are interested in the open source community and are obviously passionate about programming.
 
May 19 at 20:54, by R. Martinho Fernandes
Saw Mars, Saturn and its rings, Jupiter and the galilean moons.
May 19 at 20:54, by Lightness Races in Orbit
Robot has been trying Puppy's drugs
...
 
Ah.
See, I thought you were just on drugs.
 
@R.MartinhoFernandes Wait, Mars is real? I thought the Americans faked it? ;)
 
ARGHFUCK
 
1:44 PM
actually I think I'd assumed you'd been on a trip to an observatory, or something
sounded like an event of some kind
 
my uni just raised the payments for retaking the subjects
god fucking
and I have shitload of hours to pay for because of that dumb bitch
I want you to fucking rot on that dumb job without prospects, hated by everyone, you fucking dipshit, you hear it.
 
Don't kill anyone. Think about your future.
 
@LightnessRacesinOrbit Well, it was in a way. It was the first time in the ~2 weeks since I had it when the skies were clear.
 
@Jefffrey Oh no that would be too merciful
 
@BartekBanachewicz and human :)
 
1:47 PM
I just hope for her to live this miserable joke of life she's living
 
@BartekBanachewicz That reminds me I have a recruiting e-mail sent by an actual person to reply to.
 
I hope she'll be fucking sad, that people around her die and she realizes that she wasted her life on being an university tutor while clearly not being fit for that
 
Someone I met after one of my talks that later checked out my GitHub profile, not some random recruiter that sends the same bullshit message to everyone.
@FredOverflow Mars was quite boring to be honest :|
Also didn't get to see the GRS because it was on the night side of Jupiter.
 
Meteor shower tomorrow and the day after.
 
@Jefffrey Ooh it's tonight; forgot about that
@BartekBanachewicz Calm down, for fuck's sake.
It's your own fault for being shit and needing retakes.
 
1:52 PM
@LightnessRacesinOrbit no, I did the fucking assignment
she was just an ass and failed me because she could
 
@Jefffrey Oh, my favourite app failed to warn me :< And I think the skies will be cloudy here :<
 
because she's a miserable pathetic shadow of a human that haves fun in making others' lifes miserable
 
@R.MartinhoFernandes more interestingly, does he/she have the right opportunity?
 
@BartekBanachewicz Yes I'm sure that's it.
 
1:54 PM
@sehe No.
 
@BartekBanachewicz She should pop into the Lounge sometime. She'd fit right in.
 
except she's actually dumb too
 
abandon college if you don't like it
 
I mean imagine someone talking how Waterfall is the best programming methodology while having close to zero experience at writing software.
@AlexM. too late.
It's one of the things I hate most in the world, but I am too close to leave now.
 
@R.MartinhoFernandes I am guessing GRS is that red spot?
 
1:55 PM
Yes.
 
@R.MartinhoFernandes How large is it? Is it just some turbulence? Amazing that it has never dissolved...
 
@FredOverflow It's a storm. It is gradually shrinking.
It is fucking huge, as in larger than Earth.
 
400 years old. Wow.
 
I carried my notebook with me at work for 6 months w/o having to use it
I left it home today because I got tired of carrying it around
AND NOW I NEED TO DO MATH
right now
 
1:58 PM
hehe
 
what.the.hell.
 

« first day (1315 days earlier)      last day (3639 days later) »