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

Where Next?

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

Popular General Dev topics Top

PragmaticBookshelf
General Dev>Learning Resources

Manage Your Project Portfolio, Second Edition
You have too many projects, and firefighting and multitasking are keeping you from finishing any of them. You need to manage your project...
pragprog.com
#pragprog#published-book/book-manage-your-project-portfolio-second-edition
3 1288 0
New
PragmaticBookshelf
General Dev>Learning Resources

Seven Concurrency Models in Seven Weeks
This book will show you how to exploit different parallel architectures to improve your code’s performance, scalability, and resilience. ...
pragprog.com
#pragprog/clojure#published-book/book-seven-concurrency-models-in-seven-weeks
2 1605 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 1652 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 1057 0
New
PragmaticBookshelf
General Dev>Learning Resources

Pomodoro Technique Illustrated
You have so much you need to accomplish today. Your list is a mile long and you find yourself getting interrupted every other minute. You...
blog.utahcon.com
#pragprog#published-book/book-pomodoro-technique-illustrated
11 1981 5
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 1206 0
New
PragmaticBookshelf
General Dev>Learning Resources

Land the Tech Job You Love
As a techie, you have a tougher time finding and winning the right job. Companies are more demanding. Just like you, your competition is ...
pragprog.com
#pragprog#published-book/book-land-the-tech-job-you-love
3 1148 1
New
ManningBooks
General Dev>Learning Resources

The Programmer's Brain
Your brain responds in a predictable way when it encounters new or difficult tasks. The Programmer’s Brain teaches you concrete technique...
manning.com
#manning#published-book#programming#code#meap#cognition
3 1215 0
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 1141 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
#data-science
2 1130 1
New

Other popular topics Top

AstonJ
Science/Tech>Tech Chat

What are you watching?
Or looking forward to? :nerd_face:
#community
480 9438 251
New
Exadra37
macOS>Chat

Your Mac Isn't Yours - worse, it spies on you and sends it home unencrypted
On modern versions of macOS, you simply can’t power on your computer, launch a text editor or eBook reader, and write or read, without a ...
sneak.berlin
#macos#macs#big-sur#apple#privacy#mac-privacy
24 3679 24
New
AstonJ
General Dev>Dev Chat

Languages Without Garbage Collection
Continuing the discussion from Thinking about learning Crystal, let’s discuss - I was wondering which languages don’t GC - maybe we can c...
#garbage-collection
21 4800 7
New
wmnnd
General Dev>Blogs/Talks

Failing Big with Elixir and LiveView - A Post-Mortem
Here’s the story how one of the world’s first production deployments of LiveView came to be - and how trying to improve it almost caused ...
pentacent.com
/elixir/phoenix#blog-post#liveview
37 2727 14
New
First poster: bot
General Dev>In The News

The overengineered Solution to my Pigeon Problem
The overengineered Solution to my Pigeon Problem. TL;DR: I built a wifi-equipped water gun to shoot the pigeons on my balcony, controlle...
maxnagy.com
0 4367 0
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 8045 3
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Erin Dees (Author) Interview and AMA!
Author Spotlight Erin Dees @undees Welcome to our new author spotlight! We had the pleasure of chatting with Erin Dees, co-author of ...
#author-spotlight/ruby/rails/book-effective-testing-with-rspec-3/book-seven-more-languages-in-seven-weeks/book-cucumber-recipes#rspec
24 3704 11
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Bruce Tate (Author) Interview and AMA!
Author Spotlight: Bruce Tate @redrapids Programming languages always emerge out of need, and if that’s not always true, they’re defin...
/elixir/ruby/phoenix/book-seven-more-languages-in-seven-weeks/book-seven-languages-in-seven-weeks#liveview/book-programming-phoenix-liveview
54 4591 23
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 1353 8
New
AstonJ
AI>Chat

How to: Run DeepSeek on Mac, Windows, and Linux!
This is a very quick guide, you just need to: Download LM Studio: https://lmstudio.ai/ Click on search Type DeepSeek, then select the o...
#macs/deepseek#guides#lm-studio
14 5193 10
New
Back to top

Sponsor Spotlight

Honeybadger

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

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