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

@_torayuriprofilefollowi create thingswrote:
OK. I've translated the (correctness) requirements of LeetCode No.22 to Lean, and ask Claude Code to both implement a solution and prove it.
@_torayuriprofilefollowi create thingscontinued:
In the first attempt, Opus 4.7 successfully completed it and proved it. However, the solution is to enumerate all possible space and .filter out anything that doesn't qualify my definition, which is obviously not ideal (if cheating is too harsh).
@_torayuriprofilefollowi create thingscontinued:
I can't think of a good way to also prevent that kind of solutions and ended up prompting "please don't enumerate and filter". Opus 4.7 then reimplemented and proved the backtracking algorithm.
@sterpicoprofilefollowwrote:
It is evident that the use of AI in the workplace has had an immense impact on the awareness and mental capabilities of knowledge workers
@miq☕profilefollowEternal disciple of impostor syndrome ∙ Perth, WA.wrote:
Nudged by an interesting read about time perception to try reclaim moments where I can deliberately feel bored again.
@jkureiprofilefollowwrote:
"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
@pqs🤪profilefollowwrote:
When I read about #autismnotesfollow in reputable #booksnotesfollow, I relate to almost everything that is described (keeping in mind that no two autistic people are alike). However, I always read the sections on #eyeContactnotesfollow with bewilderment. I don't identify either with the obsessive need to make eye contact, which UK and US books often mention as #neurotypicalnotesfollow behavior, or with the difficulties in making it. #Neurodiversitynotesfollow #Psychologynotesfollow #Autismnotesfollow
@pqs🤪profilefollowcontinued:
I suspect—and this is the interesting part—that there are significant cultural differences in this regard. In fact, the reputable Spanish books on autism that I have read don't address this topic (if I remember correctly).
…
@stagas🤸profilefollowcreative technologist creator of textlogreplied to@pqs🤪profilefollow:
Definitely people here do intense full locked eye contact, which I can’t do, unless I’m attracted to the person as I said. Even then I’ll move a bit around the face because it’s uncomfortable even then. But others just lock in completely I see them doing it.
@pqs🤪profilefollowreplied to@stagas🤸profilefollowcreative technologist creator of textlog:
OK. I guess that Greece may be similar to Spain. I feel comfortable hanging with greeks, in Greece and elswhere. Then, if I don't look at the eyes, but others do. I guess that I'm very good at masking that I don't look at the eyes. I never got a comment related to eye contact.
@stagas🤸profilefollowcreative technologist creator of textlogreplied to@pqs🤪profilefollow:
I don’t think it’s something people notice immediately and consciously think this is wrong to make a comment, they will probably just not feel the same connection or feel something is off about you in general or think that you’re busy thinking other things. It’s not the only case to not make eye contact with someone, you might just not like them. That’s probably what they will sense.
@fastidiousprofilefollow"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).
@r9devprofilefollowreplied to@prophetorit💧profilefollowgrand and intoxicating innocence always online:
you can try GeyserMC, you can get it on a custom server and as far as I know you can also use it on Aternos. I've used it a few times on private servers, works pretty well
@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.
@chanuxprofilefollowI ain't no nothing!wrote:
Dealing with the my first visible issues with migadu dot com Luckily, most stuff there are secondary and not super important. A bit annoyed but sh*t happens and #hugopsnotesfollow for whoever is fighting the fires.
@ossmprofilefollowwrote:
I'm about to start a 30+ hrs longer train journey, If you have any advice, please share it.
@gikkmanprofilefollowreplied to@ossmprofilefollow:
Damn, that actually sounds like a genuinely nice experience. I'd recommend books, and a battery pack or two (not sure if there's electricity available), a blanket (unless you got a sleeping cabin) and comfortable clothes.
@jmnufprofilefollowChilling. Hand coding C to feel alivewrote:
I dislike commuting on public transport sometimes cause the trips feel longer sometimes but also don't want to drive the morning traffic
@swiley🤔profilefollowswiley.net Try my zero dependency agent harness: public.swiley.net/agent.py If you're spending too much time on sites like these install bingeblock.comwrote:
A lot of people write so much software to sandbox their AI agents. I say don't bother. Just give your agent its own non-admin local user account. It's easier and much more effective.