« first day (1467 days earlier)      last day (3482 days later) » 

8:00 PM
..?
since when can you do a static assert on a run time variable?
 
Can’t.
 
@Rapptz I mean: I am changing all the libc++ unit tests for std::array to compile-time
 
Oh I missed 'test suite' there.
Still odd without specifying.
 
@JerryCoffin the viral remark hits the spot though: I'm thinking that when there will be more C++14 relaxed constexpr library proposals, then constexpr will be all over the library
currently 855 occurances for constexpr in the Standard, but const has 5K+ and constexpr could get close :-)
 
I'm hoping not.
 
8:04 PM
hey nubbinses
 
@Rapptz I'm hoping it gets implicit
 
Hi.
 
Is adding a constexpr to an interface not having it fully allowed by the standard?
 
@Puppy lord of the noobs
 
@Puppy Good evening.
 
8:04 PM
@Griwes no it's forbidden
 
finally got my 3rd kettle lead
yay double screenses
ridiculous Internet just ain't the same if you can't pirate films in 1080p, stream Starcraft 2 in 1080p, and play online FPSes simultaneously.
 
@Puppy "lead kettle"? Sounds like a shortcut to lead poisoning.
 
kettle lead, not lead kettle
 
@Griwes I’m skeptical of the claims that it’s not. Trying to detect constexpr functions has come up more than once during the whole of C++11 where it could have been handy(ish).
 
Is this well-formed?
template<typename Container, typename Value = typename Container::value_type>
inline void primes(Value limit, Container& cont)
I'm not sure why I wrote this
It compiles but I'm not convinced it's valid :p
 
8:07 PM
It is, but the default is largely useless.
 
Yeah that's what I thought.
Neato.
I'm not sure why I put the default.
 
If you started with (typename Container::value type limit, Container& cont) you may have wanted to clean up how that looks.
 
@LucDanton N3308 by Richard Smith has a sfinae trick to detect constexpressness
 
there's little purpose in that compared to just templating on that type directly, I feel.
 
'Richard Smith'
 
8:10 PM
@Griwes The draft has language that says you're not allowed to add it except where it's required, so if it's allowed elsewhere that would be under the as-if rule--i.e., you can add it only to the degree that conforming code can't detect its presence.
 
he's a Clang developer
 
I know
I just realised I misread the Author line.
haha
 
@TemplateRex That looks more like a grey area to me.
 
me too
 
(It’s also not a very convoluted trick, as per Alisdair’s comments.)
 
8:13 PM
@LucDanton in any case, regardless of library tricks, a compiler can detect whether something is in a constexpr context so I don't understand the conservative stance on adding it, except form the viewpoint of lagging implementations not wanting to get too far behind
 
> else Heart.Break() trailer shows friendship and computers pcgamer.com/…
 
What conservative stance?
 
get ready guys, this is a game about computers and programming
 
@LucDanton about the lack of freedom to add it
 
There is no such stance.
 
8:13 PM
@Puppy FYI it's just called 'Internet'
 
@thecoshman The official term is "pipes".
 
I need to work on my version of Concepts.
 
@Puppy as in, there's nothing ridiculous about it for us normally people :P
 
I haven't reached the point where I'm like 'yeah I really like this' yet.
 
I have no idea why I'm disgusted about programming portrayed in media
 
8:14 PM
@thecoshman I think that 152mbit is a bit ahead of the average
 
all I wanted was to kill that guy
 
@AlexM. Because it's totally inaccurate and kinda insulting.
 
> If a substitution results in an invalid type or expression, type deduction fails. An invalid type or expression is one that would be ill-formed, with a diagnostic required, if written using the substituted arguments.
 
@AlexM. I dunno, it seems pretty accurate to me.
 
Something like T() + T() (to borrow the example from the paper) might be ill-formed as a non-type template argument, but is that a property of the expression alone? To me that’s the grey area.
 
8:16 PM
@Puppy yes it is
but it's naively accurate
I don't even know how to explain it
it's like saying "programmers solve problems"
 
You're overblowing this.
 
probably
 
