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

Where Next?

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

Popular General Dev topics Top

PragmaticBookshelf
General Dev>Learning Resources

Software Estimation Without Guessing
Developers hate estimation, and most managers fear disappointment with the results, but there is hope for both. Let go of the notion that...
pragprog.com
#pragprog#published-book/book-software-estimation-without-guessing#math
2 1515 0
New
PragmaticBookshelf
General Dev>Learning Resources

Rails 5 Test Prescriptions
Does your Rails code suffer from bloat, brittleness, or inaccuracy? Cure these problems with the regular application of test-driven devel...
pragprog.com
#pragprog/ruby/rails#published-book/book-rails-5-test-prescriptions/cucumber
2 1939 0
New
PragmaticBookshelf
General Dev>Learning Resources

Real-World Kanban
Your team is stressed; priorities are unclear. You’re not sure what your teammates are working on, and management isn’t helping. If your ...
pragprog.com
#pragprog#published-book/book-real-world-kanban
2 1386 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 2373 2
New
PragmaticBookshelf
General Dev>Learning Resources

Language Implementation Patterns
Knowing how to create domain-specific languages (DSLs) can give you a huge productivity boost. Instead of writing code in a general-purpo...
pragprog.com
#pragprog#published-book/book-language-implementation-patterns
2 1725 0
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 1649 0
New
PragmaticBookshelf
General Dev>Learning Resources

The Passionate Programmer (2nd edition)
Success in today’s IT environment requires you to view your career as a business endeavor. In this book, you’ll learn how to become an en...
pragprog.com
#pragprog#published-book/book-the-passionate-programmer-2nd-edition
2 1556 0
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 2263 8
New
PragmaticBookshelf
General Dev>Learning Resources

Agile Retrospectives, Second Edition
Project retrospectives help teams examine what went right and what went wrong on a project. But traditionally, retrospectives (also known...
pragprog.com
#pragprog#published-book#agile/book-agile-retrospectives-second-edition
1 2250 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 2172 1
New

Other popular topics Top

ohm
Science/Tech>Tech Chat

Games! Which do you play?
Which, if any, games do you play? On what platform? I just bought (and completed) Minecraft Dungeons for my Nintendo Switch. Other than ...
#games
246 5831 101
New
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 4314 19
New
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 9465 88
New
DevotionGeo
General Dev>Dev Chat

The V Programming Language
The V Programming Language Simple language for building maintainable programs V is already mentioned couple of times in the forum, but I...
#programminguages/v
21 11939 7
New
AstonJ
Science/Tech>Health & Diet

Did you manage to avoid covid19?
Seems like a lot of people caught it - just wondered whether any of you did? As far as I know I didn’t, but it wouldn’t surprise me if I...
#covid19
190 4069 79
New
Margaret
General Dev>Dev Chat

PragProg’s Medium Posts
Hello everyone! This thread is to tell you about what authors from The Pragmatic Bookshelf are writing on Medium.
#pragprog#blog-post
1145 27688 760
New
gagan7995
Backend>Questions

Please tell me how to write a query for this in nodejs
API 4 Path: /user/following/ Method: GET Description: Returns the list of all names of people whom the user follows Response [ { ...
/nodejs
7 3234 3
New
mafinar
Backend>Chat

Data Structures and Algorithms with Elixir
This is going to be a long an frequently posted thread. While talking to a friend of mine who has taken data structure and algorithm cou...
/elixir#algorithms#data-structures
108 9970 31
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 9072 3
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 2496 7
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