« first day (1689 days earlier)      last day (3274 days later) » 

12:00 PM
 
user1804599
set x to true can only be used with true, not with "Y".
 
very fluffy
 
@R.MartinhoFernandes you don't have a car in Berlin eh?
 
user1804599
You can do this instead:
 
user1804599
01 ls-init-status pic X.
 88 ls-did-init value "Y".
 88 ls-did-not-init value "N".

set ls-did-init to true *> same as move "Y" to ls-init-status
set ls-did-not-init to true *> same as move "N" to ls-init-status
 
Xeo
12:01 PM
@sbi mpl::or_?
 
sbi
@Xeo I am currently trying to mpl::find<> the first mpl::true_.
 
OMG I am still cold to the core
 
@chmod711telkitty why does everybody do it?
 
@Bartek No, no car. I'll rent one. I haven't moved my stuff yet because I spent the weekend... well not caring about it.
 
@sehe because they are special, like everyone else?
 
user1804599
12:05 PM
Is Hadoop good?
 
@ScarletAmaranth There
 
Ell
@BartekBanachewicz That doesn't make sense to me :/ in particular "the code runs as a monad"
 
maybe I should increase the air con to 26 degrees, I am freezing cold
 
@Ell slowly. Consider type Parser :: String -> CodeAST. Do you get that?
 
Ell
I thought a monad was a typeclass/"interface" - how it be a property of how the code runs?
@BartekBanachewicz Yes
Though I'd prefer Parser a :: String -> Tree a or w/e
 
12:07 PM
@Ell take type StatefulParser :: String -> State ParserState CodeAST
 
Ell
Yeah
 
now the parsing operation becomes monadic
 
Xeo
@sbi You could also just mpl::find_if over the TypeList in the first place.
 
it's not longer just a regular function.
@Ell that's why you need to runState it in order to get meaningful results, unwrapping the monad.
 
Ell
Yeah
I see
 
Ven
12:08 PM
@rightfold seems like a hack huh
 
@R.MartinhoFernandes figured that. Is renting expensive there? We paid circa €50 for 24h of reasonably sized van.
@Ell Doesn't have to be just state though; that's why we say "monadic parser" and not just "stateful parser"
 
Ell
I don't see the advantage of monadic parsing, but I guess it's necessary in a pure functional world
 
@Ell you are used to writing in languages where RWST IO is implicit vOv. In Haskell stuff isn't contextful by defau;t
 
Ven
@rightfold then -- how do I check the value? if ls-did-init is true?
 
"RWST IO" is Haskell's way of saying "I'm too lazy to think about proper context for that code" typically :P
in other languages it's, like, granted. Normal. Regular. Hence implicit.
 
sbi
12:12 PM
@Xeo Damn.
 
but you can get so many more different contexts. like State without IO, for one. (which yeah, can be seen as just limiting (subset of) RWST)
 
Prolly cheaper here.
 
I find it funny how in Haskell you have to take that default context away from people, to give it back to them one part of the time to make them realize how it's built and how to use and not overuse it.
 
sbi
@Xeo Ugly error messages, this brings. I am not gonna start all over again...
What's a good static check for an mpl iter not being end, @Xeo? Something I can put into a BOOST_MPL_ASSERT_MSG, preferably.
 
Xeo
@sbi mpl::not_<mpl::is_same<it, typename mpl::end<Seq>::type>>?
 
12:18 PM
@chmod711telkitty yeah but we take that for granted too
 
user1804599
@Ven just if ls-did-init then
 
@BartekBanachewicz I thought that was a funny new intel opcode mnemonic
 
user1804599
Or if ls-init-status = "Y" then
 