Then again, perhaps you can construct an expression that itself use a constant expression context. Maybe that’s the convoluted part!
 
I wonder if you could construct an expression that's a constant expression only if it's a constant expression.
 
8:19 PM
std::integral_constant<int, f()>::value?
 
@JerryCoffin InterTubes is indeed a fair assessment.
 
@Rapptz You’d go (f(), void(), true) or similar, but yeah that’s the essence of it.
 
so
 
I actually don’t know what to think about detectable constexpr. It’s a specifier that has an effect on an API, but things like how it doesn’t affect overload resolution or the type of a function tends to push me towards ‘implementation detail’ rather than a part of a function’s contract.
 
TIL: Canada tries to compete with US on psychopathy
 
8:23 PM
@LucDanton interesting point
same as noexcept, apart from the no-stack-unwinding option
 
And OTOH I don’t want to complicate the wording of SFINAE. So not sure how to resolve that either.
Oct 7 at 20:19, by Luc Danton
Could break SFINAE, but in exceptional circumstances. (Honestly that’s a cop-out that applies to any possible expression or type.)
 
@LucDanton The fact that you can/can't use it in a particular context seems like more than an implementation detail to me.
 
^ ‘can SFINAE see it’ is going to be a recurring theme I suspect
 
adding the complexity of my functions as part of the documentation has become a boring task already
Somehow makes me feel bad too
I didn't know my Pythagorean triples function was quadratic :<
 
@Puppy aye, tis a grand speed lady
 
8:27 PM
@Rapptz Seems kind of pointless except where it differs from what might seem obvious.
 
Well, I meant to my mathematical functions.
 
@thecoshman Was that supposed to be "laddy", a subtle insult, or a veiled "yo momma" reference?
 
