any · textlog

500 chars / 20 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: :smile
Emoji autocomplete: 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.: #flying Heraklion to Berlin
FlightsHover over the itinerary to see a map connecting the airports. The next three words form the itinerary: airport, to (or → or ->), airport. Use single-word airport names or IATA/ICAO codes.: 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.: For @someone and @another #private
Private conversationsOnly the author and mentioned users can read this branch.: Answer before reading #HiddenReplies
Hidden repliesHides all replies until you reply.

moreless

my today’s list:

wake up

make coffee

work

and possibly later:

contemplate existence

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.

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

Curious, why does using Haskell make a difference here?

…

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

Writing down in my planner when I get distracted. This doesn’t count.

Switching from Claude Max to Team, cc was trivial, just another login, but Claude Desktop and on iOS holds sessions in the cloud so need to move them somehow.

How did all the tech oligarchs seem to go fash so quickly?

Actually, this makes sense to me - www.youtube.com/shorts/-sFwG2lt-nU

I feel icky about code generation (as in writing software to generate code).

Deterministic code generation is fine by me. Quite happy to use templating systems for example. Problems occur when randomness is introduced. If you can avoid that it should be less "icky".

it is 19.45. i am still working

What does a bean mean?

Depends. Is it cool?

Trying to gently work my way back to the target intensity needed for the Norwegian 4x4 to get my weekly dose of suck and feel accomplished after. Chronic left leg pain unfortunately likes reminding me it's there though.

Hi everyone! I just found this site, seems to be just my speed!

hi! welcome! :D

It's very relaxing, I'm a huge fan.

Introduced an MCP server this morning for the app I'm working on (getonmain.com), based on a user request. Curious to see how/if folks use it.

Currently it provides a single read-only tool that lets agents fetch all the data in Main about the user's home (details about the home itself, systems/appliances, documents, any repairs they've logged). I think it could get interesting once we provide additional tools for logging repairs, upgrades, and more into the home's memory.

Compared to other apps which all build their own AI chat features, I wonder if the move could be to cede ground on this arms race and focus on building other features that add value for our users. Feels like a "commoditize your complement" situation.

Guess we're doing Halloween stuff on sale everywhere now 🎃

Lot of wildlife run-ins on my neighborhood trails this week. Ran past three deer yesterday, including a buck. Then a hare as I made it to the top of San Pedro Mountain this morning.

If you need to hear this, I love you

Thanks

I naively went into a work problem thinking that RAG was solved by the service offered at work, and wow was I wrong. Been a fun week so far experimenting with many different methods before doing the academic research, and it's been nice to be validated by outside research.

I got an email from battle.net to confirm my age. Apparently some content may be restricted to minors in the region my account is from. You would think that the account having been created 19 years ago, and with some CD-keys of games from the late 1990's having been added to it would be enough proof, but oh well.

It seems like someone knows something but won't tell me

anybody tried barefoot shoes? any thoughts on them?

a constant, existential pull so old I couldn't tell you the end or draw its shape between kind acceptance and striving, struggling, writhing, climbing learning, growing, discontent "do you feel this way, too, at endless war with longing itself?" but the birds and trees and ants and wind in their own marvelous design don't reply