#htdp — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #htdp, aggregated by home.social.
-
First day of teaching the design recipe, and I only broke two keys on the keyboard
#HtDP -
How to Design Programs 2nd Ed (2024)
#HackerNews #How #to #Design #Programs #2nd #Ed #2024 #htdp #designprograms #programming #education #softwaredevelopment
-
How to Design Programs 2nd Ed (2024)
#HackerNews #How #to #Design #Programs #2nd #Ed #2024 #htdp #designprograms #programming #education #softwaredevelopment
-
The new mascot of How To Design Programs just dropped
#htdp -
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
-
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
-
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:
🌺
🏷️ #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)
-
ICYMI: Hazel Levine (Indiana) at #RacketCon
Design Recipe Guided Synthesis with Bingus
Source for Bingus https://github.com/ralsei/bingus
#Racket #RacketLang #RacketLanguage #htdp #ProgramSynthesis @hazel
-
"Programming and Programming Languages" ( #PaPL ) is the book that goes with the #pyret language, which is one of the many languages that run on the #racket language platform.
I haven't read it. I should probably want to read it at some point. It covers a *lot* of ground and people say it's a good next book after "How to Design Programs" ( #HtDP ), which I also haven't read.
papl.cs.brown.edu/2020/
@racket -
I’ve heard good things about #htdp from people on racket-users who used it.
