« first day (961 days earlier)      last day (4000 days later) » 

7:00 AM
writing the paper that should come with it >.<
I actually do enjoy optimizing stuff like this though :)
 
@nightcracker For what sort of crypto stuff? Please don't tell me it's something home-grown...
 
@JerryCoffin haha it is - but don't worry, I'm doing it with actual cryptography experts
 
@nightcracker The paper stuff, as in protocols and such, or the implementation thereof?
 
@JerryCoffin and it's something that we will actually submit into a competition
 
sbi
@Rapptz The German one, of course. :) The ones I know have a stinger, although that's a hollow tube, in order to suck the life blood out of you. The ones we have here, poke that thing right into your skin, no biting necessary.
 
7:02 AM
@nightcracker Ah, okay. Now that you mention it, I believe we've talked a little about it before.
 
@LucDanton nah just simply the paper of the cipher - can't really be bothered writing a paper about the implementation
 
@sbi Yeah it's called a proboscis (as Luc said earlier) not a stinger. :P
 
No I mean which of the two do you like optimizing :p
 
oh
both
but in this case there is no real protocol
 
Well writing the paper is going to be easy >.> "See reference implementation."
 
7:03 AM
yeah it doesn't work that way sadly
 
sbi
@Rapptz Yeah, we call it that, too ("Rüssel"), only we call it a stinging proboscis ("Stechrüssel").
 
you'll have to explain your design decisions and show you have nothing up your sleeves
 
@sbi ooh. Cool.
 
@LucDanton it actually describes what a submission should have in the paper, more or less
 
Ah, I can see how that's annoying.
 
7:05 AM
nevertheless, we've managed to optimize it (an authenticated cipher, that's an algorithm that gives you secrecy and integrity of data) down to 3.0 CPU cycles per byte encrypted/authenticated
pretty cool IMO
 
Will a CAESAR winner be renamed as the "CAESAR cipher"?
No. The AES competition eventually renamed Rijndael as AES, Rijndael-128 as AES-128, etc.; but CAESAR, like eSTREAM, will not rename any algorithms.
 
hey
 
Better pick a colourful and vulgar name for your cipher.
 
our cipher will be called "Mambo"
 
user142019
Man.
 
user142019
7:15 AM
I have to give a presentation today.
 
user142019
And I'm nervous as fuck.
 
@rightfold its sunday, go sleep
 
user142019
Even though the audience consists of only eleven people.
 
You'll be fine.
 
user142019
I know.
 
7:17 AM
:)
 
user142019
Still nervous. :P
 
user142019
Oh well.
 
user142019
Everybody has to give a presentation and I'm the first one.
 
user142019
If I fuck up and they laugh at me, I'll just ask them a question they don't know the answer to after their presentation. :3
 
user142019
I always look like I'm drunk when I give presentations.
 
user142019
7:20 AM
Maybe I should drink.
 
Ask them about Monads
 
@Jimit ?
 
user142019
@Jimit What happen when we dump question in Lounge<C++>? Indeed, it gets binned and you get trolled to death.
 
The bin welcomes you!
 
user142019
And downvoted, of course.
 
user142019
7:22 AM
But that's obvious.
 
be nice
 
ahahahaha
 
user142019
@Mikhail Indeed. Be nice and at least say hi before dumping your question.
 
user142019
Time to finish those damn slides.
 
user142019
Only two hours minus four minutes left.
 
user142019
7:24 AM
Then: doom.
 
Hmmmm, we're seeing more of Ape again. :)
 
@TonyTheLion Question needs close votes (off-topic)
 
I'm currently doing something like this. Is there a std::declval-like method that can be used for l-value ref parameters?
 
Xeo
@MarkGarcia std::declval<T&>()?
 
7:31 AM
^
 
Xeo
Also, morning
 
If template<typename T> void foo(T& t); receives a T& and wishes to inspect its capabilities, then std::declval<T&>() is what to query against, ye.
 
@Xeo Tried that. But it now cannot be used for r-value ref functions. coliru.stacked-crooked.com/…
 
std::declval<T>() would still be valid if you were querying the capabilities of e.g. std::move(t).
 
