This makes total sense, thank you. I come from a Python background and appreciate a similar philosophy in Ruby, which is that sometimes it's just nicer and easier to not do typing. It's okay to prioritize aesthetics and ease in code.
I've gone much deeper into type checking since then, but I still like simple, dynamic scripting.
I've heard "functional core, imperative edges" and I feel like that kind of applies to static vs dynamic. I think there's a lot of cases where exposing a scripting language is a perfectly sane and good design pattern.
I'm not sure Emacs fits that category, hah, but it's just so dang useful.
I had not heard of control theory, I appreciate this
Thank you for checking it out! Fair warning, it's vibeslop and I really don't have a clue what I'm doing. I have very little background in compilers or FP or really anything. I'm honestly just shocked at how well it works.
If you want to kick the tires on it or even if you just find it interesting, please feel free to reach out! I'm kind of obsessed with this thing now, and would love and appreciate any feedback
This is a good discussion of these principles. Largely inspired by Emacs, I built an interpreted lisp which runs in a web server and stores the AST Postgres. It gives me this kind of malleable computing and a Lispy feel with very little overhead.
Instead of calling an API, agents can just use functions in a REPL. They can also write new views and improve the program if they run into an issue. Honestly, pretty amazing stuff.
Being able to design a program specifically for the workflow I want is pretty neat. There's some vibeslop jank, but Emacs is a little bit jank too.
I had the same thought - but maybe it's good? I was thinking that if you have a decentralized store than you can connect to it regardless of dev environment. I've used XMPP for orchestration but I can see ergonomic advantages to this.
I'm getting a LOT of agent activity scraping my code here, so I figured I'd submit this before Anthropic tries to release their own version lol. Not production ready, not really good for anything other than pointing Claude at it and asking questions about the code base.
Just to be clear this is not a release, lol, I just made it to show a couple buddies. My one friend was saying he learned a lot just by reading code and pointing Claude at it and asking questions about what he didn't understand. It is provided as-is with no warranty, or installation instructions. If you really get stoked about it I could probably clean up multi user stuff a bit to get you logged on, but I think even just the idea is pretty neat.
I'm doing fully interpreted Lisp with the AST stored in Postgres. I can access the REPL remotely and I honestly dont know if I'm ever going to build an API or CLI again
One more thing - just seeing your affinity for Julia. I built a fully interpreted Lisp in OCaml which you might find interesting. I added my email to my profile here, feel free to reach out.
I was very happy with GLM 5.1 and Kimi 2.7.
I did see an improvement in GLM 5.2. I found it to be more realistic about what was and wasn't good architectural choices.
I have a pretty elaborate harness setup, I use my own spec DSL to plan and execute code. So what works for me may not totally apply to others.
I haven't used the frontier models in a few months, so I can't speak at all to this latest batch. When I switched over from frontier I found that what I lost in training data, I more than made up for with Pi harness.
Your process seems more thorough than mine. Mine was literally "I like camels". Switching over to OCaml I found wonderful - I had not worked with FP before and I found it delightful, it kind of cured my programming burnout a bit. I hand built a CRUD app in OCaml/Dream but still feel like a rank beginner, especially when it comes to actually writing code, lol. But I'm getting much better at reading it.
I think the typing and structure of OCaml is a great fit for LLMs, but also the proximity to other things like DSLs, formal proofs, and algebraic structures has tons of untapped potential.
I'm having an absolute blast with it. I like programming again.