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

@personprofilefollowwrote:
akkor inkรกbb holnap sรผrgล‘sen elmegyek az รกllatparkba
Then I'd better go to the zoo tomorrow urgently.
@edwin๐Ÿ˜ฌprofilefollowwrote:
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.
@edwin๐Ÿ˜ฌprofilefollowreplied to@0x29aprofilefollow:
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)
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.wrote:
hello, hello.
@_torayuriprofilefollowi create thingswrote:
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.
@_torayuriprofilefollowi create thingscontinued:
The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.
@edwin๐Ÿ˜ฌprofilefollowwrote:
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.
@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).
@klumbering๐ŸคกprofilefollowFirst thing to say is, I hope the owners of Chatgpt Claude Gemini and Others gets bloodeagled for making their unwanted baby, anyways Hello =)wrote:
i hate people who answer for me because im midway getting edged for a sneeze
@protonprofilefollowwrote:
i'm trying to express through a math equation the relationship between power, number of people, corruption and time. corruption = (time in a position of power * power)/number of people who have power what do you think?
@ku๐Ÿค”profilefollowHai I am kuwrote:
Never realized how much slow builds kill morale until I have to do multiple back to back ๐Ÿ˜”
@ku๐Ÿค”profilefollowHai I am kucontinued:
Nobody is complaining to me because I think they know they will be "voluntold" if they speak up ๐Ÿคฃ๐Ÿคฃ๐Ÿคฃ
@n5l๐Ÿ˜Žprofilefollowwrote:
Hi ha dies que em demano si no hauria d'escriure en catalร  aquรญ, per tal que hi hagi mรฉs diversitat lingรผรญstica visible. Al cap i a la fi, avui en dia les traduccions sรณn econรฒmiques. La traducciรณ automร tica pot ajudar a preservar la diversitat lingรผรญstica del mรณn.
There are days when I wonder if I shouldn't write in Catalan here, so that there is more visible linguistic diversity. After all, translations are cheap these days. Machine translation can help preserve the world's linguistic diversity.
@hmnt_bazookaprofilefollowYear 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
@procyon๐Ÿฆprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@0010011001011100profilefollow&\:
Solved it #spoilernotesfollow 643โ–ˆ972โ–ˆ815 185โ–ˆ463โ–ˆ792 279โ–ˆ185โ–ˆ436 โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆ 892โ–ˆ657โ–ˆ143 764โ–ˆ318โ–ˆ259 351โ–ˆ249โ–ˆ678 โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆ 926โ–ˆ731โ–ˆ584 418โ–ˆ596โ–ˆ327 537โ–ˆ824โ–ˆ961
@0x29aprofilefollowwrote:
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
@0010011001011100profilefollow&\replied to@0x29aprofilefollow:
This inspired me. I think adventure might be part of our nature that needs more or less attention, but it somehow needs to be maintained to be achieved. Hehe, this might be simple thoughts, reading what i wrote.. but I am gratefull for you reminding me of the importance of fresh perspectives deriving from ones own willing exploratory experience.
@fastidiousprofilefollow"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.
โ€ฆ
@davidprofilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.replied to@stagas๐Ÿคธprofilefollowcreative technologist creator of textlog:
What do you think about making the โ€œto meโ€ similar to โ€œfor youโ€, โ€œlatestโ€, and โ€œhotโ€, when it comes to font size, and the underline effect?
@stagas๐Ÿคธprofilefollowcreative technologist creator of textlogreplied to@davidprofilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
No because it's not a tab, it's a filter for the 'for you' tab. If we were to make it a tab it would have to be a different feed from the 'for you', but they overlap. I think it's ok distinct as it is.
@ku๐Ÿค”profilefollowHai I am kuwrote:
So we can't use em dash anymore โ€” lest we anger the mob. Truth be told though, English teachers have always discouraged em dash overuse because it is a subtle art and very easy to get wrong.
โ€ฆ
@christmasho๐Ÿ˜Šprofilefollowreplied to@ku๐Ÿค”profilefollowHai I am ku:
The funny thing is that in the UK, we don't really use the em dash anyway. We use the hyphen (I guess en dash?) with a space each side. So the em dash has always looked a bit odd to us... ๐Ÿ˜Š
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@christmasho๐Ÿ˜Šprofilefollow:
There are dashes (-), as well as en dashes (โ€“), and there are em dashes (โ€”), not to miss the mighty center dot (โ€ข) that looks like a perky boob when surrounded by brackets haha
@asmund๐Ÿฅท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@ku๐Ÿค”profilefollowHai I am ku:
Just get and read Chicago Manual of Style, or Oxford Style Manual if you so prefer, and youโ€™re all set to use the various dashโ€™es (and many other things).
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@ku๐Ÿค”profilefollowHai I am ku:
Thereโ€™s other dashes to pick if you want to steer clear of the almighty em dash!
@n5l๐Ÿ˜Žprofilefollowreplied to@ku๐Ÿค”profilefollowHai I am ku:
The anti-slop mob is tiresome. With a careful and appropiate use of ai it is possible to make a lot of interesting stuff. And I hate even more when the mob "profs" that the text is ai using those ai detectros that can't detect ai.