« first day (1452 days earlier)      last day (3497 days later) » 

7:00 PM
Is it?
 
yep
 
You get oneboxing anyway
 
you forgot the language specifier
and that's manual
lame showcase
 
@Rapptz Selective breeding for humans: having sex only when sober.
 
A maternal insult (also referred to as a "yo mama" joke) is a reference to a person's mother through the use of phrases such as "your mother" or other regional variants, frequently used to insult the target by way of their mother. Used as an insult, "your mother..." preys on widespread sentiments of filial piety, making the insult particularly and globally offensive. "Your mother" can be combined with most types of insults, although suggestions of promiscuity are particularly common. Insults based on obesity, incest, age, race, poverty, poor hygiene, unattractiveness, or stupidity may also be used...
lol
 
7:01 PM
Ok, maybe wiki is nice.
 
"wiki: your mom"
 
well it beats what I used to do
 
@Sofffia Or not--screen's nearly full of useless non-chat right now...
 
which was to make a tab to search wikipedia, then press f6 and then ctrl + c then tab back there to paste the link.
 
wiki: you can't find this one
 
7:02 PM
@Rapptz Anything that discourages the spread of the wiki virus is a good thing.
 
(That's (a little) better (IMO). (Lisp(is)cool ((too)))
 
@LightnessRacesinOrbit What exact point does your comment have? Elaborate. — Loopunroller 10 mins ago
 
@LightnessRacesinOrbit I like the style
 
@Sofffia fit innit
love these guys
great in fact
 
7:12 PM
@JerryCoffin [citation needed]
 
@CatPlusPlus "We define the wiki as a virus that should be expunged from the world."
 
[who?]
 
[why?]
 
7:15 PM
For those unaware of the subtleties, when a Pope makes an "Ex Cathedra" statement, it always starts with the phrase "We define", except in Latin.
 
> Keith Bristow, director general of the National Crime Agency, said in an interview with the Guardian that it would be necessary to win public consent for new powers to monitor data about emails and phone calls.
I would vote for.
 
MediaWiki should die
Actually all current wiki software
 
btw for a typelist should I call it list or vector?
 
user1804599
typelist
 
@Rapptz DescendingPriorityOrderLinearTypeCollection
 
7:20 PM
@Rapptz No opinion one way etc.
 
I was thinking of vector because it's called vector in Boost.MPL
 
Well, except for the usual stuff when coopting vector for anything not related to vector math, I suppose. Although that would mean phrasing the question in terms of list vs tuple, where I still have no opinion.
 
@Rapptz Consistency? How dare you?
 
@Rapptz Will you be implementing random-access, too? :)
 
lol
I don't go out of my way for Boost.MPL "compatibility"/"consistency"
 
7:23 PM
Maybe I should have started with the obvious: there’s an MPL list, too. So why vector?
 
yeah I know
 
…that’s it?
You always leave me so confused when you do that lol.
 
you edited the second question in
:<
 
Apologies. I think I need some tea.
 
@LucDanton because I felt like it was more similar to MPL's vector rather than its list
like vector has push_back and push_front but list only has push_front
 
7:25 PM
I did want to imply the question from the start, but since ‘implicit’ is what lead us to this mess I edited.
Aha! Then we have our answer: it should be doubly_linked_list!
 
Don't blame C++ programmers for being mean. You'd be mean too if you had to use C++...
 
but C++ stdlib std::list is a doubly linked too :p
 
Now, where is the Haskell room?
 
I find the Boost MPL naming a bit confusing tbh
 
@Rapptz More seriously, then it’s up to your judgement, since such a typelist sits in between MPL’s own.
owns?
 
7:28 PM
I'd just drop 'own' all together
the apostrophe implies ownership already
I think I'll just go with list
since it's a type list.
ya know
in my other library I use types though
 
so maybe types is probably the least ambiguous term I can go for.
without resorting to ugly type_list or typelist :v
 