@JerryCoffin both :(
 
@thecoshman All three?
 
@JerryCoffin cats,
 
8:35 PM
@thecoshman ... dogs, mice and whales!
 
I wish tomorrow was friday
I want pizza
 
@AlexM. Does Romania have some strange law against pizza on Thursday (or even Wednesday)?
 
no, each weekend I eat one pizza
so 1 pizza/week and only during the weekend
otherwise I'd get even fatter
I chose the weekends because nothing beats the daily atmosphere when you know that you don't have to do anything the next day :D
anything is better during weekends
 
@AlexM. Fair enough. As much as I like pizza, I generally restrict myself to around once a month or so...
 
that little pizza? :O
but pizza is so good :(
 
8:41 PM
@AlexM. Unfortunately yes--I'm probably quite a bit heavier than you are though...
 
what I really need to drop is McDonald's
 
@AlexM. Yes. Yes, you do.
 
ever since our offices were moved (now McDonald's is on the way home) I've been eating that shit almost daily
that's two weeks now
it's just so easy to get some cheap food there when I go home all hungry and stuff
 
@AlexM. Cheap? Yes. Food? Sorry, but no. Though I suppose things may have changed since the last time I ate at a McDonalds. From the sounds of things, you've eaten there more in the last two weeks than I have in the last two decades.
 
@JerryCoffin green?
 
8:45 PM
I'm finding it hard to avoid such things too.
 
@JerryCoffin the thing is, it stops me from being hungry and it's warm (weather's been cold here lately)
 
I thought that walking home through a major shopping centre or ten would be good...
 
that's good enough for me
 
@thecoshman "Green?" Sorry, I don't follow.
 
I just take a hamburger out and eat it on the road
I kinda found an alternative
there's a Billa supermarket close by
they take stuff they normally sell and cook it, then they sell it cooked
last time I got some fried fish
 
8:46 PM
@AlexM. I don't recognize the name, but anything that's not McDonalds is clearly an improvement. :-)
 
@JerryCoffin bannanas.
 
@AlexM. "Fried" isn't usually the best way to lose weight.
 
they also sell this
Salată de boeuf (Beef Salad) is a traditional Romanian dish, generally served during all festive and special occasions. It is a combination of finely chopped beef or chicken and root vegetables, folded in mayonnaise and finished with murături, pickled vegetable garnishes. It can be made vegetarian, too. The dish is usually made up in large quantities for the whole party like Christmas eve. It's eaten as a side dish/salad to fried meats or as an appetiser/entree. Slight differences exist in quantities and these vary according to taste. The name may suggest a French culinary influence as the word...
and I was surprised that it actually tasted like my grandma's salad
@JerryCoffin fried fish takes away some of the strong fish smell and taste
I don't like that much
but I like the meat itself
 
oh gawd, someone wants me to make them a website
lol
 
just ask for a bunch of money and make them fix their own bugs
 
8:49 PM
@AlexM. Sounds awful--but I don't like mayonnaise. :-)
 
@Puppy I'd rather not get involved
I value my sanity
 
@JerryCoffin I like it, especially if it tastes predominantly of pickles
 
Ell
evening
 
but d00d, think of all the MONEYS.
I personally am greatly looking forward to being paid.
 
hahah
 
8:50 PM
@Ell Hello.
 
Ell
I personally am greatly looking forward to being laid.
 
I have a job, am not looking for money
 
or is that fish pané
no idea
but that's the kind of fish that I like the most
especially if boneless
 
the supermarket also makes fries, but I have no idea why someone would buy them; it takes fries some 15 minutes after being taken out of the pan to turn from golden tastiness to satan's appendages
(you can't eat them there)
(so until you get home, they'll dry out and become hard)
 
8:53 PM
@AlexM. You obviously need to eat them immediately after leaving.
 
Ell
yeah cold chips suck
 
Mama was a good film.
 
@Puppy is there a difference between getting laid and being laid?
 
"being laid" is not a thing I have ever heard.
 
@Puppy oh sorry I replied to you instead of @Ell
@Ell sounds more like to be on the receiving end of a 6'4 bearded motor guy
 
Ell
9:00 PM
@TemplateRex I was making the best of a bad situation :P
 
user1804599
Piece by Piece is brutal.
 
> A diver tries out exosuit beneath a 2000-year-old shipwrecked Navy vessel
you know, I hate it when they post news like this
and there are no pictures to be found
I watch the expedition's "highlights" and it shows that guy getting ready to dive and diving
nothing about the shipwreck
 
Did @R.MartinhoFernandes get stuck at the doctor?
 
Xeo
Yay, back.
@TonyTheLion The doctor engineer disassembled him on the spot.
 
That's what I've been thinking
RIP Robot
 
Xeo
9:06 PM
oh man, awesome Star Wars session
 
user1804599
how to escape from reality
 
0
A: Boost shared memory and synchronized queue issue/crash in consumer process

seheTo the updated code: you should be using interprocess_mutex if you're gonna share the queue; This implies a host of dependent changes. your queue should be using a shared-memory allocator if you're gonna share the queue the conditions should be raised under the mutex for reliable behaviour on a...

He wanted to know what he was doing wrong. Well, he was doing a good job of it
 
user1804599
[tag;sahedos]] nevermind I think I should sleep.
 
@sehe sooo code-review
 
He didn't ask it as such. It was just the only constructive thing to do
 
user1804599
9:16 PM
I want to move to Roosendaal ASAP.
 
@sehe apart from closing it and moving it to codereview :)
 
Oh. That's constructive. Well, I'm not there so :/ ...
 
You're right, in a way. Still, the question was not for a code review
 
9:17 PM
@TemplateRex Are you luring me into the asylum?
 
@sehe that's std-proposals this is the halfway house
 
Nan bread grows on trees...
 
oh. halfway house, sounds like a rehab clinic :)
 
@sehe XY, he asks X, but needs Y, but that should be handled on the sister site
@sehe halfway house is where convicts on parole are living on their way to a normal life
 
Actually, I could have answered it saying "You're not actually storing the queue data in shared memory. The std::queue allocates from the heap.
But that would be no fun, right
 
Ell
9:19 PM
@MartinJames which one is you?
 
@sehe you have quite the expositionary streak, I upvoted btw
 
:D
 
Ell
and what curry is that? dansak?
 
