Baby's first type checker

https://austinhenley.com/blog/babytypechecker.html

#HackerNews #BabyTypeChecker #BabyDevelopment #TypeSafety #ProgrammingForKids #HackerNews

This Ada Lovelace Day I would like to highlight the work of Cynthia Solomon, because... well... her contribution to computer science has been "turtles all the way down." Read her page on the Logo programming language and its history here: https://logothings.github.io/logothings/

#Logo #LogoProgramming #Programming #ProgrammingForKids #AdaLovelaceDay

At this year's FOSSY conference by Software Freedom Conservancy, I was interviewed by Richard Littauer for the podcast Sustain. The episode was just released, so check it out here to learn more about Music Blocks, Sugar Labs, and free software: https://podcast.sustainoss.org/194

#MusicBlocks #MusicEducation #FOSSY2023 #FreeSoftware #SugarLabs #Music #MusicPlusCode #MusicIntegration #ProgrammingForKids

Learned programming with kid / учились программированию с ребёнком

#elmlang #programmingforkids #functionalprogramming #minecraft #warden

** Code While Young **

Young children learn programming like anything else - through hands-on activities and exploration. Child-friendly programming languages like Scratch or Blockly assist with that. By integrating programming into play-based learning and daily routines, children can develop problem-solving skills, creativity, and logical thinking.

#EdTech
#ProgrammingForKids #PlayBasedLearning #ChildFriendlyProgramming #ProblemSolvingSkills #Creativity #LogicalThinking #DigitalLiteracy

Short introduction:

Live in Germany, Generation X.

I'm doing something in the following areas: #SoftwareArchitecture, #OpenData, #Zazen, #CleanCode, #ProgrammingForKids, #DotNet.

But I'm also interested in: #Philosophy, #PhotoArt, #Politics, #TheWorldCanStillBeSaved