Mastodawn

First day of teaching the design recipe, and I only broke two keys on the keyboard
#HtDP

Hacker News Jun 20, 2025

How to Design Programs 2nd Ed (2024)

#HackerNews #How #to #Design #Programs #2nd #Ed #2024 #htdp #designprograms #programming #education #softwaredevelopment

How to Design Programs

Divya Ranjan

Feb 13, 2025

#Programming #HtDP #ProblemSolving

Chung-chieh Shan 單中杰 Dec 23, 2024

The new mascot of How To Design Programs just dropped
#htdp

qeef May 16, 2024

Tak ještě "Nekonečně kouzelné jazykolamy" a první verze #wikiknihy #Neprogramátor bude hotová.

https://cs.wikibooks.org/wiki/Neprogram%C3%A1tor

Nebo hotová... ještě chci přidat něco jako "Kouzelnické triky" a popsat minimálně side effects a OOP. A asi systematický přístup k řešení problémů stylem "Rozděl a panuj", jako je v #HTDP. A možná makra. A možná mě napadne ještě něco, ale nechci jít moc do hloubky; chci aby Neprogramátor byl čitelný pro neprogramátory.

Neprogramátor – Wikiknihy

Show thread

Alexander Shendi Oct 3, 2023

@rml @ramin_hal9001

I think you are confusing it with "Realm of Racket". Here's the TOC of #HTDP:

https://catalog.lib.uchicago.edu/vufind/Record/11706610/TOC

No spaceships there ;)

Table of Contents: How to design programs :

Show thread

Alexander Shendi Oct 3, 2023

@rml @ramin_hal9001

Frankly, #HTDP is the most boring programming book I can think of.

#PSA

blake shaw 🇵🇸Sep 14, 2023

There are some (seemingly obvious) real-world applications of interactive #TheoremProvers like #lean that honestly have the power to change the world, we just have a broken social system that wont properly invest in them. For example, I imagine that carefully crafted curricular mathematics teaching languages ala #HTDP for K-12 (with perhaps a scratch-like interface for the younger kids) created in lean would be a game-changer for mathematics education.

I was lucky enough to be sent to a decent public school for #autistic and #ADHD kids growing up, because I had consistently done terribly at math in school because I couldn't sit still, keep my mouth closed, and was constantly in ISAP, but I always scored in the top percentage of standardized tests. There I got to do mathematics self-study, with a teacher to help when needed, and that was truly liberating, and I graduated early with an almost 4.0 grade point average, and went on to do an (unfinished) philosophy doctorate, much of which involved category theory. I feel like if kids had an environment to independently explore #mathematics, one that grows with them, many kids that are bad at it now would succeed.

worldofgeese

Feb 26, 2023

Gregor Kiczales is the person who first got me excited not just about programming but that it was possible a silly young art student like me could even learn programming using the #htdp paradigm for designing programs step by step, function by function. A source of wisdom whether you're writing in #lisp or #python. Such a calm comforting voice too https://www.youtube.com/watch?v=0iD5iM64iEo