@sehe btw did you watch Alisdair II already?
 
I'm not doing any of that to help the writer, of course. It's just OCD + finger exercise
@TemplateRex Nope
 
9:21 PM
I find him the surprise of CppCon so far, 4 talks, all very entertaining and insightful
 
wtf, got an email "you have been nominated for an award for prestigious academic achievement in computer science" from my school. They say as I fumble around with simple proofs
 
spam spam spam spam
 
user1804599
That reminds me
 
eggs?
 
user1804599
I got a job offer by email for some mobile app development shite.
 
user1804599
9:22 PM
My reply was "fuck off"
 
I bet they appreciated it
 
ah wait, there's now a 5th Alisdair the Great talk
I got an email from Yandex the other day, but moving to Berlin to work for a Russian company isn't really an option.
 
it's from the dean of students. I think they must have just sent it to everyone with cs major
 
maybe you discovered a linear algorithm to solve the traveling salesman problem without even knowing it
it could happen
 
oh so that's what that function did... """ I have no idea what this does but it seems important """
 
9:26 PM
many discoveries were made by mistake
 
@AlexM. put fedex out of business
 
@TemplateRex Hehehe. I work for a Russian cpy these days. But I'm not going to move should it be requested. (Also, technically, Acronis is a Swiss company. But that's just legalese of course)
@TemplateRex Was there a link between Yandex and Alisdair? o.O
 
user1804599
s/cpy/spy/
 
@sehe no, just kibitzing on rightfold remark from mobil app
@sehe I thought you worked for Ukranian company?
 
Never. We had a Ukranian team working on our product, yes
 
9:30 PM
or did the Russians take it over?
 
Ell
time to look at this portage business
 
@TemplateRex It was bought by Acronis. Which, in terms of developer mass, is Moscow based indeed
 
@sehe so how's the tension at work with the war and the plane crash?
 
It's all in sleep mode, I'd say.
There's not much news. Business trips go on as usual - slightly more visum requirements I'd guess
 
I worked with a number of Russians in academia, and it was an interesting experience
 
9:36 PM
:19540620
OH Q: What's your favorite XML parsing tool? A: rm
4
 
@sehe <rm>
1
A: Is there any sense in marking a base class function as both virtual and final?

Howard Hinnant Is there any sense in marking a base class function as both virtual and final? Yes, at least temporarily. I found myself in a relatively large and unfamiliar existing C++ source code base. Much of the code was written prior to C++11. I found that I wanted to ensure that all overrides of a...

 
TIL there are headphones that use USB ports instead of audio jacks
 
great stuff from Howard
 
I wonder if the USB port doesn't deliver lower quality though
Razer Krakens have USB connectivity, but the Pro version of the same headphones use the jack
 
@AlexM. they are a usb audio device with integrated headphones, opposed to an internal sound card with headphones plugged in.
 
9:51 PM
so an USB sound card with headphones
that sounds expensive, wonder why they didn't go with that for the Pro version of the headphones
maybe they thought people would use better sound cards with Pro headphones
 
<?xml version="1.0" encoding="utf8"?>
<automation:script xmlns:automation="uri:com.ibm.open-standards.lizzards/oa8803-4994/core.xsd" xmlns:xhql2="http://w3c.org/xml/v3/extensibility/open-markup-metadata-specification-language/v2-2003-11-01-Stuttgart.xsd" xmlns:xhqlex35="http://flippancy.com/security-enhanced-open-markup-metadata-specification-language/v3.5/schema.xsd" content-disposition="text/script+sh;flavour=posix;version=posix-level3/sub2;provider=52ef0f87-e128-4e66-95d1-046b04686112" runtime-privilege="./backup-operator">
@TemplateRex see ^
 
@AlexM. because nearly everyone has a decent sound card built in already. Headphones are a fairly simple device.
 
@sehe if you typed that yourself, you really are a little OCD
 
I did
 
lol
and amazingly, flippancy.com is a real website hah
 
Ell
9:59 PM
I need to ask as many people as I can this question to see what their answers are. It's not a joke or anything
What do you get at the green grocers?
 
