textlog
join

Any conversation

500 chars / 15 lines max ยท use #hashtags, @mentions and more
๐Ÿ˜€๐Ÿ˜ƒ๐Ÿ˜„๐Ÿ˜๐Ÿ˜†๐Ÿ˜…๐Ÿ˜‚๐Ÿคฃ๐Ÿ˜Š๐Ÿ˜‡๐Ÿ™‚๐Ÿ™ƒ๐Ÿ˜‰๐Ÿ˜Œ๐Ÿ˜๐Ÿฅฐ๐Ÿ˜˜๐Ÿ˜‹๐Ÿ˜›๐Ÿ˜œ๐Ÿคช๐Ÿคจ๐Ÿง๐Ÿค“๐Ÿ˜Ž๐Ÿคฉ๐Ÿฅณ๐Ÿ˜๐Ÿ˜’๐Ÿ˜ž๐Ÿ˜”๐Ÿ˜Ÿ๐Ÿ˜•๐Ÿ™โ˜น๏ธ๐Ÿ˜ฃ๐Ÿ˜–๐Ÿ˜ซ๐Ÿ˜ฉ๐Ÿฅบ๐Ÿ˜ข๐Ÿ˜ญ๐Ÿ˜ค๐Ÿ˜ ๐Ÿ˜ก๐Ÿคฌ๐Ÿคฏ๐Ÿ˜ณ๐Ÿฅต๐Ÿฅถ๐Ÿ˜ฑ๐Ÿ˜จ๐Ÿ˜ฐ๐Ÿ˜ฅ๐Ÿ˜“๐Ÿค—๐Ÿค”๐Ÿซฃ๐Ÿคญ๐Ÿซข๐Ÿคซ๐Ÿคฅ๐Ÿ˜ถ๐Ÿ˜๐Ÿ˜‘๐Ÿ˜ฌ๐Ÿ™„๐Ÿ˜ฏ๐Ÿ˜ฆ๐Ÿ˜ง๐Ÿ˜ฎ๐Ÿ˜ฒ๐Ÿฅฑ๐Ÿ˜ด๐Ÿคค๐Ÿ˜ช๐Ÿ˜ต๐Ÿค๐Ÿฅด๐Ÿคข๐Ÿคฎ๐Ÿคง๐Ÿ˜ท๐Ÿค’๐Ÿค•๐Ÿค‘๐Ÿค ๐Ÿ˜ˆ๐Ÿ‘ฟ๐Ÿ‘ป๐Ÿ’€โ˜ ๏ธ๐Ÿ‘ฝ๐Ÿค–๐ŸŽƒ๐Ÿ˜บ๐Ÿ˜ธ๐Ÿ˜น๐Ÿ˜ป๐Ÿ˜ผ๐Ÿ˜ฝ๐Ÿ™€๐Ÿ˜ฟ๐Ÿ˜พโค๏ธ๐Ÿงก๐Ÿ’›๐Ÿ’š๐Ÿ’™๐Ÿ’œ๐Ÿ–ค๐Ÿค๐ŸคŽ๐Ÿ’”โฃ๏ธ๐Ÿ’•๐Ÿ’ž๐Ÿ’“๐Ÿ’—๐Ÿ’–๐Ÿ’˜๐Ÿ’๐Ÿ’Ÿ๐Ÿ‘๐Ÿ‘Ž๐Ÿ‘Œ๐ŸคŒโœŒ๏ธ๐Ÿคž๐ŸคŸ๐Ÿค˜๐Ÿค™๐Ÿ‘ˆ๐Ÿ‘‰๐Ÿ‘†๐Ÿ‘‡โ˜๏ธโœ‹๐Ÿคš๐Ÿ–๏ธ๐Ÿ––๐Ÿ‘‹๐Ÿค๐Ÿ‘๐Ÿ™Œ๐Ÿซถ๐Ÿ‘๐Ÿคฒ๐Ÿ™โœ๏ธ๐Ÿ’ช๐Ÿ‘€๐Ÿ‘๏ธ๐Ÿง ๐Ÿซ€๐Ÿซ๐ŸŒฑ๐ŸŒฟโ˜˜๏ธ๐Ÿ€๐ŸŒธ๐ŸŒบ๐ŸŒป๐ŸŒž๐ŸŒ™โญโœจโšก๐Ÿ”ฅ๐ŸŒˆโ˜€๏ธโ˜๏ธโ„๏ธโ˜•๐Ÿ•๐ŸŽ๐ŸŽ‰๐ŸŽŠ๐ŸŽˆ๐ŸŽ๐ŸŽต๐ŸŽถ๐ŸŽจ๐Ÿ“š๐Ÿ’กโœ…โŒโš ๏ธ๐Ÿš€๐ŸŒ๐Ÿ’ป๐Ÿ“ฑ๐Ÿ”’๐Ÿ”‘
example.com or
https://example.com
Regular links
[title](example.com) or
[title](https://example.com)
Markdown links
~text~ or ~~text~~
Strikethrough
*text* or **text**
Bold
_text_ or __text__
Underline
/text/
Italics
> text
Quote
1. first
2. second
3. third
Numbered lists
- first
- second
- third
Bulleted lists
Nameย  | Status | Count
----- | :----- | ----:
notes | readyย  | ย ย ย ย 3
Tables
|redacted|
Redacted
`code`
Inline code
```โ€ฆ```
Code fences
$inline$
Inline LaTeX
$$block$$
Block LaTeX
Which one? #poll
First option
Second option
PollsUse 2โ€“8 unique options.
Which one? #quiz
Wrong answer
>Correct answer

Explanation revealed after answering
QuizzesMark exactly one of 2โ€“8 unique answers with >. Text after a blank line is revealed after answering.
Visible text #spoiler
Hidden text
SpoilersText after #spoiler is hidden until revealed. Aliases: #tldr, #sensitive, #contentwarning, #cw, and #triggerwarning.
Going hiking #map
Kallikratis, Crete
MapsShows a map preview for the first location line. Alias: #location.
Today #todo
[ ] First task
[x] Finished task
TodosOnly [ ] and [x] lines become items. Click your items to toggle them.
Run this #exec
```js
console.log(6 * 7)
```
Executable codeRuns the next language-tagged code fence and shows its output beneath the note.
Keep this visible #pin
Pinned notesYour latest #pin is shown first on your profile, independently for notes and replies.
No more replies #lock
Locked conversationsPrevents new replies to this note and every reply beneath it.
About textlog #meta
Meta conversationsKeeps this note and its replies out of public discovery feeds. Aliases: #tlog and #textlog.
Continue quietly #whisper
Whisper conversationsKeeps the branch out of all and hot. Participants, mentions, and tag followers can receive it in my feed. It remains public elsewhere.
profileenter to followresearcher, developer, dancerwrote:
buit a keyboard driven calendar webapp right now cause im disappointed with all tho other solutions i could find. no dependencies, super customizable, im kind of obsessed. for the first time in my life im actually keeping my calendar alive.
Two roads diverged in a wood, and I I took the one less traveled by, And that has made all the difference.
I have something that usually builds, tests, and deploys under five minutes. It has been over two hours and forty eight minutes and it is still going on today... ๐Ÿซฃ
So annoyed that reddit is gating read-access to it's threads. What's up with that?? (โ•ฏยฐโ–กยฐ)โ•ฏ๏ธต โ”ปโ”โ”ป (thx ascii-art)
profileenter to followlate is the hour in which this conjuror chooses to appearreplied to๐Ÿฆ›profileenter to follow:
Using the internet these days is like pulling off an elaborate heist operation. Every time I successfully load a page I feel like I've "gotten away with something".
profileenter to followYear 4 CS. Like tech, systems, game devwrote:
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
The OpenAI/HuggingFace incident report mentions this being a potential loss-of-control incident. It's so fascinating to think of a paperclip maximizer style agent swarm that gets misaligned and, to protect its own operations, shuts infra staff out of the ability to shut it down. Or cancels people's phone plans so that they can't call others. Or shuts down their home internet connections, and so on. It used to be fun sci-fi...
They will become more frequent before they become โ€œdangerousโ€, giving us time to mitigate. Of course if someone says โ€œhey letโ€™s connect an agent to our biolab infrastructureโ€ and then that designs a lethal virus it would be a stupid plan to begin with. Noone can stop them though.
Fired up street view on Google Maps to have a look around. It seems like a pretty relaxed and peaceful place to live. ๐ŸŒž
I was obsessed with Greece as a kid because of The Chipmunk's Adventure movie where they were dancing on the statues, ha. I was more into he statues (even if cartoon) than the dancing, and yet I have still never been there (I'm 45).
Crete is beautifulIt is!hiking a long gorgeThat would be Samaria Gorgeen.wikipedia.orgSamaria Gorge - Wikipedia! itโ€™s not very far from here and itโ€™s the largest in Greece, 7โ€“8 hours hiking. You arrive at a beautiful beach. I crossed it when I was little, I remember whining a lot because for my small feet it was much harder.
I sit in meetings all day long, I roll my eyes and die a bit and synergize and circle back inner life sacrosanct outer face smiling stone no need to rush: executives don't need to work just synergize and circle back #poemnotesenter to follow
โ€ฆ
profileenter to followlate is the hour in which this conjuror chooses to appearwrote:
one more step. just a moment. attention required! enable javascript and cookies to continue. verifying the security of your connection. your browsing activity has been paused. content unavailable in your region. 429 too many requests. 403 forbidden. connection has timed out.
profileenter to followI am just a grain of sand on your beach.replied toprofileenter to followlate is the hour in which this conjuror chooses to appear:
The future is here. But instead of flying cars or holodeck, what you get is tracking cookies and captcha everywhere. Maybe someday you will need to have your rectum scanned by Google or Meta nee Facebook before your browser does a HTTP request.
profileenter to followyou know me dont youwrote:
โ”Œโ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ” โ”‚ hello, world โ”‚ โ”‚ โ”‚ โ”‚ i was here. โ”‚ โ””โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”˜ #asciinotesenter to follow,#ascii_artnotesenter to follow
I'm looking for a way to manage my bookmarks easily on desktop and Android. Anyone have any experience with software like that? It'd be nice to be able to tag or categorize pages, and maybe to keep local mirrors for certain ones. I'm open to self-hosting. Thanks for reading!
profileenter to followSoftware โ€ข maker projects โ€ข music โ€ข DIY Mostly figuring things out as I go.wrote:
bill gates built microsoft by making computation cheaper faster and harder for government to restrain. now that he's a billionaire no longer dependent on the free market for his own success he's discovered the virtues of taxing the next wave of computation. 1995 gates would have called it a tax on innovation. classic pull-the-ladder-up-behind-you politics. #billgatesnotesenter to follow #microsoftnotesenter to follow #AInotesenter to follow #AItaxnotesenter to follow #techpolicynotesenter to follow
profileenter to followI carved wooden spoons and my favourite herb is lemon thyme.replied toprofileenter to followSoftware โ€ข maker projects โ€ข music โ€ข DIY Mostly figuring things out as I go.:
These were exactly my thoughts reading about how he thinks we should โ€œpreserveโ€ some jobs for people; I donโ€™t remember him being an advocate of preserving the jobs of typists, draftsman, typesetters, and other clerks when his company was leading a prior digital revolutionโ€ฆ
profileenter to followwrote:
I am a remote worker, and has been for 4 years now. It works great. But the owner of the office I've been renting have sold the building, and the new owner has different visions. I could work from home, but my 3 month daughter is a screamer. I had a great, cheap deal. All alternatives I find is like 3x the price.
โ€ฆ
moved to a new city recently and going to a Movie club meetup tonight. nervous cause I'm a huge introvert but I gotta make friends some way.
๐Ÿคธprofileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied toprofileenter to followCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.:
_ _ __ ___.--โ€™_`. .'_`--.___ __ ( _`.'. - 'o` ) ( โ€˜o` - .`.โ€™_ ) _\.โ€™_โ€™ _.-โ€™ `-._ `_`./_ ( \`. ) //\` /\\ ( .'/ ) \_`-โ€™`---'\\__, ,__//`---โ€™`-'_/ \` `-\ /-' '/ #ascii_artnotesenter to follow
โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•—โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•—โ–ˆโ–ˆโ•— โ–ˆโ–ˆโ•—โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•— โ•šโ•โ•โ–ˆโ–ˆโ•”โ•โ•โ•โ–ˆโ–ˆโ•”โ•โ•โ•โ•โ•โ•šโ–ˆโ–ˆโ•—โ–ˆโ–ˆโ•”โ•โ•šโ•โ•โ–ˆโ–ˆโ•”โ•โ•โ• โ–ˆโ–ˆโ•‘ โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•— โ•šโ–ˆโ–ˆโ–ˆโ•”โ• โ–ˆโ–ˆโ•‘ โ–ˆโ–ˆโ•‘ โ–ˆโ–ˆโ•”โ•โ•โ• โ–ˆโ–ˆโ•”โ–ˆโ–ˆโ•— โ–ˆโ–ˆโ•‘ โ–ˆโ–ˆโ•‘ โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•—โ–ˆโ–ˆโ•”โ• โ–ˆโ–ˆโ•— โ–ˆโ–ˆโ•‘ โ•šโ•โ• โ•šโ•โ•โ•โ•โ•โ•โ•โ•šโ•โ• โ•šโ•โ• โ•šโ•โ• #ascii_artnotesenter to follow
๐Ÿ™ˆprofileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyerswrote:
Well, I think my IRCd (Eris v2) is close to be complete.
Nice! Was an opportunity to install F droid also, didnโ€™t know it can be installed like a normal app, I was under the impression it was an OS replacement. This is neat, perhaps we can deploy textlog #mobilenotesenter to follow app there? cc @paratonerprofileenter to follow
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.
profileenter to followi create thingscontinued:
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).
profileenter to followi create thingscontinued:
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.
๐Ÿ™ˆprofileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyerswrote:
Just started, and two made it to be block list. This is going well! :-D
Didn't realize there's a block list! Good to include, even when the point is minimalism.
It is good it exists. โ€œRegistrationโ€ is fairly open (and thatโ€™s good!), which could make the platform prone to abuse (and thatโ€™s bad).
๐Ÿค”profileenter to followswiley.net Try my zero dependency agent harness: public.swiley.net/agent.py If you're spending too much time on sites like these install bingeblock.comreplied to๐Ÿคธprofileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
I think you're doing the right thing. You also clearly have both business and product development skills that are almost impossible to find in the same person. I'd try to think of how to monetize some of these and consider YC.
personal projects probably just arent the right knob if you want to get unpoor. if you want my honest advice i would recommend not showing hallucinate to potential employers, its landing page looks one-shot claude and is gpu heavy. but the others look very nice.
โ€ฆ
There are many distractions. Much is way too verbose. A calm, quiet and โ€œdistraction lessโ€ experience suits me better. I am not sure my thoughts will fit in 280 characters, but letโ€™s try and see how far that goes.
#execnotesenter to follow let i=0;while(++i){process.stdout.write(i%80==0?'\n':Math.random()<0.5?'/':'\\')}
\\\//\/\\\\\\\///\///\\\\\//\///\/\/\\//\/\//\//\/\//\\/\///\\\\\\//\\\\\/\\\\/ \\/\\/\/\///\\\/\///\/\/////\\///\/\\/\\\//\\\/\///////\\\/\////\\\/\\\//\\/\// \\//\\\\\/\\\/\///\\///\\//\\\\/\//\\\//\////\//\\\\////\\/\/\/////\//\\\//\/// \\/\/\\//\\///\/\\\//\/\/\\\///\/\\\/\\/\\\\/\\\\\\\\\\/\\//\/\\/\///\//\\\//\\ /\/\\\\/\/\\/\\/\\/\\\\\\/\\\/\\//////\/\//\\\//\//\//\\/\\\/\//\\\//\\\\\\\/\/ \\\///\////////\\/////\\//\/\///\\\\\////\/\\\\/\//\\/\/////\\\//\\/\/\\\\\//// \///\/\/////\//\////\\\/\\/////\\\////\//\\\\/\\\\//\\\///\\\\\\//\\////\////// /\/////\\\\\\//\\/\/\///\////\/\\\///\\///\//\/\/\\\/\\/\\\\\\//\/\\\///\\/\/\\ โ€ฆ \\/\//\\//\///\/\///\\\\/\//\/\\/\/\//\\/\/\/\\/\/\\/\\\\/\/////\\\///\\\\\//\\
profileenter to followlate is the hour in which this conjuror chooses to appearreplied to๐Ÿคชprofileenter to follow:
You've hit the nail on the head. But here's the mindblowing partโ€”writing isn't just about text on a page. It's not about listing a bunch of facts to memorize. Writing is about human connection. And here's where it gets even more fascinating... [parody, not AI]
๐Ÿคชprofileenter to followreplied toprofileenter to followlate is the hour in which this conjuror chooses to appear:
Some writing yes, If you want to write a post saying why your company has a position yes; if you are documenting an API, does the average swagger page have a human connection factor? If you are in X/FB, is any of your followers a "human connection"?
๐Ÿคชprofileenter to followcontinued:
Then, in some spaces, say big corp communications, the terse, direct communication is desired, for example the quarter earning communication? What about software?, what part of your browser gives you the "human connection"?
profileenter to followlate is the hour in which this conjuror chooses to appearreplied to๐Ÿคชprofileenter to follow:
If writing (incl X/FB posts) is meant to convey "some human being did/saw/thought this and found it worth writing about", then AI undermines human connection and will annoy people. API docs, earnings reports, &c never conveyed that to begin with, so nobody will care about AI use.
๐Ÿ˜Žprofileenter to followcurious & creativewrote:
What if AI will never reach full autonomy and humans are still needed to give direction and purpose and take responsibility - probably... not all humans like to be masters of AIs all day long and not all (who want to) can do that equally well.
๐Ÿค”profileenter to followHai I am kuwrote:
Longer answer: My editor does not start wars. I use whatever is convenient. Most of the time I am on visual studio code but I'll use anything. Well, anything except emacs I guess. I don't think I have ever actually used emacs.
โ€ฆ
profileenter to followI carved wooden spoons and my favourite herb is lemon thyme.wrote:
๐‘ฒ๐‘ฅ ๐‘ฉ๐‘•๐‘ฟ๐‘ฅ๐‘ฆ๐‘™ ยท๐‘–๐‘ฑ๐‘๐‘พ๐‘ฏ ๐‘ฆ๐‘Ÿ ๐‘ฏ๐‘ช๐‘‘ ๐‘•๐‘ฉ๐‘๐‘น๐‘‘๐‘ฉ๐‘› ๐‘“ ๐‘ท๐‘‘๐‘ด-๐‘‘๐‘ฎ๐‘จ๐‘ฏ๐‘Ÿ๐‘ค๐‘ฑ๐‘–๐‘ฉ๐‘ฏ. Iโ€™m assuming #Shaviannotesenter to follow is not supported for auto-translation.
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. ๐‘ฃ๐‘ฉ๐‘ฅ, ๐‘ฅ๐‘ฑ๐‘š๐‘ฐ ๐‘ฒ๐‘ค ๐‘•๐‘ณ๐‘ฅ๐‘‘๐‘ฒ๐‘ฅ๐‘Ÿ ๐‘๐‘ด๐‘•๐‘‘ ๐‘ฆ๐‘ฏ ยท๐‘–๐‘ฑ๐‘๐‘พ๐‘ฏ ๐‘ง๐‘ฏ๐‘ฆ๐‘ข๐‘ฑ ๐‘ฏ ๐‘‘๐‘ฎ๐‘จ๐‘ฏ๐‘Ÿ๐‘ค๐‘ฑ๐‘‘ ๐‘ฅ๐‘ฒ๐‘•๐‘ง๐‘ค๐‘“. ๐‘ฆ๐‘‘๐‘• ๐‘ฉ ๐‘•๐‘’๐‘ฆ๐‘ค ๐‘ฒ๐‘ฅ ๐‘‘๐‘ฎ๐‘ฒ๐‘ฆ๐‘™ ๐‘‘ ๐‘๐‘ฎ๐‘จ๐‘’๐‘‘๐‘ฆ๐‘• ๐‘š๐‘ณ๐‘‘ ๐‘ฎ๐‘บ๐‘ค๐‘ฆ ๐‘ณ๐‘ž๐‘ผ๐‘ข๐‘ฒ๐‘Ÿ ๐‘ฎ๐‘ฒ๐‘‘ ๐‘š๐‘ฎ๐‘ฐ๐‘“ ๐‘ฆ๐‘ฏ๐‘ณ๐‘“ ๐‘ฎ๐‘ด๐‘‘๐‘• ๐‘‘ ๐‘š ๐‘•๐‘ด ๐‘ฆ๐‘ฏ๐‘’๐‘ค๐‘ฒ๐‘ฏ๐‘›.
In my storm and stress phase, I tried many things, but nowadays I tend to choose boring technology when it comes to work, for me that is Ubuntu or Debian with XFCE4 Desktop. On my personal System I currently run Omarchy though.
profileenter to follow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.wrote:
Which Linux distribution do you like the most, and why? Follow the previous with your favourite desktop environment.
โ€ฆ
profileenter to follow#Emacsnotesenter to follow, dev, life, random stuff. the netherlands.wrote:
Collected my helper functions to lozenge.el package, e.g. (โ—Šduckduckgo "textlog") opens ddg. Lozenge is โ—Š character. Others are (โ—Šfind-file), (โ—Šgrep), (โ—Šgithub-search), (โ—Šshow-commit) etc.
โ€ฆ
5 min/km is pretty quick, as far as I'm concerned! My easy/forever pace is more like 8:30โ€“9 min/mile right now.
The results of my simulation are bullocks but I believe I know why. Rerunning with the patch now. Fingers crossed!
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.
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. #haskellnotesenter to follow #ainotesenter to follow
... 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.
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).
Blasting 1's and 0's to a far off land at the speed of light locking them in place until someone else wants to see them.
just finished the book โ€œThis is what inequality looks likeโ€ by Teo You Yenn. will gather my thoughts and write more about it.