In my head it’s not so much list as meta::list. Same reasoning.
 
yeup
 
$ g++-trunk --version
g++-trunk (GCC) 5.0.0 20141007 (experimental)
Alright, this is more serious
 
7:34 PM
@LucDanton LOL
5.0.0 is out?
 
no
 
should I download the 32-bit version of GHC, or the 640bit version?
 
640.
 
@BryanEdds Go for the 640 kilobit version (640 kilobits should be enough for anybody).
 
I thought it was quite obvious i mean the experimental one. I consider it 'being out' if an experimental is available, because i barely see the difference between the official release and the repo ones.
 
7:35 PM
sounds good
 
@Loopunroller he most likely built it from source.
 
@Rapptz Yeah, thats how it works.
 
640-bits of blast processing power
 
it's always 'out' then.
 
You download the repo source and built in on your system. Arch provides you with a Makepkg-Script for that.
 
7:36 PM
hmm, I'm wondering whether concepts can be used to simplify constrained perfect-forwarding (example)
 
@Rapptz Well, yeah
 
KSP .25 is out :)
 
hola
 
@AndyProwl There’s nothing Exact about that type :Þ
 
@LucDanton the name might be silly, but do you think the idea works?
 
7:37 PM
@Rapptz Not really out at all. In fact, hasn't admitted to being gay to even its closest friends.
 
Regardless of the name, you’d want conversions, too.
 
ok, so how about using std::is_convertible instead of std::is_same?
@TemplateRex hey :) I followed your advice and created a github repo
 
@AndyProwl Yes. I’ve thought long about this stuff, although mostly when applied to constructors/assignment ops. I think it’s very desirable.
 
@AndyProwl your proposal-in-the-making reminded me of UFCS from D. There you can write x.fun() for builtin types, and that will call fun(x).
 
@LucDanton that's pretty much the use case I had in mind, yes
 
7:40 PM
@AndyProwl Sensible.
 
@AndyProwl bookmarked :-0
 
@TemplateRex disgusting.avi
 
@Rapptz it allows unix-pipe like syntax, very convenient
 
what?
 
@TemplateRex I know about that and I do not dislike it, but I've heard it would be problematic in C++
compatibility and stuff
 
7:40 PM
x.select(y).filter(pred).write(z)
 
for 'built in types'?
are you okay?
 
No, the UFCS.
 
where would you do that for an integer
 
@Rapptz it just makes it uniform
@Rapptz generic code?
 
We need a std::fast_int
For performance
 
7:41 PM
already exists
 
@MohammadAliBaydoun Try std::[u]int32_fast_t and so on for different sizes.
 
@LucDanton I mean faster!
 
Well that would be std::faster_int then innit.
 
plus it solves the whole member/non-member consistency stuff. Just make a minimal class interface, and add all other stuff as members, but you can call everything as a member. what's not to like?
 
7:43 PM
the std::*_fast_t is supposed to be 'fastest'
 
@AndyProwl there would not be any compati. issues, because such code would not compile currently
 
@TemplateRex I recently gave it a quick thought and came to the same conclusion, that's just what I recall being told some time ago
 
@Rapptz I'd like a template std::fast_int<N>
 
user1804599
int<N> in general.
 
@TemplateRex Well I don’t really like member functions, so making it uniform is nice but uniformly member functions perhaps not as nice :)
 
7:45 PM
I hate how, when I write CSS, I don't know where to put margins and paddings.
 
You put it
where you want
 
@LucDanton but they would be non-member functions, in terms of access rules
 
margins and paddings
 
It's all so random.
 
it's just the calling notation
 
7:45 PM
tah dah
 
I don't know how to do my documentation for my meta-programming facilities.
 
it just adds infix notation
 
Doxygen is pretty shit
 
Should margins and paddings be a property of a document object (like a list, a button a link)? Should they be a property of the external layout?
 
7:47 PM
A what
 
