« first day (319 days earlier)      last day (4630 days later) » 

4:00 PM
@DeadMG Yes, that was pretty much my point.
 
but actually, there are lots of human minds that can perform many apparently "impossible" tasks
 
Rob
@DeadMG How would you go about thinking in absolute proven truths?
 
@DeadMG Ok, fine. So con artists don't dress like punks. How many criminals are con artists. How many criminals dress like punks or thugs.
 
Rob
Otherwise, you're thinking in generalizations.
 
and I'm not just talking about savants
@Rob Well, I would expect that it would be an awful lot like normal thinking, but with less crap
 
4:01 PM
@DeadMG If you're right that people can live without forming a generalization, then we need to abandon worrying about first impressions.
 
on the other hand, perhaps I need to phrase that differently
 
First impressions are a result of generalizing.
 
@Xaade Ah ah ah. You're wrong. I only said that I could live without forming generalizations. I never said that people in general could do so.
 
Come on, one of you please mention Nazis so we can get this over with.
 
hahah
 
Rob
4:02 PM
lol.
 
@DeadMG Well, I'll have to just disagree, because I'm fairly certain the span you can go without generalizing is about the span you can stay by yourself without going crazy.
 
@RMartinhoFernandes fine
@Xaade I'm quite an introvert and can go an extremely long time by myself without going crazy. There are hermits who spend decades without other human contact.
 
ok back to food
 
of course, it's well known that isolation turns most prisoners insane in relatively short periods
 
Nazis is a generalization.
 
4:03 PM
uh oh
 
There! You lose!
 
Rob
Nazis like to generalize
 
aah, god bless Godwin's Law
 
Not all Nazis were evil bastards.
 
Rob
For some reason
 
4:04 PM
Nazis are people too.
 
just don't go there
 
Rob
They also like to meddle in the dark arts
cue RTCW nostalgia
 
I just wish the Nazis would have invented alchemy, then still lose the war.
Turn X to Y with only willpower would be awesome technology.
 
ah well, you never know
 
Rob
Would be kinda hard to lose with that ;)
 
4:05 PM
these days we ship mind-reading chips so that disabled people can open curtains and stuff
 
Which is why they'd need to lose. I wouldn't want to be forced to speak German.
 
lol
 
@Xaade To an extent I agree -- we seem to be hardwired to (attempt to) recognize patterns, even to the point of finding them where they don't exist. It is often (always?) difficult to draw a hard line between recognizing patterns (generally good) and drawing conclusions that are more general than the data really supports (generally bad).
 
Not that German is all that bad. Sometimes I can literally read it. rarely.
 
Rob
@JerryCoffin Very well put.
 
4:07 PM
@JerryCoffin Like I said. Finding potential patterns is a good thing even if the pattern is bad, as long as you recognize the risk.
You say, this is a generalization. You use it to see if the condition exists. You become aware of the probability.
For example. If I invited foreign diplomats, I may include food from their country on my menu. But what if, gasp the leader I invited actually prefers hotdogs. We shrug and eat the menu anyway.
If I had a female friend, and didn't know what to get her, I may try getting her a gift card to Dillard's or such. But what if gasp she's a gamer.
 
You take him to a hotdog stand an buy him an extra special something.
 
Or I do that.
But whatever the case, we don't act like preschoolers and get in a hissy about a generalization that proved wrong.
Oh Xaade you're so insensitive. You should have known I like hotdogs. Damn you for profiling me.
 
@Xaade I'd have a bit of a hard time buying the notion of knowing somebody well enough to consider them a "friend", but still having no clue about what sort of present she'd prefer.
 
@JerryCoffin Fine then, friend's wife birthday.
Point being, most generalizations aren't pointed out and demonized.
 
Rob
Yea, I was kind of taken aback by how offended jalf got.
 
