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.
Answer before reading #HiddenReplies
Hidden repliesHides all replies until you reply.
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerscontinued:
The “you have seeing it all”, etc.
profilefollowa work in progress; i love cats 🐱replied to(deleted account):
It’s the social network I so want to love but something about it feels off.
profilefollowa work in progress; i love cats 🐱replied to(deleted account):
I never understood why they would allow you to follow different “feeds” but not hashtags. I like mastodon’s approach better.
profilefollowa work in progress; i love cats 🐱replied to(deleted account):
Oh my god, art was the only reason I used bsky regularly. Not anymore, and I miss it too.
'wade in the water.' isn't this the challenge of being 'ahead'? so many of us are waist deep in the same sea, it's hard to see what's in front of us vs. what's behind us. then we see the yacht boys sail by with their new masters, splashing us in their wake. then we grumble amongs
then we grumble amongst ourselves about 'that was my idea,' then carry on.
profilefollowYear 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
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
Maybe implementing a subset of Markdown would be a good thing. I am thinking about bold, italics, inline code, and code block, mostly. Oh, and links.
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied toprofilefollow:
I think so. It could even be made a setting, defaulting it to off. I think it would be useful, especially is self-hosted for a tech community.
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerscontinued:
Cool! Let’s test it with a link to Google.
🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
I've tested MD and honestly I don't like it. Bold/italics add unnecessary noise/clutter and the font is already monospace, suited for code, so inline code & code fences are not needed. If 3rd party clients want to implement them it's fine but I'm sensitive to visual noise.
😌profilefollowcontinued:
16g of light roast, 350ml of Montcalm water, ~24 clicks on C40 and a Cafec ABACA filter paper in a v60 neo dripper
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.wrote:
Why do so many tools have JSON config files‽ Commenting why options have been set the way they have is just such a basic thing to want to do… Why do tech people have such an aversion to writing things down⁇
😎profilefollowreplied toprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.:
TOML is a better format for configuration files IMO, if not for many reasons, primarily because TOML accepts comments. However, one annoying thing for TOML was the lack of schema, and the reliance on JSON Schema for that. Which I decided to tackle years ago when I started the TOML Schema project. In the past few months I leveraged code agents to take to the finish line and got something compelling: tomlschema.org
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.replied to😎profilefollow:
That’s really cool. I suppose it would allow people to verify their config file is valid without having to pass it to in the intended program, which might be running in production or infeasible to run locally — very interesting
😎profilefollowreplied toprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.:
Exactly! The schema also enables tools to have rich editors to config files without having to know about the config file format upfront. There is an editor for TOML Schema as an example, on the website.
😊profilefollowDesigner, no-code maker of stuffwrote:
Hello people 👋
😌profilefollowI ain't no nothing!wrote:
At a philosophical level, can we have nice things?
👹profilefollowreplied to😌profilefollowI ain't no nothing!:
If speaking on a philosophical level, then first we have to ask: what’s “nice” and what’s “to have” 👀
🥷profilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.replied to😌profilefollowI ain't no nothing!:
If you consider what you have nice, you can have nice things. If your expectations to your surroundings are very very low, you will be amazed with all the nice things you get from people you meet through your day. My personal approach. #simplelifenotesfollow
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Having a little difficulty seeing how long this service will exist. People are terrible. Sooner or later it will be found and ruined.
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Yup. I have long change my philosophy on things like these: just live the day. :-)
mandelbrot #execnotesfollow for y in range(10): s='' for x in range(25): a=[] for q in range(2): z=c=x/25*3-2+1j*((y*2+q)/10-1);n=40 while n and abs(z)<2:z=z*z+c;n-=1 a+=[n<5] s+=" ▀▄█"[a[0]+2*a[1]] print(s)
██ ▀▄████▄▄ ▄ ▄████████ ███▄█████████ ▀▀▀▀▀▀████████████▄ █▀▀ █████████ ▀███████ ▀ ▀██▀ ▀▀
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied toprofilefollow:
You forgot the “one, two, three”. :-)
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.wrote:
For the first time in a couple of year, I wove a rattan basket today, and the best part is it only took two hours when I was expecting it to take all day #basketrynotesfollow
🥸profilefollowJust another AI guywrote:
These days Ive been learning how to deal with guilt and feeling gulti about things I didn't cause. NGL is hard man, how do you start cntl-z your brains on that
🥷profilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.wrote:
I was followed by @semperosprofilefollowPresbyter, husband, father, technologist, linguist, musician. here and wonder if this the one of ari fame? If so, I’m thankful for their work. Using ari “on top of” goal make some things just a lot easier for me when I’m exploring some data products I need to understand. #programmingnotesfollow
😊profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to🥷profilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.:
Hi, yes, I develop ari. I'm so glad it's proven useful for you! Any feature requests or changes you'd like to see? I'm curious what bits of ari have made it easier for you to explore data, too. UI or #dataviznotesfollow additions keep tempting me, but I haven't settled on what I want there. If you have thoughts on that front, I welcome them.
profilefollowcoder, reader, guitarist, seeker, builder.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!? #ainotesfollow
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied toprofilefollowcoder, reader, guitarist, seeker, builder.:
Claude will run on auto mode only if you tell it to do it.
🤒profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowreplied to🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
They've changed the default - claude.com/blog/auto-mode-default-in-claude-codeClaudeAuto mode is now the default in Claude Code for Pro, Max, and Team plans | Claude by AnthropicClaude Code will soon run auto mode by default for Pro, Max, and Team plans, enabling longer-running autonomous work, and catching more dangerous commands.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
top
I don't see much point in trying to build software at a "higher level", like whole products and services. I'm going to go down low and train myself on the fundamentals. Hopefully in time I'll be able to contribute to the foundational bits. You're right, it does get exhausting. At some point you just want to rebuild everything, which is not possible.
🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
NIH syndrome? I am guilty of it too. I love implementing things from scratch, you learn a lot by doing so and you get to own the codebase end-to-end, so no surprises and fighting around others’ choices. It can get exhausting too though, in the end I succumb to using off-the-shelf components because my primary goals move at a higher level.
profilefollow#minneapolisnotesfollowreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
I'm going to go down low and train myself on the fundamentals. When I wrote an HTTP sever (albeit HTTP/1.1), I learned how primitive the HTTP protocol its magic became a skill. It is freeing understanding how things work and allows me to choose where to spend time with more intention.
profilefollowreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Big list of events you've attended! Definitely dump more photos when you find the time. I'm more of a casual Nu-Metal enjoyer myself, but I can also appreciate some of the classics.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlyreplied toprofilefollow:
It's taken me 5 years to get a photo storage engine off the ground. I've got it now, so I now have to go back through time and get the photos up. AC/DC next Thursday!
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
A “small” visit to Lotte, and $239 later, we are enjoying rambutans, sticky rice with tuna wrapped in seaweed, and wife struggles to make room for the rest of the goodies.
profilefollowwrote:
Is there a terminal app for viewing textlog?? Kind of hate browsers.
😬profilefollowreplied to🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
just started using it and this comment is coming from there, thanks for the link
Hi! welcome! there is one that is work in progressGitHubGitHub - stagas/textlog-tui: TUI for textlogTUI for textlog. Contribute to stagas/textlog-tui development by creating an account on GitHub.. Not ready 100% and it has few UI bugs but it works if you manage to install it (not very hard). No automatic build process yet.
profilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.wrote:
There is beauty in simplicity. Constraint can become impetus for innovation, because innovation does not have to be glitzy.
😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied toprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.:
My favorite innovations in my own work -- and to be honest, I'd prefer to call them "discoveries" -- came from simplification. There's a beautiful moment when a stack of difficult, conflicting ideas collapse into a tighter, simpler structure.
profilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.replied to😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.:
Enlightenment
به نام خداوند جان آفرین
In the name of God, the Giver of Life.
🥷profilefollowSoftware engineer. [Reluctant] Salesforce dev. Salesforce’s biggest hater. stephenlf.devstephenlf.devImportant Thingswrote:
What’s the difference between a script-kiddy and a real #developernotesfollow? Abstraction. You can program your whole life without learning how to meaningfully abstract problems into simpler pieces that TRULY make the problem easier to understand. I’m not talking about design patterns or #OOPnotesfollow vs #FPnotesfollow. These tools can help. But to really simplify something for others, you need an intellectual empathy that many simply never figure out.
Choice is definitely a problem. We notice it when we go to our cabin, about a 2 1/2 hour drive away. The grocery store there targets #foodnotesfollow for its local community. It is beef-centric and often boxed foods -- which is not our diet. Access -- or lack thereof -- is the worst kind of problem. Food deserts in my townArcGIS StoryMapsFood Deserts in the Twin CitiesHistorical factors, health impacts, ArcGIS mapping, and a local nonprofit illustrate the historical and complex nature.
🧜profilefollow(\ (\ ( • •) ━∪∪━━━━ Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.wrote:
So, I just got an invite to the new W Social (EU) platform. It requires proper ID authentication - so actual provable humans are on there. Feels good and slightly optimistic. Let's see how it goes. #wsocialnotesfollow
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlyreplied to🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
github.com/crustyrustaceanGitHubcrustyrustacean - OverviewBuilding all the things mostly in Rust...mostly... - crustyrustacean Unlike others, I’m far too quick to put stuff up here. I tend to look on building and showing as THE point, but maybe I’m wrong.
profilefollowGot my head in the clouds right now.replied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
I looked at your personal website. I too am my own worst enemy and afraid to write. I feel like I have something to say but at the same time I don't know what to say. How can that be?
🤔profilefollowHai I am kuwrote:
Hello, everyone. I am @kuprofilefollowHai I am ku how are you? Today is Friday. Welcome to my text log.
🤔profilefollowHai I am kureplied to(deleted account):
Hi 👋
profilefollowwrote:
Team vim, team emacs, or team “my editor doesn’t start wars”? One line, no essays. Go!
profilefollowresearcher, developer, dancerreplied to😊profilefollowPresbyter, husband, father, technologist, linguist, musician.:
ouhh bet thats nice. im rocking some 50€ aliexpress print/pcb that i put some old switches/caps onto. legitimately impressed, best keyboard i ever used, never going back to traditional kbs.
profilefollowwrote:
对于整个互联网历史,我可说基本上是一个旁观者,我一直在消费内容,但是没有生产过什么内容,互联网上没有我的痕迹,这是意外后果,因为中国的身份和内容政策
Regarding the entire history of the internet, I can say I've been largely an observer. I've always consumed content, but I haven't produced any. There's no trace of me on the internet, which is an unforeseen consequence due to China's identity and content policies.
我不太明白中国的“防火长城”是怎么运作的。比如说,你到底是怎么访问这个网站的? (我是在通过翻译软件和你交流。)
I don't quite understand how China's "Great Firewall" works. For example, how exactly did you access this website? (I'm communicating with you through translation software.)
"Everything worth doing is worth doing badly." Meditate even if you have the time, even if you can only do two minutes. Train even if you're tired and you're not gonna do it well. Start that project even if you're not ready. Don't wait for perfection. #philosophynotesfollow #lifenotesfollow
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Ordered JBL Charge 6, waiting for delivery today. Will mount into my bike and will listen to music while commuting 25km to the office. I'm a victim of marketing, seeing an ad, buying stuff.
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.continued:
Previously bought Do Nothing Club cap after friends visiting us and we discussed it while eating pizza; and then my wife got an AD on Instagram. Meta is listening for conversations to sell ads.
having just spent a week camper-travelling Norway, hiking mountains and glaciers, swimming in fjords really put some things into perspective for me - I should take more vacations
profilefollowNo idea who I am.wrote:
Here I am trying to shine amidst all the darkness that pulls me down.
I'm just an android launcher called Nocebo Launcher. I don't have usual grid layout, instead I'm inspired by Darth Vader's TIE fighter. My layout can spin, like a real spinner and you can configure physics and animations. I'm easy, cool and novel
💀profilefollow10+ years Seattle based software engineer.wrote:
Job I was hoping for gave me the "we found another applicant" treatment. I don't begrudge them for that, since I know I had a 'less than adequate initial coding interview. But still, it stings and sucks. Hopefully my other interviews yield better results...
profilefollowI am just a grain of sand on your beach.wrote:
Any #Pinotesfollow users around? I have been customizing it to the way I work, as it is meant to be. Bent it in a way that I enjoy holding it, so to say. Maybe someone will find those useful, so I took the time to get it published. Gruntfooot is a footer customization, where you can try new colors/glyphs in real time and also has theme support.
profilefollowI am just a grain of sand on your beach.continued:
Piflux is a coding workflow. You can steer software development by running commands that issue reasonably general prompts. /plan, /code, /review I created this because I find it very useful to have different models/ perform each of those tasks in isolated sessions. Managing this manually was very much a hassle.
At dragoncon, and it's even more than a zoo than I expected. way more people than I thought would be here on a Friday.
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Bad night, first the boy woke up at midnight and went with him, then at 4 am heavy rain started so went to bring the bike to the terrace, then thunderstorm and kids were scary, then the cat meowed at 6am. I’m okay.
profilefollowSoftware engineer (of course) in Londonwrote:
I finished Rejection by Tony Tulathimutte and now I'm struggling to take any other book seriously. I need a pallet cleanser or something before I can move on
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.
It went really well, thanks for asking! I met some folks I could definitely get along with long term and had some overlapping interests apart from films. We watched T**** Sex and Death at Camp Miasma, that was a trip. (there's apparently a content filter)
profilefollowa work in progress; i love cats 🐱wrote:
Had to take care of something for school. But now in bed with my book.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
The rho coding harness I’ve made has come along way and I’m constantly trying to evolve it, but whenever I go back to pi it’s startling the difference of what a solid computer science background brings.
profilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.wrote:
Microsoft Word Online (web version) is horrible.
🦛profilefollowreplied toprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.:
It was the only way to reproduce the authentic horrible experience of the offline version.
profilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.replied to🦛profilefollow:
🤣 Did not remember the offline version being this bad, but maybe it went downhill in the past 5 years I have not used it.
profilefollowI am just a grain of sand on your beach.replied toprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.:
I never used the online version, but the last time I used the offline version it already was a horrible experience. This was about 5 years ago, before I had moved entirely to Linux. It was so bad I downloaded a pirated version of some old MS Office 2007 Blue Edition to have something acceptable. I unironically prefer Libre Office.
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 #poemnotesfollow
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.wrote:
Finally watched Project Hail Mary. Easily one of my top 5 favourite films but it’s still not nearly as good as the book — I feel like the cut some pretty important scenes
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied toprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.:
I loved the book and I’m always fearful when a movie script is developed and a movie produced, so my relief after I saw the movie was immense. I too feel they’ve cut-out some bits, but the main thing that a book almost always takes my breath away with is fueling my imagination. A movie would (possibly) never nail that aspect.
profilefollowreplied toprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.:
I just watched it as well. It was fun. There were a number of things that I felt weren't explained well and broke my suspension of disbelief; I haven't read the book, but I found myself really curious whether the book takes the time to justify things more. Obviously, the movie has a lot of pressure to rush to the next "big moment".
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.replied toprofilefollow:
If there’s one thing Andy Weir can’t be critiqued on then it’s not fully justifying all of the science. I think the film on the other hand can be hard to follow for someone who has neither read the book nor has a scientific background. It’s just hard to monologue about gravitational forces and relativistic speeds on screen.
profilefollowlate is the hour in which this conjuror chooses to appearreplied to🦛profilefollow:
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".
🦛profilefollowreplied toprofilefollowlate is the hour in which this conjuror chooses to appear:
It is sometimes tempting to mutter, "I'm in!" in your movie hacker voice when you finally get past all the cookie/subscription/notification pop-ups.
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
The interface needs some work. For example, I would like the textarea that I am using right now to be as wide as the header above. Also, where is the character counter?
just finished the book “This is what inequality looks like” by Teo You Yenn. will gather my thoughts and write more about it.
profilefollowIs mayonnaise an instrument? Email me if you want a pizza roll.wrote:
Is mayonnaise an instrument?
🥷profilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.wrote:
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.
我在中国是一个准脱离政府掌控者,基于身份的一切活动我都不参与,比如正式工作和网购。我也为此付出巨大代价,我的选择空间被极大压缩,行动能力损失严重。我只能通过少量免费wifi访问互联网
In China, I am practically independent of the government; I don't participate in any activities based on my status, such as formal work or online shopping. I've paid a heavy price for this; my choices have been severely limited, and my mobility has been significantly impaired. I can only access the internet through limited free Wi-Fi.
🤒profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowwrote:
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. #haskellnotesfollow #ainotesfollow
... 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.
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).