I've been working on something similar, implementing a relational language on top of a tensor library[0].
Mathematically, einsum and database joins are the same thing, just over different semirings (real numbers for einsum, booleans for databases). A lot of papers about datalog explore this sort of thing in more depth. In particular, Dyna[1] might be interesting.
Technologies: most experience is in C/C++ and OCaml, also comfortable with TypeScript/JavaScript/React Native/Expo, C#, Python, (System)Verilog, Rocq, and of course SQL. I usually pick up new stuff quickly, full laundry list on the resume.
Recent CS masters graduate, looking for opportunities starting in September. My background is in programming language theory (particularly logic/relational programming), so would be very happy to work with functional languages, compilers, automated reasoning, and/or formal verification. I also have a background in music (I'm a published composer!) so particularly interested in audio/music-related stuff as well. Curious to learn more about embedded/systems stuff. I've also done full-stack work across databases/cloud infrastructure/web APIs/frontends, and independently released a commercial music production plugin (Pivotuner, more info on my website).
Would be curious to know how algebraic music theory is being applied here. Overall this seems pretty basic; no real voice leading, or even chords with more than 2 notes in them. Algebraic music theory runs pretty deep and I'm not seeing much of it applied here. I honestly can't imagine paying $7 for a two-voice, repetitive 40s long midi file.
Seems potentially LLM'd, account is new and I couldn't find any other sign of existence of the creator. They've also submitted this 4 times in the past month.
Just about done finishing up a CS master's degree, and looking for opportunities starting in the late summer or fall. My background is in programming language theory (particularly logic/relational programming), so would be very happy to work with functional languages, compilers, automated reasoning, and/or formal verification. I also have a background in music (I'm a published composer!) so particularly interested in audio/music-related stuff as well. Open both to software enginering roles and research positions (anyone looking for new PhD/doctoral students?) I've also done full-stack work across databases/cloud infrastructure/web APIs/frontends, and independently released a commercial music production plugin (Pivotuner, more info on my website).
Just about done finishing up a CS master's degree, and looking for opportunities starting in the late summer or fall. My background is in programming language theory (particularly logic/relational programming), so would be very happy to work with functional languages, compilers, automated reasoning, and/or formal verification. I also have a background in music (I'm a published composer!) so particularly interested in audio/music-related stuff as well. Open both to software enginering roles and research positions (anyone looking for new PhD/doctoral students?) I've also done full-stack work across databases/cloud infrastructure/web APIs/frontends, and independently released a commercial music production plugin (Pivotuner, more info on my website).
Finishing up a CS master's this semester, and looking for opportunities starting in the late summer or fall. I have experience as a full-stack (or fullstack, or full stack, whatever people ctrl-f for) developer as part of an intern/consultant position where I worked directly with customers to deliver features across databases/cloud infrastructure/web API integrations/frontends. I've also mostly-independently bootstrapped a commercial music production plugin (Pivotuner, more info on my website).
Open to most anything! I'm a fan of functional programming/programming language theory/compilers, currently doing research in logic/relational programming. I also have a background in music (I'm a published composer!) so particularly interested in audio/music-related stuff as well.
In general I'm trying to figure out what to do next, so would be up to connect regardless of hiring-related stuff!
Finishing up a CS master's this semester, and looking for opportunities starting in the late summer or fall. I have experience as a full-stack (or fullstack, or full stack, whatever people ctrl-f for) developer as part of an intern/consultant position where I worked directly with customers to deliver features across databases/cloud infrastructure/web API integrations/frontends. I've also mostly-independently bootstrapped a commercial music production plugin (Pivotuner, more info on my website).
Open to most anything! I'm a fan of functional programming and programming language theory, currently doing research in logic/relational programming. I also have a background in music (I'm a published composer!) so particularly interested in audio/music-related stuff as well.
The framework used in the book, malt[0], is currently not GPU-accelerated, but it's being worked on.
Maybe interesting, I used it for a toy implementation of the GPT architecture[1] in about 500 lines.
(I studied with one of the authors, Dr. Daniel Friedman; wasn't super involved here but proofread a late draft and TA'd for a course based off the book.)
Finishing up a CS master's this semester, looking for opportunities starting in July/August or the fall. Research focus in programming language theory, but experienced across the full stack. Most interested in R&D-related stuff, especially related to audio or music (my other degree). Potentially looking towards applying for PhD programs this fall as well, so would appreciate to know if anyone is recruiting students!
I have experience independently building/releasing apps/plugins, and contracting for small and mid-size businesses (handling both frontend and backend). Have also conducted and applied research, including technical implementation and communication (papers/presentations/documentation).
Not exactly infinite canvas, but pages can grow outward. Cross-platform and open source! And has some cool features which make working with handwritten text nice.
Anecdotally, I feel like OCaml is growing in popularity, probably due to ecosystem improvements. Stuff like dune and other OCaml Platform tools becoming mature, multicore support, recently first-class Windows support, etc.
Overall a good intro on the subject. I feel like at the start it might benefit from being a bit more explicit about pitches being frequencies and ratios being intervals; probably just worth a reminder for people who aren’t as familiar
Might be interesting to talk about how the usual ratios come from the harmonic series. For sounds that don’t produce a harmonic series, other potentially non-integer ratios can actually sound more consonant. The youtube channel New Tonality[0] has a bunch of great videos about this
Also wanted to mention that I’ve been working on a piece of commercial software[1] for working with freestyle/adaptive just intonation, if anyone’s interested
Cool stuff, nicely fleshed-out. Sort of like a Risset rhythm, which I’ve explored a bit myself [1]. One of my favorite pieces that uses this technique is Black Rain, by Daniele Ghisi [2].
https://www.dmitrivolkov.com/