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.