@TemplateRex Right. Which remembers me of member functions, which I’m not fond of. It’s a (syntactic) pet peeve, don’t take it too seriously—but you did ask what there is not to like.
 
Nobody ever wrote anything on how to write "proper" CSS code.
Everybody just... code away.
 
It's a property of the element
idk why you're confused
 
How would it work w.r.t. implicit conversions and multiple parameters?
 
@CatPlusPlus Like a button?
 
7:47 PM
Say I have int f(int, char, char); and char x;
 
Margin/padding is p universal concept and has little to do with CSS
 
Would I have to do x.f(10, 10);? Is this valid?
 
It's external vs internal spacing
 
@LucDanton sure point taken. it's not obligatory to write though
 
Yes, understanding what they are is not the problem.
 
user1804599
7:48 PM
Collapsing and shit is something you have to understand too.
 
@Rapptz That one is very, very straightforward in a language that doesn’t have member functions for types such as char: by necessity the call is as if you had written f(x, 10, 10).
 
We need ints to be SCALABLE too. ON THE CLOUD.
 
Take a button for example. It's clear that if we have a bunch of buttons and we want to lay them down one after the other horizontally, then we want a margin-right for each one of them, except the last one.
 
@TemplateRex Kinda hosed if I want a concise, idiomatic way of writing chains of calls though.
 
If we want to lay them down vertically, then the margin is applied on top.
 
user1804599
7:50 PM
@MohammadAliBaydoun lol remote_int that does a HTTP request for every read and write.
 
btw
 
@LucDanton sure, which is exactly my use case: easier to read call chains
 
what would int<5> result in?
 
@rightføld Is it webscale?
 
a 5 bit integer? :v
or would it round up to 8?
 
7:50 PM
@TemplateRex I think you misunderstood.
 
user1804599
@Rapptz an integer that is 5 bits wide.
 
user1804599
Padding could round up to 8 bits, but mathematics would as if it were 5 bits wide.
 
user1804599
AFAIK LLVM IR supports that.
 
@rightføld Collapsing?
 
@LucDanton what idiomatic chain did you have in mind then?
 
user1804599
7:52 PM
@Sofffia margins and paddings can collapse under certain conditions.
 
user1804599
As can margins and margins.
 
user1804599
Collapsing is where most confusion comes from.
 
By ‘idiomatic’ I meant such things as the Python philosophy of having one obvious way of doing things.
 
TIL this works
template<int N>
struct bits {
    unsigned int x : N;
};
 
So it’s true it’s not obligatory to write a chain like so, but it’s more sensible to.
 
7:53 PM
at least in GCC
 
@Rapptz Oh boy.
 
@rightføld padding never does, when we have two elements near each other, then the margins overlap, so that the margin between the two is max(marginA, marginB).
That's how I got it.
 
Those are bitfields.
 
@LucDanton I was curious!
 
user1804599
@Sofffia Padding and margin also overlap in certain condition.
 
7:53 PM
I know
 
@rightføld Such as?
 
@Rapptz the rule in D is this: x.fun(y) first goes to class definition of x. If there is no such class (builtin) or class has no fun(), then it goes to look for fun(x, y)
 
user1804599
With "padding and margin" I don't mean padding and padding, but padding and margin.
 
Better memorise the box model
 
@Rapptz Did you know you can have a union template? template<…> union foo { … };
 
7:54 PM
The box model seems fairly simple.
 
@Rapptz it's not modifying argument deduction/overload resolution, only name lookup
 
@LucDanton nope
nah I did.
 
@Rapptz so all conversion stuff should still work the same
 
margin | border | padding | element | padding | border | margin
 
that's how ThePhD did his cowboy_cast thing.
 
7:55 PM
Well I worked 10h today
 
Did you know you can template<std::size_t N> struct foo { alignas(N) member blah; };?
 
@Rapptz isn't the compiler already transforming member functions to member functions with the this-parameter for purposes of overload resolution?
 
user1804599
@Sofffia and depending on box sizing the border may not be in there distance-wise!
 
