that said, really appreciating the world you're putting into it!

good luck getting a machine that can run its specs though. Even flash is goign to require ponying up 5-10 grand to run the minimal specs for it. The vast majority of people will find their machine falls behind as tech progresses long before they get a return on that investment. That said, it does mean there will be a healthy market for "generic providers" in the AI landscape with these open weight models.

excited to check back in on the progress as you work on it though! I think these kinds of tools are going to be much more relevant going forward as we all move to agentic workflows.

To be clear, That doesn't make cmux bad. if you WANT to do everythign on your mac, cmux is fantastic. its just not designed with the remote ssh control use case in mind.

all that said, none of the existing solutions are perfect and rust codebases are nice. how easy is it to reorder panes? is there a cli that lets me control the panel layout via a skill file and allow my opencode session to target and send data to other panes?

I thought that was THE ENTIRE PREMISE of cryptography

solid advice. I know several people alive in spite of their efforts because of that site

In my opinion, the only thing holding elixir back as an llm deliverable is that there's not as much training data for llms to work with.

Of course if we had a new AI that could be trained on a minimum of existing training data, common lisp would absolutely beat out everything else. everything you mentioned about elixir (repl, runtime, and ability to hot reload / directly test functions) are possible and were invented in lisp with an AST instead of a syntactic language as the ultimate build artifact. CL lets you recover from exceptions and rewind the stack before reloading your fixes and continuing. I can't even fathom the workloads an LLM could conceive of working with that.

Part of my worries that all this push to LLMs will marginalize niche programming languages from being used in startups since the lack of training data means falling back to hardcoding. a skill that I have a feeling will get increasingly niche overtime. I feel capitalism will basically render programming languages into a build artifact overtime.

describing my points as "word salad" seems a bit dismissive and unnecessarily pejorative - but I digress. I'll ignore your obvious ideological axe to grind and see if we can at least reach common ground.

Watch any group of boys and girls at play. sure you have outliers but by and large they do tend to conform to one of two specific behavioral groups that historically we associated as ways boys and girls act. And I say this as someone who is fairy noncompetitive which itself made me somewhat of an outlier among boys when I was a kid. it doesn't change that the vast majority of boys found motivation in being competitive and historically pedagogy used that fact in order to motivate boys in their matriculation.

In my own experience, I tried to get my nieces more into tech and programming. trying to motivate them from a "hey isn't systems based thinking about how these things interact is cool" did absolutely nothing. Showing them how they can make a cool website design to show their friends (with a bit of vibe coding) absolutely got them more motivated.

But if you want to go further, lets start with the entire generation of boys who were told to sit still and listen and got medicated when they couldn't. We expected them to behave like girls and because we changed pedagogy to favor girls, we didn't notice when boys fell behind.

consider the two statements

- boys and girls exhibit dimorphism in behavior, motivations and interests.

- two boys can be more different from each other than between a boy and a girl.

These are only contradictory on a 2 dimensional graph. at 3 or higher, you can definitely have groupings of traits heavily skewed towards one group or another while having a different distribution on other traits.

I don't think the issue is us focusing on getting women into higher education. We changed the way we pick our educators and tuned our methodology primarily to benefit women. Its only a problem because we expect boys to excel in that system. its no more fair than what we had before when women were excluded at every level. treating them the same means shifting our methodology will inevitably benefit one at the expense of the other.

Ive only been using kimi 2.5 and deepseek pro for reviewing PRs for security issues. less than 10% of my workflow requires a full powered frontier model.

I think the issue is overblown by people who think claude code is a good harness and use opus for everything. opencode is objectively better. its much more verbose about what its doing, you have more control when it comes to offloading to subagents with targeted context (crucial for running through larger jobs) and I can swap between codex and open weight models.

Personally, I've taken the time its freed up to spend more time on mathacademy and reading more theory oriented books on data structures and algorithms. AI coding systems are at their best when paired with someone with broad knowledge. knowing what to ask for and knowing the vocabulary to be specific about what you want to be built is going to be a much more valuable job skill going forward.

One example is a small AI based learning system I have been developing in my free time to help me learn. the mvp stored an entire knowledge graph and progress in markdown files. being an engineer, I knew this wouldn't scale so once I proved the concept viable, I moved everything into sqlite with a graphdb. then I decided to wrap some parts of teh functionality in to rust and put everything behind a small rust layer with the progress tracking logic still being in python.

someone with no knowlege of graph databases or dependncy graphs or heuristics would not be able to build this even if they had AI. they simply don't know what they dont' know and AI wont' save you there.

That said, I think its important to also spend time in the dirt. I've recently started pickign up zig as my NO AI langauge just to keep. those skills sharp.

The fact that teenager boys can't tell that Andrew Tate is a characture of failed masculinity or that looksmaxxing is straight up idiotic is a pretty glaring example of that.

that doesn't' mean trans people and nonbinary dont' exist. We need to make accommodations for them where appropriate. However, it doesn't do any one any favors trying to homogenize how we teach kids. you inevitably help one at the expense of the others.

The fact that a small group of special interest groups have made "boys and girls are different" into some divisive political issue is absurd.