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

From Chaos to Successful Distributed Agile Teams
You’ve worked on agile teams before, but how do you use these same practices with a distributed team? You don’t! Taking off-the-shelf pra...
pragprog.com
#pragprog#published-book/book-from-chaos-to-successful-distributed-agile-teams
3 2863 0
New
PragmaticBookshelf
General Dev>Learning Resources

Software Design X-Rays
Battle cost overruns, death marches, and legacy code monsters with novel ways to identify and prioritize technical debt, based on behavio...
pragprog.com
#pragprog#published-book/book-software-design-x-rays#data-science#algorithms
2 3434 0
New
PragmaticBookshelf
General Dev>Learning Resources

Create Your Successful Agile Project
An “out-of-the-box” agile approach won’t work for your unique situation. Instead, unite agile and lean principles to design a custom appr...
pragprog.com
#pragprog#published-book/book-create-your-successful-agile-project
2 2782 0
New
PragmaticBookshelf
General Dev>Learning Resources

Agile and Lean Program Management
If you’re trying to use agile and lean strategies at the program level, you’ve heard of several approaches, all about scaling processes. ...
pragprog.com
#pragprog#published-book/book-agile-and-lean-program-management
2 2539 0
New
PragmaticBookshelf
General Dev>Learning Resources

Exercises for Programmers
Great programmers practice to keep their skills sharp. Get sharp and stay sharp with 57 practice exercises rooted in real-world scenarios...
pragprog.com
#pragprog#published-book/book-exercises-for-programmers
2 2582 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

Behind Closed Doors
You can learn to be a better manager—even a great manager—with this guide. You’ll follow along as Sam, a manager just brought on board, l...
pragprog.com
#pragprog#published-book/book-behind-closed-doors
3 2432 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 2502 8
New
PragmaticBookshelf
General Dev>Learning Resources

Pragmatic Guide to Subversion
Mike Mason edited by Jacquelyn Carter @jkcarter Pragmatic Guide to Subversion gives you a shortcut to the Subversion master’s recommend...
pragprog.com
#pragprog#published-book/book-pragmatic-guide-to-subversion
2 1796 0
New
PragmaticBookshelf
General Dev>Learning Resources

Free Your Inner Nonfiction Writer
Free your inner nonfiction writer as you learn to write fast and well. Johanna Rothman @jrothman This work was written and produced...
pragprog.com
#pragprog#published-book/book-free-your-inner-nonfiction-writer
18 3393 10
New

Other popular topics Top

PragmaticBookshelf
General Dev>Learning Resources

A Common-Sense Guide to Data Structures and Algorithms, Second Edition
Algorithms and data structures are much more than abstract concepts. Mastering them enables you to write code that runs faster and more e...
pragprog.com
#pragprog/python/ruby#published-book/book-a-common-sense-guide-to-data-structures-and-algorithms-second-edition#math#algorithms/js
19 6022 5
New
AstonJ
Science/Tech>Tech Chat

What are you watching?
Or looking forward to? :nerd_face:
#community
503 15149 280
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 11362 88
New
AstonJ
General Dev>Hardware

Keyboard thock (sound)
I’ve been hearing quite a lot of comments relating to the sound of a keyboard, with one of the most desirable of these called ‘thock’, he...
/keyboards#mechanical-keyboards
14 11197 8
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 13874 7
New
AstonJ
General Dev>Code Editors

Doom-Emacs: Can't find emacs in your PATH
If you get Can't find emacs in your PATH when trying to install Doom Emacs on your Mac you… just… need to install Emacs first! :lol: bre...
#macos/emacs#doom-emacs
4 5837 0
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Mike Riley (Author) Interview and AMA!
Author Spotlight Mike Riley @mriley This month, we turn the spotlight on Mike Riley, author of Portable Python Projects. Mike’s book ...
#author-spotlight/python#iot/book-portable-python-projects#internet-of-things
62 7035 19
New
CommunityNews
General Dev>In The News

Review of Linux on Minisforum V3 AMD Ryzen Tablet
A Brief Review of the Minisforum V3 AMD Tablet. Update: I have created an awesome-minisforum-v3 GitHub repository to list information fo...
mudkip.me
#linux#review#amd
0 4635 0
New
PragmaticBookshelf
Backend>Learning Resources

Advanced Functional Programming with Elixir
Use advanced functional programming principles, practical Domain-Driven Design techniques, and production-ready Elixir code to build scal...
joekoski.com
#pragprog/elixir#published-book#functional-programming/book-advanced-functional-programming-with-elixir
43 4989 22
New
xiji2646-netizen
AI>Chat

Has anyone tried the Karpathy CLAUDE.md rules? (97.8k stars)
There’s a GitHub repo at forrestchang/andrej-karpathy-skills that’s sitting at 97.8k stars. It’s a single CLAUDE.md file with four behavi...
#claude
0 37 1
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.

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