@Xeo Good morning.
 
7:33 AM
@MarkGarcia um
You're confused.
 
@LucDanton Yes.
:)
 
Xeo
@MarkGarcia There is no "one thing fits all".
 
Can you explain what type you want to compute for x?
 
@Xeo I'm getting that.
 
Xeo
What would such a thing do in the face of foo(T&) and foo(T&&) overloads?
 
7:34 AM
@Xeo Yeah. That's the error I'm getting. It's in std::ostream.
 
@MarkGarcia I don't understand why you 'blame' decltype when func(i) is an error already?
 
@Xeo & and && versions. Better use what you've first recommended.
 
Uh or std::declval that is.
 
Xeo
I wonder where the "rvalue for *this" question is getting so much traffic from.
 
Is it possible to investigate that? Or am I confusing that with Youtube lol.
range::move to adapt std::move_iterator for ranges, or is the name too misleading e.g. with respect to the algorithm?
 
7:48 AM
What the hell did I just do... @Xeo @LucDanton The real error was really unrelated to the reported one that is similar to what I've shown. And it's such a stupid mistake...
 
I have a feeling I'm going to regret this
trying to count the number of singletons in our code
 
@jalf That's easy. One of each!
 
@LucDanton heh
 
Xeo
@jalf We also have a few in our Client code
The server code "only" has the DBs as singletons....
 
7:52 AM
53!
 
Xeo
lol
 
well, at a rough count with a few hastily flicked together greps. Might be a few false positives
 
Yeah! It's done!
    auto new_lines = iocatnip::make_manipulator<std::ostream>([](std::ostream& os, int num) -> std::ostream& {
            for(int i = 0; i < num; ++i) os << std::endl;
            return os;
        });

        std::cout << "Hello" << new_lines(3) << "World!";
 
ok, got the list down to 49. Yay, I guess
 
8:01 AM
@MarkGarcia You inspired me this implementation.
 
yiz
Arrghhh ... that time of the month ... thought you lot should know in case I accidentally ripped someone into pieces
 
@LucDanton Your implementation is much cleaner than mine. :)
 
Xeo
Alright, worku timu
 
@LucDanton It took me a while to realize how you manage to store the arguments. Very genius using lamda's capture mechanism (am I right?). Mine's using something like in here which is somehow more flexible when having different types of callables. Still, I love the way your implementation works.
 
I wouldn't call it genius, after having used currying so much. You're right that the important bit is capture, i.e. doing our currying 'by hand'. The manipulate_type + manipulate factory are here so that our operator<< only ever picks up manipulators. It's a tagging and reception mechanism.
 
8:14 AM
@LucDanton Made possible by lamda's capture mechanism. :)
 
const& and && overloads?
 
Ye. If a lambda wouldn't work (move-only types, polymorphic arguments and so on), then you'd need something else to do the 'dirty' work of munging arguments, and that's what's equivalent to your own machinery that does it on behalf of the user (presumably).
@Rapptz Yes. Relying on partial ordering of templates here. Also ADL in a non-toy situation.
I.e. I want the operator<< to only ever be involved with our custom manipulators and nothing else.
@Rapptz The overload for rvalues would make sense if I were using std::move(m)(stream) btw.
Well, more sense.
 
Next thing I would implement is to enable something like a "on next argument do this" or "on next int do that" mechanism.
Most likely involves some wrapping of the stream.
 
As in intercepting calls to << to the stream?
 
And of course template magic.
@LucDanton Yes.
 
8:20 AM
I have to say I don't really know how operator<< is specified to work too much, I tend to rely on Boost.Iostreams when/if I need to do that sort of stuff.
 
My library's focus is on manipulators. So making manipulators easily is one of its goals. That, of course, doesn't involve much direct manipulation or reworking of stream classes.
 
Xeo
8:40 AM
Woot, got my TC++PL 4th Ed. lying on my desk. :)
 
Oh, tell me if you get a good impression from it. Say, what happened to worku? :D
 
Xeo
That just meant I was heading off to work, not that I have work to do :P
 
@Xeo The mailman can enter your house? :)
 
Xeo
@StackedCrooked lolno
I'm at work, and I was speaking of my workdesk :(
 
