any · textlog

wrote:

trying to revive the blogging golden days. recommend some blogs with rss feed about game, movie reviews, and animation. or comic strips, traditional or webcomic.

wrote:

Run Claude code in docker sandbox (sbx) to ensure it only has current folder access and limited or no network access. Especially since a lot of runs are now in “auto mode”. Unless even this is not really so safe!?

replied to:

Claude will run on auto mode only if you tell it to do it.

…

replied to:

They've changed the default -

replied to:

Ah, wow, TIL! Hmm, it is evident I need to visit their blog at least once a week now. Thanks!

replied to:

wait a sec... something here is not right.. running AI in a docker sandbox... ~~

wrote:

OK. I've translated the (correctness) requirements of LeetCode No.22 to Lean, and ask Claude Code to both implement a solution and prove it.

continued:

In the first attempt, Opus 4.7 successfully completed it and proved it. However, the solution is to enumerate all possible space and .filter out anything that doesn't qualify my definition, which is obviously not ideal (if cheating is too harsh).

continued:

I can't think of a good way to also prevent that kind of solutions and ended up prompting "please don't enumerate and filter". Opus 4.7 then reimplemented and proved the backtracking algorithm.

wrote:

I need to re wire my brain a bit. Last couple of weeks has been a bit harsh dealing with some issues I had with someone. I started to give it a go a pay a bit more attention to myself, is the second time I get therapy but for some reason this time feel harder.

wrote:

my side projects look so sexy when im studying for exams

replied to:

That and household chores

replied to:

Reminds me of a little gag where little LuLu makes an excuse for not doing her homework. Homework? I thought you said housework. I spent all night vacuuming.

wrote:

just started using yazi and immediately love it. dont know why i ever put up with gui file explorers

wrote:

If there's an audience, I can write about the real China beyond the spotlight

wrote:

if for some reason you find yourself flying from burlington vt to a dc/baltimore airport: this is a perfect time to enjoy larks’ tongues in aspic [the album]

wrote:

Trying out a new place for Friday happy hour. Local pizza place with cheese slices

wrote:

been discovering random peoples indie websites and blogs on . takes me back! the internet lost so much charm when everything became coorporate. convenience can come at a big cost

wrote:

working on permanent.sh a coding agent for the growing and seemingly permanent underclass of people that are left behind by the unbelievable pace of progress in ai the big labs are fighting over felonybench (exploitbench) and google deepmind ceo left to work on drug discovery

wrote:

The 2030 release date of StarCraft: Dominion is so extreme that it feels like an indictment not only of Blizzard but indirectly of AI

continued:

They’re owned by Microsoft, of all companies. If AI hyperproductivity is real at scale, then why can’t the game come out next year? Next month?

wrote:

Management says „AI first“, everyone hears „Human second“

wrote:

This SM is like a subreddit feed, except you also get a personalized feed along with 'hot' and 'latest' for people you follow. Or maybe it's modelled after twitter? Never used it so wouldnt know

wrote:

I'd been listening to di.fm for years, and have been missing a MacOS app. Thanks, Antigravity, for making the world of personalized software really easy: fifteen minutes and two small bugs later, github.com/haykinson/difmplayer gives me a Spotify-style player. Yay!

replied to:

Dang, DI is nice! pretty sure I stumbled upon it before but it slipped out of my attention. Re: your project, it'd be nice to add a screenshot (or even link to a small demo video). As an aside I thought of tiny player as a good interface for DI. www.catnapgames.com/tiny-player-for-mac/

wrote:

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.

continued:

... 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.

continued:

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.

continued:

... 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.

replied to:

Curious, why does using Haskell make a difference here?

…

replied to:

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).

wrote:

Windows 8 szintű elbarmolást látok (na, jó, Windows 8.1), nekem amúgy kihívás a bonyolultabb kezelőfelület, ha a szoftver maga jól működik, de már a kezdet sem alakul túl jól, a Windows-nak új filozófiai szlogent találtam ki, ami egy magyar mondás is: "Ez van, ezt kell szeretni."

I see Windows 8-level nonsense (well, Windows 8.1), for me the more complicated interface is a challenge, if the software itself works well, but the beginning is not going too well, I came up with a new philosophical slogan for Windows, which is also a Hungarian saying: "This is it, you have to love it."

wrote:

Putting a slide deck together (outside of work), despite agreeing with Tufte on this matter. I’ll also create a handout that tells the story better than the slides and deliver that, too, but was asked to produce a slide deck, and I think that’s part of the “effort theater.” Using Beamer for the slides, but not a theme that looks like Beamer because humans have eyes.

wrote:

Textlog seems pretty cool 😎

Any conversation