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

The Healthy Programmer
Small changes to your habits can improve your health—without getting in the way of your work. The Healthy Programmer gives you a daily pl...
pragprog.com
#pragprog#health#published-book/book-the-healthy-programmer
2 2897 0
New
PragmaticBookshelf
General Dev>Learning Resources

New Programmer's Survival Manual
Programming at industry level requires new skills—you’ll build programs that dwarf anything you’ve done on your own. This book introduces...
pragprog.com
#pragprog#published-book/book-new-programmer-s-survival-manual
3 2186 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

Debug It!
Debug It! will equip you with the tools, techniques, and approaches to help you tackle any bug with confidence. These secrets of professi...
pragprog.com
#pragprog#published-book/book-debug-it
2 2604 0
New
PragmaticBookshelf
General Dev>Learning Resources

Agile Coaching
To lead change, you need to expand your toolkit, and this book gives you the tools you need to make the transition from agile practitione...
pragprog.com
#pragprog#published-book#agile/book-agile-coaching
2 2462 0
New
PragmaticBookshelf
General Dev>Learning Resources

Practices of an Agile Developer
Many books and articles have been written describing agile, adaptable approaches to writing software. But somehow, reading about software...
pragprog.com
#pragprog#published-book#agile/book-practices-of-an-agile-developer
2 3087 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
Dusty
General Dev>Learning Resources

An Introduction to Alternative Keyboard Layouts
Thanks to @AstonJ for encouraging me to post this here: An introduction to alternative keyboard layouts Feel free to post your own expe...
gist.github.com
/keyboards#article#sticky#keyboard-layouts
19 2502 8
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
General Dev>Hardware

What monitor(s) do you have for programming?
Please tell us what is your preferred monitor setup for programming(not gaming) and why you have chosen it. Does your monitor have eye p...
#monitors#coding#programming#development
227 11362 88
New
First poster: bot
Backend>In The News

Bit – A modernized Git CLI written in Go
github.com
/go#git
1 5920 0
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 9730 69
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
PragmaticBookshelf
Backend>Learning Resources

Concurrent Data Processing in Elixir
Learn different ways of writing concurrent code in Elixir and increase your application's performance, without sacrificing scalability or...
pragprog.com
#pragprog/elixir#published-book/book-concurrent-data-processing-in-elixir
78 6059 24
New
mafinar
Community>Journals

Programming Crystal Book Club
Crystal recently reached version 1. I had been following it for awhile but never got to really learn it. Most languages I picked up out o...
/crystal/book-programming-crystal#book-club
155 4813 65
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: VM Brasseur (Author) Interview and AMA!
Author Spotlight: VM Brasseur @vmbrasseur We have a treat for you today! We turn the spotlight onto Open Source as we sit down with V...
#author-spotlight/book-forge-your-future-with-open-source
16 5051 11
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 5624 0
New
PragmaticBookshelf
Backend>Learning Resources

Engineering Elixir Applications
Develop, deploy, and debug BEAM applications using BEAMOps: a new paradigm that focuses on scalability, fault tolerance, and owning each ...
pragprog.com
#pragprog/elixir#published-book/book-engineering-elixir-applications
40 7136 21
New
Fl4m3Ph03n1x
AI>Questions

What are the best text-to-speech ai generation tools that you can run locally?
Background Lately I am in a quest to find a good quality TTS ai generation tool to run locally in order to create audio for some videos I...
#ai#text-to-speech
6 7713 3
New
Back to top

Sponsor Spotlight

EEF

Supporting innovation across the BEAM ecosystem.

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