Oh, just found Trogon – the meta-tool part of this that is probably the one of most interest here.

Have you seen Kolo Mattia Fregola? You might be interested: kolo.app

Very interesting, thanks for sharing!

I watched the whole thing and enjoyed it quite a bit. If you (person reading this) haven't come across this channel before, I recommend also watching all their videos titled "Music Software & Interface Design"

Another interesting resource from the POV of encoding music in machine-readable formats is the MIT Press book "Beyond MIDI," edited by Selfridge-Field. Notable if for no other reason than it prompted Michael Good to create MusicXML because none of the options in that book seemed sufficient to him.

Michael was also a member of the working group that's defining the new standard file formats for MIDI 2.0.

Oh why didn't you tell me it spends the first 10 minutes talking about chess! (Including a whole chess game !!) I'd have been on it in a flash.

Oh damn! I had no idea. Super cool. Good job everyone on breaking out the 🍰 for this extremely specific occasion.

AsWeirdAsINTERCAL

Thanks for sharing this! I’m absolutely hooked. A lot of his stuff feels like extremely specific Newgrounds/Flash heyday homage, but done so competently. Like this youtu.be/4gvSYEqOMn8?si=NCg7xGxn-EW2drbP is extremely Cyriak

Yeah, IIRC Felix's earlier animations were created in Flash. I think he was a bit of a latecomer to the Newgrounds scene, but the lineage is definitely there.

(And — Donks is probably my favourite)

Some surprising things:

• Conal comes out really strongly against most FRP implementations as missing the point of FRP
• He came up with FRP before he new about fmap (functor map), applicative, monad etc?? Woah
• From Ivan Reese: "he wants everything to be exactly precise real numbers, rather than approximations using rational numbers". I'm really scratching my head over this.. I guess the way I see it rational numbers are precise, and fit every use case I have very well. I can't think of a reason why you'd need to use an irrational number for e.g. an animation frame.

I should ask him, but I think on the implementation side, Tidal (and Strudel) do largely meet his criteria for FRP. They use rationals to represent time though (which I think is a step up from the doubles in Fran), and behaviours (which I call patterns) aren't functions of time, but something more general - functions of timespans. This allows them to a) be queried without any possibility of missing values between samples b) return discrete events as well as continuously varying values.

I found the twitter thread with Ivan Reese twitter.com/spiralganglion/status/1141913756923912192

Hmm Ivan Reese you seem to consider floating point and integral time, but not rational time. You do suggest "Represent time discretely—using ints—but with dynamic granularity." though which I guess is how rational numbers work? Storing a number as two integers, numerator and denominator.

I've not hit any real problems with rational time, apart from the cost of converting from floating point to rationals, which can usually be minimised/avoided.

Sadly I don't have a podcast — I have a radio opera with a fixed cast of exactly two people. Exactly two people.

Me too :/

Cool project though, and it seems very future of codingy to me!

yeah! Hare is fun, and I really appreciate their dedication to not supporting proprietary OSs

I do see a "Future of coding" aspect in this post. It's about ecologically responsible advertising, which I'd love to see other techies adopt.

Also interesting: "Hare aims to become a 100-year programming language" harelang.org/blog/2023-11-08-100-year-language

"This approach to innovation, and our near-rejection of it as a goal, is innovative in and of itself." Interesting wu-wei vibes. Wondering what the permacomputing people think about this language (which, from a technical point of view, seems to be as boring as its authors claim it to be).