I read
Still trying to figure out the boundaries of these tools' strengths without outsourcing important thinking, problem-solving, and the collective building-up of a mental model of the systems we're developing.
The shape of LLM tools as toolsโfit for a purpose, ergonomicโis becoming clearer, and human patterns of behavior with them that do more harm than good are also becoming easier to recognize.
Any conversation
@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to:Twitter was 140 chars. That makes it double the dream, right?
Really glad to be using Haskell for work - especially in today's climate with agentic coding.
Our team uses containers to keep our development environment consistent across team members, though, and most agent sandbox approaches want to either offload your work fully to the cloud or they want to sandbox the agent harness process itself.
We're not ready for full cloud based development (yet?) and sandboxing just the agent doesn't work for us when the agent needs to run docker.
... because letting the agent run docker gives them a too-easy escape hatch from their sandbox.
So we're currently stuck with using VMs. This turns out to be tricky but seems do-able.
My current approach is to provision a VM image and use Incus for the execution. My main goal is to keep my current workflow of local/non-agent dev working seamlessly and share the source with the VM/agent.
This means sharing my working dirs with the agent VM but overlaying artifact dirs from VM-owned block devices so we don't take too big of an IO perf hit.
I also don't want the agent to be able to
git push so that means we need some quirky git config to rewrite origin paths and thread through some agent specific PATs ("thanks" GitHub) for read-only repo access. These ALSO need to be threaded through to the development containers - they need to clone private repos.... in the end, this seems to work but I haven't lived with it for long.
There are still some quality of life issues to work out, but I think it'll work out.
At this point, I've removed all coding agents from my host - and that's nice.
Curious, why does using Haskell make a difference here?
It's tangential to the sandboxing topic, really. I started the first post with a broader intent in mind and then elaborated on the sandboxing setup I'm working on.
For AI-assisted coding, though, it's nice because Haskell provides a lot of feedback earlier in the development process compared to lots of other languages. It tends to work once it compiles (obviously not all the time).
I still don't get how now after AI coding there's people saying that contrary to common belief code wasn't a bottleneck and I realized that when I was starting to code at 10yrs ago when I was 15 and read it in a stackoverflow comment. I thought that was the common belief and still can't believe a lot of supposed senior programmers apparently believed so.
Yes, code was never the bottleneck and of course now it never will be either. Figuring out semantic modeling of data that makes sense across business domains and figuring out the right way to use digitalization to modernize processes, and the change cultures as become possible through such work - thatโs much more bottlenecks! Code is easy; people and process is hard!
Been working on an old mastodon hosting project I tried to start a few years ago, with a focus on privacy. This is the first big project I've tried to come back to with the help of coding agents and find it invigorating, and gives me the confidence to actually finish the project. Who knows if it will ever make a dollar, but it sure is fun to watch my ideas come to life.
Uhm, not really. Activity Pub comes with a lot more features we don't need - we want to keep this simple and text-only
Wrote a short essay on overreliance on metaphor in our "understanding" of the brain
Went to a party today, the group was mostly strangers, but they were all sociable and knew the art of small talk rather well, something I rather admire.
In an attempt to put myself out there, I have started a blog to write about my experience as a software engineer. Feel free to check out my first article :)
๐ฒ๐ฅ ๐ฉ๐๐ฟ๐ฅ๐ฆ๐ ยท๐๐ฑ๐๐พ๐ฏ ๐ฆ๐ ๐ฏ๐ช๐ ๐๐ฉ๐๐น๐๐ฉ๐ ๐ ๐ท๐๐ด-๐๐ฎ๐จ๐ฏ๐๐ค๐ฑ๐๐ฉ๐ฏ.
Iโm assuming is not supported for auto-translation.
nope, google translate doesnโt support it :( looks beautiful though
Hmm, maybe Iโll sometimes post in Shavian anyway and translate myself. Itโs a skill Iโm trying to practice but rarely otherwise write brief enough notes to be so inclined.
๐ฃ๐ฉ๐ฅ, ๐ฅ๐ฑ๐๐ฐ ๐ฒ๐ค ๐๐ณ๐ฅ๐๐ฒ๐ฅ๐ ๐๐ด๐๐ ๐ฆ๐ฏ ยท๐๐ฑ๐๐พ๐ฏ ๐ง๐ฏ๐ฆ๐ข๐ฑ ๐ฏ ๐๐ฎ๐จ๐ฏ๐๐ค๐ฑ๐ ๐ฅ๐ฒ๐๐ง๐ค๐. ๐ฆ๐๐ ๐ฉ ๐๐๐ฆ๐ค ๐ฒ๐ฅ ๐๐ฎ๐ฒ๐ฆ๐ ๐ ๐๐ฎ๐จ๐๐๐ฆ๐ ๐๐ณ๐ ๐ฎ๐บ๐ค๐ฆ ๐ณ๐๐ผ๐ข๐ฒ๐ ๐ฎ๐ฒ๐ ๐๐ฎ๐ฐ๐ ๐ฆ๐ฏ๐ณ๐ ๐ฎ๐ด๐๐ ๐ ๐ ๐๐ด ๐ฆ๐ฏ๐๐ค๐ฒ๐ฏ๐.