gregwebs

4 ms·

1.
by gregwebs 9d ago
AI tells me that code using the verus! macro everywhere would double in build time but if only used ocassionally the verus! macro would only increase build time by a few percent. The attribute annotation would basically be free, but there i
2.
by gregwebs 9d ago
They have separate machinery for concurrent code: https://verus-lang.github.io/verus/state_machines/intro.html
3.
by gregwebs 9d ago
Miri: proves pre-defined properties, no changes to code other than adding a few annotations Kani: use in a test suite Creusot: annotations Verus: annotations or macro The macro system looks very nice if it doesn't slow down the normal
4.
by gregwebs 11d ago
I use a workflow that has different named subagents. [1] Agent profiles can be pinned to models. So you set the model you want on your main thread as the orchestrator. Create an agent for the "planner", "implementer", an
5.
by gregwebs 12d ago
They state Luna is good enough, but its accuracy of findings is 74% whereas Astra is 96%. Dealing with false positives is expensive. I am finding AI doing its own reviews as part of the process to be the key to productivity. I do subagent (
6.
by gregwebs 13d ago
This author has tested a lot of IP KVMs and compares them in this post: https://www.jeffgeerling.com/blog/2026/i-tested-every-ip-kvm... He likes JetKVM. However, they appear to be sold out. The Mini seems great bu
7.
by gregwebs 14d ago
I am already a zellij user and not sure if I want to drive everything from an IDE instead. I definitely see the appeal though. I like the discoverability of the text prompt commands. I like that the terminal is more of a first class citizen
8.
by gregwebs 18d ago
I am really grateful that he’s publishing as well. I am just asking for the bare minimum to actually understand what has been tested and for reproducibility of methods- the publication of the prompts. It would take a lot less time than all
9.
by gregwebs 18d ago
Amazing work! But deeply frustrating on the lack of reproducibility and how far off this is from a proper SDLC. How can I inspect exactly how agents were prompted? How can I reproduce this setup and try out my own AI setup? Am I missing a l
10.
by gregwebs 19d ago
Get them under version control. I have a git repo with my skills for software development [1]. There is an installer script that symlinks to the skills. Updating the skills on a machine is then just a matter of advancing the git repo. One o
11.
by gregwebs 27d ago
The way to control LLM memory with existing tools now is to ask it to write out a file with all relevant information (this could include explicit retraction instructions). Then clear out the context. Basically /compact. I use workflows
12.
by gregwebs 29d ago
By default LLMs will start creating a tangled hard to test mess of javascript. But if you ask them to do TDD they will, and if you give them access to Playwright and have them write playwright tests this can all work. The advantage for the
13.
by gregwebs 1mo ago
Great stuff. AGENTS.md is not the ideal place for most of it though. Most of what is shown in this article can go in CODING_STANDARDS.md. The skills that I use find this document when it is needed (writing and reviewing code) so it doesn&#x
14.
by gregwebs 1mo ago
You mentioned libkrun in the post, but I am not clear on why you chose not to use it for Mac even if you want to stick with Firecracker on Linux. Why not use libkrun?
15.
by gregwebs 1mo ago
That's a neat project for doing a large scale migration. I do the same for normal feature develompent but just with skills that are in this repo: https://github.com/gregwebs/skills-sdlc I have accomplished code ba
16.
by gregwebs 1mo ago
If you start with a spec you understand at the beginning then you don't need the LLM to generate high-level information about the changes at review time. The grilling (grill-with-docs) skills [1] are amazing for ensuring you produce a
17.
by gregwebs 2mo ago
I am developing a project that makes running in Apple Container (Docker is an alternate runtime for Linux) more convenient: https://github.com/gregwebs/claude-contained/ It blocks network access by default, mounts
18.
by gregwebs 2mo ago
Thanks for pointing to that project- I am glad there are more options out there and hope to discover more. Requiring a root docker setup is a non-starter for me though and I am otherwise taking some different design approaches that I think
19.
by gregwebs 2mo ago
Taste ends up providing tangible value. If you have taste in writing code, you spend less time on bugs and can implment features more quickly. This is still true with LLMs if you learn how to direct them instead of having them direct you. S
20.
by gregwebs 2mo ago
Sandboxes laregely solve this. The claude/codex built in sandboxes with prompting setup is not good enough. On Mac you now have Apple Container which is a lightweight Linux VM. You still need to block network access. For defense in dep
21.
by gregwebs 2mo ago
Just ran it on a small repo. It ran for almost an hour and then got interrupted. It drained half my weekly usage on a Pro plan. npx codex-security scan . [00:00] Preparing scan [00:00] Authentication: stored Codex credentials. [00
22.
by gregwebs 2mo ago
I thought the new trust model was to ask the frontier cybersecurity model to hack your code and generate CVEs and to find the vulnerabilities ahead of time and fix them before receiving reports about your users being exploited? And in OpenA
23.
by gregwebs 2mo ago
MikroTik is one of the only companies that sells a router without WiFi at a non enterprise price. Useful for me to completely turn the power off at night to a separate WiFi (router in Bridge mode).
24.
by gregwebs 3mo ago
I run my AI agent as a different user (in addition to using the sandbox functionality provided by cc/codex). It does not seem possible to run the Codex GUI as a different user. I can run the TUI (/Applications/Codex.app/
25.
by gregwebs 3mo ago
I’m trying out foldkit.dev now. It lacks Elms elegance but you have access to ecosystem: it’s just Typescript. Here’s their Elm comparison: https://foldkit.dev/elm/foldkit-vs-elm-side-by-side
26.
by gregwebs 3mo ago
No code review by default goes against actual established evidence (there is little of this for software development practice) that code review is the best way to find defects. I always get the impression from using hardware and other anecd
27.
by gregwebs 3mo ago
There’s also typed fp on Go: https://lisette.run/ The Go runtime, toolchain, and ecosystem are great- it makes sense to target it.
28.
by gregwebs 3mo ago
All these conversations seem like they are missing talking about planning vs execution. I want the best possible frontier model to plan out my changes. I also have a 2nd agent that is a frontier model check the plan. Then at that point the
29.
by gregwebs 3mo ago
This seems like it has potential to create a lot of load on a site- are there settings to set how fast it clones or avoid images/videos? Is there a way to only get a subset of a website?
30.
by gregwebs 4mo ago
This is fascinating after learning about and rading Peter Turchin's concept of Eelite overproduction [1]. The theory is that much of society's conflicts are actually fights between the elite and that this happens when the elite st

More ›