λ - programming

t. Terry

>>10358
nice

>>9275
>It requires knowledge of Coq

Do you happen to know of a good introduction? I've been getting into formal methods and static analysis and I would like to try my hand at Coq (no pun intended Present Day, Present Time! AHAHAHAHAHA!

>>10360
wut — well something weird happened there with my post

>>10358
Donald Knuth would agree.

>>10361
pointy nose meme smiley is word filtered

I know Paul Graham can get a lot of hate, but his book Hackers and Painters has some interesting insights on computer life and the industry.

Present Day, Present Time! AHAHAHAHAHA!

>>237
Oh joy! Love the illustrations in it. Reminds me of Phil Foglio.

>>10377
Really interesting book, must get it!

And fuarrrk this modern society where everything is geared for the lowest common denominator of the latest fad.

And who is the ultimate "nerd"? Not some NUUURRRDDD. But the ultimate.

A doctor. Med students has to cram tomes upon tomes of for years, and that's only the basics.

On the other hand, a good doctor is trained to...no, simply forced to...to give simple answers to simple questions. Because the patients themselves are laymen. The doctor must also be able to put himself in the shoes of the patient.

Let's say that a patient has a bad elbow from playing tennis the wrong way. The doctor can't treat the patient as a kid who should stop being a dum-dummy. The doctor must understand that for the patient, having a bad elbow is horrible. And on the other hand, the tennis jock can't blurt out that reading is for fags. At least not to the doctor. The doctor and the patient are different but respectful of each other.

And because some techies are simply totally worthless at giving simple answers to simple questions, they are by all rights despised. The other day on that other image board, I asked a simple question about a one-shot solution for coding in C. Should be simple yes? Anonymous image board. If you don't know nor care about the question, don't answer. If you know the answer, answer. Or if you aren't sure about what that Anon asked, ask control questions.

Not for that image board. I had to drag the answer of Code::Blocks from them. Just because I think that bashing commands on some terminal isn't coding.

>>212
Why the use of braille on the cover?

>>10511
Some design thing. The letters in both braille and binary. Pretty cool.

>>10511
Braille is discussed in the book as an example. The author would wanted to include it, but it costs too damn much.

>>10510
You don't *need* to get it, his book is just a collection of his online essays.

The essay in the picture is here:

http://www.paulgraham.com/nerds.html

>>10518
BTW another cool thing about Graham is that he's a big Lisp advocate. In fact his wealth comes from his 90s start up that was built on Lisp!

>>10519
And he invented the y-combinator too!

>>10518
Thanks, but I'll probably buy it anyway.

>>10519
Cool dude! B-) Maybe I'll look into Lisp after getting the hang of C.

>>10520
That was Curry, mate.

Does anyone know of a good book/resource on Make?

>>10758
The documentation from GNU is fantastic (assuming you use gmake).
https://www.gnu.org/software/make/manual/make.html
Something like this is good too when starting out.
http://learnxinyminutes.com/docs/make/
If you're using gcc make sure to generate dependency files too.
https://stackoverflow.com/questions/11855386/using-g-with-mmd-in-makefile-to-automatically-generate-dependencies

>>944
It seems like you pay someone to do it for relatively cheap. http://1dollarscan.com/pricing.php

(I noticed your post is from 5 months ago. Still there lainon?)

>>3908
Will this be very useful for me if I don't know any math beyond pre-calculus?

>>10770
>The documentation from GNU is fantastic
This so much. All of the GNU utilities have great manuals.

>>10826
Probably. It's not so much about math as about programming and writing correct-by-design code. Although, if you want something more 'contemporary', give 'Software Foundations' by Benjamin Pierce a go.

>>10850 (accidentally posted in the wrong thread)

Here's part one of an article series talking about good computer, programming and math books. Dude seems passionate about his books: http://www.catonmat.net/blog/top-100-books-part-one/

sadly, he's only at part 4 (= 20 titles) and that was quite a while ago. He originally intended to talk about a 100 books

