-  [WT]  [PS]  [Home] [Manage]

[Return] [Entire Thread] [Last 50 posts] [First 100 posts]
Posting mode: Reply
  1.   (reply to 6)
  2. (for post and file deletion)
/pr/ - Programming
  • Supported file types are: C, CSS, DOC, DOCX, GIF, H, JAVA, JPG, PDF, PNG, SVG, SWF, TXT, WEBM
  • Maximum file size allowed is 10000 KB.
  • Images greater than 200x200 pixels will be thumbnailed.
  • Currently 396 unique user posts. View catalog

  • Blotter updated: 2018-08-24 Show/Hide Show All

We are in the process of fixing long-standing bugs with the thread reader. This will probably cause more bugs for a short period of time. Buckle up.

There's a new /777/ up, it's /Moldy Memes/ Check it out. Suggest new /777/s here.

Movies & TV 24/7 via Channel7: Web Player, .m3u file. Music via Radio7: Web Player, .m3u file.

WebM is now available sitewide! Please check this thread for more info.

Nattajerk 11/09/07(Wed)10:31 No. 6 Stickied

File removed.pdf - (2.21MB , Structure and Interpretation of Computer Programs.pdf )

I heart /pr/

lets start with a book thread. I have some cached learning.

This content removed in accordance to a DMCA Takedown Notice filed by PEARSON EDUCATION.

74 posts omitted. Last 50 shown.
Predicate Logic as a programming language Lee 12/11/26(Mon)06:05 No. 3196

This publication has gone through many revisions, with the more recent ones using slightly less insightful notation. I found this early copy over at REMath

In short, we model problems as a system of "reverse" implication constraints inductively defined on the base order logic; to model computation, we attempt to disprove assertions that are known satisfiable in order to construct a counterexample.

For example, we can encode numerals as n \triangleq s^n(0) (here, 0 is some symbol and not the concrete number itself, this is very reminiscent of church encodings) so in order to calculate fib(n), we define a 2-ary predicate


to mean that m is the n-th fibonacci number. I.e, the following are true:
fib(0,0) <- fib(0) = 0
fib(1,1) <- fib(1) = 1

We can define the constraints that the fib predicate must follow as an inductive set

fib(0,0) <=
fib(1,1) <=

where P(x,...) <= means that P(x,...) holds vacuously, so here, we assert that there exists a symbol 0 such that 0 = fib(0); furthermore, 1 = s(0) = fib(1) as well.

Next, we have

fib(s(s(n)),u) <= fib(n,v), fib(s(n),w), add(v, w, u)

this says that if there exists some symbol v = fib(n) and some other symbol w = fib(n+1) (remember, n+1 is shorthand for s(n)) and if add(v,w,u) also holds, then there must exist some symbol u = fib(s(s(n))) (this just asserts that fib(s(s(n))) exists). Now, add(v,w,u) is a 3-ary rule stating that there exists some u such that u = v+w.

Now, to calculate fib(10), we would assert that

<= fib(10, u)

which says that if there exists u = fib(10), then nothing can be true, meaning that we're asserting that there does not exist u such that u = fib(10). We then work through our base order logic system either applying our rules or strengthening/weakening the system with "guesses" until we come across a counter-example

Neckbearded Basement Dweller 12/11/28(Wed)15:55 No. 3216

Anyone have anything on Interprocess Communication in C.
More of a guide when and how to use what.
I've already read the Manuals(unistd.h, shm.h, mman.h, pthread.h) and resolved how to use shared memory with global memory and vfork(), but there doesn't seem to be much more than the manuals or guides how to use them.

Neckbearded Basement Dweller 12/12/02(Sun)10:39 No. 3244

hey friend.

i recommend lazyfoo.net for SDL or http://www.aaroncox.net/tutorials/

they both give great tutorials on SDL. that book, i dont like very much.

Neckbearded Basement Dweller 12/12/30(Sun)19:13 No. 3298

File lua.pdf - (1.45MB )

have some programming in lua

Neckbearded Basement Dweller 12/12/30(Sun)19:19 No. 3299

