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

Where Next?

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

Popular General Dev topics Top

PragmaticBookshelf
General Dev>Learning Resources

A Scrum Book
Building a successful product usually involves teams of people, and the Scrum approach aids in creating the highest possible value. Imple...
pragprog.com
#pragprog#published-book/book-a-scrum-book
2 2336 0
New
PragmaticBookshelf
General Dev>Learning Resources

Modern Vim
No other text editor comes close to Vim for speed and efficiency. Make Vim the centerpiece of a Unix-based IDE, and discover new ways to ...
pragprog.com
#pragprog#published-book/book-modern-vim
2 3194 0
New
PragmaticBookshelf
General Dev>Learning Resources

The Cucumber Book, Second Edition
Express your customers’ wild ideas as a set of clear, executable specifications that everyone on the team can read. Feed those examples i...
pragprog.com
#pragprog#published-book#book-the-cucumber-book-second-edition/cucumber
3 2574 0
New
PragmaticBookshelf
General Dev>Learning Resources

Remote Pairing
Two heads are better than one, but only if they’re working on the same problem. When pairing remotely, this requires a specialized enviro...
pragprog.com
#pragprog#published-book/book-remote-pairing
3 1962 0
New
PragmaticBookshelf
General Dev>Learning Resources

The Dream Team Nightmare
Management is ready to disband your new agile team and outsource your project. Can you save The Dream Team? Portia Tung edited by L...
pragprog.com
#pragprog#published-book/book-the-dream-team-nightmare
2 1962 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 3059 0
New
PragmaticBookshelf
General Dev>Learning Resources

Pragmatic Version Control Using Git
Whether you’re making the switch from a traditional centralized version control system or are a new programmer just getting started, this...
pragprog.com
#pragprog#published-book/book-pragmatic-version-control-using-git
4 2454 0
New
PragmaticBookshelf
General Dev>Learning Resources

Practical Ways to Manage Yourself
Lead and serve others with ease when you learn to manage yourself and become a modern manager. Johanna Rothman @jrothman This work ...
jrothman.com
#pragprog#published-book/book-practical-ways-to-manage-yourself
1 2933 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 3181 0
New
PragmaticBookshelf
General Dev>Learning Resources

Become a Great Engineering Leader
Learn the tools and techniques of effective engineering leadership. James Stanier @jstanier edited by Adaobi Obi Tulton @aotulton A...
pragprog.com
#pragprog#published-book/book-become-a-great-engineering-leader
3 3136 0
New

Other popular topics Top

PragmaticBookshelf
Game Dev>Learning Resources

The Ray Tracer Challenge
Brace yourself for a fun challenge: build a photorealistic 3D renderer from scratch! In just a couple of weeks, build a ray tracer that r...
pragprog.com
#pragprog#published-book/book-the-ray-tracer-challenge#algorithms
3 6115 0
New
PragmaticBookshelf
General Dev>Learning Resources

Forge Your Future with Open Source
Free and open source software is the default choice for the technologies that run our world, and it’s built and maintained by people like...
pragprog.com
#pragprog#published-book/book-forge-your-future-with-open-source
3 5654 0
New
AstonJ
General Dev>Dev Chat

Best chairs for developers?
What chair do you have while working… and why? Is there a ‘best’ type of chair or working position for developers?
#workspace#opinions
74 5463 41
New
DevotionGeo
Backend>Chat

What is the reason behind Rust’s web framework, Rocket, not performing as well as expected in the Techempower benchmarks?
I know that these benchmarks might not be the exact picture of real-world scenario, but still I expect a Rust web framework performing a ...
#web-frameworks/rust
36 7463 11
New
AstonJ
General Dev>Code Editors

Poll: Which code editor do you use?
You might be thinking we should just ask who’s not using VSCode :joy: however there are some new additions in the space that might give V...
#community#polls/vim/emacs#code-editors/vscode#notepad/sublime-text#atom/textmate#codespaces#brackets/onivim#geany
121 5796 61
New
Exadra37
Linux>Questions

What is the most minimalist Linux server distro?
I am asking for any distro that only has the bare-bones to be able to get a shell in the server and then just install the packages as we ...
#linux#servers
66 25846 24
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 6358 6
New
AstonJ
Backend>Chat

Rails console using 100% CPU in dev (fix)
If you are experiencing Rails console using 100% CPU on your dev machine, then updating your development and test gems might fix the issu...
/ruby/rails
3 4188 3
New
hilfordjames
Windows>Chat

Taskbar Overflow Menu (NOT System Tray Overflow)
There appears to have been an update that has changed the terminology for what has previously been known as the Taskbar Overflow - this h...
#taskbar-overflow-win-11
3 3715 2
New
PragmaticBookshelf
Backend>Learning Resources

MySQL 9 Essentials
A concise guide to MySQL 9 database administration, covering fundamental concepts, techniques, and best practices. Neil Smyth MySQL...
pragprog.com
#pragprog#published-book/mysql/book-mysql-9-essentials
2 4162 0
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.

EEF

Supporting innovation across the BEAM ecosystem.

coders51

We build reliable cloud platforms for business-critical systems.

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.

EEF

Supporting innovation across the BEAM ecosystem.

coders51

We build reliable cloud platforms for business-critical systems.

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