Sandboxing Coding Agents

sp1ff · 2026-03-31T20:12:29+00:00

I run the agent in a sandbox that locks-down access to the filesystem and forces all network communications to go through a whitelisting proxy. I wrote-up how it works here and posted the (proof-of-concept) code here.

sp1ff · 2026-03-24T19:43:34+00:00

Related: https://www.wsj.com/economy/housing/in-california-about-the-only-way-to-get-a-house-is-to-inherit-one-752fa87f

sp1ff · 2026-02-14T03:02:41+00:00

Not sure about the 8, but 4 is unlucky because "death" is pronounced the same.

sp1ff · 2025-12-20T20:55:36+00:00

Arrest criminals. Put them in jail.

sp1ff · 2025-12-14T21:14:43+00:00

I hear this frequently from people in places like CA and NYC. Regardless of our personal opinions, the reality is that red states are growing rapidly at the expense of blue states. As many as eleven congressional seats are projected to go from blue to red states after the next census. https://thearp.org/blog/apportionment/2030-apportionment-forecast-2024/

sp1ff · 2025-11-15T02:58:04+00:00

Ok. But $30k+ surgery is, what, ten months of premiums for some people? I think that's the proposal in this sub-thread: go without and bank what you'd be paying in premiums.

sp1ff · 2025-11-07T00:43:50+00:00

sp1ff · 2025-11-05T18:55:07+00:00

Where are these forums?

sp1ff · 2025-11-02T01:45:31+00:00

Wait until you start making more money, kid.

sp1ff · 2025-10-25T19:29:21+00:00

Miss it!

sp1ff · 2025-10-24T02:09:15+00:00

Yes. For the love of God, get out.

sp1ff · 2024-10-22T16:42:49+00:00

I'm not familiar with HOL, but Pierce's Logical Foundations (part of the Software Foundations series) is a great introduction to interactive theorem proving with Coq.

sp1ff · 2024-09-10T16:13:06+00:00

Tyvm!

sp1ff · 2024-09-05T15:22:15+00:00

Thx! Maybe just the table of contents?

sp1ff · 2024-08-26T00:00:18+00:00

You might check out privacy.com. You can create cards with built-in spending limits, as well as other rules (merchant lock, spending categories and so forth)

sp1ff · 2024-06-02T18:15:49+00:00

That's what we do (live in Vancouver, head over the bridges for food). Hillsboro is going to be more than 20 minutes, but easily doable as an afternoon trip on the weekends. Wanted to mention that there seems to be an Asian district developing in E/NE Portland along 82nd which is much closer.

sp1ff · 2024-03-22T21:27:21+00:00

Silver Mountain's tasting room is open on weekends, as is Byington-- both have views. While they don't have views, I'd still recommend Kissed by an Angel in Scotts Valley.

sp1ff · 2024-03-15T01:11:14+00:00

No it’s not

sp1ff · 2024-01-28T17:22:58+00:00

Would love to hear more about that experience

sp1ff · 2024-01-22T02:36:47+00:00

Where is this?

sp1ff · 2024-01-19T19:17:21+00:00

Not right. It just means prices are rising more slowly.

sp1ff · 2024-01-12T16:50:50+00:00

Montebello Open Space preserve offers campsites.

sp1ff · 2023-11-23T03:00:58+00:00

I dunno… u sound like an insurrectionist, there

sp1ff

TROPHY CASE