Ah, I see :)
 
8:50 AM
@Xeo lol
 
I got the same book. It had it delivered it to my mom and she brought it to me.
 
Xeo
My boss got it for me, so yeah, just leaving it on my desk was the easiest
 
Ell
9:09 AM
Maybe I should get that book
 
Oh, I thought libstdc++ had movable file streams.
 
@Xeo Yeah! Show him who's the real boss.
 
Ell
I want to read a "why iostreams suck" blog post
 
Fuck. Anyone has a super recent GCC build? E.g. the new 4.8.1 release.
 
Ell
Nope :/
 
Xeo
9:47 AM
 
yiz
love linear algebra ...
only newbs love linear algebra
vets & pros go for higher order differential equations
 
@Xeo indeed!
 
@Xeo Quite!
 
Xeo
10:04 AM
Jonathan: [...] but since libstdc++'s Debug Mode doesn't affect std::bind I assume you're just talking about unoptimized code, so talking about performance is a bit pointless.
Mikhail: I don't think it is completely pointless. Most of the time we run our code in debug mode.
wat.
 
Well, I do want my programs in debug mode to run in a sensible time.
Supposedly -Og takes care of that though :v
 
Xeo
Yeah, but....
just wat.
 
I'm in debug mode all the time. I don't ship anything!
 
@Xeo where is that from?
 
Xeo
@bamboon Take a guess
@LucDanton lol
 
10:06 AM
@Xeo the lounge?
 
Xeo
The Asylum (aka std-proposals)
 
oh lol
 
yiz
@LucDanton build in release mode with debugging symbols
 
1221
A: How do I find Waldo with Mathematica?

HeikeI've found Waldo! How I've done it First, I'm filtering out all colours that aren't red waldo = Import["http://www.findwaldo.com/fankit/graphics/IntlManOfLiterature/Scenes/DepartmentStore.jpg"]; red = Fold[ImageSubtract, #[[1]], Rest[#]] &@ColorSeparate[waldo]; Next, I'm calculating the co...

 
static auto equal(Self const&, S1 const& lhs, S2 const& rhs)
-> decltype( tuples::fold(operators::logical_or {}, false, tuples::transform(lhs, rhs, operators::equal_to {})) )
{ return tuples::fold(operators::logical_or {}, false, tuples::transform(lhs, rhs, operators::equal_to {})); }
 
10:15 AM
@Xeo oooohh Oscope shooters oooohh
 
Sanity check: is there something silly wrong here?
 
it's so sexy.
 
Oh dear.
 
also wow
it explains a lot really nicely
 
Apparently I haven't had an overload of tuples::transform taking two tuples in a while lol.
The error was never caught due to SFINAE (notice decltype there instead of bool?)
 
yiz
10:18 AM
you know you are a geek when you start stating "my sexy sexy code!"
no code is sexy, although there are buggy ones every now and then
 
@Ell you have to watch it :3
 
Fixed!
Egads, ambiguous overload due to some partially-ordered operator< being picked-up by ADL. The type involved? tuple_size<super_tuple_type_involving_types_from_my_namespace> :(
lololol, the error starts from int Size = mind(tuple_size<Tuple>(), tuple_size<Tuples()...). So much for the convenience of conversion operators? @Xeo @R.MartinhoFernandes
@Xeo Say, out of curiosity I wanted to see how far along my range stuff was, and I came up with this meaningless test program. Compiles in 4.5s, too. To clarify, the curry(range_operators::foo, ... stuff is not how I ever imagined the interface to work. However I had both compose and curry laying around and I wanted too see what that would yield.
 
10:34 AM
@LucDanton I have it built now, if you still need help.
 
@bamboon I thought I had a bug but that went away after some fixes, so it's likely I was wrong.
 
Never heard of it.
@R.MartinhoFernandes It may be implemented but I don't think it ships, can't get it to work on my end.
 
@R.MartinhoFernandes Oh, I noticed that what's quoted is the recommendation for the paper; but the post doesn't elaborate as to what GCC implements exactly.
> main.cpp:2:15: error: parameter declaration for literal operator 'operator "" _lol' is not valid
is what I get.
 
10:44 AM
@Xeo what's the id of your []f proposal?
 
can anyone tell my why when I run makefile with mingw32-make.exe it executes thing after "all:". How do I switch it to build for "mingw:"?
 
Should I declare a function virtual if I'm really just going to call it with static dispatch every time?
 
@Potatoswatter ...no? Obviously there's more going on that prompts you to ask that.
 
But the semantics are perfect for virtual and the class already has a vtable. The only problem is that I'm really good with templates. :P
 
You are not making much sense so far.
 
10:47 AM
Then mark it virtual?
 
The perfect semantics for virtual are dynamic dispatch, no?
 
yiz
so the question would be: why static dispatch?
 
Because I happen to know the type statically in the only use-case I have so far.
 
is this the right channel to post about mingw32 at all? )))
 
