CommunityNews
A Practical Theory of Programming (free)
You can download the book right here. It is 250 pages.
Contents
- Introduction
- Basic Theories
- Basic Data Structures
- Function Theory
- Program Theory
- Programming Language
- Recursive Definition
- Theory Design and Implementation
- Concurrency
- Interaction
- Exercises
- Reference
Read in full here:
http://www.cs.toronto.edu/~hehner/aPToP/
This thread was posted by one of our members via one of our news source trackers.
Popular General Dev topics
Battle cost overruns, death marches, and legacy code monsters with novel ways to identify and prioritize technical debt, based on behavio...
New
A single dramatic software failure can cost a company millions of dollars—but can be avoided with simple changes to design and architectu...
New
Design applications and websites that people will not only use, but will absolutely love. This second edition brings the book up to date ...
New
Two heads are better than one, but only if they’re working on the same problem. When pairing remotely, this requires a specialized enviro...
New
Management is ready to disband your new agile team and outsource your project. Can you save The Dream Team?
Portia Tung
edited by L...
New
Programming at industry level requires new skills—you’ll build programs that dwarf anything you’ve done on your own. This book introduces...
New
Debug It! will equip you with the tools, techniques, and approaches to help you tackle any bug with confidence. These secrets of professi...
New
Thanks to @AstonJ for encouraging me to post this here:
An introduction to alternative keyboard layouts
Feel free to post your own expe...
New
Mike Mason
edited by Jacquelyn Carter @jkcarter
Pragmatic Guide to Subversion gives you a shortcut to the Subversion master’s recommend...
New
Project retrospectives help teams examine what went right and what went wrong on a project. But traditionally, retrospectives (also known...
New
Other popular topics
Free and open source software is the default choice for the technologies that run our world, and it’s built and maintained by people like...
New
Learn from the award-winning programming series that inspired the Elixir language, and go on a step-by-step journey through the most impo...
New
New
Do the test and post your score :nerd_face:
:keyboard:
If possible, please add info such as the keyboard you’re using, the layout (Qw...
New
Hello everyone! This thread is to tell you about what authors from The Pragmatic Bookshelf are writing on Medium.
New
We’ve talked about his book briefly here but it is quickly becoming obsolete - so he’s decided to create a series of 7 podcasts, the firs...
New
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...
New
There appears to have been an update that has changed the terminology for what has previously been known as the Taskbar Overflow - this h...
New
Will Swifties’ war on AI fakes spark a deepfake porn reckoning?
New
If you’re getting errors like this:
psql: error: connection to server on socket “/tmp/.s.PGSQL.5432” failed: No such file or directory ...
New
Sponsor Spotlight
Courses that move you from confusion to "Aha, now I get it!"
Categories:
Sub Categories:
- All
- In The News (11141)
- Dev Chat (207)
- Questions (36)
- Learning Resources
- Blogs/Talks (27)
- Jobs (3)
- Events (15)
- Code Editors (59)
- Hardware (60)
- Reviews (5)
- Sales (16)
- Design & UX (5)
- Marketing & SEO (2)
- Industry & Culture (14)
- Ethics & Privacy (19)
- Business (4)
- Learning Methods (6)
- Content Creators (7)
- DevOps & Hosting (12)
Popular Portals
- /elixir
- /rust
- /wasm
- /ruby
- /erlang
- /phoenix
- /keyboards
- /python
- /js
- /rails
- /security
- /go
- /swift
- /vim
- /clojure
- /java
- /emacs
- /haskell
- /typescript
- /svelte
- /onivim
- /kotlin
- /c-plus-plus
- /crystal
- /tailwind
- /react
- /gleam
- /ocaml
- /elm
- /vscode
- /flutter
- /html
- /ash
- /deepseek
- /opensuse
- /zig
- /centos
- /php
- /scala
- /react-native
- /lisp
- /sublime-text
- /textmate
- /nixos
- /debian
- /agda
- /deno
- /django
- /kubuntu
- /arch-linux
- /nodejs
- /ubuntu
- /spring
- /revery
- /manjaro
- /julia
- /lua
- /diversity
- /quarkus
- /markdown
Devtalk Sponsors
Practical resources that improve the lives of professional developers.
We build trusted fault-tolerant systems that scale to billions of users.
Real-time error tracking, performance insights, and observability for devs.
Supporting innovation across the BEAM ecosystem.
We build reliable cloud platforms for business-critical systems.
Develop your skills with books, videos, and courses.
Catch errors, track performance, monitor hosts and more.
Enabling companies to succeed by building software people love.
Courses that move you from confusion to "Aha, now I get it!"
Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.