4:12 PM
It's just when someone feels "disenfranchised" that there becomes this massive thin sleeved emotional chaos reminiscent of preschool children worried about cooties.
If people can be so mature to avoid generalizations, why can't they be so mature to ignore them.
 
Immature people are people too.
 
@Xaade Fair enough.
 
The problem is that people have forgotten what racism and sexism and hate really are. You can't so much as blink an eye in the sunlight without being labeled as committing some form of -ism.
 
Rob
^
 
Oh gah, you're sunist!!!!!
Blinking at the sun.
 
4:16 PM
lol
 
I can't speak on jalf's or anyone else's behalf, but I was really caught off guard by the tone of the discussion. I know that the 'tone' of a written communication is a nebulous concept, but that was still reason enough for me to back off. I don't understand why some were so harsh in their tone (or, if it come to that, why that's how I perceived the situation). I didn't have a problem with the ideas (even those I don't want to have any business with) per se.
 
Rob
Honestly, I don't believe that I know any female who would have taken offense at the suggestion that confidence and communication are attributes prized by women. But to each their own, I will drop the subject.
 
Was I harsh?
 
All in all, whenever an Internet discussion escalates like this it just flips the Bozo bit in my head.
 
@LucDanton it's just a discussion and I guess when you get into it, it can become a bit emotional, I guess
 
4:18 PM
Is there something like the definititve C++ Book Guide but for online tutorials?
 
@Rob Apparently, there's some woman out there that prefers idiotic speechless men, and she was offended that you generalized against her. She'll be rioting outside the mall tomorrow stealing an HDTV to make you pay for your comment.
 
these types of discussion have occurred before here
 
Online tutorials generally suck.
(See what I did there?)
 
Rob
Haha.
 
@RMartinhoFernandes I agree with that
 
Rob
4:19 PM
I was about to counter, there are some quality e-books out there for free.
 
I only really learned C++ by reading a book on it
and then by writing code
and chatting here :P
 
Same here.
Oh, and background.
 
Does it help if I say that in my culture there are no "Harhar political correctness gone wrong" jokes? The only ones that complain about an overly politically correct society usually are in the right-wing fringe...
 
@TonyTheTiger Hopefully the "and then" expands to "I read part of the book, wrote some code, read more, etc." not "read the whole book before I tried to write any code."
 
I truly believe I learn C++ by osmosis in this chat room. We're always off topic, but for some odd reason I've learned faster here than with any online self-learning website.
 
4:20 PM
I still haven't figured out how to implement Dijkstra's shortest path first properly
meh, I must suck
@JerryCoffin yea, like you say
 
Rob
@KillianDS I would suggest taking on a pet project and coding, experience teaches the most.
 
@Xaade Osmosis through the wires. Ok.
 
@Xaade Same here
 
@Rob: I actually know C++ good enough already ;)
 
Rob
4:23 PM
@KillianDS Ah, sorry, misunderstood the question
 
I was wondering because I get the question myself quite alot and I have the same opinion as posted here before: in general most tutorials suck
 
I don't think you can ever know C++ good enough
 
@KillianDS Generally people that know the most about something, say they know nothing about it.
 
Rob
I missed "guide"
 
yeah yeah, I know C++ good enough for my purposes
I'm no guru/master or whatever
 
4:23 PM
@KillianDS Ah, the infamous, "I have a friend that has this problem..." bit.
 
lol @Xaade :)
 
yeah, but I'm a Geniusâ„¢ and know C++ good enough for six trillion people
 
Rob
lol.
 
4:25 PM
:D
 
Rob
Now you only need 60 trillion fingers
 
Hmm.... Too bad that people can't learn through osmosis across space-time. Most of those six-trillion will never benefit from you @DeadMG.
 
Rob
And a really big keyboard.
 
@DeadMG So @litb knows C++ well enough for more people than have ever lived?
 
@JerryCoffin Not if you count parallel dimensions.
 
4:26 PM
@JerryCoffin Who mentioned @Johannes?
 
