#htdp — Public Fediverse posts

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

How to Design Programs 2nd Ed (2024)

https://htdp.org

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

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

@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 ;)

@rml @ramin_hal9001

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

#PSA

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.

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

40 days left to the submission deadline of #EuropeanLispSymposium (#ELSConf) in #Amsterdam:

🧷 (Friendica) https://libranet.de/display/0b6b25a8-1763-a88a-e526-72b275177682

🦎 (Matrix) https://matrix.to/#/!gqlYAZsfzSnmFNEHAT:magdeburg.jetzt/$z7kGECRQluF1iZzNhW-0I1e3lUmg-pff8PcAh96gox4

🦎 (Telegram) https://telegram.me/FamilyOfLisp/309

🌺

🏷️ #Lisp #Scheme #CommonLisp #Clojure #Racket #Emacs #ACL2 #AutoLisp # ISLisp #DylanLang #SKILL #Hy #Shen #Carp #Janet #uLisp #Picolisp #Gamelisp #TXR #InterLisp #Medley #OpenGenera #Symbolics #ThinkingMachines #ConnectionMachine #MultiLisp #AMOP #CLOS #SICP #PAIP #AIMA #Lambda #CLtL2 #HTDP

40 days left to the submission deadline of #EuropeanLispSymposium (#ELSConf) in #Amsterdam:

🧷 (Friendica) https://libranet.de/display/0b6b25a8-1763-a88a-e526-72b275177682

🦎 (Matrix) https://matrix.to/#/!gqlYAZsfzSnmFNEHAT:magdeburg.jetzt/$z7kGECRQluF1iZzNhW-0I1e3lUmg-pff8PcAh96gox4

🦎 (Telegram) https://telegram.me/FamilyOfLisp/309

🌺

🏷️ #Lisp #Scheme #CommonLisp #Clojure #Racket #Emacs #ACL2 #AutoLisp # ISLisp #DylanLang #SKILL #Hy #Shen #Carp #Janet #uLisp #Picolisp #Gamelisp #TXR #InterLisp #Medley #OpenGenera #Symbolics #ThinkingMachines #ConnectionMachine #MultiLisp #AMOP #CLOS #SICP #PAIP #AIMA #Lambda #CLtL2 #HTDP

40 days left to the submission deadline of #EuropeanLispSymposium (#ELSConf) in #Amsterdam:

🧷 (Friendica) https://libranet.de/display/0b6b25a8-1763-a88a-e526-72b275177682

🦎 (Matrix) https://matrix.to/#/!gqlYAZsfzSnmFNEHAT:magdeburg.jetzt/$z7kGECRQluF1iZzNhW-0I1e3lUmg-pff8PcAh96gox4

🦎 (Telegram) https://telegram.me/FamilyOfLisp/309

🌺

🏷️ #Lisp #Scheme #CommonLisp #Clojure #Racket #Emacs #ACL2 #AutoLisp # ISLisp #DylanLang #SKILL #Hy #Shen #Carp #Janet #uLisp #Picolisp #Gamelisp #TXR #InterLisp #Medley #OpenGenera #Symbolics #ThinkingMachines #ConnectionMachine #MultiLisp #AMOP #CLOS #SICP #PAIP #AIMA #Lambda #CLtL2 #HTDP

40 days left to the submission deadline of #EuropeanLispSymposium (#ELSConf) in #Amsterdam:

🧷 (Friendica) https://libranet.de/display/0b6b25a8-1763-a88a-e526-72b275177682

🦎 (Matrix) https://matrix.to/#/!gqlYAZsfzSnmFNEHAT:magdeburg.jetzt/$z7kGECRQluF1iZzNhW-0I1e3lUmg-pff8PcAh96gox4

🦎 (Telegram) https://telegram.me/FamilyOfLisp/309

🌺

🏷️ #Lisp #Scheme #CommonLisp #Clojure #Racket #Emacs #ACL2 #AutoLisp # ISLisp #DylanLang #SKILL #Hy #Shen #Carp #Janet #uLisp #Picolisp #Gamelisp #TXR #InterLisp #Medley #OpenGenera #Symbolics #ThinkingMachines #ConnectionMachine #MultiLisp #AMOP #CLOS #SICP #PAIP #AIMA #Lambda #CLtL2 #HTDP

40 days left to the submission deadline of #EuropeanLispSymposium (#ELSConf) in #Amsterdam:

🧷 (Friendica) https://libranet.de/display/0b6b25a8-1763-a88a-e526-72b275177682

