General Dev>Learning Resources

A Practical Theory of Programming (free) (pdf)

CommunityNews

CommunityNews

A Practical Theory of Programming (free) (pdf)

What good is a theory of programming? Who wants one? Thousands of programmers program every day without any theory. Why should they bother to learn one? The answer is the same as for any other theory. For example, why should anyone learn a theory of motion? You can move around perfectly well without one. You can throw a ball without one. Yet we think it important enough to teach a theory of motion in high school.

Read in full here:

This thread was posted by one of our members via one of our news source trackers.

View thread on forum
#programming
0 784 0

Where Next?

View thread on forum
General Dev>Learning Resources
programming
Homepage
#programming
0 784 0
Last post

Popular General Dev topics Top

PragmaticBookshelf
General Dev>Learning Resources

Code with the Wisdom of the Crowd
Mob Programming is a natural extension of the popular Pair Programming concept and is not restricted to a specific programming language o...
pragprog.com
#pragprog#published-book/book-code-with-the-wisdom-of-the-crowd
2 1058 0
New
PragmaticBookshelf
General Dev>Learning Resources

Designed for Use, Second Edition
Design applications and websites that people will not only use, but will absolutely love. This second edition brings the book up to date ...
pragprog.com
#pragprog#web-development#published-book/book-designed-for-use-second-edition
3 1232 0
New
PragmaticBookshelf
General Dev>Learning Resources

Predicting the Unpredictable
If you have trouble estimating cost or schedule for your projects, you are not alone. The question is this: who wants the estimate and wh...
pragprog.com
#pragprog#published-book/book-predicting-the-unpredictable
2 1039 0
New
PragmaticBookshelf
General Dev>Learning Resources

The Cucumber for Java Book
Teams working on the JVM can now say goodbye forever to misunderstood requirements, tedious manual acceptance tests, and out-of-date docu...
pragprog.com
#pragprog/java#published-book/book-the-cucumber-for-java-book/cucumber
2 1350 0
New
PragmaticBookshelf
General Dev>Learning Resources

Seven More Languages in Seven Weeks
Learn from the award-winning programming series that inspired the Elixir language, and go on a step-by-step journey through the most impo...
pragprog.com
#pragprog/elixir/julia/lua#published-book#factor/elm#minikanren/idris#book-seven-moreuages-in-seven-weeks
4 1686 0
New
PragmaticBookshelf
General Dev>Learning Resources

Good Math
Why do Roman numerals persist? How do we know that some infinities are larger than others? And how can we know for certain a program will...
pragprog.com
#pragprog#published-book#math/book-good-math
4 1099 0
New
PragmaticBookshelf
General Dev>Learning Resources

Pragmatic Guide to Git
Get up to speed on Git right now with Pragmatic Guide to Git. Here you’ll find the 95 percent of Git that you’ll use at least once a week...
pragprog.com
#pragprog#published-book/book-pragmatic-guide-to-git
2 756 0
New
PragmaticBookshelf
General Dev>Learning Resources

Manage It!
Your project can’t fail. That’s a lot of pressure on you, and yet you don’t want to buy into any one specific process, methodology, or li...
pragprog.com
#pragprog#published-book/book-manage-it
3 1305 0
New
First poster: davearonson
General Dev>Learning Resources

Algorithms for Decision Making (free)
This book provides a broad introduction to algorithms for decision making under uncertainty. We cover a wide variety of topics related to...
algorithmsbook.com
#algorithms#pdf
15 954 5
New
PragmaticBookshelf
General Dev>Learning Resources

The Healthy Programmer, Second Edition
Small changes to your habits can improve your health—without getting in the way of your work. Joe Kutner @jkutner edited by Brian P...
pragprog.com
#published-book
4 706 4
New

Other popular topics Top

First poster: bot
Backend>In The News

Bit – A modernized Git CLI written in Go
github.com
/go#git
1 5418 0
New
AstonJ
General Dev>Hardware

Poll: Which keyboard layout do you use?
poll poll Be sure to check out @Dusty’s article posted here: An Introduction to Alternative Keyboard Layouts It’s one of the best write-...
colemakmods.github.io
#polls
10 5194 11
New
AstonJ
General Dev>Hardware

Keyboard thock (sound)
I’ve been hearing quite a lot of comments relating to the sound of a keyboard, with one of the most desirable of these called ‘thock’, he...
/keyboards#mechanical-keyboards
14 7717 8
New
DevotionGeo
General Dev>Code Editors

Dendron: a personal knowledge management tool on top of VSCode
/vscode#visual-studio-code
28 5846 9
New
Exadra37
Linux>Chat

RancherOS is in end of life
Oh just spent so much time on this to discover now that RancherOS is in end of life but Rancher is refusing to mark the Github repo as su...
#linux#rancheros
10 5055 6
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Jamis Buck (Author) Interview and AMA!
Author Spotlight Jamis Buck @jamis This month, we have the pleasure of spotlighting author Jamis Buck, who has written Mazes for Prog...
#author-spotlight/ruby/book-the-ray-tracer-challenge/book-mazes-for-programmers
21 5465 9
New
AstonJ
macOS>Chat

How to block any website on Mac using Little Snitch
If you want a quick and easy way to block any website on your Mac using Little Snitch simply… File > New Rule: And select Deny, O...
#macos#how-to#littlesnitch
5 7727 3
New
husaindevelop
Android>Questions

Clipboard readtext not working in android webview
Inside our android webview app, we are trying to paste the copied content from another app eg (notes) using navigator.clipboard.readtext ...
#android#clipboard
1 3045 0
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Sophie DeBenedetto (Author) Interview and AMA!
Author Spotlight: Sophie DeBenedetto @SophieDeBenedetto The days of the traditional request-response web application are long gone, b...
/elixir/phoenix#liveview/book-programming-phoenix-liveview
37 3096 14
New
First poster: bot
General Dev>In The News

Zig now has built-in HTTP server and client in std
zig/http.zig at 7cf2cbb33ef34c1d211135f56d30fe23b6cacd42 · ziglang/zig. General-purpose programming language and toolchain for maintaini...
github.com
/zig#http
0 2603 0
New
Back to top

General Dev>Learning Resources

General Dev Learning Resources ❯

Latest on Devtalk

Devtalk ❯

We ❤️ helpful members!

We reward our most helpful members via our MOTM scheme - by giving away a whopping 25 books per year!

Member of the Month

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that'll move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that'll move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

We're in Beta

About us Mission Statement See our Roadmap