File lisp.pdf - (0.98MB )

on lisp

Neckbearded Basement Dweller 12/12/30(Sun)19:22 No. 3300

modern perl, pickaxe orielly ruby book etc

Neckbearded Basement Dweller 12/12/30(Sun)19:26 No. 3301

high order perl, ansi common lisp by paul graham

Neckbearded Basement Dweller 12/12/30(Sun)19:33 No. 3303

two more lisp things

Neckbearded Basement Dweller 13/01/03(Thu)02:00 No. 3309

File The_Little_Schemer_4th_2.pdf - (2.25MB )

little schemer

Code: The Hidden Language of Computer Hardware and Software- Charles Petzo haylon 13/01/03(Thu)13:37 No. 3310

File Code_The_Hidden_Language_of_Computer_Hardware_and_.txt - (7.87MB )

hopefully help
only epub

Neckbearded Basement Dweller 13/01/06(Sun)23:12 No. 3319

this book a million times over

Neckbearded Basement Dweller 13/01/11(Fri)18:41 No. 3330

File 135792609036.jpg - (38.33KB , 400x495 , python-programming-for-the-absolute-beginner.jpg )

Does anyone have this book? Specifically the Third Edition.


Neckbearded Basement Dweller 13/01/11(Fri)19:19 No. 3331

How about a book for Platform game design like Mario, Sonic, or Braid?

Neckbearded Basement Dweller 13/01/20(Sun)10:29 No. 3357

File anti-objects.pdf - (2.68MB )

This PDF talks of an alternate/theoretical way of programming in OOP. Also incorporates some discussion of game design also, but it's been a long time since I read it.

This is wonderful, thanks for sharing.

Neckbearded Basement Dweller 13/01/22(Tue)10:50 No. 3362

Does anyone have "Selenium Simplified" by Alan Richardson?

Neckbearded Basement Dweller 13/02/25(Mon)06:02 No. 3454

Could someone upload "Game Scripting Mastery" by Alex Varanese?

Neckbearded Basement Dweller 13/03/18(Mon)20:06 No. 3506



Neckbearded Basement Dweller 13/03/20(Wed)05:00 No. 3507

I'm the one who posted that.
Nope, it's a .7z (I had to change the extension because it wouldn't let me upload it otherwise) with a bunch of PDFs, IIRC.

POSIX Neckbearded Basement Dweller 13/04/28(Sun)21:15 No. 3648

Anyone have a pdf for POSIX.1:2008?

Neckbearded Basement Dweller 13/05/22(Wed)22:23 No. 3785

File Foundations_of_Agile_Python_Development_(2008).pdf - (6.90MB , Foundations of Agile Python Development (2008).pdf )

Upped: Foundations of Agile Python Development (2008)

Request: Data Structures and Algorithms in Python


Neckbearded Basement Dweller 13/06/20(Thu)20:00 No. 3904

Do you have nay books for beginners to learn about algorithms and data structures? Preferably for scheme.

Nattajerk 13/06/27(Thu)07:01 No. 3925

File 137230928156.jpg - (38.45KB , 523x478 , 1312871482197.jpg )

not sure how I missed this one, but here's C++ Primer 5th Edition. A seminal book among C++ programmers.

not to be confused with the awful C++ Primer Plus by Stephen Prata which I posted earlier.


Neckbearded Basement Dweller 13/07/08(Mon)19:48 No. 3969

File Handbook_of_Applied_Crytopgraphy.pdf - (6.08MB , Handbook of Applied Crytopgraphy.pdf )

Does anyone happen to have Artificial Intelligence: A Modern Approach 3rd Edition in .mobi or other kindle friendly format?

I only found it on some Chinese websites that require payment for sign up.

Here's a COMPLETE PDF of the pages found seperately here.


Neckbearded Basement Dweller 13/07/26(Fri)20:41 No. 4013

1. Violent Python: a cookbook for hackers, forensic analists, penetrarion testers and security engineers
quite a mouthful, good for beginners
2. The cucko's egg: tracking a spy through the maze of computer espionage
the titles are longer than the books themselves

