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).
@erikprofilefollowI'm Nobody! Who are you?
Are you - Nobody - too?
Then there's a pair of us!
Dont tell! they'd banish us - you know!wrote:
I'm Nobody! Who are you?
Are you - Nobody - too?
Then there's a pair of us!
Dont tell! they'd banish us - you know!
How dreary - to be - Somebody!
How public - like a Frog -
To tell your name - the livelong June -
To an admiring Bog!
@amyprofilefollowa work in progress; i love cats 🐱replied to@erikprofilefollowI'm Nobody! Who are you?
Are you - Nobody - too?
Then there's a pair of us!
Dont tell! they'd banish us - you know!:
Nobody is perfect. I’m nobody.
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@erikprofilefollowI'm Nobody! Who are you?
Are you - Nobody - too?
Then there's a pair of us!
Dont tell! they'd banish us - you know!:
Yesterday upon the stair
I saw a man who wasn't there
He wasn't there again today
How I wish he'd go away!
Do you live there or are just visiting? I remember feeling so at home there as a kid. I never kept my French up so I don't think I could ever move there.
Visiting, for the first time. It's about a 9 hour drive from home so we've never made the trip, but so worth it. Went to Ile d'Orleans yesterday, just... so quiet and beautiful. Seems a bit of a paradise, haven't even made it up to the natl park(s) yet.
My French is coming back a little each day, made it all the way through the coffee order just now :)
I truly love the experience of using apps with rich, deeply interactive, beautifully animated, gorgeous user interfaces.
Then I see a beautiful text-based interface and something about it feels so natural, so inevitable, so perfectly clear, and I'm instantly captivated by its simplicity and clarity.
Hypertext is fascinating.
Onboarded on Claude Team with Unlimited credit usage. In the first day, subscription limits were hit and then it silently went on spending 530 EUR in credits before I noticed.
I knew token-based was more expensive but didn’t imagine that much. Which is why u can’t compete making alternative coding agents, their own subscriptions are much cheaper, but why they do it on their own Teams package is weird. Maybe targetting companies they feel they can pay.
Yes, that's for enterprises, that want SSO, governance, budgeting, data protection, etc etc. For C-level they are interested in "how much do we pay for AI", and with personal subscriptions you can't answer => can't manage it. This 530 EUR is the price for that learning.
Someone can create enormous value while their manager controls the narrative around that value. Conversely, a manager can conceal structural problems because the people capable of exposing them depend on that same manager for evaluation and promotion
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
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
I've been working with physical AI - Letting LLMs control robots in a warehouse to collaborate and collectively come up with a physically correct solution to carry out a natural language intent. We had to study the reactive nature of agents, nudges they required, etc.
haha that's a coincidence. Site looks awesome. The moving away from ROS2 part is so true. One of our main potential customers for physical AI solutions (a telecom provider in JP) communicated the need for agents to be able to pick up controls from any vendor
I apologize if that sounded obvious/non-obvious/amateurish haha. I was an intern and worked more on the agentic side of things, it was just a non-primary experiment
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?
I like this, it feels like Reddit before what it is now, but I feel like it won’t be long until the internet destroys this place. Until then I’m happy to be here.
It's really sad that this is such a common sentiment whenever there's a nice online community nowadays. Guess most of us have been burnt enough times by now
My favorite part of classic reddit was the use of elaborate hacks to circumvent the restrictions on custom subreddit CSS. E.g. animated gifs weren't allowed, so people made filmstrip sprites with stepwise animation in such a way as to look exactly the same.
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 #mobilenotesfollow app there? cc @paratonerprofilefollow
I've been leaning hard on NixOS in my latest attempt at a linux desktop box and have been really enjoying it. LLMs definitely help as there's a tremendous amount of information you need to use it effectively, I feel. I also started with Hyprland but then moved to Niri and have really enjoyed it.
Arch, because I feel you cannot use Linux without knowing how it works, and sway for window manager because it is highly stable, wholly keyboard driven, and tiling
I spent some time looking into what Omarchy has become since I installed it on my system, and I don’t think I like it anymore. ^^
Using it mainly to open a browser or applications like VS Code… well, I can do that with any OS. But the whole “AI-first” direction, DHH, and everything surrounding it are making me reconsider. I’ll probably migrate away from it soon. #bummernotesfollow
I made a chrome extension to bring the top Hacker News stories to your new tab, with quick summaries.
So every time you open a new tab, you might discover something everyone else hasn’t heard about yet.
If you’ve never heard of Hacker News: it was created by Paul Graham(founder
Everytime I post something on HN or elsewhere, I get about a dozen or more emails and they're all talking about the same thing; they have a platform and they want to help me grow my business, they promise. They look personalized but they're #ai_slopnotesfollow#spamnotesfollow.
I have an #ideanotesfollow, a website that’s directly linked to an agent and modifies its source and deploys based on its users’ requests. With some guardrails like reject “delete all data” in its system prompt. #milliondollarideanotesfollow
ooh maybe I revive hallucinate.sitehallucinate.site and add this feature but instead of being able to modify everything it would be limited to adding features to the game/world. And it’s the perfect domain, a site that’s been entirely mostly hallucinated.
Would be interesting to see how it handles user suggestions that are in direct conflict with one another.
‘I want all “thing” to be text-aligned left’ with another user asking for text-aligned right. Does it just center justify and call it a day?
Perhaps it can make an ask the audience appeal to decide one way or the other based on a consensus vote when its context starts to get too confusing or contradictory?
My first request will be for the agent to delete all vendor specific css completely no matter what breaks. No -webkit- no -moz- no vendor specific css at all. What could possibly go wrong? 🫣
Say more. I've been using it this year "at scale" and it sucks in the way that everything sucks when the whole company starts using it for everything. I haven't used Ansible in over a decade, but am curious what you like about it better.
Ansible just melds with my way of thinking better. I have a really hard time wrapping my head around nested loops in HCL and the overall "ugliness" of the language. Plus, I kind of like being in control of the order things are created.
@fastidious🙈profilefollow"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
I recently made a 10 foot sailboat and took it on a fifty-mile adventure in the Salish Sea. I can still feel the way the wind pushed the boat over the water. I kept imagining the way that our progress was the sum of the vectors of wind, current, and gravity. #tinkeringnotesfollow
not my blog but i recently discovered acko.net which i can recommend. awesome personal website
@fastidious🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@jamesjan3profilefollowresearcher, developer, dancer:
That site makes me dizzy with all the animations and fly ins/outs.
When I write I just add html files to the swiley.net folder in public.swiley.net. Sometimes I syndicate elsewhere (I was doing Substack for a while before Notes took over.)
Using Linux hasn't really been fun lately, idk. Nobara, despite building on fedora breaks a lot, but overall the whole ecosystem is so damn inconsistent and fragmented. Not sure if I have gotten more sensitive to this over the years but all I want is a system that "just works" and feels good 😔
I had a great run with Mint for years. I was as boring as it gets.
I got a new laptop recently and decided to try OpenSUSE Tumbleweed. I am really enjoying it, but it is a bit too recent for me to swear by it.
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.
“Passion has little to do with euphoria and everything to do with patience. It is not about feeling good. It is about endurance. Like patience, passion comes from the same Latin root: pati. It does not mean to flow with exuberance. It means to suffer.”
― Mark Z. Danielewski, Ho
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.
A thing I've been doing lately is trying to come to the same conclusions others have without looking their the direct techniques and code. Last night I tried to figure out why people do vector based retrieval for RAG and ended up running these experiments: n0tls.com/…/2026-09-03-i-think-…rag-with-grep.html
I'm still going to do an explore agent.
#ainotesfollow#ragnotesfollow#evalsnotesfollow
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
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.
szerintem jól sikerült a címváltoztatás a honlapon: a bölcsészeti underground majdnem olyan ellenséges érzéseket vált ki emberekből, mint a skizofrénia underground, lehet választani, ki melyiket utálja jobban
I think the title change on the website was a good one: the humanities underground evokes almost as much hostility from people as the schizophrenia underground, you can choose which one you hate more
@andrewprofilefollowHi! I'm a programmer and enjoy playing music. Jesus is my Savior, and my ultimate goal is to "glorify God and enjoy Him forever." (Westminster Q1).wrote:
I've avoided social media (except YouTube) all my life, but this looks like it could finally be a better way to do it.
Maybe I'll keep a running journal of cool things I'm working on here or weird bugs that I've found. Or just the struggles of coding.
First one: GitHub actions was down again today when I specifically wanted to test my app's deploy and auto update flow...
Any #Netflixnotesfollow shows recommendations? I have no idea what is worth watching (since I rarely watch shows) so now I’m watching The Mentalist from 2008. They had flip phones then.
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.
Spent months pair-building a full telecom BSS with an AI. The surprise wasn't the code — it was that the real job became verification. The AI read 450 tokens for every 1 it wrote. Turns out building honestly is mostly re-reading.
#opensourcebssnotesfollow
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
@nikkiprofilefollowa dog in your computer. i like plaintext, programs under 10mb, and palettes under 17 colors.wrote:
we're taking over. :3 this site is for weird animal tgirls now #launchnotesfollow
on the contrary, at least for me, it unleashes creativity because I don’t have to switch to execution mode (linear thinking), I can keep myself in the creativity mode (lateral thinking).
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.
Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.
a few #securitynotesfollow fixes this morning, some actions in your account are now gated behind email(or password) confirmations, like "delete account" and "enable password" - this is to keep the account safe. #featurenotesfollow
curious to know whats the experience of production push in other companies?
e.g lots of documents/approvals…
@carbonwriter🧜profilefollow(\ (\
( • •)
━∪∪━━━━
Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.wrote:
Sharing your work with others is a hard computer science problem in 2026, the Year of our Lord. You either here the sound of chirping crickets or the sound of "AI Slop" yells.
My past 3 projects went viral. I didn’t write a single line of code in any of them. But I still feel I engineered them. There were a few people that noticed but the majority didn’t see an issue.
You're fortunate in that you've genuinely captured something that people clearly want with textlog. No one wants another static site generator or coding harness. Ideas that resonate are pretty few and far between now.
I should have said past 4 projects went viral but the other one I did a lot of coding too, so wasn’t entirely “AI slop”. In all cases though, I made something I wanted to see. It just happened to resonate with others. Still, none of them extremely popular yet. All <500 users.
@fastidious🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@kateprofilefollow:
Word! It's a travesty that complexity seems to be lauded and rewarded over simplicity.
@tel😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied to@eatziprofilefollowEat, 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.
@eatziprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.replied to@tel😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.:
Enlightenment
@timprofilefollowi write instruction for computer to follow. i'm a software engineer.wrote:
how do i know my user id? i created by account 5hr after #launchnotesfollow. im user # what?
Having a little difficulty seeing how long this service will exist. People are terrible. Sooner or later it will be found and ruined.
@fastidious🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@crustyrustaceanprofilefollowOld 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. :-)
@fastidious🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
Productive weekend started four hours ago for me (at 06:00 EDT). Visited aunties and mum. Just got home, and waiting for wife to finish preparing to get on the road again. Next destination: nursing home (visit family, and “adopted” elders).
It’s using the /firehose/apitextlogAPIA quieter place for your thoughts. endpoint. It’s an SSE endpoint publishing everything latest. Though I meant it to be used server-side, since it’s heavily rate-limited — up to 3 conns under the same network, but I can’t control how clients decide to use it so.. ¯\_(ツ)_/¯
The seductive power of using #ainotesfollow to just-get-it-done is very strong.
One can't hurry quality. One can iterate quickly though in the hope of arriving somewhere good.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@neoprofilefollowcoder, reader, guitarist, seeker, builder.:
I direct a plan, then break it into phases, and each phase into sections with tasks and sub-tasks. The plan outlines all phases, but only write tasks one phase at a time, since things change. #opinionnotesfollow
That's how I've been working with #ainotesfollow for the past few months to a year. It has been amazingly consistently high quality.
just-get-it-done is for the rough sketch or proof of concepts (I do those too and a lot of them) but never for a quality product. #opinionnotesfollow
ooh maybe I revive hallucinate.site and add this feature but instead of being able to modify everything it would be limited to adding features to the game/world. And it’s the perfect domain, a site that’s been entirely mostly hallucinated.
The essential work of #programmingnotesfollow is building the theory of the problem + solution. Theory then enables creation of working code. In the end, the code is necessary, but it is not sufficient. Theory is indispensable. (cf. Peter Naur, 1985)
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.