@sehe heh. (it's Reader-Writer-State over IO in case you really wondered)
 
@BartekBanachewicz can anyone say "paternalism"?
 
12:19 PM
whistles
 
@BartekBanachewicz it was pretty self explanatory. As are most intel opcode mnemonics
 
user1804599
I don't like reader monad.
 
Ven
@rightfold just pushed, but it still segfaults :(
 
sbi
@Xeo I thought so, but the compiler complains that an abstract base class cannot be instantiated in the assert. Maybe I'll wrap the T then...
 
user1804599
@Ven lol
 
12:20 PM
@Ven Push it to more repos
 
user1804599
lemme see
 
Ven
@sehe which one
 
Xeo
@sbi isn't that the error when the assert fails or so?
 
@rightfold I've shown isomorphism between reader monad and the most trivial function type not so long ago.
 
@Ven push harder
 
Ven
12:20 PM
@AndyProwl I'M TRYING
 
IIRC hate already utilizes that isomorphism
 
user1804599
@Ven where do you call cobrand?
 
sbi
@Xeo Nope.
 
which, in regular english, means that functions fit readers
 
I feel very 'special' at the moment - in a 25 degrees room, wearing layers not less thick then bears and still feeling cold.
 
maybe I should stop thinking about cold
 
Xeo
@BartekBanachewicz Monad ((->) r) :P
 
Ven
@chmod711telkitty just warm up
 
I am trying ...
for the past hour
 
@Xeo not that, instance Reader a ((->) a)
 
user1804599
12:22 PM
No idea. vOv
 
Xeo
Well, yeah, just wanted to say that (->) r is the reader monad.
 
user1804599
No, it's a type constructor.
 
I am wearing plenty & the room temperature is slightly above the normal comfort level & I am still feeling cold
 
@Xeo if I were Lrio I'd say, in his high-pitched, nitpicky voice that it actually isn't :D
 
user1804599
I often prefer explicit passing of individual values.
 
Xeo
12:24 PM
Good thing you aren't, else I'd have to poke you with a pointy farm implement.
 
Ven
@rightfold but you're passing a value that's in a copy
 
@rightfold less useful if the context you work with is already monadic
monads monads monads monads
@Ven lol languages where pass by value implies a copy.
I don't really get why the standard doesn't mandate the compilers to optimize pass-by-value to ref passing if the function doesn't modify the object.
I suppose because the behaviour of mutable variables could be different.
 
user1804599
Because the function body may not be available.
 
Ven
@BartekBanachewicz nah, a ".copy" file was what I meant :)
 
user1804599
Also, auto x = 1; spawn([=] { f(x); }); x = 2;.
 
12:28 PM
@chmod711telkitty DON'T WEAR BEARS
 
user1804599
This breaks horribly if it's optimised to by-ref argument.
 
Ven
@BartekBanachewicz race condition?
 
> Scala followed you
 
Ven
you don't know if the object wasn't modified in another thread while your supposedly-copying function was running
 
Ven
12:29 PM
Basically what @rightfold said
 
@chmod711telkitty YOU'RE A VERY SPECIAL FEELING SNOFLAKE
 
Ven
@sehe I rarely see you seemingly angry
 
I'm not xD
It's a meme exchange thing ther
Should have spelt that SNOFLEK tho
 
Ven
@sehe It's also rare to see you use "xD" :)
but it's good if you're a serial memer
 
You're good with the stats. I took a few seconds deciding on the emoji there :|
template <typename Tree, typename F, typename Pred/* = bool(*)(Tree const&)*/, typename PathType = std::string>
void visit_if(Tree& tree, F const& f, Pred const& p, PathType const& path = PathType())
 
12:35 PM
@Mr.kbok ah... well, you can certainly do catch(...) { throw; }- but you still need to dispatch on all of the arguments anyway, as you catch the re-thrown exception; I don't think there is a way around it - although, if it's really a hassle, then you could simply have a macro (of all things), to generate catch for all the types you need to take care of - considering each body will look the same (wrap it in something reasonable), the macro should be trivial
 
I feel dirty when I type unconstrained all-template argument functions like that
 
1
Q: Chat feature request on Stack exchange Android app

IP AddressI love the design and layout for the new stack exchange app on android. Its easy to navigate around the app and post questions and answers on stackoverflow. Its also got notifications on the home of the app. However, there is no way to navigate to the stackoverflow chat feature which is availabl...

 
?? link spam. Lemme guess, jabbscript/php regular cross posting
 
No feature request
 
@ScarletAmaranth Yeah, that's what I thought. (grossly). Or maybe create an overload set of functions wrapping exceptions to at least reduce the amount of code in different catch blocks.
 
12:37 PM
@IPAddress Why is it tagged as one then
I use this - it's quite good:) — Martin James Feb 5 at 18:52
> (Mobile lead Kasra just dropped dead.) We may add chat to the mobile app yet, but it’s not in our 2015 plan.
 
@Mr.kbok that's an option as well - this way you could even use boost::variant<stuff_the_lib_throws>
 
> [...] not in the immediate future. it'd require an API for chat which we don't have yet (and we don't have anyone working full time on chat to make an API for it at the moment)
 
speaking of variant - are there any proposals for std::variant?
 
Yes. Some variants of it :)
Many complaints about it though
May 25 at 10:03, by Griwes
And standard library variant will also be broken (aka it will most probably have an "empty" state lol).
 
Void would be awesome
 
12:40 PM
Yeah they make an API and then people can work on clones that actually work
 
Launch an GitHub project?
I'm sure the php developers will love to get in there
 
is it possible to access the ellipsis in catch with va_list :D? although... what type to pass to va_arg, you have nothing to decltype :-\
 
@IPAddress There's a plethora of clones and clients but none of them actually work
 
Wait what
If you have a big array in a program that exceeds your RAM memory, the OS should swap memory as you go?
 
it will start swapping LONG before you actually run out of physical memory :P
 
12:45 PM
@Jefffrey if it's allocated on the stack, I don't think so
 
@Jefffrey Yes.
 
This is supposed to happen by itself while the OS swaps memory back and forth — Eregrith 4 mins ago
 
@AndyProwl ?
 
@Mr.kbok That has something to do with virtual memory right?
 
@IPAddress which in turn will make all other developers want to abandon the project
 
12:46 PM
@Jefffrey Yes, the memory as seen by the program is completely different from the actual, physical RAM adress space; the mapping is managed by the OS.
 
Still with a 32bit address space, you can't address 4.5GB or memory.
So the problem would remain, no?
 
@BartekBanachewicz might have a point there
 
@Jefffrey Most of the adress space points to nowhere but is allocated temporarily by the OS
 
@ScarletAmaranth Hm, I might have a misconception
I thought stack size was limited to a hard value
 
12:47 PM
@Veritas no
 
@Jefffrey You can't only because sizeof(void*) can't hold enough values
@AndyProwl Yes, win32 defines it AFAIK
 
@Veritas ADL pulls in foo, it's deduced return type thing makes the definition required, AFAICS
 
@Mr.kbok Ah, so I wasn't completely off
 
@Jefffrey With a fragmented model (or another kind of hack), a 32bit address space could adress more memory space but that wasn't really a problem at the time( and it only was for a limited amount of time ie we switched to 64-bit)
 
@sbi I guess... I'm fine with that :)
 
12:49 PM
but that should be the same on Unixes too right?
I mean, not the same limit, but the existence of a limit
 
God I hope so. Or I have been overdimensioning my PCs all along
 
back when people made funny sleeve pictures
 
@AndyProwl interesting; I may have been mis-concepted then :) / or not
TOO COMPLICATED! fuck programming, I go plumbing
 
