Hi! I'm Jan, I'm about to begin my studies of mathematics, and I've always been keen on programming and more recently on an "upgraded version" thereof. I've come to discover this community through my readings of Alan Kay's ideas, and especially the Whole Code Catalog has amazed me. During the past year, I've read much about synchronization in distributed systems, symbolic AI (the work of William Byrd and others has blown my mind) and much more, and I've been thinking about general human-computer interaction, especially in the realm of programming. My dream project is an environment for a hybrid textual-graphical language, in which one wouldn't generally write text, but rather compose entities that would both have behaviour (in regards to development) and signify behaviour (in regards to the end-product). Right now, I'm finalizing my final high school project which entails the development of a library of trace-like versioned container types. These are designed for distributed systems, since they are CRDTs. I also plan a small declarative language that uses genetic algorithms to synthesise implementation fitting a type declaration together with a test suite. I'm also interested in (homotopy) type theory, and I'm exploring the problem of constructing simplicial types inside it (recently, I started thinking about speculative typing). Anyway, I'm looking forward to discussing any ideas about the future of programming (and generally computer science).

welcome! This is amazing, I wish I had this much curiosity and intellectual energy in high school 🙂 I picked my college major based on the section of the newspaper I liked reading the most 🤷

Nice. Good stuff and early.

If you're doing a mathematics degree, make sure you study category theory deeply 🙂. I think it has a big role to play in informing the semantics of future programming systems.

Would kind of be hard to miss a category or two one would think. But I don't know what they're teaching the kids (grad students) these days.

I’m just salty that I didn’t get exposed to category theory when I studied computer science with a minor in math. It clearly wasn’t seen as important enough!

Hi @Jan Ruzicka! It's really nice that you got into these ideas this early. Just thought I'd mention the website opetopic.net since your are creating an opetopic complex editor (but you probably already know it)