This is a thread meant for simple questions and simple responses, preferably links to educational resources.
I figured maybe other people are like me and have some small questions they don't know where to put and that don't merit their own thread. Ok, so I know that there are those that get frustrated with the stupid questions, so I thought by giving the thread this title perhaps those aggravated by such things may take the hint, and those of use with a stupid /prog/ related question may choose to use this thread to ask them in relative safety! A reasonable idea? We shall see!
Whether you're new to /prog/ or not, at some point you have probably had a question that you thought was stupid and didn't really want to start a thread for it, and didn't want to hijack someone elses thread either.
Here is your chance to claim "stupid question amnesty" and help others with the same question find educational content at the end of a quick search.
Maybe it will work and prove to be a great resource. Maybe it will get buried with no activity whatsoever only to get necro'd 3 years from now, mocking it's failure. (in which case I will claim amnesty)
I've always told people when they prefaced a question with "this is a stupid question..." by saying there are no stupid questions, just stupid people. It gets a laugh. So I've always been careful of not saying this may be a stupid question.
Here's a place for new owners to ask those "stupid" questions. The kind you're embarrassed to ask for fear of being laughed at, or lectured for being such a noob.
Then hopefully some wise /prog/rider who, feeling ambivalent or simply bored, cruises by might share said wisdom with grace and style.
Someone please ask a stupid question. I'm jealous of the people who can answer the smart ones.
Lets all work together to give answers where we can without speculating. If you don't know, don't answer. If you do, let's get these stupid questions out there and answered!
Remember, the only stupid questions are the ones you don't ask.
Name:
Anonymous2015-03-27 5:15
That's a very long winded way of saying ``Post stupid questions that don't deserve their own thread here''.
Name:
Anonymous2015-03-27 5:44
What/how to Coq and where can I learn it? A beginners tutorial please.
Name:
Anonymous2015-03-27 6:06
>>3 Your dad didn't teach you about Coq? Well in that case I suggest browsing the Internet for some material about Coq then playing with Coq until you get the hang of it.
Name:
Anonymous2015-03-27 8:03
>>4 Everyone should touch a Coq to get a feel of what they're missing in their career.
>>4,5 God damn it stop it with the Coq jokes, I seriously want to know more about you-know-what.
Name:
Anonymous2015-03-27 9:49
>>6 Why are you too lazy to search for Coq yourself? You want a Coq on silver platter and personal Coq wizard to satisfy your questions?
Name:
Anonymous2015-03-27 11:07
By the way, I remember that Coq had some sort of a hilariously named debugger or profiler or something, but I can't remember or bing what it was exactly. Does anybody know what I'm talking about?
Name:
Anonymous2015-03-27 12:55
I'm thinking about outsourcing my trolling. Looking for a cheap service but hopefully one that goes beyond name calling and meme spewing. Any good ones you ca recommend?
One useful application of coqmktop is to build a Coq toplevel in order to debug your tactics with the Objective Caml debugger. You need to have configured and compiled Coq for debugging (see the file INSTALL included in the distribution). Then, you must compile the Caml modules of your tactic with the option -g (with the bytecode compiler) and build a stand-alone bytecode toplevel with the following command:
% coqmktop -g -o coq-debug <your .cmo files>
To launch the Objective Caml debugger with the image you need to execute it in an environment which correctly sets the COQLIB variable. Moreover, you have to indicate the directories in which ocamldebug should search for Caml modules.
A possible solution is to use a wrapper around ocamldebug which detects the executables containing the word coq. In this case, the debugger is called with the required additional arguments. In other cases, the debugger is simply called without additional arguments. Such a wrapper can be found in the dev/ subdirectory of the sources.
>>16 Up to 1991, Coquand was implementing a language called the Calculus of Constructions and it was simply called CoC at this time. In 1991, a new implementation based on the extended Calculus of Inductive Constructions was started and the name changed from CoC to Coq, also an indirect reference to Thierry Coquand who developed the Calculus of Constructions along with Gérard Huet and the Calculus of Inductive Constructions along with Christine Paulin.
God's design was that men would do the heavy lifting/heavy work, and women would give birth. That's why men were made muscular and women were made with small upper bodies and larger hips.
>>25 I find you typist comment deeply triggering. All types are equal
Name:
Anonymous2015-03-28 14:14
>>28 Sure they are. Just like all cultures are "equal" and all races are "equal".
Name:
Anonymous2015-03-28 14:27
Carl Sagan wasn’t perfect by any means (you just have to look at his treatment of his first and second wives and his attitude towards women pre-Druyan to see that)
According to Sagan, they were Reform Jews, the most liberal of North American Judaism's four main groups. Both Sagan and his sister agreed that their father was not especially religious, but that their mother "definitely believed in God, and was active in the temple ... and served only kosher meat".
Why would we lament the death of another racist scumbag? Judaism is a religion of hate and Jews are racists (they marry only other Jews).
Name:
Anonymous2015-03-28 14:58
Some of the most interesting observations of Carl’s personality I received came from e-mail conversations with Ann Druyan. Although he had no belief in God whatsoever, and considered most of the tenets of religion a tissue of illusions, Ann set the record straight on how important Sagan’s Jewish heritage was to him (in part, countering the suggestion by his biographers that Sagan hid his Jewishness in the interest of career ambitions):
Carl was always completely out front about being Jewish. (And believed that his face was a gloriously unsubtle declaration of his origins.) It was his primary cultural identity. All three of his wives were Jewish, each wedding presided over by a rabbi. Our homes, replete with menorahs, yearly seders, etc. identifiably so. One of Carl’s few unrealized lifelong goals was the writing of a new Haggadah. His conversation was dotted with Yiddish words and phrases. A check of his remarkable vita will reveal that he was repeatedly honored by Jewish organizations, and went to considerable effort when he was gravely ill to be included in a Life magazine book and feature on American Jews of distinction.
/prog/, what was that language someone posted here recently, that looked like C with Lisp syntax? Someone also commented that finally someone reimplemented Sepples in C as macros.
>>41 They might date and fuck, but they never marry and have children with non-Jews. They wouldn't be able to survive as a people if they did.
Carl was always completely out front about being Jewish. (And believed that his face was a gloriously unsubtle declaration of his origins.) It was his primary cultural identity. All three of his wives were Jewish, each wedding presided over by a rabbi
Jews were a minority in every country they lived in for more than a thousand years. If they didn't observe strict racism in their marriages, they would quickly get diluted and assimilated into their host ethnic groups, and there would be no Jews today.
>>42 Please explain the reason Muslim sandniggers haven't died out yet if they exclusively marry those of their own shitskin.
Name:
Anonymous2015-03-28 18:24
check 'em
Name:
Anonymous2015-03-28 18:26
>>43 1. They marry anyone, not really racist like Jews. 2. How is exclusively marrying those of one's own shitskin related to dying out? It might cause proliferation of dangerous genetic diseases, yes - and many Jews suffer from those, because centuries of marrying only within their small local communities - but it does not cause extinction.
A 2013 survey conducted in the United States by the Pew Research Center’s Religion & Public Life Project found that intermarriage rate to be 58% among all Jews and 71% among non-Orthodox Jews.
Islamic scholars generally forbid Muslim women from marrying non-Muslim men
You're a fucking idiot. These two cultures can have both overly conservative followers and secular people. How about you shut up about your beloved Jews once in a while?
Name:
Anonymous2015-03-28 19:53
>>45 By your logic, it's completely impossible for anyone to be 50% Jewish. You must be either 100% Jewish or 0% Jewish, since Jews won't marry non-Jews under any circumstances. Just so you know, I've seen many quarter-kikes in my life.
In the early 19th century, in some less modernised regions of the world, exogamy was extremely rare - less than a tenth of a percent (0.1%) of the Jews of Algeria, for example, practiced exogamy.[44] But in the early 20th century, even in most Germanic regions of central Europe[45] there were still only a mere 5% of Jews marrying non-Jews.
Although this seems to have changed in the recent times:
The 1990 National Jewish Population Survey reported an intermarriage rate of 52 percent among American Jews.
...but the wise racist Jews rightly view this as a threat to their identity:
The possibility that this might lead to the gradual dying out of Judaism, much like the historic fate of Arianism, is regarded by most Jewish leaders, regardless of denomination, as precipitating a crisis. For this reason, as early as the mid 19th century, some senior Jewish leaders denounced intermarriage as a danger to the continued existence of Judaism.
So it's not that Jews have never been racist, it's that they have been racist for centuries, and view the recent decline in Jewish racism as a dangerous condition (which might be the reason Israel does all it can to not accept any African immigrants).
Islamic scholars generally forbid Muslim women from marrying non-Muslim men
Of course they do, but that is a religious restriction, not an ethnic one. Any Arab will gladly marry a white or a black woman if she converts to islam.
In the United States, because of intermarriage, the population of "half-Jews" is beginning to rival that of Jews with two Jewish parents. Self-identified "half-Jews" consider the term a familial category, which reflects multiple heritages and possible Jewish cultural or spiritual practices.[98][99][100] Other similar terms that have been used include: "part-Jewish" and "partial-Jews". The term "Gershom", "Gershomi" or "Beta Gershom" has also been used as an alternative to "half-Jewish" and "part-Jewish" in connection with descendants of intermarriage, Gershom being the son of Moses and his Midianite wife Zipporah.
>>59 Because when you fill an anonymous board with ironic shitposting, eventually it will be overrun by unironic shitposters who believe themselves to be in good company.
Name:
Anonymous2015-03-31 23:29
the irony is a lie
Name:
Anonymous2015-04-01 9:13
>>63 This doesn't change the fact of Jewish oppression on the Western civilization.