But, the return type may be too abstract to be useful. The derived implementations have covariant return.
 
yiz
10:49 AM
doesn't make sense ... if you are going to have more types, make it dynamic dispatch, if there is only one type, don't use virtual?
 
That doesn't rule out a class subtree with a useful return type, though.
 
@yiz It's a classic hierarchy of OOP classes.
 
I told the guy at Zoom tech support that I've decompiled their updater
he was kinda amazed
 
yiz
you can always dynamically cast return type
 
10:51 AM
but I think the main circuit board will need to be replaced, effectively making me spend more on it than on a newer model :/
 
yiz
or check out type_id
 
@yiz huh?
@yiz If the return type is polymorphic, then yes.
 
@R.MartinhoFernandes Say, I felt the need to quickly check the output of my C++ programs via Haskell -- one of those silly programs that e.g. read stuff out of a text file. Except that things like fmap read . words are iffy what with the partial read. What do you do in that situation? Do you have e.g. a safe Prelude?
 
yiz
@Potatoswatter if it isn't you can't use virtual anyways?
 
@yiz virtual places no restrictions on return type aside from covariance.
 
yiz
10:54 AM
you need demonstrate what you meant by an example then, you have totally lost me
 
@LucDanton read is a very blunt tool and not really suitable for general parsing :S
I should add that to my list of gripes. Maybe I can sum them up as "Prelude is quirky".
 
Indeed. What do you do then?
 
I'm writing a compiler framework. I'm adding a base class construct which represents anything generated by the compiler. It's not polymorphic. Derived from that is instantiation which is polymorphic. instantiation provides functions for tracing through how a particular construct came to be. To that end there's a virtual function which returns construct &.
 
Prelude has reads, which you can use to build some maybeRead :: String -> Maybe a, for example.
 
Thanks!
 
10:58 AM
(Last I checked there was a maybeRead in some network package, but WTF)
 
Covariant return allows me to return token from the derived class instead of construct. Now I could have a sub-hierarchy of instantiation which all returns token. Dynamic dispatch from the root of that hierarchy would be useful, but construct alone is sort of too general.
 
maybeRead :: Read a => String -> Maybe a
maybeRead = fmap fst . listToMaybe . reads
 
So… since it has the potential to be useful, I'll leave virtual in. And eat the ugly syntax for preventing dynamic dispatch.
 
@R.MartinhoFernandes Like a charm.
With some catMaybes sprinkled on top.
 
Ohhh… the final pseudo-keyword lets me avoid the ugly syntax :)
 
11:05 AM
And now the outputs of the programs differ, because iteration stops as soon as the stream fails C++-wise, heh.
 
yiz
You two should be friends - I am glad the constant monolog on this chat helps you to solve whatever coding problems you have ... kind reminds me of my compiler - it tends to complain a lot too which I ignore all the same until it starts to spit out errors
 
@Potatoswatter What, why would you even do this.
 
Mmmh, sizeof r.begin() shows 80.
 
@DeadMG I'd love to answer but my GF is very upset that I'm here online
 
yiz
yes, playing that mysterious card to hide ones stupidity tends to work well if others are as retarded as you think they are
 
11:20 AM
no, she's really here. She insisted that I stop chatting.
fuck u im here
^ see?
 
Xeo
@R.MartinhoFernandes N3617
 
