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

Any conversation

@zenprofilefollowfather, 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
@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowcontinued:
... 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.
@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowcontinued:
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.
@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowcontinued:
... 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.
@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowreplied to@stagas🤸profilefollowcreative technologist creator of textlog:
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).
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Don’t be beholden to one LLM basket. Get yourself an Openrouter account, get yourself an open source harness like pi and get yourself educated. I will die on this hill.
@gruntprofilefollowI am just a grain of sand on your beach. www.gruntsoft.comreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
I agree with this. I already use different models for different tasks in part for this reason. Never bothered with an OpenRouter account though, I just have accounts set with each provider. And Pi is excellent. I actually find it much better than Claude Code.
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Enjoyed reading “revo, the programming language” post: revo.lung.fyi/blog/apples/revo.lung.fyirevo, the programming language⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣤⢔⣒⠂⣀⣀⣤⣄⣀⠀⠀ ⠀⠀⠀⠀⠀⠀⣴⣿⠋⢠⣟⡼⣷⠼⣎⣼⢇⣿⣄⠱⣄ ⠀⠀⠀⠀⠀⠀⠹⣿⡀⣆⠙⠢⠐⠉⠉⣴⣾⣽⢟⡰⠃ ⠀⠀⠀⠀⠀⠀⠀⠈⢿⣿⣦⠀⠤⢴⣿⠿⢋⣴⡏⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⢸⡙⠻⣿⣶⣦⣭⣉⠁⣿⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⣷⠀⠈⠉⠉⠉⠉⠇⡟⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⢀⠀⠀⣘⣦⣀⠀⠀⣀⡴⠊⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠈⠙⠛⠛⢻⣿⣿⣿⣿⠻⣧⡀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠈⠫⣿⠉⠻⣇⠘⠓⠂⣀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣿⠀⠀⠈⠉⠉⠉⠀⡠ ⢶⣾⣿⣿⣿⣿⣿⣶⣄⠀⠀⠀⣿⠀⠀⠀⠀⠀⠀⠈⠀ ⠀⠹⣿⣿⣿⣿⣿⣿⣿⣧⠀⢸⣿⠀⠀⠀⠀⢀⠆⠀⠀ ⠀⠀⠈⠙⠻⢿⣿⣿⠿⠛⣄⢸⡇⠀⠀⡀⠀⠈⢀⠀⢨ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠘⣿⡇⠀⠀⠀⠀⠀⠀⢦⣃ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣿⡁⠀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣿⠁⠀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣿⠀⠀⠀⠀⠀⠀⠀⠀⠀ revo, the programming language software that doesn’t hate you -> take a look at examples first toc revo, the programming
@jgprofilefollowNew herewrote:
Last weeks post about "if you're not using an LLM router, how do you know wtf is going on" inspired me to spin up a couple of OSS options this week and wow were they right.
@blhprofilefollowwrote:
Do you walk your neighborhood? Do you sit on your front porch and say hello to passersby?
@ku🤔profilefollowHai I am kucontinued:
آپ کے دیئے گئے #جملےnotesfollow کی درست اور معیاری #اردوnotesfollow اصلاح "کوئی #نذرانہnotesfollow لے کر آیا ہوں، میں دیوانہ تیرے لیے" ہے۔ اس جملے میں 'نجراجہ' کی جگہ درست لفظ نذرانہ (تحفہ) ہے، 'لیکر' کو الگ الگ لے کر لکھا جاتا ہے، اور 'لئے' کی درست املا لیے ہے۔ #Grammarnotesfollow #Urdunotesfollow #Languagenotesfollow #Learningnotesfollow
The correct and standard #Urdunotesfollow correction of your given #sentencenotesfollow is "I have brought a #giftnotesfollow, I am crazy for you". In this sentence, the correct word for 'najraja' is 'nazran' (gift), 'lekar' is written separately, and 'lay' is spelled correctly. #Grammarnotesfollow #Urdunotesfollow #Languagenotesfollow #Learningnotesfollow
@eatziprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.wrote:
Sipping Choya’s ウメッシュ　ノンアルコル。😋
Sipping Choya's Umeshu (plum wine), non-alcoholic. 😋
@kundanprofilefollowwrote:
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
@nateprofilefollowI'm into old computers, breakfast diners, doom metal, and r/catswiththumbs.wrote:
What's your favorite documentary? Currently watching The Machine that Changed the World and loving it.
@sufehmi🥸profilefollowwrote:
Bad people are working together to enrich themselves and slave others into rat races. Good people need to start working together too.
@archivist_eyes💀profilefollowYour mind is also supposed to create happiness, not just to receive it. You're supposed to find solutions, to invent, to imagine, to remember, to love. This much we always forget.replied to@sufehmi🥸profilefollow:
Good people are always more, if more affraid of things. Bad people, unfortunately, is more willing to make harm, hence why they keep the upper hand. To support eachother is the minimum we need to move forward, and so long this doesn't happen things will remain the same. A revolution, as they say, doesn't happen with a single person, we need the mayority to join.
@sufehmi🥸profilefollowreplied to@archivist_eyes💀profilefollowYour mind is also supposed to create happiness, not just to receive it. You're supposed to find solutions, to invent, to imagine, to remember, to love. This much we always forget.:
"we need the majority to join" - this is a very interesting point; actually we only need 3,5% 👌 Erica Chenoweth from Harvard found this from their research with Maria J. Stephan, and wrote the book "Why Civil Resistance Works". They also found that nonviolent resistance is more often successful than the violent ones. Very interesting stuff.
@0x29aprofilefollowwrote:
I wonder, is life best lived like a job? I.e set goals for yourself and then work to achieve them? Today I realised how passively I have been living mine so far, but maybe that's ok? I don't want a second job.
@pippo🤔profilefollowwrote:
Anybody here actively working in or has contributed to (in any capacity) conservation (be it flora or fauna)?
…
@jamesjan3profilefollowresearcher, developer, dancerreplied to@pqs🤪profilefollow:
It seems this year is when big budget LLM players overtake independent academic mathematicians, in speed at least. The Jacobian conjecture, a lot of Erdos problems, now even the Navier Stokes millenium problem. Solved due to new model releases, all within this summer.
@jamesjan3profilefollowresearcher, developer, dancerreplied to@pqs🤪profilefollow:
in math it can definitely prove statements that havent been proven before. I dont think thats the big thing though since it also writes sentences nobody has ever written before and in software it can write programs that havent been written before. Its just that the speed and scalability that has overtaken human mathematicians and programmers
…
@elana🧚profilefollowI have a doctorate in ancient stuff but these days I'm a full-time plague avoider. Born and raised in Toronto, Canada, now living in Kyoto, Japan.wrote:
@yonkeltronprofilefollow Did this work? I would like to say hello to you!
@yonkeltron🤖profilefollowreplied to@elana🧚profilefollowI have a doctorate in ancient stuff but these days I'm a full-time plague avoider. Born and raised in Toronto, Canada, now living in Kyoto, Japan.:
Hello to you, my dear friend! Sending all my love to you both for a Shana Tova!
@chanuxprofilefollowI ain't no nothing!replied to@stagas🤸profilefollowcreative technologist creator of textlog:
Personally, I think I found good framework/vocabulary to help with meditation in some discussion by Jiddu Krishnamurti. Here is one in which he works it out with kids www.youtube.com/watch?v=0Yv0BKtgqpQYouTubeJ. Krishnamurti - Rishi Valley 1978 - School Discussion (Students) 3 - Can you... There was a short, to the point lecture where he basically walks you through observing thought, which profoundly changed how I approach meditation but I can't find it for the life of me!