Neckbearded Basement Dweller 13/08/14(Wed)20:01 No. 4058

anyone have a book on ARM assembly?

Neckbearded Basement Dweller 13/08/15(Thu)21:44 No. 4059

There's already one in this thread.

Neckbearded Basement Dweller 13/09/08(Sun)00:00 No. 4092

The Head First books are awesome, but I found the C# one a bit obfuscated and the applications they give you to write are absolutely bullshit.

On Lisp with missing figures Nobody 13/09/08(Sun)19:28 No. 4095


Download a pdf of On Lisp (by Paul Graham) with the missing diagrams added. However, this one has no bookmarks/index.

CLRS Introduction to Algorithms Nobody 13/09/08(Sun)19:29 No. 4096

File CLRS_-_Introduction_to_Algorithms_(3rd_edition).pdf - (4.84MB , CLRS - Introduction to Algorithms (3rd edition).pdf )

Neckbearded Basement Dweller 13/10/20(Sun)01:06 No. 4171

Any good books on Qt and/or QML?

Neckbearded Basement Dweller 13/11/05(Tue)14:37 No. 4198

Haven't seen any worthwhile books on the subject. It's a bit of a moving target too, as there have been fairly significant changes with qt5. The online reference is solid though, with many examples too.

Neckbearded Basement Dweller 13/12/03(Tue)18:34 No. 4233

File QtQuickApplicationGuide4Desktop_epub.txt - (336.81KB )

I have this but haven't read it.

Rename to .epub

Neckbearded Basement Dweller 14/04/18(Fri)23:32 No. 4409

File 139785673583.jpg - (107.91KB , 600x855 , web design.jpg )

I made an archive of everything in this thread and am uploading it here:


(search for books.zip)

Neckbearded Basement Dweller 14/04/21(Mon)20:39 No. 4415

nice porn collection

Neckbearded Basement Dweller 14/05/11(Sun)08:29 No. 4448

b-but isn't t-this like, illegal?

Neckbearded Basement Dweller 14/05/20(Tue)01:46 No. 4455

now that's what I'm talking about!

Neckbearded Basement Dweller 14/08/10(Sun)04:57 No. 4553

It might be, but..
Well said.

Neckbearded Basement Dweller 15/02/12(Thu)23:18 No. 4690


I came here looking for this specific book. Thank you very much!

Now to find time to actually read and understand the book...

Neckbearded Basement Dweller 15/03/20(Fri)17:01 No. 4712

Generally speaking you absolutely do not want non-pdf textbooks, especially ones heavy on code, formulæ, and diagrams.
They tend to be very awful.

Nattajerk 15/03/20(Fri)17:28 No. 4713

CHM files are the worst offenders. PDF is nice, though it often has the problem of being large if they're not properly made. There's a few books I want to post but they're a good 50-200MB in size

Neckbearded Basement Dweller 15/07/17(Fri)21:42 No. 4769

Thank you for this!

Neckbearded Basement Dweller 15/10/19(Mon)20:49 No. 4814

I <3 this thread!

I hoard this type of stuff!


Neckbearded Basement Dweller 15/10/21(Wed)17:21 No. 4815

Does anyone have "R in Action, Second Edition" by Kabacoff? Thanks.

Neckbearded Basement Dweller 16/01/19(Tue)01:07 No. 4847

Anyone have any Reverse Engineering literature on them?

Roach 16/01/23(Sat)05:16 No. 4851

what type of reverse engineering materials are you looking for ? any software in particular ?>

Neckbearded Basement Dweller 16/05/22(Sun)19:14 No. 4896

RE in general would be nice especially how to use IDApro and how to do it on linux.

Programming Elixir Yaren666 16/12/04(Sun)23:17 No. 4974

Does anyone have "Programming in Elixir"?


Neckbearded Basement Dweller 17/07/24(Mon)01:40 No. 5055

does anyone have this book
C++ Programming Professional Made Easy by sam key

a+prson 18/03/24(Sat)01:36 No. 5108


neon 18/10/29(Mon)11:09 No. 5149



Delete post []
Report post