epic proof
 
Xeo
(N3617 is a pretty outdated version, though)
@R.MartinhoFernandes: Btw, do you know what might speak for / against allowing decltype([]f)?
Speaking against it is the same problem that lambdas have, mangling in function signatures and ODR-equality
 
11:35 AM
lolwut, I only now noticed that the guy I replied to wanted to make unsigned T when T is void* valid, but unsigned T when T is a UDT invalid.
 
Xeo
But there's a DR (I think) that tries to change that to either not allow decltype(lambda) in function signatures, or not require such functions to compare equal
 
Dammit, I could have slapped a much higher dosage of sense on that e-mail.
 
Xeo
> c) I also find your suggested rules confusing: Why is Make_Unsigned<void *>::type well-formed and a no-op, but Make_Unsigned<A>::type is ill-formed? What is the rationale for that difference?
Daniel already has you covered
 
@Xeo The only way to make the types be the same would be when f has the exact same candidate set.
Is that easy?
 
Xeo
@R.MartinhoFernandes Well, I also have the lambda rules that every lifting-expression creates a unique type
 
11:39 AM
Unless the types are default constructible, I don't see how it can be useful.
 
Xeo
Well, the resulting type of []f is planned to be default-constructible, unless it's used in a member function context (what with implicit this-capture and everything)
But maybe out-right banning it would be a good call
 
@R.MartinhoFernandes LOL That's cool!
 
