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 954 0

Where Next?

View thread on forum
programming
Home General Dev>Learning Resources
#programming
0 954 0
Last post

Popular General Dev topics Top

PragmaticBookshelf
General Dev>Learning Resources

Become an Effective Software Engineering Manager
Going from engineer to manager doesn’t have to be intimidating. Engineers can be managers, and fantastic ones at that. Cast aside the rhe...
pragprog.com
#pragprog#published-book/book-become-an-effective-software-engineering-manager
5 2177 1
New
PragmaticBookshelf
General Dev>Learning Resources

From Chaos to Successful Distributed Agile Teams
You’ve worked on agile teams before, but how do you use these same practices with a distributed team? You don’t! Taking off-the-shelf pra...
pragprog.com
#pragprog#published-book/book-from-chaos-to-successful-distributed-agile-teams
3 2150 0
New
PragmaticBookshelf
General Dev>Learning Resources

Design It!
Don’t engineer by coincidence—design it like you mean it! Grounded by fundamentals and filled with practical design methods, this is the ...
pragprog.com
#pragprog#published-book/book-design-it
3 1891 0
New
PragmaticBookshelf
General Dev>Learning Resources

Agile and Lean Program Management
If you’re trying to use agile and lean strategies at the program level, you’ve heard of several approaches, all about scaling processes. ...
pragprog.com
#pragprog#published-book/book-agile-and-lean-program-management
2 2000 0
New
PragmaticBookshelf
General Dev>Learning Resources

Creating Great Teams
Discover how New Zealand’s biggest e-commerce company completely restructured their business through Self-Selection. In the process, find...
pragprog.com
#pragprog#published-book/book-creating-great-teams
3 1825 1
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 2242 0
New
PragmaticBookshelf
General Dev>Learning Resources

Cucumber Recipes
The Cucumber Book showed you how your team can work together to write executable specifications—documents that tell a clear story and als...
pragprog.com
#pragprog/ruby#published-book/cucumber/book-cucumber-recipes
2 2514 0
New
PragmaticBookshelf
General Dev>Learning Resources

Business Success with Open Source
Rebuild your free and open source software policies to increase developer retention, ensure cutting-edge security, and reinforce the comp...
pragprog.com
#pragprog#published-book#opensource/book-business-success-with-open-source
1 2212 0
New
PragmaticBookshelf
General Dev>Learning Resources

A Common-Sense Guide to Data Structures and Algorithms in Python, Volume 2
Write fast, space-efficient, and scalable code using the easy-to-understand algorithms and data structures in this book. Jay Wengr...
pragprog.com
#pragprog/python#published-book#data-science/book-a-common-sense-guide-to-data-structures-and-algorithms-in-python-volume-2
2 2426 1
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
#pragprog#health#published-book/book-the-healthy-programmer-second-edition
4 2451 4
New

Other popular topics Top

axelson
Cross Platform>Libraries/Tools

Obsidian – a cross platform app to help you create a knowledge base with Markdown files
I’ve been really enjoying obsidian.md: It is very snappy (even though it is based on Electron). I love that it is all local by defaul...
#apps#macos#windows#linux/markdown#obsidian
38 4357 19
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/keyboards
10 5701 11
New
dimitarvp
macOS>Chat

My thoughts on macOS vs Linux
Small essay with thoughts on macOS vs. Linux: I know @Exadra37 is just waiting around the corner to scream at me “I TOLD YOU SO!!!” but I...
#macos#linux
166 8678 69
New
PragmaticBookshelf
Backend>Learning Resources

Programming WebRTC
Use WebRTC to build web applications that stream media and data in real time directly from one user to another, all in the browser. ...
pragprog.com
#pragprog#published-book/js#webrtc/book-programming-webrtc
27 4743 6
New
foxtrottwist
General Dev>Dev Chat

Warp—The blazingly fast, Rust-based terminal
A few weeks ago I started using Warp a terminal written in rust. Though in it’s current state of development there are a few caveats (tab...
/rust#terminal
52 5824 22
New
AstonJ
General Dev>Code Editors

Doom-Emacs: Can't find emacs in your PATH
If you get Can't find emacs in your PATH when trying to install Doom Emacs on your Mac you… just… need to install Emacs first! :lol: bre...
#macos/emacs#doom-emacs
4 5350 0
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Rebecca Skinner (Author) Interview and AMA!
Author Spotlight Rebecca Skinner @RebeccaSkinner Welcome to our latest author spotlight, where we sit down with Rebecca Skinner, auth...
#author-spotlight/haskell/book-effective-haskell
106 10968 28
New
DevotionGeo
General Dev>Questions

Do you prefer regular mechanical keyboards or low profile mechanical keyboards and why?
I have always used antique keyboards like Cherry MX 1800 or Cherry MX 8100 and almost always have modified the switches in some way, like...
/keyboards#mechanical-keyboards
27 3339 9
New
sir.laksmana_wenk
Game Dev>Questions

I want to learn how make a game, but where should I start?
I’m able to do the “artistic” part of game-development; character designing/modeling, music, environment modeling, etc. However, I don’t...
#game-dev
14 3136 8
New
Margaret
Community>In The Spotlight

AMA with: Mark Volkmann (codebar Winter Lit Fest)
Ask Me Anything with Mark Volkmann @mvolkmann On February 24 and 25, we are giving you a chance to ask questions of PragProg author M...
/book-server-driven-web-apps-with-htmx#codebar-spotlight
37 1880 20
New
Back to top

Sponsor Spotlight

Erlang Solutions

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

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 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 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