News for hackers. Stuff that matters.

A comment on I made a command-line tool to assist me with writing polyrhythmic drum parts.

Re:I made a command-line tool to assist me with writing poly... by sshine on Wednesday June 28, 2023 @06:36PM (#36513602)
Somewhat related: A drum-machine DSL with dependent types:

https://media.ccc.de/v/456-tsh-a-dependently-timed-drum-mach...

[ Parent | on HN ]
Re:I made a command-line tool to assist me with writing poly... by Jeff_Brown on Wednesday June 28, 2023 @07:22PM (#36514080)
Omg this is like sex on pizza.
[ Parent | on HN ]
Re:I made a command-line tool to assist me with writing poly... by dredozubov on Thursday June 29, 2023 @08:56AM (#36519752)
Very cool! I enjoy digging into dependent typing applications.
[ Parent | on HN ]