Logic for Programmers v0.15, Livecoding
Logic for Programmers version 0.15 has been released as the first release candidate; all content is finalized and the next release will be version 1.0 in print. The author also attended the inaugural livecode.chicago meetup, where livecoding music languages Strudel and CLAVIER-36 were demonstrated.
Background
Hillel Wayne is a well-known software engineering writer and teacher, focusing on formal methods (mathematical techniques for verifying software correctness). His book "Logic for Programmers" (currently in release-candidate stage) teaches formal logic concepts to working programmers, aiming to bridge the gap between academic logic and practical software development.
Livecoding is a performance practice where musicians write or modify code in real-time to generate sound — the code itself is the instrument. It sits at the intersection of programming, music, and improvisation.
Strudel is a popular browser-based livecoding environment that uses JavaScript as its base language (it's a port of TidalCycles, a pioneering livecoding language originally built in Haskell).
CLAVIER-36 (C36) is a more experimental livecoding language that uses a 2D grid layout instead of linear text, inspired by Orca, a visual programming environment for sequencing music.
The livecode.chicago meetup referenced is part of a growing global livecoding community with regular events in many cities.