@Xaade At the risk of insulting @DeadMG, I'd say he's got quite a few parallel dimensions covered as well...
 
Rob
lol MS.
 
at the certainty of insulting me :P
 
Here's my online tutorial "#define BUYABOOK"
@DeadMG Her: Does this make me look fat? Him: As long as you don't count the fourth dimension.
 
4:28 PM
Great. Now I can't get rid of this. There's no conflict, so I can't invoke conflict resolution to resolve it. But I can't commit because there's a conflict.
 
Rob
To begin another tangent, does anyone here enjoy chess?
 
@DeadMG No, if I were going for certainty, I could do a much better job than that! If nothing else, decades on Usenet teaches one to be exceedingly good at insulting people.
 
lol
 
@RMartinhoFernandes sounds like a conflict :P
 
I enjoy cheese.
 
4:29 PM
I used to play chess quite frequently against a friend
but the online chess app kept giving me BSODs
 
Rob
o_O
 
@Rob I can't say I enjoy chess, but checkers is delicious. Especially their chicken.
 
@DeadMG the chess driver crashed?
 
Rob
I use chess.com on PCs, chess-spresso on Android.
 
@Xaade Honestly I think a good (interactive) online tutorial can be really useful, but I don't know one
 
Rob
4:29 PM
@Xaade With perfect play, checkers is a proven draw. :P
 
Ahah! I win. Take that TFS.
 
no, it was just a java app
 
lol java
 
applet
 
Rob
I was reading this article about chess and violence -- basically a giant list of ridiculous injuries attributed to chess
 
4:30 PM
@Rob Only if you include force-jump rule of official checkers. I find that rule so annoying. What's the purpose of strategy if you defeat strategy. Might as well play Tic-Tac-Toe.
 
Rob
@Xaade Ah, didn't know that.
 
Force-jump can be part of your strategy!
 
Rob
Anyhow, smack dab in the middle of all the violent "this king killed this earl because he got checkmated"
 
Difference with Tic-Tac-Toe is scale.
 
Rob
Was this:
 
4:32 PM
Vanilla Tic-Tac-Toe (3x3) is quite pointless.
 
Rob
"At a chess tournament in London, 1982, one of the players complained to the tournament director that his opponent was rocking the table. After that was worked out, the same player complained that his opponent was making noises and threatened him with violence. The player then demanded his entry fee be refunded...."
"The TD said no, so the player picked up someone’s chess clock and ran away. Later, the organizers received a call that if he didn’t get his entry fee back, they would never see their clock again."
 
You can either draw or deliberately lose.
 
Rob
Could not stop laughing.
 
Or win, if your opponent deliberately loses.
 
Unless you're both trying to lose, and it's a draw again.
 
Rob
4:33 PM
Haha, leave it to a programmer to come up with every little case ;)
 
So, Draw 2 Win 1 Lose 1. I guess draw wins.
 
Rob
Hmm, that reminds me of a probability problem
Can't remember which
 
"What are the odds of something?"
 
That's likely.
 
...fuck.
 
Rob
4:35 PM
Oh, the Monty Hall problem.
 
I have a craving for Nutella now.
 
@Rob The one Paul Erdos got wrong?
Poor sod.
 
@CatPlusPlus That's probable FTFY
 
Rob
@RMartinhoFernandes Yep that's the one
 
@Rob I advise against bringing that up at a bar -- I once got a guy (who was quite a bit bigger than me) quite upset with it once...
 
Rob
4:38 PM
@JerryCoffin I can believe that
I got into a friendly argument over it with my buddy, who's an accountant and far more gifted mathematically than myself
 
what's the Monty Hall problem?
 
Rob
You have 3 doors -- behind 2 doors is a goat, behind the other is a brand new car
 