@TemplateRex does it also work the other way round? i.e. if you call foo(x, y) and there's no such free function, will it try x.foo(y)?
 
@LucDanton the issue I didn't think it'd work is because I thought the : N syntax would have something special to it.
like how static_assert's second parameter must be a string literal.
 
7:56 PM
I’m running out of things you can template over.
 
@rightføld Yes. All my elements are box-sizing: border-box, but that's not really padding/margin collapsing: it's just a matter of what counts as part of the element or not (should the padding be counted towards the height and width of the element?).
 
user1804599
Always * { box-sizing: border-box; }.
 
@AndyProwl that I don't know for sure, but I think it does
UFCS should be straightforward to add, but Andrei wrote on the D forum that he is perfectly happy with C++ being left as it is, after the static if fiasco
 
I don't like static if either
 
@rightføld Yes, that's a nice default.
 
user1804599
7:59 PM
IE6 ftw.
 
@TemplateRex I don’t think that’s true of D.
 
lol
 
Although Herb just wrote a paper to add ScopeGuard (by proposing std::uncaught_exceptions), so perhaps Herb will go try add more D like features he thinks are promising
 
@TemplateRex OK. If so, then I'd expect it to call the free function if both versions exist. If it doesn't, there's the risk of breaking existing code when introducing UFCS. If it does not, then it should not be a problem
 
user1804599
Herb is high on herbs when he talks about C++.
4
 
8:00 PM
IE6 was clearly a good browser because of default box-sizing: border-box;.
Let's just hide all the rest of the "I want it done my way" shit it contained.
 
user1804599
Latest Arch Enemy album is nice.
 
however I'm not sure whether I'd like overload resolution to depend on the syntax I use
 
(In)famously doesn’t work for the purpose.
 
ikr
 
8:02 PM
@TemplateRex it was unwinding or something
the uncaught_exception thing is indeed broken
 
I don't think it's that bad tbh.
 
@LucDanton s/the/any/ (pretty much, anyway).
 
I don't know what I'd name it.
std::is_stack_unwinding?
 
that's similar to what Herb proposed
 
What does it report?
 
8:04 PM
btw Andrei has some portable alternative to uncaught_exception
to detect if the destructor is being invoked because an exception has been thrown
it's a macro though
 
Oh, that would make three stages: no exception active, active exception, an exception was active and hasn’t been handled yet. And (unexceptionally) flowing off a catch block would go from the last stage back to ‘no exception active’. I see. Kinda more complicated though.
 
user1804599
@Rapptz Isn't that just std::current_exception() != nullptr? :v
 
user1804599
Also calling it std::is_stack_unwinding is silly unless C++1z has notion of call stack.
 
where’s my tea
 
user1804599
In your sock.
 
8:07 PM
@rightføld I think it would give false positives when you destroy an object normally inside a destructor that's called due to stack unwinding
 
wtf is void[]
 
user1804599
Sometimes a pointer to void!
 
@ScottW You're gorgeous
 
@Rapptz Like int[], but with void.
 
I meant in D.
 
8:07 PM
In D void is like a guaranteed zero-size, zero-overhead unit type.
 
@rightføld He keeps ice cream in his sock. The tea is in his the cookie jar. Aren't you paying attention at all?
 
@rightføld voidberg
 
IS VOID WEBSCALE?
 
void is very fast
 
user1804599
void is UB.
 
8:08 PM
no need for an std::fast_void
 
@Rapptz Consider you can write void v;, which is like not writing anything.
 
@LucDanton TIL
why the hell is that allowed
wait, it's not
 
user1804599
There should be an astrology library in the standard library so we can have std::cancer.
 
Makes for less exceptions, which is nice for generic code.
@AndyProwl Really?
 
Great joke
 
8:09 PM
@LucDanton clang rejects it
 
okay I think I'm missing something here
 
you butte
 
user1804599
void is terrible and must be burninated.
 
