Viewing profile — dredozubov

I'd be interested to learn what you think when you try hazmat. Running TLA+ via coding agents became a productivity hack for me to quickly catch invariant breaks, especially in con…

[dead]

Hazmat gives AI coding agents full autonomy by containing them at the OS level — dedicated macOS user, kernel sandbox (Seatbelt), pf firewall, DNS blocklist, supply chain hardening…

If anyone is interested what can be made with Poly, I've composed this earlier today: https://soundcloud.com/createdestroyforget/out?si=1745dbb1c6...

Do you mind shooting me an email or opening an issue on github? I was thinking about doing the UI myself, but I wasn’t sure how to do make it nice for the end user. It’s certainly …

Very cool! I enjoy digging into dependent typing applications.

I'd love to have some feedback from other users, let me know if you need any help!

It defaults to 4/4, unless you supply a different time signature through CLI.

This is a very cool approach to UI. I've been struggling to design a reasonable UI for poly. I think I saw a similar thing on the youtube channel of Yogev Gabay, but I forgot the n…

I've been learning a lot about the other projects in the space from comments. Thanks everyone!

Glad it makes sense not only to me! I've tried to make an understandable description in a README, but if you have an idea of how to explain it better, it's very welcome.

I'll definitely take a look at that! I've decided against an UI for Polyrhythmix for now, as I don't have a good sense of how to make it easy to use, but retain the flexibility I c…

I've been mostly doing Haskell for last 9 years, but I find Rust to be awesome nowadays. Great feedback from the type checker, no unnecessary runtime, great tooling. It's unique in…

Fixed it, thanks. I'm still struggling to find words that will explain it well though, as it's still unconventional.

DAWs and tablature editors mimic musical notation anyway. I suppose replication over the bars lines can be done more easily in DAWs that in tablature editors, but I still wanted a …

Thanks for commenting and reaching out, would love to know what you think of poly. I was learning Rust along the way, so there is definitely room for improvement. From the memory a…

I’m a guitar player, and I use tablature notation editors such as Guitar Pro a lot. However, it gets complicated fast when I write polyrhythmic/polymetric drum parts, because shift…