Working on it. I have never organized them like I should and doing that. Will probably be a blog post about it :)

How do you always find such amazing papers? And do you keep a list or collection fill them anywhere?

@spiralganglion.com and @todepond.com are here as well

Super clean implementation! A good amount of separation without too much. I’ll definitely be following along.

As of now, ai generated content does not have copyright because there is no human author. Given the requirement for a derivative work to be a substantial transformation the bears the personality of the author I don’t think llms work here.

If that’s what you want to guard against but are okay with people mirroring or remixing your content as long as they aren’t making money, your current plan seems fine. The mechanism to protect yourself if people do violate it is a copyright strike and/or legal action.

If you do MIT for the code, people can definitely use it for commercial purposes. If you don’t want people to use the code for commercial purposes, full stop, no open source license does that. AGPL often in practice stops people from using it commercial (because of its virality)

Without the flash editor, what does it look like in practice to make new flash apps? Just a bunch of actionscript files?

I hooked up my orthoremote to stepping in my debugger in vs code. The whole thing was a simple 50 line node script that connected to the Bluetooth and then issued keyboard commands.

Representing Type Information in Dynamically Typed Languages by David Gudeman does a fairly good job describing a bunch of different approaches.

citeseerx.ist.psu.edu/document?rep...

Also enjoyed arxiv.org/pdf/2411.16544 for something a bit more recent but not as comprehensive.

Do you have a feature that will let people distinguish them? Do you want such a feature? My language will have them not be equal because 1) all objects have built in structural equality that will look at type as one aspect. 2) I will offer reflection. I don’t know the needs of your language

Thinking in a dynamic context, I’d say it depends on if your language gives you a way to distinguish between the two. If you can check equality, or you can check parent type, etc. If so, then by Leibniz’s law they aren’t identical.

Such a fantastic paper! Always happy to see others enjoy it. So many people miss the richness of Naur’s notion of theory. Glad to see you get it.

One thing we did on the future of coding podcast was reading Ryle’s notion of theory. Theory being about know-how is often missed

I think the most likely answer is you don’t. And that’s why we need to be building operating systems.

Thanks for the encouragement :) Not sure I’ll make a sponsorship for something like this. But I definitely plan on doing more of these through the year. Though everyday was a bit much. Only sponsorship thing I have now is the future of coding patreon

Thank you so much for sharing that story. I agree. I wish it weren’t either.

Yes we of course do conceptual engineering. That’s what I’m saying too.

But because we don’t make reify as a first class concept, we don’t have papers/books that directly talk about all the concerns. How do you get people to adapt your concept? How do you preserve it? And many other questions