The Monty Hall problem is a probability puzzle loosely based on the American television game show Let's Make a Deal and named after the show's original host, Monty Hall. The problem, also called the Monty Hall paradox, is a veridical paradox because the result appears odd but is demonstrably true. The Monty Hall problem, in its usual interpretation, is mathematically equivalent to the earlier Three Prisoners problem, and both bear some similarity to the much older Bertrand's box paradox. The problem was originally posed in a letter by Steve Selvin to the American Statistician in 1975. ...
 
Rob
You pick a door, say door #1
And the host, who knows what’s behind the doors, opens another door, say #3, which has a goat.
 
oh, that problem
 
4:41 PM
Ah, here is our "Singleton FAQ":
 
Rob
He says to you, ‘Do you want to pick door number 2?’ Is it to your advantage to switch your choice of doors?
 
There's one big flaw in that problem.
 
183
Q: What is so bad about Singletons?

Ewan MakepeaceThe Singleton pattern is a fully paid up member of the GoF Patterns Book but lately seems rather orphaned by the developer world. I still use quite a lot of singletons, especially for Factory classes, and while you have to be a bit careful about multithreading issues (like any class actually), I ...

 
It assumes you don't want to win a goat.
 
Rob
LOL
 
4:41 PM
It is to your advantage, and the probabilities don't work out as you might expect
because the host did not pick a random door
he picked one he knows has a goat behind it
 
Rob
Yep, increases probability to 2/3
But anyone without some mathematical insight will argue it's 50% alllll day long
 
Yeah, having a spare goat can be useful.
 
@Rob Just like Erdos.
 
Rob
@RMartinhoFernandes Are you implying Erdos didn't have mathematical insight? :P
 
@Rob In fact, many people with a lot of mathematical background will argue that it's 50%. The problem is pretty simple: many people try to treat independent chances as dependent (when I flipped the coin, it came up heads the last 5 times -- there must be a better than 50% chance that it'll come up tails this time). People (especially with mathematical background) constantly have to argue against this.
Because of that, they assume that the choices are independent in this case as well -- but they're really not -- and the dependency makes all the difference in the world.
 
4:46 PM
> I don't agree with any of the points made above! Singletons are perfectly fine and justified in good designs and architectures!
 
Rob
@JerryCoffin Yea, it took me a while to figure that out the first time I was presented with it. And of course I made the same mistake before I was presented the solution.
 
@Rob No, I'm implying mathematical insight is not of much relevance.
 
@CatPlusPlus is that from that thread?
 
Rob
@RMartinhoFernandes I thought so
Just a little humor :)
 
4:47 PM
@Rob Maria Vos Savant also (rather more famously) got it wrong. Then when she published the correction, she got raked over the coals by quite a few mathematicians and statisiticians who got it wrong.
 
A lot of famous mathemagicians got it wrong.
 
And the guy recommends interfacing a singleton. How do you interface a singleton?
 
@CatPlusPlus singly
 
An interface with covariant getInstance? xD
 
Rob
@JerryCoffin I think I read about that. Wasn't it posted in a magazine / journal for mathematicians?
 
4:48 PM
Now you can switch any singleton to any other singleton!
That makes perfect sense!
 
you could do that in C++
 
an AbstractSingleton
 
Wouldn't that allow you to break the singletonness?
 
@Rob Her article was in a magazine targeted toward a more general audience, IIRC -- but one with a rather high-brow reputation, so apparently quite a few well-educated people read her column.
 
Rob
4:50 PM
Ah, alright
 
template<typename T> class BaseSingleton { virtual T& GetInstance() = 0; };
template<typename S, typename B> class Singleton : public BaseSingleton<B> {
    virtual T& GetInstance() { static S s; return s; }
};
 
you'd have to make sure that your abstract singleton is also a singleton, but then...
so is the opposite of a singleton a multiton?
or a manyton?
 
No, it's a good design.
A multiton is just a singleton with a bad case of multithreading.
 
Megaton.
 
4:52 PM
is that not a thousand metric tonnes?
 
Only if you use metric tonnes.
Or tons.
Or whatever.
 