sehe soo ad-miner
 
@Ell bananas
and cucumbers
I know what you're thinking of
but I promise
I just like the two
 
Ell
okay :P
 
@TemplateRex I figured I might actually tweet a reply twitter.com/sehetw/status/525044184550346752 :)
@TemplateRex Duh. You don't think I made that stuff up, did you o.O
 
@sehe well, since you did mention OCD, you had me fooled for a bit
"security-enhanced-open-markup-metadata-specification-language" who makes that shit up?
 
10:04 PM
<hides/>
In my defense, I didn't need a lot of creativity. All the things there draw on years of experience with epically bad ideas in XML
 
@sehe omg, well I now nothing. <jon-snow/>
matt austern is a real speed-reader: lafstern.org/matt/2014books.html
 
grr xml
 
Tag search is never not down: meta.stackoverflow.com/questions/275118/…
Sep 23 '13 at 21:50, by sehe
@Xeo You keep mentioning grml. I don't think it means what you think it means
 
10 minutes of fun with lambdas: youtube.com/watch?v=Pr9g1nqTz_A
 
Ell
10:19 PM
meh I cba with gentoo for now, too much work :S
@TemplateRex I feel sorry for people with stutters :(
I have a little stutter
 
@Ell I kinda ignore it, you get used to it, he speaks mostly fluently
 
Ell
yeah
 
I do get annoyed at people with "repeat" words
like "like", "obviously" etc.
 
@TemplateRex Looks like a book every week or two. Is that particularly fast?
 
Ell
@TemplateRex yeah
in my area people put "like" in every sentence :L
 
10:25 PM
> now
 
@JerryCoffin he's at 55 books this year, 85 last year
that's a book and a half per week
while working at Google, doing SG chairman etc.
I find that impressive
 
@TemplateRex 85 is one and a half per week. 55 is pretty close to one a week. I've never kept a log, but when I was single I probably averaged between two and three a week.
 
If developed nicely, it could actually be useful.
 
@Jefffrey I let that go. He knew nothing, right
 
right
 
10:44 PM
@JerryCoffin 2014 is not quite over, about 10 weeks left
@sehe hey, how am I supposed to rely on you to correct my language, if you let such silly spelling mistakes slide :-)
 
@TemplateRex Hmm...good point (but then I never could count).
 
@TemplateRex Now is a good time to stop that reliance
 
I don't get this :|
 
it's because you're inferior
boy I really need to stop eating so much
 
"Prove by contrapositive: if the sum of two positive real numbers is 50, then at least one of the numbers is less than 25"
I am, puppy, but that's not the point
 
10:54 PM
@corvid they must also be distinct
 
@corvid suppose one of them isn't less than 25
 
otherwise 25+25..
 
and see what happens
also yeah > not >=
that's how you prove by "contrapositive" (not sure that's a word?)
 
is that contrapositive? I thought conrapositive meant to go from p -> q to ~q -> ~p
 
x + y >= 2 * min(x,y) = 48
so proof by contradiction
 
10:55 PM
that's what I understand considering what you say
 
proof by contraption
 
in general, if you have to prove that something happens only if something else is true
you consider that something else to be false
and prove that everything goes to shit
but ask your professor
 
let x + y = 50, suppose max(x,y) < 25, then x + y <= 2 * max(x,y) < 50 so contradiction
 
I still think "contrapositive" is not a word
 
 
10:58 PM
For contraposition in the field of traditional logic, see Contraposition (traditional logic). For contraposition in the field of symbolic logic, see Transposition (logic). In logic, contraposition is a law that says that a conditional statement is logically equivalent to its contrapositive. The contrapositive of the statement has its antecedent and consequent inverted and flipped: the contrapositive of is thus . For instance, the proposition "All bats are mammals" can be restated as the conditional "If something is a bat, then it is a mammal". Now, the law says that statement is identical to the...
apparently it is
 
drinking mead and doing math isn't helping :|
 
but the browser's spellcheck still highlights it as wrong
 

« first day (1467 days earlier)      last day (3482 days later) »