what's the difference between std::unwinding_exception and std::uncaught_exception?
 
8:10 PM
@CatPlusPlus You weren’t wrong.
 
I've read the proposal but idgi
 
just a- void it
3
(gcc rejects that too, I think it's illegal)
 
@Rapptz One just wants to relax
 
@AndyProwl Take a break :Þ
 
@AndyProwl Not reading is also illegal
 
8:11 PM
no :P GSQ now
what did I not read?
 
@AndyProwl The transcript of the 17th episode of the fourth season of "Gilligan's Island".
 
my little brain is confused
 
@AndyProwl 17 comes after 16. Four comes after three. Gilligan's island comes after the end of the universe (or at least well after Idiocracy, and all intelligence is gone).
 
@Rapptz I can’t think of a simple summary (which doesn’t refer to a GotW or a C++ book). I’d suggest you write something like a transaction class, like in the proposal (which performs its work on unexceptional scope exit).
 
@JerryCoffin I've enjoyed watching Idiocracy
but I still have no idea about all the rest
 
8:17 PM
9 mins ago, by Luc Danton
In D void is like a guaranteed zero-size, zero-overhead unit type.
 
ah, so that's what I did not read
or rather, I did read it. Just missed the context
 
You scared me, too. I don’t think I’ve ever installed a D compiler, so it’s all off the top of my head.
 
@AndyProwl That's probably just as well.
 
C++ could have void be a zero-size zero-overhead unit type too if it wanted I think.
Don't believe it could be a breaking change.
Since it'd extend rather than constrain.
 
Could break SFINAE, but in exceptional circumstances. (Honestly that’s a cop-out that applies to any possible expression or type.)
 
8:20 PM
@Rapptz The former doesn't give false positives, I think
 
user1804599
In C++, no circumstance is exceptional enough not to break the majority of production code.
 
@Rapptz Mmmh, void references could be problematic.
 
user1804599
Oh nice, jihad fighers burning their Dutch passports.
 
@LucDanton how so
 
void& r; would not be like writing nothing at all, as long as you can static_cast<actual_type&>(r).
 
8:24 PM
that's legal?
 
Maybe problematic is too strong a word. But I don’t think D had to face that decision.
 
I know void* is but not void&
 
@Rapptz void is incomplete and that’s not allowed under the current rules.
 
Oh okay.
I figured.
you could make void& illegal still
and keep void* as a generic pointer for C compat?
 
I don’t like half-measures :)
@Rapptz void* was never in jeopardy.
 
8:26 PM
maybe void& could be a generic reference :p
int x = 10;
int& y = x;
void& v = y;
 
Sure. And it wouldn’t be the same as writing nothing.
 
user1804599
> An immutable model of HTTP requests, responses and common headers. This module is completely stand-alone, it neither depends on Akka nor on any other part of spray.
 
user1804599
What? Something well-designed? Woot.
 
user1804599
> All non-core features of typical HTTP servers (like request routing, file serving, compression, etc.) are left to the next-higher layer in the application stack
 
user1804599
Finally something worth looking into.
 
8:30 PM
HTTP2?
 
Meh Scala
 
I miss kbok
 
8:45 PM
@Cicada Not me (but I'll admit, I barely winged him).
 
        std::string m_fileName;
        std::wstring m_fileNameW;
^ just wrote this
 
Ell
time to demolish half a litre of cold, cookie-dough filled evidence
 
@Cicada Did he ragequit?
 
Ell
@Sofffia The lounge gets everyone in the end.
 
@Ell Ben and Jerry's?
 
Ell
8:52 PM
@JerryCoffin Almost. Tesco rip off of it :P
 
@Ell "gets" as in "kills", "makes you quit" or "will make you comeback"?
 
@Ell Vastly inferior (though still probably pretty good).
 
Ell
@JerryCoffin Vastly cheaper though too mind
 
So I just came back from a talk by Bjarne.
 

« first day (1452 days earlier)      last day (3497 days later) »