Here's part one of an article series talking about good computer, programming and math books. Dude seems passionate about his books: http://www.catonmat.net/blog/top-100-books-part-one/

sadly, he's only at part 4 (= 20 titles) and that was quite a while ago. He originally intended to talk about a 100 books

Fuck books in the era of the Internet.
Just follow tutorials on various websites and you'd be okay.
Also, though there are some good ideas in SCIP, its meme statue made it become a brewing soykaf ecxuse.

>>10991
Tutorials teach tools; books teach ideas.

>>10828
It feels like even the man pages are better. I was reading the man page for wget last night and it was beautiful.

Thougths on this one?

>>11001
I enjoyed both that book and its predecessor.

They are valuable for learning both Forth and valuable programming practices.

I read the updated version from sourceforge and I hope you will too.

Found this on the Gentoomen library.
Most of these look good.

>>11518
>LoL
>not PCL
>two haskell books
trash

>>11531
>my opinion > your opinion
You should just go back whence you came.

>>6422
“design patterns” are concepts used by people who can’t learn by any method except memorization, so in place of actual programming ability, they memorize “patterns” and throw each one in sequence at a problem until it works

>>6422
Yeah, they are biased towards object-oriented languages in general.

In the GoF book the authors say that if we want to implement the patterns in a non-OO language (e.g. a procedural language) we would need to implement the patterns of "inheritance" or "polymorphism" by ourselves.

I'm sure functional languages have their own design patterns, for example.

>>11542
You could say the same about algorithms, after all a while, a smart student could eventually "discover" quicksort or red-black trees.

The thing is that in every craft one builds on what our predecesors built/discovered. To learn design patterns is just a matter of efficiency when solving common problems.

"People who can only learn memorizing" have problems waaaay before reaching design patterns, they cannot understand that a while loop can be applied to iterate a linked-list and not only an array, to give a real example.

>>11551
** Red-black trees when learning about data-structures, obviously. Forgot to add that.

simply based

>>11542
Design patterns are specific ways of organizing a problem that provides the best abstraction to implementation methodology. Often this isnt' born out of a deficit in something personal to an /individual/ but intead gleaned by experience as generally the bets way to represent a problem.

Take the MVC pattern. A common pattern that programmers en masse have learned is a generally efficient and less error prone way of dividing the roles an application has. This way you can swap out the View for another should the medium of expressing information changes (i.e. curses interface vs. GUI vs. Web Page).

Instead of involving all 3 at the same time, you avoid tight coupling of code. These are just dead simple programming concepts taught at Comp Sci 101/102 levels.

Relegating design patterns as "hurr it's for people who can't program in the first place." completely avoids the massive amount of experience put into patterns in general. They're general solutions to general problems, and it says nothing about programmers as a whole (those who use them). That would a sweeping and erroneous generalization.

>>11798
I actually read this and it was not bad at all.

Attached is a great continuation after getting some SQL experience.

Dinosaur book not on the list
serious bug needed to be fixd

anyone have literate programming by donald knuth?

>>231
Got this in english and swedish, and...

>>2466
...this one in swedish. (Interesting, but I can't understand why Stroustrup insists on printing his code examples in the same font but bold and italic.

>>227

This always makes Romero seem like such a frumpy little turd in my opinion.

>>10358
Silly man, we all know that god only speaks through randomness.

>>10360
I need some harder coq books. I've already taken too many courses of coq. My knowledge isn't so narrow or tight any more that I can be satisfied by only one.

>>12397
You're asking strangers on the internet to direct you to the hardest coq they can find?

>>12398
That sounds so dirty.

>>10360
>Do you happen to know of a good introduction?
Benjamin Pierce's 'Software Foundations' is great: https://www.cis.upenn.edu/~bcpierce/sf/current/index.html
There's a new text in preparation, too, 'Programs and Proofs: Mechanizing Mathematics with Dependent Types' by Ilya Sergey: http://ilyasergey.net/pnp/ It's decent so far.

>>12397
Have you read Coq'Art?