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
Express your customers’ wild ideas as a set of clear, executable specifications that everyone on the team can read. Feed those examples i...
New
Great programmers practice to keep their skills sharp. Get sharp and stay sharp with 57 practice exercises rooted in real-world scenarios...
New
Your team is stressed; priorities are unclear. You’re not sure what your teammates are working on, and management isn’t helping. If your ...
New
Teams working on the JVM can now say goodbye forever to misunderstood requirements, tedious manual acceptance tests, and out-of-date docu...
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
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...
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
Rebuild your free and open source software policies to increase developer retention, ensure cutting-edge security, and reinforce the comp...
New
Discover how to empower teams through self-selection, enhancing productivity and satisfaction in the modern workplace.
Sandy Mamoli...
New
Small changes to your habits can improve your health—without getting in the way of your work.
Joe Kutner @jkutner
edited by Brian P...
New
Other popular topics
If it’s a mechanical keyboard, which switches do you have?
Would you recommend it? Why?
What will your next keyboard be?
Pics always w...
New
@AstonJ prompted me to open this topic after I mentioned in the lockdown thread how I started to do a lot more for my fitness.
https://f...
New
New
You might be thinking we should just ask who’s not using VSCode :joy: however there are some new additions in the space that might give V...
New
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...
New
In case anyone else is wondering why Ruby 3 doesn’t show when you do asdf list-all ruby :man_facepalming: do this first:
asdf plugin-upd...
New
Think Again 50% Off Sale »
The theme of this sale is new perspectives on familiar topics.
Enter coupon code ThinkAgain2021 at checkout t...
New
Use WebRTC to build web applications that stream media and data in real time directly from one user to another, all in the browser.
...
New
Author Spotlight
Rebecca Skinner
@RebeccaSkinner
Welcome to our latest author spotlight, where we sit down with Rebecca Skinner, auth...
New
Develop, deploy, and debug BEAM applications using BEAMOps: a new paradigm that focuses on scalability, fault tolerance, and owning each ...
New
Sponsor Spotlight
Catch errors, track performance, monitor hosts and more.
Categories:
Sub Categories:
- All
- In The News (10468)
- Dev Chat (202)
- Questions (34)
- Learning Resources
- Blogs/Talks (27)
- Jobs (3)
- Events (15)
- Code Editors (59)
- Hardware (57)
- Reviews (5)
- Sales (16)
- Design & UX (5)
- Marketing & SEO (2)
- Industry & Culture (14)
- Ethics & Privacy (19)
- Business (4)
- Learning Methods (5)
- Content Creators (7)
- DevOps & Hosting (9)
Popular Portals
- /elixir
- /rust
- /ruby
- /wasm
- /erlang
- /phoenix
- /keyboards
- /python
- /js
- /rails
- /security
- /go
- /swift
- /vim
- /clojure
- /emacs
- /haskell
- /java
- /svelte
- /onivim
- /typescript
- /kotlin
- /c-plus-plus
- /crystal
- /tailwind
- /react
- /gleam
- /ocaml
- /flutter
- /elm
- /vscode
- /ash
- /opensuse
- /html
- /centos
- /php
- /zig
- /deepseek
- /scala
- /textmate
- /lisp
- /sublime-text
- /react-native
- /nixos
- /debian
- /agda
- /kubuntu
- /arch-linux
- /deno
- /django
- /revery
- /ubuntu
- /spring
- /nodejs
- /manjaro
- /diversity
- /lua
- /julia
- /slackware
- /c
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.
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!"