dredozubov

7 ms·

1.
by dredozubov 6mo ago
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 concurrency-sensitive settings. LLM-based coding agents im
2.
Show HN: Hazmat – I made unrestricted Claude Code safe on macOS(github.com)
1 points by dredozubov 6mo ago|1 comments
3.
by dredozubov 3y ago
If anyone is interested what can be made with Poly, I've composed this earlier today: https://soundcloud.com/createdestroyforget/out?si=1745dbb1c6...
4.
by dredozubov 3y ago
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 a good idea to rework the API to be UI-friendly.
5.
by dredozubov 3y ago
Very cool! I enjoy digging into dependent typing applications.
6.
by dredozubov 3y ago
I'd love to have some feedback from other users, let me know if you need any help!
7.
by dredozubov 3y ago
It defaults to 4/4, unless you supply a different time signature through CLI.
8.
by dredozubov 3y ago
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 name.
9.
by dredozubov 3y ago
I've been learning a lot about the other projects in the space from comments. Thanks everyone!
10.
by dredozubov 3y ago
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.
11.
by dredozubov 3y ago
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 can get with a DSL programmable input.
12.
by dredozubov 3y ago
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 a sense that it's fast, but quite safe at th
13.
by dredozubov 3y ago
Fixed it, thanks. I'm still struggling to find words that will explain it well though, as it's still unconventional.
14.
by dredozubov 3y ago
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 tool to generate the part from the "blueprint" rat
15.
by dredozubov 3y ago
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 allocation perspective at least, I didn't paid it much m
16.
I made a command-line tool to assist me with writing polyrhythmic drum parts(github.com)
207 points by dredozubov 3y ago|60 comments
17.
by dredozubov 3y ago
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 shifts tend to go over the bar lines and it’s hard to make s
18.
Advantages of Functional Programming(typeable.io)
2 points by dredozubov 5y ago|1 comments
19.
Assumptions You Probably Have About Strings(typeable.io)
1 points by dredozubov 5y ago|0 comments
20.
Useful Tools Written in Haskell(typeable.io)
13 points by dredozubov 5y ago|0 comments
21.
Do You Know Where Lisp Is Used Nowadays?(typeable.io)
3 points by dredozubov 5y ago|0 comments