[ art / civ / cult / cyb / diy / drg / feels / layer / lit / λ / q / r / sci / sec / tech / w / zzz ] archive provided by lainchan.jp

lainchan archive - /λ/ - 14991

File: 1458109966118.png (2.77 MB, 200x200, The C Programming Language.pdf)


Last thread about programming books died so here's this one.

To start, anyone have books related to C and/or Unix programming?


File: 1458123400867.png (6.92 MB, 200x200, The_Linux_Programming_Interface.pdf)

like this one?


File: 1458123650999.png (378.94 KB, 200x200, Unix_Toolbox.pdf)

That was The Linux Programming Interface, by the way, a book about syscalls (calls to the kernel)
Here's Unix Toolbox, mostly useful shell commands


File: 1458181218158-0.png (5.69 MB, 200x200, 21st Century C; C Tips from the New School (Second Edition) - Ben Klemens.pdf)

File: 1458181218158-1.png (5.87 MB, 200x200, Practical C Programming (Third Edition) - Steve Oualline.pdf)

Last thread was great, so I guees it's time to show some gratitude. Documets included:
C Programming: A Modern Approach
21st Century C: C Tips from the New School
Practical C Programming


File: 1458182138751-0.png (2.14 MB, 200x200, Expert C Programming; Deep C Secrets - Peter van der Linden.pdf)

File: 1458182138751-1.png (7.34 MB, 200x200, Understanding and Using C Pointers; Core Techniques for Memory Management - Richard Reese.pdf)

File: 1458182138751-2.png (9.9 MB, 200x200, Linux System Programming (Second Editon) - Robert Love.pdf)

First one didn't come throgh, probably because it's a 100MB scan. Oh, well. For now I'll continue with some more advaced stuff and second Linux book. Included:
Expert C; Programming: Deep C Secrets
Understanding and Using C Pointers: Core Techniques for Memory Management
Linux System Programming (Second Edition)


File: 1458192680109.png (5.89 MB, 200x200, The-practice-of-unix-administration.pdf)

Outstanding. Especially that book on pointers.
There isn't much love for C lately, I'm glad we still have some soldiers who appreciate the beauty of C programming


File: 1458195170818-0.png (40.55 KB, 133x200, Purple_dragon_book_b.jpg)

File: 1458195170818-1.png (22.86 KB, 132x200, The_Elements_of_Programming_Style.jpg)

File: 1458195170818-2.png (28.01 KB, 159x200, tpop.jpg)

Requesting the following:
* Compilers: Principles, Techniques, and Tools (aka The Dragon book)
* The Elements of Programming Style
* The Practice of Programming


File: 1458208808110.png (4.86 MB, 200x200, ALSUdragonbook.pdf)


File: 1458358692593.png (4.83 MB, 200x200, Practice of Programming, The - Brian Kernighan, Rob Pike.pdf)

Seconding request for The Elements of Programming Style.


File: 1458416490444.png (1.21 MB, x, Kernighan,_Plauger_-_The_Elements_of_Programming_Style.djvu)


Anyone know what I would need to know for rendering a pdf with a SOC

Don't know squat about vector/raster rendering; Not sure if I'd be fine if all I did was pick up a book specifically on that, and read the pdf specs.

End goal would be to render on e-ink displays.


I'm making C my first language due to my love for Unix/Linux and want to make software for it.

I don't think C will be allowed to die out for many years at least. Nobody seems capable of making a true successor. Rust, for instance.

Polite sage


Forth can but bug free programs turn in lower profits



The Web Application Hacker's Handbook: Finding and Exploiting Security Flaws


I've never heard anything of Forth before, but it seems to be older than C (1970 vs 1972) and I honestly can't understand a thing when I look up examples.
But regardless, I meant a more modern example, something that was actually intended as a C replacement that's able to accomplish just that.



Also, can you explain what you meant by "bug free"? Because I don't believe that's even possible.


I'm not >>15138, but it's great to see other Forthwrights here.

>I've never heard anything of Forth before, but it seems to be older than C (1970 vs 1972) and I honestly can't understand a thing when I look up examples.
Forth is a stack-based language. It uses RPN (Reverse Polish Notation), instead of infix notation.
In C, you would add two numbers like so, 1 + 2, while in Forth that would be done as 1 2 +.
Forth also has little syntax beyond space-separated text. Declaring a string is done as such:s" string" Notice the space between s" and the rest of the text; this is so the system can recognize the word, which then simply collects characters from the line until it sees a double quote or newline.
>But regardless, I meant a more modern example, something that was actually intended as a C replacement that's able to accomplish just that.
Does a language need to be designed to replace C to do so? That's actually a rather vague goal, as C was designed to implement UNIX in a higher language than PDP assembler language.
You may find it interesting to know that Forth can run in environments that C can't, because the environments are so constrained. It is also noteworthy that standardized Forth, ANSI Forth, isn't necessarily what is meant when people talk about Forth. Forth is basically a minimal stack machine and it's been said that there are more implementations of the language than there are other programs written in it. This is because a Forth is very easy to define.
Several Forths fit in less than 1K. One reason Forth doesn't have a null pointer, like C, is because a Forth program may run in environments where one memory address, 0, constitutes precious resources.

>Also, can you explain what you meant by "bug free"? Because I don't believe that's even possible.
I can't speak for him on this, but here's a C. A. R. Hoare quote:
>There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies. The first method is far more difficult.
Forth really stresses the former approach. It's also a practical concern, as word definitions longer than a line or so very quickly become hard to understand well.
In well-written Forth, most words, if not all of them, will fit on one 64 character line. This, along with a lack of typing, makes it very easy to prove that your word works in all instances.

You may also find this page, written by the creator of Forth, Chuck Moore, interesting:


