jswny

7 ms·

1.
by jswny 2mo ago
Does anyone do TLA style distributed systems verification with Lean? Curious the experience there and how well supported it is
2.
by jswny 2mo ago
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 like black magic. I’ve never felt like I can just one one con
3.
by jswny 2mo ago
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 written a personal hit piece against Sumner (while pretending
4.
by jswny 2mo ago
What’s the advantage of that for building?
5.
by jswny 4mo ago
Why not WASM?
6.
by jswny 5mo ago
Codex is fully open source…
7.
by jswny 5mo ago
You want to use the model that is potentially giving your data to the government vs the one that’s openly rejecting that partnership?
8.
by jswny 6mo ago
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 when it wants to use the CLI
9.
by jswny 6mo ago
Plenty of MCPs require you to install and run them locally, like I said remote MCP has a real advantage over CLI tho
10.
by jswny 6mo ago
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 context.
11.
by jswny 6mo ago
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 compared to CLIs + skills mechanically. With a CLI you get t
12.
by jswny 7mo ago
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.
13.
by jswny 8mo ago
How do you get sub agents to work?
14.
by jswny 8mo ago
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
15.
by jswny 8mo ago
What’s the point of having a public GitHub repo with PRs enabled if they will never merge any of them?
16.
by jswny 8mo ago
How do you know/toggle which API path you are using?
17.
by jswny 8mo ago
How does this work for other models that aren’t OpenAI models
18.
by jswny 9mo ago
Ah I think it’s because I was testing with an external library in the top level TOML metadata
19.
by jswny 9mo ago
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 PEP 723 deps) with ty. Otherwise, I love TS for scripting, esp
20.
by jswny 9mo ago
I wish this was faster, in my tests it’s about 200ms startup consistently on my M4 MacBook. Otherwise very cool
21.
by jswny 9mo ago
Bun has a lot of this built in, plus Bun shell
22.
by jswny 9mo ago
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 scripts and lets it (or me) reference/build on them later, wi
23.
by jswny 9mo ago
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
24.
by jswny 9mo ago
I also specifically instruct Claude how to use a globally git ignored scratch folder “tmp” in each repo. Curious what your approach is
25.
by jswny 9mo ago
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 written in Python which is interesting to me for a responsive T
26.
by jswny 9mo ago
So only opportunities with a path to economic profitability should be researched? That is a very narrow view of advancing society
27.
by jswny 9mo ago
I would not recommend this. A hook that modifies files causes Claude to have to re-read the file before modifying it again, which can build up your context window fast
28.
by jswny 10mo ago
They have an entire feature for this: https://www.claude.com/blog/skills CLAUDE.md should only be for persistent reminders that are useful in 100% of your sessions Otherwise, you should use skills, especially if CLAUDE
29.
by jswny 10mo ago
Can’t any donation platform you don’t fully control cut you off at any point? What exactly is different about GitHub sponsors here?
30.
by jswny 10mo ago
I don’t think people are questioning the move away from a gigacorp owned platform, but it’s the approach, the alternative chosen, and the brash language that are being questioned

More ›