How to Design Programs 2nd Ed (2024)

126•AbuAssar•7mo ago

Comments

warkdarrior•7mo ago

Has anyone summarized HTDP into a prompt for something like Claude? Does it improve the quality of code generated?

paffdragon•7mo ago

It's very likely that it has been already scraped by AI bots.

sulam•7mo ago

Yes, but also a lot of other things. It's important to direct the LLM to emphasize some embeddings vs others. This makes the chances of you getting good results exponentially higher.

soco•7mo ago

But that would be supervised learning which we don't do (anymore) around here... honestly I wouldn't be surprised if the whole craze circles back to good old supervision, albeit many times empowered by what we have today on the shelves.

KingEllis•7mo ago

Their website says 2014. Amazon says 2018. But definitely not 2024, unless I am missing something.

jamie_ca•7mo ago

Direct link is https://htdp.org/2024-11-6/Book/index.html which says "Released on Wednesday, November 6th, 2024 7:36:10pm"

I think this is the 2024 digital release of the 2014/2018 physical publication.

fn-mote•7mo ago

I believe it was edited on the release date given.

ZoomZoomZoom•7mo ago

Since this is actually the same edition that's been available for at least 7 years, but you still clicked the link, it's very likely you're interested in something along those lines. Consider getting "Concepts, Techniques, and Models of Computer Programming First Edition"[1] by Peter Van Roy and Seif Haridi. Although not exactly cutting edge (2004) and Oz-centric[2], still a great read and, for many, a fresh perspective.

1. https://en.wikipedia.org/wiki/Concepts,_Techniques,_and_Mode...

2. https://en.wikipedia.org/wiki/Oz_(programming_language)

PS: I'll appreciate your recommendations as replies!

jmcdl•7mo ago

How worthwhile is it without being able to run the code examples and do the exercises? Getting Oz working is a real pain at best.

fn-mote•7mo ago

It would be more helpful to me if you said something about why you recommend it.

Like: what’s different from just “the rust programming language” (which is obviously not a beginner text, just trolling).

ZoomZoomZoom•7mo ago

Incidentally, in my opinion, The Rust Book was laid out exceptionally well for system programming beginners, at least in the state I read it through about 8 years ago or so. Steve and contributors managed to achieve a great balance between thoroughness and approachability of the text while dodging the curse of knowledge in a commendable way.

However, The Rust Book is as far from Concepts as it is from HTDP. It presents a specific language model in its relation to the hardware and common applications one faces while implementing what Concepts and HTDP teach to, well, design.

steveklabnik•7mo ago

Thank you, that’s very kind. It was a lot of work!

hollerith•7mo ago

I agree. I don't recall exactly when I read it, but it was about 8 years ago, too. In that state, the Rust Book was very very good for people like me (i.e., had already learned many PLs).

justin66•7mo ago

Wow, version 2 of Mozart is still incomplete, after all these years. I assume it will never happen.

http://mozart2.org/

adamddev1•7mo ago

Working through this was extremely helpful in getting me to think about building things with types, functions, and recursion. I saw an exponential increase in my problem-solving abilities after it. Can't recommend it enough.

WillAdams•7mo ago

How does this compare to Ousterhout's _A Philosophy of Software Design_

https://www.goodreads.com/en/book/show/39996759-a-philosophy...

https://news.ycombinator.com/item?id=37975558

Looking over the ToC there seems to be at least some overlap, but at a more basic level and sans the over arching concepts of APoSD.

Jtsummers•7mo ago

HTDP teaches how to program. Philosophy does not. That's pretty much the entire difference, they're in different categories of books. Philosophy assumes you know how to program, and attempts to teach a way of programming. HTDP starts from the beginning with no assumptions about the reader's ability to program.

subharmonicon•7mo ago

Off topic, but the typesetting here looks top notch and I am curious if anyone can elaborate on the tooling used to render this for the web?

Jtsummers•7mo ago

From the Acknowledgements:

> The HTML layout at htdp.org is the work of Matthew Butterick, who created these styles for our on-line documentation.

Some of his other work:

https://docs.racket-lang.org/pollen/

https://beautifulracket.com/

matthberg•7mo ago

He's also the person behind Practical Typography [0], a great reference/guide for essential typography and layout concepts and terms. It has opinionated recommendations covering nearly everything you'll need to make beautiful documents like this one.

Particularly helpful is the practical advice: how to get the desired results in Word, Pages, or with HTML/CSS; not just high-level abstract guidelines. There's everything from keyboard shortcuts for inserting different dashes (to accompany the explanation on when to use each type) [1] to guidance on page margins in print and on the web [2].

0: https://practicaltypography.com/

1: https://practicaltypography.com/hyphens-and-dashes.html

2: https://practicaltypography.com/page-margins.html

neilv•7mo ago

https://docs.racket-lang.org/scribble/

It's like LaTeX, but in Scheme.

Matthew Butterick did the visual redesign of the Web format output.

neilv•7mo ago

At one point, I made my embedded API/package docs tool use Scribble.

For example, this document for a package is generated entirely from fragments scattered throughout the code, and package metadata: https://docs.racket-lang.org/roomba/

zelphirkalt•7mo ago

I am not quite sure what you mean. When I click the link and go to some page of the book, I see the usual interface of racket docs and such. I just see text on a web page. Do you mean the font? Or something else?

Tiny C Compiler

You Are Here

SectorC: A C Compiler in 512 bytes

The F Word

Brookhaven Lab's RHIC concludes 25-year run with final collisions

Speed up responses with fast mode

LLMs as the new high level language

Software factories and the agentic moment

Hoot: Scheme on WebAssembly

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

GitBlack: Tracing America's Foundation

Stories from 25 Years of Software Development

FDA intends to take action against non-FDA-approved GLP-1 drugs

Show HN: A luma dependent chroma compression algorithm (image compression)

Al Lowe on model trains, funny deaths and working with Disney

First Proof

Vocal Guide – belt sing without killing yourself

I write games in C (yes, C) (2016)

Start all of your commands with a comma (2009)

Italy Railways Sabotaged

Show HN: I saw this cool navigation reveal, so I made a simple HTML+CSS version

Reinforcement Learning from Human Feedback

Selection rather than prediction

The AI boom is causing shortages everywhere else

72M Points of Interest

A Fresh Look at IBM 3270 Information Display System

Coding agents have replaced every framework I used

Unseen Footage of Atari Battlezone Arcade Cabinet Production

France's homegrown open source online office suite

Show HN: Kappal – CLI to Run Docker Compose YML on Kubernetes for Local Dev