File: 1458799180594.png (14.67 MB, 200x200, The Web Application Hacker's Handbook: Finding and Exploiting Security Flaws.pdf)



File: 1460052896969.png (11.57 MB, 200x200, Der_Turing_Omnibus.pdf)

I hope you can read german!


hey, does anyone here have python resources they recommend?


File: 1462715353701-0.png (2.09 MB, 200x200, Python Programming: An Introduction to Computer Science (Second Edition) - John Zelle.pdf)

File: 1462715353701-1.png (794.69 KB, 200x200, How to Think Like a Computer Scientist (Think Python, Second Edition) - Allen Downey.pdf)

File: 1462715353701-2.png (4.38 MB, 200x200, Quick Python Book, The (Second Edition) - Vernon Ceder, et al.pdf)

I assume that you ask for some typical beginners literature, so I'll drop here something for you to choose from. Can't really recommend anything if I don't know what and how you want to learn. I scrubbed some more advanced and domain specific things from recent threads, so hit me up if you need something different. When it comes to absolutely basic courses http://learnpythonthehardway.org/book/ is widely respected as far as I know. Big O'Reilly Python book is already on the fileboard (https://lainchan.org/f/src/1452699498430.pdf) and it should be good reference at any stage. Python online courses discussion thread started on /lam/ just yesterday (https://lainchan.org/%CE%BB/res/16203.html), so you can check it out for information if the book learning approach doesn't suit you after all.


thanks! this is all super helpful!


File: 1462750822880.png (37.96 KB, 200x134, i4ssh.jpg)


File: 1463881977886.png (9.32 MB, 200x200, Developing with PDF - Leonard Rosenthol.pdf)

It's been awhile, and I don't know if it'll help with anything, but I'll just leave it here.


that's second Edition. According to Wikipedia it's a lot different than 1st Edition.


Sorry, but I can't resist asking: is it bad or otherwise worth mentioning? Because it seems it's the exact edition that was requested. Polite sage.


2nd ed is all over the net, literally googling it gives you couple of pdfs.

but yeah, the guy requesting should correct himself.

>announcing sage


File: 1464667344221.png (730.4 KB, 200x133, f11151092e8d92b0d6a8351c4459941e.jpg)

Anyone have a pdf of the 4th edition of Stroustrup's The C++ Programming Language?


File: 1464703448485.png (18.76 MB, 200x200, The C++ Programming.Language.4th.Edition.Jun.2013[A4].pdf)


File: 1464746274038-0.png (1.67 MB, 200x200, Latex.pdf)

File: 1464746274038-1.png (2.3 MB, 200x200, ElementaryLinearAlgebra.pdf)

Not so Short Introduction to Latex.

Also Linear Algebra text for people looking for a good intro to vector spaces, matrices, eigenvectors etc.


What are some recommended introductory books to Python?

I already have SICP for general programming but I'm interested in getting into Python specifically


Allen Downey - Think Python, good general compsci text available for free. short and sweet.

I would recommend looking at that before SICP personally.

Mark Lutz - Learning Python, a comprehensive beginners guide/reference to the language and only the language.

and once you have written some code, check out:

Brett Slatkin - Effective Python

that said, there are a LOT of python books out there these days so do have a skim of other stuff out there in case you find something more suited to you as a learner. good luck.


File: 1464773220379.png (53.58 KB, 112x200, massiveskeletonboner.jpg)


Thank you, I appreciate your help!


anyone have C Programming: A Modern Approach?


Second time I have trouble with uploading this here for whatever reason. Shouldn't filesize limit be 100MB or is it just for /f/? Anyway, I've left it on one of the the old /f/ threads for you (https://lainchan.org/f/res/131.html#292), because I didn't wanted to make more mess - there should be some rules for making threads on /f/ IMO.




Anyone have Advanced computer architectures : a design space approach by D. Sima (Deszo)
T. J Fountain (Terry J.); Peter Kacsuk?
This book seems so rare and I can't seem to find it anywhere.


>You may also find this page, written by the creator of Forth, Chuck Moore, interesting:

Site is down :(


File: 1465538669818-0.png (1.86 MB, 200x200, thelinuxcommandline.epub)

File: 1465538669818-1.png (5.19 MB, 200x200, silenceonthewire.epub)

File: 1465538669818-2.png (2.14 MB, 200x200, smartgirlsguidetoprivacy.pdf)

bunch of books from recent humble bundle 1/?


File: 1465538934501-0.png (1.33 MB, 200x200, hacking_artofexploitation.epub)

File: 1465538934501-1.png (499.6 KB, 200x200, designingbsdrootkits.epub)

File: 1465538934501-2.png (3.34 MB, 200x200, blackhatpython.epub)




File: 1465539003456.png (23.71 MB, 200x200, bitcoinforthebefuddled.epub)



File: 1465539362593-0.png (5.38 MB, 200x200, pythoncrashcourse.pdf)

File: 1465539362593-1.png (9.27 MB, 200x200, practicalmalwareanalysis.pdf)



Requesting a good book on java. The only one I have currently is java 5.


File: 1465727419196.png (2.79 MB, 200x200, Effective Java Programming Language Guide - ISBN 0201310058.pdf)

Download links for epub or mobi are available.

And the classic, Effective Java by Joshua Bloch


thank you




File: 1466480666950.png (535.48 KB, 200x160, forest.jpg)

Has a lain read "Programming Collective Intelligence".
Perchance do you have the pdf?


>learn C as first language
>understand the most ubiquitous language in the world
>able to apply your new skills to learn a vast array of popular C-based languages

>learn Forth as first language

>no real-world software uses it
>can't carry over what you've learned to other languages; have to start from scratch

I mean shit, if you already know how to program and want to learn something interesting, go for it. But for the love of God, don't make some obscure language from the 70s be your introduction to programming.


hey! Scheme is a damn good introduction to programming!


Scheme and Lisp aren't obscure languages that no one uses. They're mostly just academic.


File: 1466720957755.png (376.98 KB, 128x128, 1418779185909.jpg)

> implying that C isn't older than forth


Forth is a year or two older than C, but I was also wondering about that discrepancy in their post.


Except that C is used everywhere and FORTH nearly nowhere.
And with C you actually learn how the memory matrix of a process works. With forth you only have a couple stacks and a dictionary.
Even if you never use C (I'd be hard pressed to think anything outside kernel hacking and maybe compilers that is worth doing in C) you learn a lot of stuff you didn't know by learning C.


>Except that C is used everywhere and FORTH nearly nowhere.
That's a bit of a stretch. Forth is used heavily in astronomy and embedded environments.
Regardless, I don't see how the amount of people using a language affects its quality. C only has a few giant compilers that people regularly use, but increasingly don't understand well, whereas Forth is simple enough to be implemented freshly in machine code for each platform it runs on, leading to more efficient use of resources.

>And with C you actually learn how the memory matrix of a process works. With forth you only have a couple stacks and a dictionary.

You could just as easily say that C only lets you use the opaque procedures malloc, free, and realloc to access the heap.
I'm inclined to think Forth is more clear on how memory is actually managed than C.

>Even if you never use C (I'd be hard pressed to think anything outside kernel hacking and maybe compilers that is worth doing in C) you learn a lot of stuff you didn't know by learning C.

Is that not true for Forth?

I'm not saying Forth is the perfect language or even necessarily a good beginner's language, Lisp is probably better for that, but I don't really see anything you've pointed out that marks C as better than Forth. Forth is a wide language, being both lower and higher level than C.


I'm not saying that a language is better than the other becausenthere is no such thing. I'm just pointig out, like >>17217 that some languages are better for beginners. If you start by learning forth, you're pretty much constrainng yourself far more than you'd be by learning C.
You can also learn lisp instead, much better choice. Or pyhon, or a ML, or even java.
Not forth, pretty much the same you wouldn't suggest prolog or brainfuck as a first language


Does anyone here has any good books for learning Haskell? Preferably with exercises. I've heard good things about Haskell Programming from first principles but I haven't been able to find a pdf.


Heard good things about
>Learn you a Haskell for great good
>Real World Haskell


File: 1468001471251.png (40.54 KB, 200x116, dolittle.png)

some kewl IDEs and dev environs

Smalltalk-enspired programming environment with heavy internal reflection and object interaction, the programming of its GUI elements and windows themselves are opened up. Mouse/inspection oriented workflows.

Dolittle (グラミング)?:
A Japanese language and IDE with faculties for audio, graphics, and arduino.


gonna second Real World Haskell, Learn You a Haskell is a good primer but it doesn't go conceptually deep enough


Yeah, I'm looking for Haskell From First Principles too. The only one I've found is missing the last two chapters(that I haven't even reached yet).

Any anons have the final draft they're willing to share?


I wouldn't recommend most of Real World Haskell. Quite a lot of it is outdated and some of the examples in it don't compile anymore.
It's really big and about half of the info seemed to be out of date when I read it (about a year ago).
The chapters on monads and monad transformers are the best explanations I've read so far, though, and also what really made it understandable to me.
From what I've seen of it, I'd recommend Haskell on first principles.


Does anybody have books on algorithmic composition?


File: 1468739393216.png (2.86 MB, 200x200, The Little Schemer (4th Ed).pdf)

I'll just leave this here


File: 1468745099144-0.png (8.47 MB, 200x200, Code Complete 2nd Edition V413HAV.pdf)

File: 1468745099144-1.png (4.05 MB, 200x200, Computational Complexity A Modern Approach - Sanjeev Arora.pdf)

File: 1468745099144-2.png (4.84 MB, 200x200, Introduction_to_algorithms_3rd_edition.pdf)

Is it okay if I just dump my collection?


No C will never die but Rust isn't it's successor, C++ is. It will never die either. It's successor probably won't be known for another 2 or 3 decades at least as it's a language that's rapidly improving now.


File: 1469381934629-0.png (2 MB, 200x200, programming-in-lua-3ed.pdf)

File: 1469381934629-1.png (1002.27 KB, 200x200, Regular Expression Pocket Reference, 2nd Edition.pdf)

File: 1469381934629-2.png (1.51 MB, 200x200, Mastering Emacs.pdf)

Programming in Lua 3rd ed
Regular Expression Pocket Reference 3nd ed
Mastering Emacs


File: 1469454701691.png (892.21 KB, 200x119, 1462157281155.gif)

Anyone have a pdf of the 2nd edition of Stroustrup's Programming Principles and Practice using C++?


>Mastering Emacs
NEATO, thanks a lot!


Anyone got "The Little MLer" by Felleisen and Friedman?


File: 1469517838023.png (2.79 MB, x, Felleisen M., Friedman D.P.-The little MLer-MIT (1997).djvu)

Sure do, keep in mind it's a sacanned copy so some words are messed up. Off the top of my head it refereed to SML as SAIL in the preface. It's not anything to be concerned about though, half the time i just glossed over it because brains just kind of, ya know, make things "fit" if they don't.


nice one! thanks. totally caught me off guard with the quick reply ha ha.


File: 1469545628053.png (19.1 MB, 200x200, Steal-this-computer-book.pdf)

Sorry if these are not 'programming books', I searched for a pdf thread in /cyb/ and found none, volafile is too volatile, and someone already posted similar books here.
I like NoStarch books a lot, And this series is especially awesome, so here goes my yesterday's findings:
Steal this computer book


File: 1469546088088.png (22.69 MB, 200x200, Steal-this-filesharing-book.pdf)

And: Steal this file sharing book


File: 1469710225873-0.png (8.92 MB, 200x200, Harold_Abelson,_Gerald_Jay_Sussman_Structure_and_Interpretation_of_Computer_Programs_-_2nd_Edition__1996.pdf)


What's the best Python-for-absolute-beginners/females book?


so then females have an inferior intellectual capacity?
I've heard "Think like a computer scientist"


Yes, well this one does at least, she would happily admit it too


Btw that's a great suggestion, thanks


File: 1469814242218.png (28.34 KB, 200x136, 2016-07-29-194149_592x400_scrot.png)

Yo! I've setup a syncthing folder to share my books with you.


And the folder ID: qxav5-trcut (with the name: Bibliotheque)

Add and wait for the confirmation. Then the sync will start.


I will add between 1 and 20 files by day (to make the sync easier)


Woah, someone actually using syncthing in the wild, nice.


ahah yes ;-)



File: 1469893196880.png (20.32 KB, 164x200, 51j679vpDGL._AC_UL320_SR262,320_[1].jpg)

Is this a good entry C++ book? On stack exchange it was recommended as the best.


File: 1469979504138-0.png (5.01 MB, 200x200, Heineman. Algorithms in a Nutshell.epub)

File: 1469979504138-1.png (6.38 MB, x, Gift. Python in Linux system administration.djvu)

File: 1469979504138-2.png (1.33 MB, 200x200, Stallman. Free Software, Free Society.epub)


Don't know if you are still around but could you please post the inclomplete version of haskell from first principles? Its better than nothing.
Thanks for the answers lainons


It is very basic. I found it rather boring if you already know a bit about programming. Besides the exercises are mostly boring. But at the same time it covers a lot of topics and teaches good style and modern C++.

It is a good conservative choice if you want to take a look at C++.


Actually the best book on C learning from scratch.



File: 1470258656758-0.png (2.51 MB, 200x200, Michael Abrash - The Zen Of Assembly Language 1990.pdf)

File: 1470258656758-1.png (6.61 MB, 200x200, Professional Assembly Language (2005).pdf)

File: 1470258656758-2.png (4.3 MB, 200x200, The Art of Assembly Language Programming.pdf)

Some books on assembly.
Art of Assembly Language contains a good first chapter on binary arithmetics, bitwise operations and conversion between different numeral systems.


File: 1470258856405-0.png (160.56 KB, 200x200, HowToBeAProgrammer.pdf)

File: 1470258856405-1.png (1.99 MB, 200x200, Thinking in C++ Second Edition vol 2.pdf)


michael abrash is mai waifu


Thanks for your response. Just getting into programming (i took a computer science class in high school), and based on you response it seems like a good start.


Does anyone have "Learn C the Hard Way" final PDF? The book used to be free and I was half way through it :/


A lot of people don't like that book. I think Lain tends to prefer stuff like:

Just to be clear, I think Zed's strategy works OK for python, especially for rank newbs. However, it kind of breaks down for harder languages.


Thanks. I was going to tackle BYOL after C Hardway. I was enjoying writing a DB in C and trying to break it etc. I didn't mind the book... I knew that it was getting a bit of flak for not being comprehensive but I don't see a problem with it - I knew it was it wasn't an expert level book.

I have my own Scheme in Scheme written it'd be interesting to get it to run in code from BYOL. :)


only had the epub. I threw it up on the vola. https://volafile.io/r/kUFzLJ

People take issue to this book but I liked it.


Thank you .___.


Too bad this one has a lot of weird errors.


File: 1473902641721.png (1.54 MB, 200x125, bookshelf.jpg)

Well hi again then, >>18722 got locked, which is unfortunate because I specifically wanted to separate my question from the topic "Programming Books", mostly because of my intention to put more emphasis on math, and also because I thought that other people were interested in talking about this topic in particular, but guess there is not much I can do about it...

Can you guys recommend some good Math/Programming/Computer Science books that are fit to be read while actually relaxing a bit?

Searching for books that match what I look for is hard:
I'm thinking about books that are a bit more casual than pure textbooks, but more in-depth than average pop-science literature.

A good example would be Petzold's "Code".

Gödel, Escher, Bach was already mentioned in the old thread.


File: 1473939619730.png (13.02 MB, 200x200, Knuth-SurrealNumbers.pdf)

I was going to suggest Petzold until I read you already mentioned it. Going through GEB right now.

The Art of Computer Programming is mostly pretty heavy duty, but there are some select lighter parts that would fit your description. And on the topic of Knuth, Surreal Numbers is good for casual reading for a mathematical type.



Thank you, how do you like GEB so far?


To Mock a Mockingbird by Raymond Smullyan if you like puzzles.


Seems like it will be one of the best books I've ever read.


It's up on Libgen.io


any good php books for beginner?


File: 1474830128501-0.png (749.21 KB, 200x200, bgnet_USLetter.pdf)

File: 1474830128501-1.png (6.75 MB, 200x200, 930.pdf)

I'm surprised nobody mentioned the second book. It's quite good for C dev.


Thanks a huge lot for that second book. I just finished reading a lot of books and doing a lot of projects in C. I was looking for how to write more elegant solutions, this seems like a great option.

Have you tried the gentooman library?


thanks a ton!


File: 1475173084153.png (21.34 KB, 134x200, Literate_Programming_book_cover.jpg)

Have any other rare Knuth?
Looking for pic related in particular, but please, post anything you have that's not on libgen.


Does anyone have the new Programming in Haskell by Hutton?


Does anybody have some books on Ruby they'd like to post?


File: 1476315719803-0.png (1.76 MB, 200x200, Wicked-cool-ruby-scripts.pdf)

File: 1476315719803-1.png (10.47 MB, 200x200, Understanding Computation.pdf)

Wicked cool ruby scripts
Understanding computation with ruby


File: 1476316380445-0.png (12.11 MB, 200x200, Ruby Under a Microscope.pdf)

File: 1476316380445-1.png (2.62 MB, 200x200, Everyday Scripting with Ruby.pdf)

Ruby under a microscope
Everyday scripting with ruby


File: 1476316928404-0.png (14.68 MB, 200x200, Metaprogramming Ruby 2.pdf)

File: 1476316928404-1.png (479.88 KB, 200x200, Confident-ruby.pdf)

Metaprogramming ruby
Confident ruby

I really have a lot, I don't think I should upload all (I even have one that's for kids)


File: 1476329886956-0.png (3.09 MB, 200x200, PracticalRubyProjects.pdf)

File: 1476329886956-1.png (7.82 MB, 200x200, CSProgrammingBasicsInRuby.pdf)

Practical Ruby Projects is outdated but it has some cute project ideas.

>Ruby under a microscope
this is a really great book, I wish more languages had good books about their internals like this one but it is not for a Ruby beginner.


>Also, can you explain what you meant by "bug free"? Because I don't believe that's even possible.
Check out Ada, specifically the subset SPARK which is designed to be formally provably correct.


programs can be formally verified to be completely bug-free based on whatever theoretical model of how the program should act is. Unfortunately this is only easy with certain types of languages. AFAIK forth is not one of them.


A Forth program should be written to be so simple that there can't be a flaw. Let's use the specification for a simple standard word called spaces. This word should accept a number and print that many spaces. It shouldn't print for numbers equal to or below zero.
: blank 32 ;
: space blank emit ;
: spaces dup 0< if drop exit then 0 ?do space loop ;
We can have an even simpler definition of spaces if we assume a word named ~; which initiates recursion with tail-call optimization by not modifying the return stack:
: spaces dup 0> if 1- space ~; then drop ;
This isn't formally verified, but it's certainly free of bugs. If you'd care to, show me a formally verified version of this program. On the topic, isn't the formal verifier written to be bug free in a similar manner to this? Doesn't this simply push programmer intuition or knowing into a program?


this doesn't answer that guys point at all. also can we try not to derail this thread which seems to be happening a lot more around here lately.


I thought I raised some good points.


If the halting problem is false, then how can one prove that any program in any language is bug free? Clearly an infinite digression should be considered a "bug". I don't think it's possible to write a perfect bug checker which doesn't reject some correct programs, at least for TC languages. I'd love to be proven otherwise.


I think the idea is to weaken the language so that it can be formally verified.


You should look up what the halting problem really is.

No, the idea is to prove that the specific program you wrote satisfies certain properties, for instance, deadlock-freedom, memory safety, etc.


File: 1478102783186-0.png (9.94 MB, 200x200, Data Structures and Algorithms in Java, 6th Edition, 2014.pdf)

File: 1478102783186-1.png (1.1 MB, 200x200, Little Book Of Semaphores.pdf)

File: 1478102783186-2.png (4.37 MB, 200x200, Operating Systems - Three easy Pieces.pdf)

Some of my textbooks from classes I've been taking this semester. I don't see them posted around, so I figured what the heck. The little book of semaphores and Operating Systems - Three Easy Pieces are actually really interesting (and distributed for free).


File: 1478141100537.png (8.77 MB, x, (Prentice-Hall software series) Allen I. Holub-Compiler Design in C-PH (1990).djvu)

Some random stuff


File: 1478141187776-0.png (1.69 MB, 200x200, Thinking Functionally in Haskell.pdf)

File: 1478141187776-1.png (2.96 MB, 200x200, Learn_You_a_Haskell_for_Great_Go(BookZZ.org).pdf)


File: 1478141343238.png (19.65 MB, 200x200, Advanced Programming in the Unix Environment.pdf)


File: 1478141467959-0.png (2.45 MB, 200x200, [Jane_W._S._Liu]_Real-Time_systems(BookZZ.org).pdf)

File: 1478141467959-1.png (7.01 MB, 200x200, Foundation of Digital Electronics and Logic Design.pdf)


File: 1478141680159-0.png (4.72 MB, 200x200, Advanced Computer Architecture and Parallel Processing.pdf)

File: 1478141680159-1.png (524.72 KB, 200x200, MIPS Assembly Language Programming 2003.pdf)


File: 1478141938302-0.png (541.86 KB, 200x200, An Introduction to Lambda Calculus.pdf)

File: 1478141938302-1.png (2.21 MB, 200x200, Graph_theory.pdf)


thanks for the ruby books


File: 1478194620857-0.png (5.46 MB, 200x200, The_Little_Schemer_4th_2 copy.pdf)

File: 1478194620857-1.png (8.6 MB, 200x200, The_Seasoned_Schemer_-_Friedman%2C_Felleisen_-_MIT_Press_%281995%29 copy.pdf)

classic little schemer series


Thanks for these


File: 1478207789412.png (21.04 MB, 200x200, Hackers Delight 2nd Edition copy.pdf)

nice training sets b4 you delve into practical crypto stuffs


Thanks a lot!
It's hard to find a good version of this book on pdf


File: 1478288739514.png (2.14 MB, 200x200, expert C programming.pdf)

Best C book for people who already have basic knowledge of C-style syntax (e.g: JS programmers)


this was already posted, thanks anyways


File: 1478370413142.png (1.77 MB, x, [Sonya_E._Keene]_Object-Oriented_Programming_in_Co(BookZZ.org).djvu)

Is there any good book on how to build websites that explains you the concepts used?
I could go read the docs of any framework but I wouldn't understand why I'd need to use some of the features and where.


File: 1478441291242.png (20.23 MB, 200x200, PHP_MySQL_JS_Css.pdf)



File: 1478458133733.png (6.49 MB, 200x200, ssh_the_secure_shell.pdf)


it isn't productive to try to have a conversation about program verification with people who don't understand the halting problem.


hey guys, I'm too lazy to post the books one by one, but here's my Google Drive folder of books


wow. begging on lainchan is becoming a problem here


?? How is this any different than asking for someone to upload a book? lol


Maybe you need to read about the halting problem. the most obvious consequence of it is that an arbitrary program cannot prove to terminate. it's true that uou can prove a program to halt but your verification will always reject some valid programs (or it'll be broken).


>it's true that uou can prove a program to halt but your verification will always reject some valid programs (or it'll be broken).

So you agree that some programs could be automatically proven to halt? Then whence the objection in >>19357?

>If the halting problem is false, then how can one prove that any program in any language is bug free?

Being unable to automatically prove that SOME programs halt doesn't mean that you are unable to automatically prove that ANY program halts.


File: 1480130428790.png (886.98 KB, 200x200, [John_H._Reppy]_Concurrent_Programming_in_ML(BookFi).pdf)

I feel like Concurrent programming in ML is what inspired the design of Golang


File: 1480137009954.png (24.41 KB, 130x200, go.jpg)

I've no idea what model Concurrent ML uses but Rob Pike has been explicit about Go's concurrency borrowing heavily from Tony Hoare's CSP (https://en.wikipedia.org/wiki/Communicating_sequential_processes).

The original CSP paper and later book, both of which are available freely online, are excellent reading.


>So you agree that some programs could be automatically proven to halt?
Read the post more carefully.
>SOME programs
I clearly said
> I don't think it's possible to write a perfect bug checker which doesn't reject some correct programs, at least for TC languages.

(That aside, it could say "I don't know" I suppose, but for many practical programs your checker's going to always be "I don't know.")


File: 1480729204398.png (178.96 KB, 162x200, cover.jpg)

Kernighan Golang book incoming.
https://a.pomf.cat/jekhkn.epub (18MB epub)


Does someone here has "Automata Studies - C. Shannon, McCarthy"?


File: 1480772190982.png (23.58 MB, 200x200, [Peter_M._Kogge.]_The_architecture_of_symbolic_com(BookZZ.org).pdf)

If you like obscure stuff that has almost no practical use today, check this book out.

Alternatives to the von Neuman model of computation, Lambda Calculus, Lisp machines, Logic-based computing, Prolog implemented in hardware, SECD and combinator machines, garbage collection, et cetera, et cetera.


File: 1480855804118.png (11.04 MB, 200x200, Understanding Computers and Cognition by Terry Winograd, Fernando Flores.pdf)

That's one of my favorite books. I love how it starts at the mathematical roots and builds all the way up to practical machines. It's up there with Reflection in Rewriting Logic by Clavel and Understanding Computers and Cognition by Winograd and Flores.


File: 1480889913400.png (179.77 KB, 200x200, GooglingTheErrorMessage.pdf)


File: 1485409660962.png (60.47 KB, 161x200, bookplz.jpg)

Requesting this small intro book, please someone have the pdf for this version ;_;


Putting up a quick request for The Elements of Computing Systems. Thanks Lains.


File: 1485571652372.png (3.73 MB, 200x200, Tony_Gaddis_Starting_out_with_programming_logic_and_design.pdf)

Only the third edition.


Library genesis is your friend.


File: 1485604025338.png (2.66 MB, 200x200, Getting Started with Julia Programming.pdf)

For those who dont know, node.js is not a javascript framework, it is implemented in C++ and javascript just provides a wrapper to the C++ API. If you want to learn a scripting language that has a real low level library and doesnt have to interface with something like C++ to get real work done then you should check out Julia. Julia is like Coffeescript, its the way javascript should have been implemented


File: 1485665969797.png (5.94 MB, 200x200, uVcpoRVXJ3Gt_clojureforthebraveandtrue.pdf)

Here a book on Clojure. Its pretty comfy for the short time I've used it.


File: 1485714858224.png (13.1 MB, 200x200, Yale_Patt,_Sanjay_Patel_Introduction_to_Computing_Systems_From_bits_and_gates_to_C_and_beyond.pdf)

I'm currently reading "Introduction to computing systems: from bits and gates to C and beyond" is about a bit of computer architecture and explains, as its title say, how to go from bits to a high level programming language.

Other book I'm reading is "Algebraic circuits", by Antonio Lloris Ruiz, Encarnación Castillo Morales, Luis Parrilla Roure, and Antonio García Ríos. Most of the books on digital logic treat the topic as a set of rules one must memorize, but this is almost a book on the mathetematical foundations of it, with formulae and explanations that I've never found in any popular book. It has no exercises but one should be able to deduce any unproved result, wich are most of the statements. Reading those formulae makes much more clear the understanding of the topic than any of those "rules" explained with dozens paragraphs and examples... at least to me.


File: 1485763865493.png (1.31 KB, 177x125, haskell.png)

Anyone know any good Haskell books? I've got to learn it for a class and I'd like a good book to help alongside the notes.



File: 1485897455857.png (35.44 KB, 200x150, ClipboardImage.png)

This is a shot in the dark but has anyone got the Pink Shirt book from hackers?
Programmer's guide to the IBM PC?

I need it for historical significance more so than to read.

Thank you


http://learnyouahaskell.com/ is really a great resource. The whole thing is available online, or you can order it as a book if you want. And make sure you understand recursion if you don't already, seriously.


File: 1485944733423.png (27.94 KB, 158x200, Norton_Guide_to_PC_VGA.jpg)


There's a Daisy file here, but you need a key from the Library Of Congress, lol.

Hey, any of you cypherpunks know how to hack Daisy?


definitely this.
Also Real World Haskell which covers more concrete topics and maybe http://yannesposito.com/Scratch/en/blog/Haskell-the-Hard-Way/


There's an allegedly (libre?) open source reader called AMIS which distributes binaries. Now just crack the LOC's encryption. Have fun Lainon~


Anyone got a copy of SICP? I'm interested in working through it.


File: 1486522123921.png (4.85 MB, 200x200, Structure and Interpretation of Computer Programs.pdf)

Here you go, mate. Hope you have some fun with it


File: 1486923437219.png (756.29 KB, 200x200, OS_Development.pdf)


Bleh. C is my primary language. Being the King's English, business is good.

Book is "Writing a Simple Operating System From Scratch". Get you a LainOS


File: 1487344014407-0.png (1.14 MB, 158x200, 9780262529624_0.jpg)

File: 1487344014407-1.png (18.55 MB, 200x200, Guttag J.V. - Introduction to Computation and Programming Using Python - 2016.pdf)

Introduction to Computation and Programming Using Python: With Application to Understanding Data (Second Edition
By John V. Guttag

This book introduces students with little or no prior programming experience to the art of computational problem solving using Python and various Python libraries, including PyLab. It provides students with skills that will enable them to make productive use of computational techniques, including some of the tools and techniques of data science for using computation to model and interpret data. The book is based on an MIT course (which became the most popular course offered through MIT’s OpenCourseWare) and was developed for use not only in a conventional classroom but in in a massive open online course (MOOC). This new edition has been updated for Python 3, reorganized to make it easier to use for courses that cover only a subset of the material, and offers additional material including five new chapters.

Students are introduced to Python and the basics of programming in the context of such computational concepts and techniques as exhaustive enumeration, bisection search, and efficient approximation algorithms. Although it covers such traditional topics as computational complexity and simple algorithms, the book focuses on a wide range of topics not found in most introductory texts, including information visualization, simulations to model randomness, computational techniques to understand data, and statistical techniques that inform (and misinform) as well as two related but relatively advanced topics: optimization problems and dynamic programming. This edition offers expanded material on statistics and machine learning and new chapters on Frequentist and Bayesian statistics.


File: 1487607809517-0.png (11.51 MB, 200x200, Clojure Programming.pdf)

File: 1487607809517-1.png (8.45 MB, 200x200, The Joy of Clojure, 2nd Edition.pdf)

For those who have been thinking about trying Clojure


Thanks a lot.
Do you per chance have anything on ClojureScript too? Was wondering if I could do some web development with Lisp.


File: 1487637934342-0.png (12.46 MB, 200x200, Clojure Reactive Programming.pdf)

File: 1487637934342-1.png (4.43 MB, 200x200, Clojure Web Development Essentials.pdf)

File: 1487637934342-2.png (4.76 MB, 200x200, Learning Clojurescript.pdf)

you're welcome, check these ones.
There's a second edition of "Clojure Web Development Essentials", but I couldn't find a pdf yet. It's written by the author of the Luminus "framework":
Its docs are quite good


Thank you kindly, lainon.
If I come across anything new and worth sharing, I'll deliver it here.


File: 1487718845462-0.png (5.58 MB, 200x200, Elixir in Action.pdf)

File: 1487718845462-1.png (2.93 MB, 200x200, Introducing Elixir.pdf)

File: 1487718845462-2.png (13.1 MB, 200x200, Learning Elixir.pdf)

you're welcome mate.

Here are a few Elixir books.


File: 1487719706947-0.png (6.07 MB, 200x200, elixir-otp-guidebook.pdf)

File: 1487719706947-1.png (3.47 MB, 200x200, Elixir Cookbook.pdf)

Here's my contribution to Elixir, love this language


File: 1487867283908-0.png (9.7 MB, 200x200, George Coulouris, Jean Dollimore, Tim Kindberg, Gordon Blair-Distributed Systems_ Concepts and Design -Addison Wesley (Pearson Education Inc.) (2011).pdf)

File: 1487867283908-1.png (7.12 MB, 200x200, RESTful Java with JAX-RS 2.0, 2nd Edition.pdf)

File: 1487867283908-2.png (4.86 MB, 200x200, RESTful Web Clients.pdf)


File: 1488685504102-0.png (2.56 MB, 200x200, Learn Python The Hard Way 3rd Edition V413HAV.pdf)

File: 1488685504102-1.png (6.6 MB, 200x200, Data Structures and Algorithms in Python.pdf)

Here's my relatively small contribution to this great thread.

Enjoy the Python books!


File: 1488714993793.png (5.94 MB, 200x200, Harold_Abelson,_Andrea_diSessa_Turtle_Geometry_The_Computer_as_a_Medium_for_Exploring_Mathematics.pdf)

Turtle Geometry is a college-level math text written by Hal Abelson and Andrea diSessa which aims to engage students in exploring mathematical properties visually via a simple programming language to maneuver the icon of a turtle trailing lines across a personal computer display.
Looks interesting.


File: 1489412116538.png (3.89 MB, 227x300, The Algorithm Design Manual Second Edition 2008.pdf)

Anybody happen to have Julia High Performance, Mastering Julia or the Julia Cookbook available to upload?


File: 1489427650746.png (5.48 MB, 232x300, Malcolm_Sherrington_Mastering_Julia.pdf)

I could only find one of them


Does anybody by a chance has Game Engine Gems by Eric Lengyel?


Thanks, I suppose it'll have to do for now.


File: 1489477032186.png (6.69 MB, 232x300, Julia High Performance Programming - Ivo Balbaert.pdf)

here you go

great language, cant wait till it kills R


File: 1489598494296.png (5.13 MB, 210x300, Ira_J._Kalet__PhD_Principles_of_Biomedical_Informatics.pdf)

Uses Common Lisp to implement the concepts talked in the book


File: 1489620943170-0.png (3.75 MB, 198x300, A_Beginners_Guide_to_R-Alain_F_Zuur-Elena_N._Ieno-Erik_Meesters.pdf)

File: 1489620943170-1.png (4.89 MB, 199x300, Biostatistics_with_R-_An_Introduction_to_Statistics_Through_Biological_Data-Babak_Shahbaba.pdf)

Uses R to perform biostatistics


This is pretty fuarrrking cool, thanks. I'm supposed to be working on my graduation thesis in biomedical engineering soon and I like Common Lisp, this book could be very useful.


File: 1489673834436-0.png (1.97 MB, 200x200, (Logic Programming) Richard O'Keefe-The Craft of Prolog-The MIT Press (1990).djvu)

File: 1489673834436-1.png (7.23 MB, 200x200, Clojure for Finance.pdf)

File: 1489673834436-2.png (8.04 MB, 210x300, Common Lisp Recipes.pdf)

I'm glad it can be useful to someone. I'm not from that field so I don't how up to date the content of the book is.


File: 1489756557349-0.png (2.81 MB, 232x300, haskell-programming-0.12.0-screen.pdf)

File: 1489756557349-1.png (8.51 MB, 236x300, Introduction to Computation and Programming Using Python_nodrm.pdf)

File: 1489756557349-2.png (11.87 MB, 229x300, fluent-python.pdf)


Holy soykaf thanks for that Haskell Book. Been searching for that a long time.


I love you

I love you again


10/10, would read again.



File: 1489851624268-0.png (2.5 MB, 199x300, Thomas H. Cormen-Algorithms unlocked-The MIT Press (2013).pdf)

File: 1489851624268-1.png (6.92 MB, 497x300, The Linux Programming Interface.pdf)

File: 1489851624268-2.png (3.09 MB, 199x300, UNIX Operating System.pdf)


File: 1489867027808-0.png (4.5 MB, 232x300, Sublime Text Power User.pdf)

File: 1489867027808-1.png (717.42 KB, 212x300, Learn Julia the Hard Way.pdf)


File: 1489943180439-0.png (6.89 MB, 200x200, Justin Seitz Black Hat Python Python Programming for Hackers and Pentesters.pdf)

File: 1489943180439-1.png (7.83 MB, 200x200, TJ OConnor Violent Python A Cookbook for Hackers, Forensic Analysts, Penetration Testers and Security Engineers.pdf)


Thanks for the Haskell book, good soykaf


File: 1489998182632.png (8.56 MB, 225x300, Philip_N._Klein_Coding_the_Matrix_Linear_Algebra_through_Computer_Science_Applications.pdf)

Coding The Matrix : Linear Algebra Through Computer Science Applications
:: The aim of this course is to provide students interested in computer science an introduction to vectors and matrices and their use in CS applications.
Official site with Example Applications and additional problems: http://codingthematrix.com/


Oh wow, a book on Logo.
I had a middle school class where we learned that on apple II's (early-mid 90's). It is quite fun to mess with if you are into 2d geometry. I have considered getting into it again just for fun, but there is little practical use for it anymore.


File: 1490037555819.png (12.23 MB, 233x300, Peter_Van_Roy_Concepts,_Techniques,_and_Models_of_Computer_Programming.pdf)

Introduction in CS the hard way. If SICP was too easy for you.


File: 1490073282346.png (13.43 MB, 200x200, arduino-cookbook.pdf)

just picked up my first arduino, looking for anything related

here is related book, the other is too large to share but was found through a search engine.


File: 1490117442962.png (4.16 MB, 250x300, Raspberry Pi: A Quick-Start Guide.pdf)

thank you

check http://it-ebooks.info/search/?q=arduino&type=title
currently downloads on are unavailable but you can try to find them on http://gen.lib.rus.ec


I suggest that you'd rather start from learning real electronics rather than particular microcontroller. After that you won't need those "cookbooks"


File: 1490151363903.png (6.51 MB, 491x300, hacking_artofexploitation.pdf)

Damn I had a hard time getting through chapter 0 on both Linear Algebra books. I'm only halfway through Calc 2 so I haven't really hit a lot of math classes yet, but is there any other material I can read to prime myself for this or am I just a tard


File: 1490183694428.png (7.28 MB, 243x300, César_Pérez_López_auth._MATLAB_Linear_Algebra.pdf)

I find it weird that you are half way through Calc 2 and you can't understand basic LA, when LA is so much easier.
Maybe try a different book or something?
Or try a MOOC such as https://www.edx.org/course/linear-algebra-foundations-frontiers-utaustinx-ut-5-05x


File: 1490392394138.png (8.57 MB, 243x300, Higher-order Perl.pdf)

Higher Order Perl

For those Perliebers still out there.


Got anything for Perl newbies?



Nice, thanks. There are still a few of us out there.


the best book for learning perl is this free book:


File: 1490486580367-0.png (9.58 MB, 229x300, Think_DSP.pdf)

File: 1490486580367-1.png (224.64 KB, 232x300, asm64-handout.pdf)

File: 1490486580367-2.png (13.1 MB, 212x300, The.Scheme.Programming.Language.4th.Edition.pdf)

Does anybody have the full version of Let Over Lambda or Lisp in Little Pieces?


Does anyone have a good version of K&R, surprised its not already in here.


Seconding Let Over Lambda, I'd really like to read the book but I'm very short on cash at the moment.

Sharing Cracking the Coding Interview, useful to study up on whiteboard coding problems.


File: 1490530737089-0.png (956.21 KB, 212x300, Brian W. Kernighan, Dennis M. Ritchie-C Programming Language -Prentice Hall (1988).pdf)

File: 1490530737089-1.png (11.43 MB, 200x200, Doug Hoyte-Let Over Lambda _ 50 years of lisp-Doug Hoyte_HCSW and Hoytech production (2008.).djvu)

Here you go.


File: 1490530794523-0.png (8.02 MB, 229x300, understanding_and_using_c_pointers.pdf)

File: 1490530794524-1.png (8.04 MB, 210x300, Common Lisp Recipes.pdf)

File: 1490530794524-2.png (1.77 MB, 200x200, [Sonya_E._Keene]_Object-Oriented_Programming_in_Co(BookZZ.org).djvu)


fuarrrk, looks like the book is too large to upload on here. I'll upload it elsewhere later.

Thanks a lot!


File: 1490540234583.png (12.24 MB, 200x200, Date, C. J-An introduction to database systems-Addison Wesley Longman (2000).djvu)

A clasic book related with databases


Thanks much anon.
I have a physical copy of K&R in storage that I cant get to right now.


File: 1490584233982-0.png (1.69 MB, 232x300, Rust Essentials.pdf)

File: 1490584233982-1.png (6.37 MB, 200x200, Learning D.pdf)


I know this is a dumb question, but nothing online (that isn't totally sketchy) seems to help... How the hell do you open .djvu files on a mac? I have this thing called "Ebook Reader" (which to be frank, I have no idea how it got there), but when it opens these files it just shows the text in an absolutely hideous way with close to no formatting


Pivk your reader http://djvu.org/links/
polite sage for offtopic


peeps ITT notice: introduction to algorithms posted here is required reading


File: 1490756465774.png (14.19 MB, 492x300, Al Sweigart - Automate the Boring Stuff with Python.pdf)

4u my friends.

body was to short for the post smh


ITA is one of those books everybody tells everybody else they should read but nobody actually reads in its entirety. If anybody recommends it, it's most likely because they've heard it elsewhere or went through a few chapters for a course in university.


File: 1490831184699-0.png (4.51 MB, 243x300, Beginning Haskell. A Project-based Approach (Apress, 2014).pdf)

File: 1490831184699-1.png (1.69 MB, 210x300, thinking functionally with haskell.pdf)


File: 1490831563672.png (7.59 MB, 200x200, The Haskell School of Expression.djvu)


Does anyone have "Architecture of the Symbolics 3600" by David A. Moon, doi 10.1145/327070.327133? I can't find it anywhere and Sci-Hub fails to help me.


Your cheeky remark does nothing to change the fact that it is a very good resource and will do a lot more for a person's growth as a programmer than "Rust Essentials" or "Automate the Boring Stuff with Python". Especially if you go through the proofs.

I don't think most people are recommending to read it cover to cover, but many including myself have read much of it and use it often as reference.

Yes, I am familiar with http://www.billthelizard.com/2008/12/books-programmers-dont-really-read.html


>claims to use it as a reference
>actually just uses wikipedia and stackoverflow

Memorizing algorithms does not help you contribute to a software project at all.


No one has recommended memorizing anything, don't internalize that your particular interests and experiences are universal, and save your sass for a more difficult book.


File: 1490876126894.png (784.09 KB, 232x300, moon1985.pdf)

Never mind, found it.


File: 1491091088573-0.png (4.45 MB, 200x200, Qt5 C++ GUI Programming Cookbook.pdf)

File: 1491091088573-1.png (3.63 MB, 200x200, Distributed Graph Algorithms for Computer Networks.pdf)

File: 1491091088574-2.png (11.13 MB, 229x300, Client-Server Web Apps with JavaScript and Java.pdf)

For those wanting " Web Development with Clojure: Build Bulletproof Web Apps with Less Code" the second edition is now on Library Genesis, it's 40Mb so I can't upload it it here.
You can search for its name or for its md5sum which is 46920DD86EC9ECEC1154053F2DAEFB2B


Does anyone have Type Driven Development with Idris?


i've been trying to find a good resource on assembly and the art of assembly language looks just like what i wanted. thanks m8