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

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 2435 0
New
PragmaticBookshelf
General Dev>Learning Resources

Scalable Cloud Ops with Fugue
Harness the promise of the cloud with Fugue, an operating system built for the cloud. If you’re a software engineer, architect, DevOps pr...
pragprog.com
#pragprog#web-development#published-book/book-scalable-cloud-ops-with-fugue
2 1908 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

Tmux 2
You have a database console, web server, test runner, and text editor running at the same time, but switching between them and trying to ...
pragprog.com
#pragprog#published-book/book-tmux-2#tmux
2 2685 0
New
PragmaticBookshelf
General Dev>Learning Resources

The Way of the Web Tester
This book is for everyone who needs to test the web. Follow the testing pyramid and level up your skills in user interface testing, integ...
pragprog.com
#pragprog#web-development#published-book/book-the-way-of-the-web-tester
2 1780 0
New
PragmaticBookshelf
General Dev>Learning Resources

The Agile Samurai
Get ready to kick some software project butt. By learning the ways of the agile samurai you will discover: how to create plans and sched...
pragprog.com
#pragprog#published-book/book-the-agile-samurai#agile
3 3214 2
New
PragmaticBookshelf
General Dev>Learning Resources

Pragmatic Unit Testing in C# with NUnit (2nd edition)
Pragmatic programmers use feedback to drive their development and personal processes. The most valuable feedback you can get while coding...
pragprog.com
#pragprog#published-book/book-pragmatic-unit-testing-in-c-with-nunit-2nd-edition
2 2493 0
New
PragmaticBookshelf
General Dev>Learning Resources

Fixing Your Scrum
Learn how experienced Scrum masters balance the demands of servant leadership, while removing organizational impediments and helping Scru...
pragprog.com
#pragprog#published-book#agile/book-fixing-your-scrum
6 2745 1
New
PragmaticBookshelf
General Dev>Learning Resources

Project Lifecycles
Learn to design project lifecycles to create valuable products and a culture of agility. Johanna Rothman @jrothman Do you dread you...
jrothman.com
#pragprog#published-book/book-project-lifecycles
2 2887 0
New
PragmaticBookshelf
General Dev>Learning Resources

The Stress Equation
Learn to recognize, analyze, and fix the causes of stress in your teams, reducing burnout and increasing both happiness and productivity....
pragprog.com
#pragprog#published-book#productivity/book-the-stress-equation
11 3784 7
New

Other popular topics Top

Exadra37
Linux>Questions

AMD or Intel for Programming with Linux as the OS?
I am thinking in building or buy a desktop computer for programing, both professionally and on my free time, and my choice of OS is Linux...
#mobile#android#web-development#linux#desktop-computer#mobile-development
36 6006 10
New
dasdom
General Dev>Dev Chat

Standing Desks
No chair. I have a standing desk. This post was split into a dedicated thread from our thread about chairs :slight_smile:
#workspace#opinions
177 9886 77
New
DevotionGeo
Backend>Questions

Can someone explain the -t option/flag in docker run command?
I know that -t flag is used along with -i flag for getting an interactive shell. But I cannot digest what the man page for docker run com...
#docker
7 10261 2
New
AstonJ
Backend>Chat

How to install Ruby 3 with ASDF
In case anyone else is wondering why Ruby 3 doesn’t show when you do asdf list-all ruby :man_facepalming: do this first: asdf plugin-upd...
/ruby#asdf
11 5961 4
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
PragmaticBookshelf
Backend>Learning Resources

Programming Ruby 3.2 (5th Edition)
Programming Ruby is the most complete book on Ruby, covering both the language itself and the standard library as well as commonly used t...
twitter.com
#pragprog/ruby/rails#published-book/book-programming-ruby-3-2-5th-edition
28 8550 13
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 5496 10
New
CommunityNews
General Dev>In The News

X can’t stop spread of explicit, fake AI Taylor Swift images
Will Swifties’ war on AI fakes spark a deepfake porn reckoning?
arstechnica.com
/swift
0 8379 0
New
mindriot
General Dev>Reviews

Keyboard Review: UHK60V2 vs Defy vs Voyager vs Glove80 vs Svalboard
Ok, well here are some thoughts and opinions on some of the ergonomic keyboards I have, I guess like mini review of each that I use enoug...
/keyboards#uhk60v2#defy#voyager#glove80#svalboard
5 5681 7
New
PragmaticBookshelf
General Dev>Learning Resources

Write Better with Vale
Lint your docs like code: turn any style guide into enforceable rules with Vale and publish clear, consistent content every time. ...
pragprog.com
#pragprog#published-book#vale/book-write-better-with-vale
8 9973 5
New
Back to top

Sponsor Spotlight

Manning

Develop your skills with books, videos, and courses.

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

Linux New Media

Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.

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

Linux New Media

Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.

View all our sponsors ❯

We're in Beta

About us Mission Statement See our Roadmap