The atmosphere of /prog/ is not always welcoming to beginning programmers, so I hereby proactively create this thread as a safe place for beginning programmers. You may use this thread to discuss your experiences, feelings, and questions relating to your entering of the field of programming. Should you encounter any difficulty on your journey to becoming a computer scientist, have no fear, and post in here! However, try to keep the questions concept oriented, or on personal projects. It isn't enjoyable to do someone's homework for them. Special priority will be given to NEETs and those without access to an educational institution.
Name:
Anonymous2014-05-26 22:35
Why did Jews invent the axiom of choice? Sets are everywhere and now we have stupid shit like the the Banach-Tarski paradox. However, ``obvious'' things like every vector space having a basis imply the AC. WHAT THE FUCK, MAN? I CAN'T LAUGH AT THIS SHIT BUT I DID FELL OFF MY CHAIR.
BTW is that true about vector spaces and implying AC? I'd love to read about that. It feels like faulty logic though, I mean given a vector space you should be able to simply compute a basis, no?
>>14 That looks nice since it does both Android and iOS, but I didn't see any documentation on how to monitize webapps.
Name:
Anonymous2014-05-27 17:55
Is GC shit?
Name:
Anonymous2014-05-27 17:58
>>16 protip: pretty much all languages other than asm and C have it.
Name:
Anonymous2014-05-27 18:21
>>17 some asm for VMs or systems with hardware GC have GC some C libraries have RC-GC
Name:
Anonymous2014-05-27 19:37
U MENA C--
Name:
Anonymous2014-05-29 0:57
I come from a python background and am currently learning C. It's simple enough so far. But I was wondering if anything more than basic logic will carry over to C from the python experience I have.
Name:
Anonymous2014-05-29 0:59
>>20 nope. python is shit. everything you learned from it is worthless and won't carry over to anything
Name:
Anonymous2014-05-29 1:07
>>21 So my best bet is to focus on C like it's a whole new world?
Name:
Anonymous2014-05-29 1:37
Give me one good reason why you're not haxing my anus.
>>17 But that doesn't answer the question in any ways. The programming industry loves feces, and GC just might be one of its kinds.
Name:
Anonymous2014-05-29 5:40
>>17 Ada doesn't have forced GC. C++ doesn't have forced GC. Rust has recently gotten rid of forced GC. Where do you get your info, some shitty javablogs?
Name:
Anonymous2014-05-29 11:10
>>26 c++'s rare exception you know you're wrog about ada, rust? pretty much ALL languages
>>34 It's not quite like you suggest. Did you know ~ is gone and there was (is?) talk about moving owned boxes out to a library as well? A lot of things were put in libraries—important things, like concurrency—not to play them down but to manage them better. Concurrency became even better for it. GC did too; now it's pluggable.
GC was put into a library because it was possible. The only question was, is Gc<T> acceptable for users? The answer is yes, and so is box T. In the end, people who wanted GC lost nothing, save for a shorthand. There are two less pointer sigils and consequently nobody brings up Perl anymore.
Name:
Anonymous2014-05-29 14:43
>>21 roflel u plebby mcpleb all languages are pretty much the same except for some minor details, all that matters is algorithms
Name:
Anonymous2014-05-29 15:11
>>35 What the fuck, ~ is gone? So they're turning it to C++ then, with all of its "weak_ptr" ugly syntax. Guess I should've known not to expect anything good from Mozilla.
>>38 It's syntax that will constantly, permanently get in the way. I don't want to write
(owned_box<Foo> x, owned_box<Bar> y, owned_box<Baz> z)
when
(~Foo x, ~Bar y, ~Baz z)
could be written instead.
Name:
Anonymous2014-05-29 15:43
Fucking idiots. Uniqueness is a type modificator and should take the least visual space possible. With the current shitty syntax it might actually take more space than the name of the whole type:
Box<A>
Imagine if mathematicians couldn't write negative numbers like "-5" and instead had to use "minus<5>".
Fucking pathetic idiots will turn Rust into a C++ imitation.
Name:
Anonymous2014-05-29 16:02
>>40 Strange that you're so worked up about Rust syntax when it's an Algolian crapmound with
Cons(1, box Cons(2, box Cons(3, box Nil)));
No infix operators, fucking parentheses and curly braces everywhere - and you're saying that it's turning into a pathetic C++ clone just now?
>>39 It's box T. And you won't write it frequently enough to matter. 99% of the time you want a borrow (if not just a plain value), which isn't changing. The idea is partly to get people to stop heap-allocating everything. And yes, you can borrow stack variables.
BTW, neither of your examples are anything like Rust syntax. I hear a lot of complaining that Rust is going all C++, yet Rust has done away with type/variable juxtaposition. It uses ML-style type annotations instead.
>>45 There's no need to annotate the LHS, you would write let foo = box 10; in real code.
Name:
Anonymous2015-04-18 15:46
Hello /prog/, a Coq question (second exercise page 20 Coq in a hurry).
I'm trying to prove the following: forall A B C D: Prop,(A->B)/\(C->D)/\A/\C -> B/\D That is, in Coq, I have Coq < Lemma example forall A B C D: Prop,(A->B)/\(C->D)/\A/\C -> B/\D. 1 subgoal ==== forall A B C D : Prop, (A->B)/\(C->D)/\A/\C -> B/\D example < intros A B C D H. 1 subgoal
A : Prop B : Prop C : Prop D : Prop H : (A->B)/\(C->D)/\A/\C ==== B/\D example < destruct H as [H1 [H2 [H3 H4]]]. 1 subgoal
A : Prop B : Prop C : Prop D : Prop H1 : (A->B) H2 : (C->D) H3 : A H4 : C ==== B/\D example < Now what? I simply want to prove that having A and A->B as hypothesis gives us B.
Then I use split. apply H1; assumption. apply H2; assumption. Qed.
Thanks for reading, but I solved my problems while writing this post. I realized that I had to destruct H as [H1 [H2 [H3 H4]]] and not as [H1 H2 H3 H4], as I originally tried to do (gave me errors ofc).
I'm trying to set up a Kareha board and have literally zero idea what I'm doing. I've already gone through the documentation to no benefit. Currently have a domain that I can mess with via cPanel, and I've downloaded the Kareha stuff.