« first day (1125 days earlier)      last day (4049 days later) » 

10:00
@MarkGarcia Molly.
@MarkGarcia where the third* from?
@Xeo If you point me to the particular bits I may be able to point you to other resources.
pointer to string pointer, that's 2 **
@User17 Don't know. Also the term "string vector". Really have no idea what this guy's up to.
Xeo
Xeo
I think I'm just missing some basics in mathematical notation.
> (x,x′) ∈ I<sub>Int</sub> ⇐⇒ x = x′
10:04
@MarkGarcia std::vector<string> stringVector; I assume?
Xeo
Xeo
The "free theorems" stuff
@Xeo Relation as set membership for that one perhaps?
@Xeo Is this familiar to you? I.e. "The statement (x,y) ∈ R is read "x is R-related to y", and is denoted by xRy or R(x,y)."
mr5
mr5
@MarkGarcia I'm sorry for plink-ing you I didn't mean to hurt you. I'm the guy who asked lately for html's rectangle.
@mr5 I know. How could I forget? :)
user1804599
10:09
@Xeo Don’t you mean ⇔?
user1804599
⇐⇒ looks weird. :v
Xeo
Xeo
@rightfold That's what I copied from the pdf
Ah, PDFs without proper ActualText.
@mr5 I guess could spare some time. Let's just not disturb the guys here. Here, come to this room.
Oh, sometimes some_concept<Foo>::explain() doesn't help in debugging. GCC goes on erroring on the rest of the code apparently.
10:11
does this look flimsy for a granny flat? It very very cheap :x
0% battery
so, Visual Studio Online
Xeo
Xeo
@LucDanton I always read as "element of" :o As in, "take x and y, elements of R, ..."
You need a universal quantifier for that. On its own, it's set membership.
> Visual Studio Online includes a hosted build service, making it easy to move your project’s builds to the cloud.
> Every Visual Studio Online account provides 60 minutes of free build time per month
10:15
@BartekBanachewicz It's a plot to stop template meta programming?
@FlorisVelleman what 60m is barely enough for a small C# app
@Xeo Yes. And elements of a relation are pairs.
It means "x and x' are elements of I-Int iff they are the same".
Xeo
Xeo
*in?
On mobile ...
It basically defines I-Int as the equality relation (for Ints, I suppose).
@Xeo Yeah. Also, "the pair (x, x') is an element of..."
Xeo
Xeo
10:19
I see
I HATE my main customer: "Hello Martin! I have bad news and good news. The weather in Germany is getting bad, but I'm going to Kuala Lumpur for a month on full expenses".
I hope they overbook and bump him down to goat class.
Weather is quite nice today.
A nice pleasant cold, sunny, ...
@R.MartinhoFernandes Maybe it's different in Frankfurt?
Xeo
Xeo
@BartekBanachewicz Depends on how powerful their machines are
user1804599
@R.MartinhoFernandes doesn’t it also mean that iff x and x' are the same, they are elements of I_Int?
user1804599
10:27
Or am I confused by ⇔?
JBL
JBL
I should stop discarding so many half-written answers just because someone posted before...
But somehow I can't.
@rightfold That's what iff means (second f is intended)
user1804599
So x iff y also means y iff x?
The pair is an elements of I_Int if and only if (iff) the members of the pair are the same.
user1804599
I know that iff means “if and only if.” :P
10:29
@rightfold And the reversibility is a direct consequence of that.
user1804599
But “x and x' are elements of I_Int if and only if they are the same” is weird. :v
user1804599
Huh.
@rightfold Yes, iff is symmetric.
user1804599
Wut. Eww.
user1804599
Englishfail. :V
10:33
those Q titles
> OpenGL doesn't like OpenCV resize
> Pounds and Ounces to Kilograms and grams. Driver Program Fail
> Robust but may not be optimal 3D Convex Hull C/C++ Code
those "questions" are literally next to each other
SO got too big for its own good, I guess.
Eternal September and such.
make asking questions cost rep problem solved
I wonder, if less-than on pointers is UB then why is this operator defined at all?
if you ask a good question you will get it back
Xeo
Xeo
10:35
@StackedCrooked What?
@StackedCrooked It's only UB in some circumstances.
@StackedCrooked Only for pointers that are not in the same array.
@FredOverflow ugh
and std::less is of course guaranteed total order, even though < isn't, which is a total fucking embarassment.
@R.MartinhoFernandes Oh, right.
SSP
SSP
10:36
Hi all need some guide line about linux
@FredOverflow OMG THAT IS AN ACTUAL TITLE AND YOU DIDN'T EDITORIALISE
user1804599
@R.MartinhoFernandes o_0 calm down boy
@R.MartinhoFernandes Yup, one of my few SO troll questions :)
SSP
SSP
thanks buddy
10:38
@SSP Linux sucks, but so does every other operating system, so I mostly use Linux.
4
@R.MartinhoFernandes did your caps lock break?
@FredOverflow Oh, it's yours.
@R.MartinhoFernandes Does vector count as an array here?
@StackedCrooked It holds an array, yes.
does pointer count as an array
10:39
lolno
Xeo
Xeo
T v; // also an array
^ of size 1
Xeo
Xeo
pssst
My brain still isn't fully operation after JS incident
is it linq that lets you work with collections using sql like code?
10:40
@BartekBanachewicz function scope?
@thecoshman yes
@FredOverflow the key part is, it sucks less for less
@thecoshman Scala also has some nice monadic sugar.
@FredOverflow TL; DR - "so many people use JS it can't be bad right"
is 'monad' the generic term for such stuff then?
10:40
everything-is-an-array paradigm
@thecoshman MONAD IS A COMPUTATION GAHJDAFADSGAWER
user1804599
user image
3
@thecoshman Linq is one concrete instance of a particular application of the monad class :)
@rightfold "TEEET"?
10:41
> tit.
@BartekBanachewicz ¬_¬ fine, I'll go read
'Zerotons are supported, too' WTF??
@thecoshman DONT
EVER
user1804599
@FredOverflow LINQ is funny.
@FredOverflow Actually, Linq is generic enough than it is all instances.
user1804599
10:42
But I find the query syntax somewhat lacking.
@BartekBanachewicz o_0
I still haven't found my g function because I was busy yesterday
@thecoshman it hurts when you think about monads.
@BartekBanachewicz s/function/spot/
@SSP REALLY
@MartinJames Have you never wished for uninstantiable objects with global access? ;)
No.
10:43
@R.MartinhoFernandes Grr.. you beat me to that one:)
You know what other communities you can take part to ask unrelated questions on?
Let's see... mlpforums.com
Why not?
@R.MartinhoFernandes Also try 4chan and reddit and 9gag and Something Awful.
I'm going to put forward again that puppy has his ownership removed ¬_¬
No.
SSP
SSP
10:43
where is my question :(
I removed it.
@R.MartinhoFernandes if you remember from yesterday, I was puzzled as to "what would a function taking a and returning State a do"
user1804599
Not on Super User.
@user1901196 plz no.
I dunno - try the bin 'cos puppy is here.
10:44
@user1901196 You probably don't own the memory at 0x1234, so yeah, it's wrong. Naughty, even. You should feel bad. no presents for Christmas!
user1804599
(And yes, the code is wrong, since you are casting integers to pointers.)
Xeo
Xeo
@BartekBanachewicz g x = state (+x) :D
@SSP chmod +x your_executable_here
@R.MartinhoFernandes Because it uses operator new[]? Or because of the contiguous storage?
SSP
SSP
10:45
@DeadMG can i know that what was wrong in that
@SSP You asked a question.
that produces a state at the beginning
SSP
SSP
so what we do over here ?
@FredOverflow what if i tell that, i have seen the memory map of the microcontroller, and that i am accessing the right memory location?
Xeo
Xeo
10:45
Wait, "returning State a" doesn't make much sense by itself
@Xeo s >>= g <- that g
@StackedCrooked Yes. Contiguous storage kinda implies an array.
@SSP You don't walk into a new bar and start asking strangers questions right away, do you? Have a couple of drinks and get to know us first.
@SSP Pizza, sex and cake, mostly.
f :: Int -> (String, Int)
f x = (show x, x+1)

s :: State Int String
s = state f

g :: Int -> State Int String
g x = ???

r = s >>= g
10:46
so erm... wiki page on monads makes it just sound like function chaining...
@user1901196 Still wrong. Make a volatile pointer.
SSP
SSP
@MartinJames great
user1804599
@SSP bin questions and then laugh at the people who ask them.
@thecoshman it's really much more. Look above.
JBL
JBL
@MartinJames You forgot the rants, too.
10:46
@thecoshman Yes. On steroids.
@BartekBanachewicz I thought so :P
@R.MartinhoFernandes but R.Martinho, how is it wrong?
@thecoshman Are you trying to understand Monads? Why?
and by 'wiki page' I mean 'the first paragraph of the wiki page'
@SSP Oh, and Java/PHP bashing and, aparrently, we are all assholes.
10:47
@FredOverflow vOv
@BartekBanachewicz Why do you want g to do? Also, that won't typecheck.
user1804599
@user1901196 Compiler can make several undesired assumptions if it is not volatile.
@user1901196 It is not a volatile pointer.
@R.MartinhoFernandes in any embedded system, i have the liberty of accessing a memroy directly using the code i mentioned, isnt it?
ENOUGH WITH THE QUESTIONS
10:47
sem_init(&s,0,10)
Holy shit, what's with all the questiondumpers.
ALL YOU FUCKERS ASKING QUESTIONS HERE GTFO TO C++ ROOM
WTF is wrong today.
seriously, go away.
we don't want you.
10:47

C++

Friendly conversation, including C++ talk — NOT the "Lounge"!
Xeo
Xeo
@BartekBanachewicz Shouldn't g be String -> State Int String?
@Subbu there's a part of the site dedicated to asking and answering questions. Thousands are awaiting your questions there stackoverflow.com/questions/ask
My guess - it's the JS room trolling us.
@user1901196 Do you actually work in embedded systems?
@FredOverflow Feeding the vampires, man.
SSP
SSP
10:48
WTF thanks guys
@user1901196 It won't work properly without a volatile pointer.
JBL
JBL
Nov 5 at 14:10, by Cat Plus Plus
Read the newbie hints. We ran out of jokes to put in the pinned message.
@R.MartinhoFernandes exactly..
@R.MartinhoFernandes so what could be the solution?
Make a volatile pointer...
10:49
@R.MartinhoFernandes but a volatile pointer wont make it work either.. u said so yourself..
@user1901196 just go to the other room
@R.MartinhoFernandes my mistake..
No, I did not (if I did, I mistyped, sorry)
2 mins ago, by R. Martinho Fernandes
ENOUGH WITH THE QUESTIONS
10:49
@Xeo I am not sure :/
@R.MartinhoFernandes i am sorry... i read it wrong..
You should check it out, it's a pretty cool site
I concur.
@user1901196 HOW CAN YOU NOT READ EVERYTHING ELSE
@R.MartinhoFernandes so how would it make any different, should i declare it as volatile pointer?
10:50
@user1901196 do you read your C++ book like that too?
@R.MartinhoFernandes how would it make any difference? i mean, what would happen if i declare it as a volatile pointer?
@jalf obtw, I finally figured out part of that testing thing.
Use a volatile pointer. Embedded semaphores typically require one volatile pointer to maintain the count and the OS links any waiting threads to it.. WHY AM I DOING THIS?
Xeo
Xeo
@BartekBanachewicz Well, (>>=) :: m a -> (a -> m b) -> m b, and m = State Int - and if you have s :: State Int String, you want a function that takes the produced String.
10:51
@MartinJames Ah, you're mixing both questions, lol.
turns out the tests fail regardless of whether or not you attach a debugger, it's just that the harness reports success anyway.
and I'm not sure exactly how that happens because the process should not even terminate in that circumstance, let alone terminate successfully.
@user1901196 volatile is the way to tell the compiler it is not a normal object but a special memory-mapped location thingy. It will avoid doing optimisations that would break the code.
@R.MartinhoFernandes We both need more coffee to help us stop answering questions:)
@DeadMG Oh?
10:53
@R.MartinhoFernandes so the problem, here is that it is being optimized... correct?
@R.MartinhoFernandes so my pointer variable there is being optimized.. so the changes are not reflceted.. is that what you mean to say?
@user1901196 Yeah, that sounds likely.
@jalf Yeah, I'm still not totally sure what's going on, but it involves the unhandled exception/assertion failure code exiting the process with success- even though the process clearly failed.
When accessing some memory-mapped device, volatile is a must.
but I did manage to convince the debugger to catch a breakpoint for once and actually break on the error, and learned what it was.
@R.MartinhoFernandes hmmm.. but my problem here is, my IDE simply hangs the moment it jumps there... compilation is done fine..
10:57
That I have no idea.
They should make a stdlib with int size()s.
g :: String -> State Int String
g x = state (\i -> (x, i))
that kinda makes sense

« first day (1125 days earlier)      last day (4049 days later) »