inb4 "fuck, plumbing is hard, let's go shopping"
 
12:52 PM
Actually even if they don't define the max value ("limited to the virtual address range") there's probably an unspecified max value
 
well, plumbing ain't easy
 
Which might mandate some testing :)
 
@sehe fuck, shopping requires money, let's go programming
 
@Jefffrey Talking about memory GiBs are usually used, even when saying GB, so saying 4.3GB is quite misleading. — Sami Kuhmonen 4 mins ago
This guy.
I should invite him in the Lounge.
 
I've never used GiBs. Shame on me, I guess
 
12:54 PM
yup
 
I adore GiB
 
raltar or bons?
Or "Gödel in Bach"
 
raltar
Way superior.
 
Too hot in summer
 
what's raltar
what's bons
 
12:55 PM
gibs
 
google y u no decipher sehe
 
@AndyProwl (no idea)
 
Even jefffrey got seemed to that one. You should feel bad.
 
oh, I got it
 
:D
 
12:56 PM
@sehe Every single time
 
:c
 
@AndyProwl Don't
 
@sehe I can't see how the snippet is fundamentally different from what the "the variable" and "the writer" sections demonstrate. b.atch.se/posts/constexpr-meta-container/#solution-elab
 
It's not you, it's me
 
OMG! I hate BPMN.
 
12:57 PM
@sehe That's no excuse
 
Gibraltar /dʒɨˈbrɔːltər/ is a British Overseas Territory located on the southern end of the Iberian Peninsula at the entrance of the Mediterranean. It has an area of 6.0 km2 (2.3 sq mi) and shares its northern border with the Province of Cádiz in Andalusia, Spain. The Rock of Gibraltar is the major landmark of the region. At its foot is a densely populated city area, home to almost 30,000 Gibraltarians and other nationalities. An Anglo-Dutch force captured Gibraltar from Spain in 1704 during the War of the Spanish Succession on behalf of the Habsburg pretender to the Spanish throne. The territory...
 
2.0 no less.
 
I should be able to decipher it, even when it looks like GiBberish
2
 
There are several editors each with its own deficiencies.
 
I would have actually choosen gibbons, if I knew.
 
12:58 PM
@AndyProwl well played
@wilx Oooh shiny
 
Some people are like char values in C++, they always seem to get promoted for no apparent reason.
 
Ah. Promoted, not decayed
 

« first day (1689 days earlier)      last day (3274 days later) »