🦎 (Matrix) https://matrix.to/#/!gqlYAZsfzSnmFNEHAT:magdeburg.jetzt/$z7kGECRQluF1iZzNhW-0I1e3lUmg-pff8PcAh96gox4

🦎 (Telegram) https://telegram.me/FamilyOfLisp/309

🌺

🏷️ #Lisp #Scheme #CommonLisp #Clojure #Racket #Emacs #ACL2 #AutoLisp # ISLisp #DylanLang #SKILL #Hy #Shen #Carp #Janet #uLisp #Picolisp #Gamelisp #TXR #InterLisp #Medley #OpenGenera #Symbolics #ThinkingMachines #ConnectionMachine #MultiLisp #AMOP #CLOS #SICP #PAIP #AIMA #Lambda #CLtL2 #HTDP

The #Telegram and #Matrix groups named #FamilyOfLisp are now synchronized (bridged):

🦎 https://telegram.me/FamilyOfLisp

🦎 https://matrix.to/#/#family-of-lisp:magdeburg.jetzt

The two groups are for friendly exchange and dialogue on topics related to the Family of #Lisp #programming languages.

🌺

🏷️ #Scheme #CommonLisp #Racket #Clojure #DylanLang #ELSConf #AMOP #CLOS #InterLisp #OpenGenera #LispMachine #Medley #ConnectionMachine #Symbolics #AutoLisp #MacLisp #ZetaLisp #EuLisp #ISLisp #CLHS #SICP #AIMA #CLtL2 #PAIP #HTDP

The #Telegram and #Matrix groups named #FamilyOfLisp are now synchronized (bridged):

🦎 https://telegram.me/FamilyOfLisp

🦎 https://matrix.to/#/#family-of-lisp:magdeburg.jetzt

The two groups are for friendly exchange and dialogue on topics related to the Family of #Lisp #programming languages.

🌺

🏷️ #Scheme #CommonLisp #Racket #Clojure #DylanLang #ELSConf #AMOP #CLOS #InterLisp #OpenGenera #LispMachine #Medley #ConnectionMachine #Symbolics #AutoLisp #MacLisp #ZetaLisp #EuLisp #ISLisp #CLHS #SICP #AIMA #CLtL2 #PAIP #HTDP

The #Telegram and #Matrix groups named #FamilyOfLisp are now synchronized (bridged):

🦎 https://telegram.me/FamilyOfLisp

🦎 https://matrix.to/#/#family-of-lisp:magdeburg.jetzt

The two groups are for friendly exchange and dialogue on topics related to the Family of #Lisp #programming languages.

🌺

🏷️ #Scheme #CommonLisp #Racket #Clojure #DylanLang #ELSConf #AMOP #CLOS #InterLisp #OpenGenera #LispMachine #Medley #ConnectionMachine #Symbolics #AutoLisp #MacLisp #ZetaLisp #EuLisp #ISLisp #CLHS #SICP #AIMA #CLtL2 #PAIP #HTDP

If you would like to come over to a friendly group on Telegram focused on the programming languages in the #FamilyOfLisp — please feel welcomed to join!

We are here:

→ https://t.me/FamilyOfLisp 🦎

🌺

🏷️ #Lisp #Scheme #CommonLisp #Racket #InterLisp #Clojure #BaLindaLisp #Hy #ELSConf #ZetaLisp #LispMachine #ConnectionMachine #ThinkingMachines #Emacs #AutoLisp #CLOS #AMOP #SICP #CLtL2 #PAIP #AIMA #PCL #Symbolics #Genera #DylanLang #LFE #ISLisp #Arc #Janet #Jank #OnLisp #HTDP #CLHS #EuLisp

If you know #HtDP, skip the first 12 minutes of the video https://youtu.be/EdqT313rM40 at https://www.hedycode.com/ "a gradual programming language" (level 2 adds variables and level 3 starts to distinguish variable names from string literals)

HT https://ruby.social/@Schneems/109537790457683969

ICYMI: Hazel Levine (Indiana) at #RacketCon

Design Recipe Guided Synthesis with Bingus

https://youtu.be/oAE_G6HYilo

Source for Bingus https://github.com/ralsei/bingus

#Racket #RacketLang #RacketLanguage #htdp #ProgramSynthesis @hazel

> #ShriramKrishnamurthi some years ago, in talking up the intro Scheme class they'd put together at Rice.. said they had other departments wanting to send their students over for the Scheme intro, to learn how to think. Which had me.. trying to remember where that quote came from about 'computer science isn't a science and its significance has little to do with computers'.
#HTDP #RacketLang #DrRacket