Viewing profile — jswny

Does anyone do TLA style distributed systems verification with Lean? Curious the experience there and how well supported it is

Unfortunately I’ve used Claude and GPT models for a long time in a variety of harnesses and I agree with you and I think it’s the compaction. For some reason, codex compaction is l…

I agree with some of Kelley’s takes, but the issue is the tone. Does anyone think that if Bun had been rewritten from Rust to Zig that a member of the Rust core team would have wri…

What’s the advantage of that for building?

Why not WASM?

Codex is fully open source…

You want to use the model that is potentially giving your data to the government vs the one that’s openly rejecting that partnership?

Package a skill with your CLI itself and give users instructions on how to install the skill properly. That allows the agent to read the instructions in a context efficient way whe…

Plenty of MCPs require you to install and run them locally, like I said remote MCP has a real advantage over CLI tho

MCP loads all tools immediately. CLI does not because it’s not auto exposed to the agent, got have more control of how the context of which tools exist, and how to deliver that con…

MCP is fine, particular remote MCP which is the lowest friction way to get access to some hosted service with auth handled for you. However, MCP is context bloat and not very good …

Can you explain what’s so different about pro? I’ve used everything frontier model and had Pro a while ago but it seemed to just be the same models served faster at the time.

How do you get sub agents to work?

That’s just spawning multiple parallel explore agents instructed to look at different things, and then compiling results That’s a pretty basic functionality in Claude code

What’s the point of having a public GitHub repo with PRs enabled if they will never merge any of them?

How do you know/toggle which API path you are using?

How does this work for other models that aren’t OpenAI models

Ah I think it’s because I was testing with an external library in the top level TOML metadata

The problem is that only Deno can type check single file scripts. Otherwise with Node and Bun you need a project to use tsc. Python can type check single file scripts (even with PE…

I wish this was faster, in my tests it’s about 200ms startup consistently on my M4 MacBook. Otherwise very cool

Bun has a lot of this built in, plus Bun shell

Not memory, I just instruct it to freely experiment with temporary scripts and artifacts in a specific folder. This helps it organize temporary things it does like debugging script…

Can you give an example of how beads would be used by Claude to do something it otherwise couldn’t? I can’t quite tell what it is useful for

I also specifically instruct Claude how to use a globally git ignored scratch folder “tmp” in each repo. Curious what your approach is

Very interesting project! I have 2 questions: 1. How has it been working with ACP? Is it anywhere near feature parity with Claude code’s native interface? 2. I see your repo is wri…