or cats
 
There's ton of different "ton" units.
 
or tigers.
 
The ton is a unit of measure. It has a long history and has acquired a number of meanings and uses over the years. It is used principally as a unit of weight, and as a unit of volume. It can also be used as a measure of energy, for truck classification, or as a colloquial term. It is derived from the tun, the term applied to a barrel of the largest size. This could contain a volume between 210 and 256 gallons (800 to 1000 L), which could weigh around 2,000 pounds (900 kg) and occupy some 60 cubic feet (1700 L) of space. In the United Kingdom, the ton is a unit of measure which, ...
 
4:54 PM
It's usually used to denote the strength of nuclear explosions.
 
@TonyTheTiger In the area where "megaton" is usually used, a megaton only actually weighs about a ton (I.e., it takes about a ton of Plutonium to produce a megaton explosion).
 
Also it'd be a million tonnes. Kilo is thousand.
 
@JerryCoffin oh interesting
 
@TonyTheTiger Actually, thinking a bit more, that would only be true for a pure fission device, and based on uranium, not plutonium. A megaton-level device normally has a much smaller fission device, with some hydrogen and (if memory serves) some deuterium (or maybe tritium?) nearby. The fission device compresses the hydrogen enough to start a fusion reaction, which releases the much larger amount of energy.
 
@JerryCoffin Deuterium and tritium are hydrogen
 
4:59 PM
when talking about tonnage of nuclear bombs, then it's not about the weight ofthe bomb- it's the equivalent weight in TNT to produce the same destructive power
 
The lonely proton variant is called protium.
 