Xeo
> Is this at all a problem enough to warrant a std::unique_function or the like? Something that requires move instead of copy? (it would be awkward as std::function isn't named std::shared_function, but what ya gonna do?)
@LucDanton, is this you? :P
 
Well, no. I already have my own :v I.e. that ship has long sailed for me.
 
Xeo
11:54 AM
Btw, looking at your range pipeline thing, I feel like changing lifting-expression to Haskell-expression again. R::filter{}, compose([](%3), [](==0))
And R::map{}, [](2*)
 
Xeo
I like sections.
 
I noticed you haven't yet commented about e.g. providing a pipe(a, b, c, d) that's the same as compose(d, c, b, a) :p
 
Xeo
In imperative-world, it kinda feels weird to compose in the "opposite" order, tbh
 
Will write later. Is the name pipe fitting enough? That would make it a direct nod to Boost.Range adaptors, too.
 
user142019
12:03 PM
Hi.
 
user142019
Presentation went fucking well.
 
Xeo
pipe_range() | R::map{[]...} | R::filter{...} | R::zip{...}, go! :P
where pipe_range() just returns an introducer that starts the composing
 
Kinda annoyed by chaining binary operations tbh. It's that 'fat' ranges/iterators thing all over again.
 
Xeo
I don't see how sizeof(pipe() | the | stages | here) > sizeof(pipe(the, stages, here)) needs to be true
 
It's more the number of instantiations that I'm concerned with: that's going to be a lot of intermediary tuples.
 
Xeo
12:06 PM
hm
Okay, that I can understand.
 
And speaking of tuples, while providing a reverse compose can be useful on its own I'm still not sure how to proceed with exposing Range -> Range combinators to compose in the first place!
Do I actually put auto foo(...) { return curry(foo, ...); } in the respective header for range::foo?
(I suppose I can provide a 'restricted' version of curry instead of my general one -- but I still have to tuple up and then un-tuple the bound arguments.)
 
12:24 PM
- What you get right nobody mentions.
- What you get wrong, people bitch about.
- What is difficult to understand you have to explain to people over and over again.
 
Xeo
@LucDanton I don't think you'll be able to work around then when trying to reuse the same things for both composition and normal use
 
-2
A: How to save a type of a pointer c++

SpookOption 1 Store the original type along with the pointer by an enum value or simply a string. enum DataType { intType, floatType, doubleType }; std::vector<std::pair<void *, DataType>> myData; Option 2 Wrap your data in some kind of class. class BaseData { }; class IntData : pu...

good lord
 
@Xeo Ye. Will sleep on it first though.
 
12:42 PM
I think I would rephrase that third bullet as "Programmers are dumb".
 
Xeo
Hah.... so nice not being able to work because the graphic stuff (animations) is broken and their scripts cause nullpointer errors all over the place. :(
 
free day off?
 
That reminds me... no holidays till Christmas.
This state sucks.
Oh, wait, October. Still sucks.
 
Xeo
@DeadMG Basically. Will read TC++PL in the meantime
@R.MartinhoFernandes Haha
I just had a nice 4-day weekend
 
@Xeo AFAIK it will be the same for you.
@Xeo You took one day off for it, right?
 
Xeo
12:57 PM
Ya
@R.MartinhoFernandes Yeah
 
It's not like we have more holidays in Portugal, but they are better distributed.
 
Xeo
Well, I'll have take some days off in August / September anyways
 
Oh hey a new breaking update in Arch
 
A holiday in August would me one less day off you need to take in August!
@CatPlusPlus s/breaking // <- same meaning ;)
Fuck Arch.
 
> Binaries move to /usr/bin requiring update intervention
> We suck at automation
 
yiz
1:02 PM
German unity day lands on my birthday ... my mother is so elite, chose such a good day for my birth - it is within Chinese national day holiday period, occasionally Labours day in NSW (which Sydney is located in) - it is the first monday of October, so there is a good chance lands on my b'day.
 
OS X is quirky. An overlay just appeared on the SO chat window, "page 538 of 1328." It was a straggler from Preview.app.
 
You misspelled crappy
 
Cue "OS X sucks"
Damn, I'm slow.
 
I thought Chat had just gained a new feature :P
 
yiz
neighbourhood magpies fought against an invading crow yesterday
for the food we fed them
 
1:07 PM
GEMA-free!
 
yiz
This wasn't taken by me, but that's what a magpie against a crow would look like:
except in our case 2 magpies against 1 crow
 
TIL "Braunkohle" is lignite. DF-powered learning.
 
DF?
 
Dwarf Fortress.
Almost all of my geology and metallurgy knowledge comes from following wikipedia links from the DF wiki.
 
haha
and then you click the "Deutsch" button to learn a new word? :D
 
1:15 PM
@melak47 No. I had heard Braunkohle mentioned before, but I had no idea what it was. It was just some crappy kind of coal people used a lot in these parts. Today I decided to look it up and turns out it was something I knew already.
German geology vocabulary is not one of my priorities.
 
@R.MartinhoFernandes Go! To the Moon. <3
Clearly, traffic is telling us that we need rocket ships for travel rather than cars.
 
enum bla {a = 0, b = 0} //this is not an error?! not even a warning?
 
@ThePhD As long as we get rid of non-communal passenger-driven vehichles, I'm cool.
@melak47 Why should it?
 
Nope. Enum values can have the same value, IIRC.
@R.MartinhoFernandes JoeSmoe driving a rocket.... mmboy.
 
@ThePhD You missed the "passenger-driven" part.
If someone called "JoeSmoe" is a professional rocket driver, fine.
 
1:29 PM
@R.MartinhoFernandes what does passenger-driven mean? like taxis? or just normal privately-owned cars
 
@Aboutblank The taxi driver is not a passenger. He's sole role is that of driving the car. He isn't travelling to his destination.
Vehicles with dedicated or no drivers are fine.
I am not trying to imlpy that all taxi drivers are good drivers, though. Just saying that the idea of incidental drivers doesn't appeal to me.
 
boost::variant can't have its internal data set to something else after it's been constructed, can it?
 
Yes, it can.
 
Oh.
Hm.
... HMMMMM.
 
Yours doesn't? Get ready to pick between a rock and a hard place.
 
1:39 PM
No no, I haven't made one. I was just wondering.
Got a situation where I might need a variant, or something like it.
 
dear eclipse, helicopter is a word. your spell checker sucks
 
> Has spell check enabled.
> mfw
 
@Aboutblank s/r spell checker//, s/sucks/suck/ There -- FTFY.
 
^
 
I would have gone for the slightly more cryptic s/s$//.
 
1:56 PM
@R.MartinhoFernandes That works too...
 
Though helicopter is a vehicle; "helicopter" is a word. lern2quasiquote :P
2
 

« first day (961 days earlier)      last day (4000 days later) »