@RMartinhoFernandes Right -- but most of it is "normal" hydrogen, with only a much smaller amount of deuterium needed (and, IIRC, it's normally present in the form of "heavy" water).
 
5:12 PM
0
Q: calling external function from DLL with powerbuilder 10.0 error

James HallI have created a DLL using Visual C++ 2008 that creates to external functions. Using python I have created two separate executable functions to run these. When using powerbuilder to call the function, the first executable runs fine. The second executable results in a runtime error: error calli...

I'm sorry for posting this here.
I hope none of you has PowerBuilder traumas.
 
Never seen it.
 
Me neither, but I've heard a few war stories.
 
5:29 PM
Two more boats and I get a shiny! </badgewhoring>
 
5:59 PM
silence set in
 
6:12 PM
0
Q: Copy pointer to a pointer to a structure within a structure in C

HazHave two threads that need to access same global C structure. I need to copy values from the function into the following structure typedef struct { struct queue ** queue1; } my_struct; my_struct my_queue; my_func(struct queue ** queue2) { my_queue.queue1 = queue2; *(my_queue.queue1...

meh, this code just seems senseless, reallocating the first pointer with malloc and then assigning it to another pointer
confusion has set in, don't get it
 
Lol struct mmm.
 
func() {
unsigned char * workbuf = malloc(SIZE);
...
if (rand() & 1)
free(workbuf); //fun fun fun
}
 
I could use some demagicisation on this thing.
(Yes, that's a word. I've invented it.)
 
6:33 PM
@CatPlusPlus hmmm
 
> I did not make it far in this game, because one day I will die, and I refuse to go out thinking I spent one second more than I had to playing Bodycount.
ouch.
 
@hexa It doesn't look especially bad
 
hmmmm
 
its pretty bad
 
6:46 PM
my formal specification course sucks significantly less than I remember
 
dunno, maybe it gets much harder later on
 
Harder ⇔ sucks?
 
not necessarily
but can be
depends on if the subject matter is interesting
sucks = harder && !interesting;
ok, decoding arcane mathematical symbols is most definitely not interesting
 
7:03 PM
which arcane math symbols?
 
99% of them.
 
especially, they have this dot thing
let me show you
the fuck does that mean when it's at home?
 
the upside down A means "for all"
or for each
the caret ^ is the logical conjuction, so if A and B is true, than the result is true
the V is OR so if either A or B is true, then the result is true
 
@DeadMG What dot?
 
see? you can hardly even fuckin' see it
the one between the first Z and the second upside down A
 
7:10 PM
I don't see a dot
 
There are two.
 
Oh, that separates the quantifiers from the quantified things.
 
could be multiplication or dot product (NO, that's wrong)
 
I've seen commas and whitespace to separate clauses or whatever, too. Doesn't faze me.
 
it would be much clearer written in Java
 
7:11 PM
Those are middle dots.
 
@TonyTheTiger No not here. It's just a separator.
 
@DeadMG I assume you know all the other arcane symbols
if not
This is a listing of common symbols found within all branches of mathematics. Each symbol is listed in both HTML, which depends on appropriate fonts being installed, and in , as an image. : Symbols {| class="wikitable" style="margin:auto; width:100%; border:1px" ! rowspan="3" style="font-size:130%;" |Symbolin HTML ! rowspan="3" style="font-size:130%;" |Symbolin ! style="text-align:left;" |Name ! rowspan="3" style="font-size:130%;" |Explanation ! rowspan="3" style="font-size:130%;" |Examples |- ! Read as |- ! style="text-align:right;" |Category {{row of table of mathemati...
that's where I always look
 
I think they are separators for mathematical sentences.
Read : "let i relative, let j relative, some sentence about max(i, j)"
 
for each(i in Z)
    for each(j in Z)
        assert(!contains(max(i, j), Z);
        assert(!(max(i, j) == i || max(i, j) == j));
        assert(!(i <= max(i, j)));
        assert(!(j <= max(i, j)))
    end
end
 
Oh yeah that's readable.
 
7:14 PM
Surely.
 
General purpose programming languages are fine for general purpose programs. You don't have to use them for anything else.
 
That's so wrong. This reverse-A does not mean "for each".
 
could have used assert instead, I guess
 
That looks like C.
With error checking on every second line and all.
 
@kbok that's what it says in the Wikipedia link I posted earlier
so what would it mean then?
 
7:15 PM
yeah, but this mathematical statement is about error checking
 
Please don't mistake computer science with software development.
 
I wish that I could, but the work I've done in my CS degree makes it completely and abundantly clear that they are utterly unrelated
 
@TonyTheTiger Not in a "foreach loop" sense
 
well, not utterly, but not very closely
 
@kbok I didn't say that's what it meant
 
7:17 PM
> ∀ x: P(x) means P(x) is true for all x.
 
assert(!contains(max(i, j), Z); This is wrong.
And I'm not talking about unmatched waxes.
 
whoops, yeah, I noticed
can't edit it back to being correct, though
for each(i in Z)
    for each(j in Z)
        assert(contains(max(i, j), Z);
        assert((max(i, j) == i || max(i, j) == j));
        assert(i <= max(i, j));
        assert(j <= max(i, j));
    end
end
 
so are i and j indices or a range or what?
 
Just to make sure: you've used maths before? And I wouldn't need to ask this if you weren't a bad troll some of the time.
 
I have used maths before
 
7:18 PM
Well that's a relief.
 
@TonyTheTiger They're variables.
 
not particularly my thing, I much prefer code
 
some of these math things just boggle my mind
 
@DeadMG I assume you hate maths so much that you want to make it cry.
 
7:19 PM
I'm still wondering why the heck there's a true => X there.
 
I wouldn't mind
 
I quite like maths, just I get confused very easily
 
half the time you read a mathematical expression, you have to go looking up the definition of half or more of the operators involved
even a functional style, let alone imperative/procedural, would be far simpler
 
I just ignore it and move on.
 
yea that I agree with
 
7:21 PM
There's a thing called familiarity.
 
yeah, and it occupies space that I could really use for other, more important things
 
@RMartinhoFernandes That's a "it's always valid" construct. You can't write just a part of a predicate by itself AFAIR.
 
like attempting to understand the specific combination at hand
 
Also the complexity of the notation is tied to the complexity of ideas.
 
I'm not familiar enough with it, except perhaps with the symbols used in basic calculus
 
7:21 PM
If you have a crippled language, you can only express crippled ideas with it.
 
@DeadMG This kind of thing would be easily expressed in a logical language such as PROLOG.
 
@kbok Yes, that's why I was left wondering. Why not just assert the containment relation?
 
that explains why I hate it so much
 
maths does serve some useful purposes though
 
@LucDanton: True- but code, even pseudocode, in a functional or imperative style is far from crippled
 
7:23 PM
@RMartinhoFernandes Because it carries a value, and wouldn't mean anything by itself.
 
We should have for questions like this one: stackoverflow.com/questions/7262078/…
 
Ah, my personal experience disagreees. But my personal experience started with maths.
So when I program I do maths of a kind.
 
@CatPlusPlus It is, unfortunately, valid C++, and definitely C++
 
@CatPlusPlus
 
@kbok What? max(i,j) in Z certainly has a meaning by itself.
 
7:23 PM
@LucDanton That's (kind of) the Sapir-Whorf hypothesis -- which is generally considered discredited/disproven. The reality is that people seem quite able to express almost any idea in almost any language.
 
It asserts that the maximum of i and j is in Z.
 
@LucDanton Whereas I wrote code long before I saw any maths
admittedly, the only code I could write was insulting you if you identified yourself as a sibling, but still
 
@RMartinhoFernandes Yes, but with ^ and friends it doesn't.
 
7:25 PM
@JerryCoffin No, the hypothesis is that if you are a speaker of the language, your ideas are affected by the language. I only stated something about the expression of ideas -- even if you can't express something in a language, you might still be thinking of the idea; just not in terms of that language.
 
@kbok It doesn't? max(i,j) in Z ^ blah(i) asserts that and that i is blah.
 
I remember when I wrote something that could count from 1 to 10 or from 10 to 1 according to earlier input. SO MUCH POWER. Also those weird Pascal downto loops.
 
@JerryCoffin Also I didn't claim that some ideas can't be expressed at all. But when transposed to the language, they might be described as 'crippled ideas'.
 
No, it's a "and-like" expression. max(i,j) in Z. blah(i) asserts that.
The idea is it's not an assertion. You could deduce values of some parts of the expression if you have all the others.
 
the important thing is that if it's false, bad things happen
that's an assertion
 
7:29 PM
e.g. you have true => A ^ B. If B is true then A is also true. If B is false then there is an error, so you have to come back in whatever your algorithm is and change things.
 
@LucDanton Let me put my point rather differently: I think a close analog of Turing completeness can be applied outside of pure programming languages, so languages basically fall into two classes: those that can express absolutely anything, and those so crippled they can express virtually nothing at all.
 
Also if A is true then B is true. It's much more powerful than an assertion.
This is very useful in combinatory logic because if a predicate is erroneous, you can use backtracking to come back to where you made a supposition. That way, use can use deducing logic as well as what could be called brute-forcing.
But you don't have to use one or the other. You just enter a set of truths, and the engine works it out by itself.
 
Can we switch back to English now?
 
@JerryCoffin I see. My take was more about power of expression than expression/no expression.
 
I'm sorry, I only speak Englisch.
 
7:35 PM
Ah well you already got that I think.
 
This guy:farlandsorbust.com is planning a long trip to the border of Minecraft land.
 
7:53 PM
Intro to C++ http://t.co/x5RGsGm
 
using namespace, system("PAUSE"), yup, it's a C++ course all right.
 
Hey guys
If I want to use remove_if on a list of custom class objects, how do I pass the custom object into the Predicate pred in

ForwardIterator remove_if ( ForwardIterator first, ForwardIterator last,
Predicate pred )
 

« first day (319 days earlier)      last day (4630 days later) »