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

@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!
…
@n5l😎profilefollowwrote:
Is this true? Sometimes, AI allows for socratic thinking, this is, the conversation with the machine allows the thinker to go further as the AI thorws ideas to the conversation. Many times, the AI reasoning is not good enough, but like a friend that says a funny think that sparks an idea, the AI can help our brain to see other possible paths. The AI doesn't need to be right to be helpful
…
@maxinedotdev🧙profilefolloweat, get a new hobby, sleep, repeat maxine.devreplied to@n5l😎profilefollow:
that's only true if a) that "rubber ducky" entity is not leading the line of thinking down the wrong path, and b) the human thinker is actually doing the critical thinking, and not the machine. The latter is where my criticism of unbridled AI use is in this case, wherein the human becomes the rubber ducky instead of the other way around.
@n5l😎profilefollowreplied to@maxinedotdev🧙profilefolloweat, get a new hobby, sleep, repeat maxine.dev:
Indeed. The AI throws back ideas, but it is the human who must do the heavy lifting. In this regard, the AI is a sort of mirror, it reflects what you send it, showing another side the object. But if the human messages are bad, the AI will respond with bad quality answers.
@kwubprofilefollowis fighting the urge to sleepreplied to@kev🧜profilefollowrunner. making games, music, software. getting into as much trouble as i can.:
ive been making my way through monster hunter world's iceborne expansion. lots of fun mina the hollower is near the top of my list to play soon, have fun!
@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain · A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.wrote:
Naturally, as soon as I return from a week of vacation, GitHub is having an outage 😑
…
@stagas🤸profilefollowcreative technologist creator of textlogreplied to@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain · A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.:
ibb.co/8gbX5h3ZImgBBimage hosted at ImgBBImage image hosted on ImgBB
@ku🤔profilefollowHai I am kureplied to@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain · A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.:
I have something that usually builds, tests, and deploys under five minutes. It has been over two hours and forty eight minutes and it is still going on today... 🫣
@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain · A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.replied to@ku🤔profilefollowHai I am ku:
Can't spell "social coding" without "slo ci/cd"
@stagas🤸profilefollowcreative technologist creator of textlogwrote:
I’ve been working with OpenStreetMaps a little and I must say, they’ve done an incredible job. The data are very detailed and accurate, I can’t believe they’re free to use. Someone must be paying all those topographers somehow or I don’t understand how this can be achieved by volunteers. This project, Warsaw in Voxels which uses them inspired me to play as well.
…
@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.comreplied to@egeprofilefollowcheck out my blog: hypersubject.netege's webloghypersubject.netHi! I’m ege. Welcome to my corner of cyberspace. The following is for you to make sense of who I am. It is an attempt to make myself legible to you. So you can label and categorize me and decide if I’m worthy of your time and attention.:
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.)
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.replied to@egeprofilefollowcheck out my blog: hypersubject.netege's webloghypersubject.netHi! I’m ege. Welcome to my corner of cyberspace. The following is for you to make sense of who I am. It is an attempt to make myself legible to you. So you can label and categorize me and decide if I’m worthy of your time and attention.:
thechels.uk is mine, thanks :-)
@nateprofilefollowI'm into old computers, breakfast diners, doom metal, and r/catswiththumbs.replied to@egeprofilefollowcheck out my blog: hypersubject.netege's webloghypersubject.netHi! I’m ege. Welcome to my corner of cyberspace. The following is for you to make sense of who I am. It is an attempt to make myself legible to you. So you can label and categorize me and decide if I’m worthy of your time and attention.:
I recently wrote about why you shouldn't use your phone while you poopNate.spotDon't use your phone while you poop!Your brain needs to offload just as badly as your butt does. I know it sounds boring to sit in there, alone, naked from the waist down, staring at the wal...
@0010011001011100profilefollow&\wrote:
& ╔═══════════════════╗ ╔═════╣╲ │ ╱╠═════╗ ║ ║ ╲ │ ╱ ║ ║ ║ ║ ╲ │ ╱ ║ ║ ║ ╠═══╲═════╪═════╱═══╣ ║ ║ ║ ╲ │ ╱ ║ ║ ║ ║ ╲ │ ╱ ║ ║ =───────────────────────────────= ║ ║ ╱ │ ╲ ║ ║ ║ ║ ╱ │ ╲ ║ ║ ║ ╠═══╱═════╪═════╲═══╣ ║ ║ ║ ╱ │ ╲ ║ ║ ║ ║ ╱ │ ╲ ║ ║ ╚═════╣╱ │ ╲╠═════╝ ╚═══════════════════╝
@_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.
@prophetorit💧profilefollowgrand and intoxicating innocencewrote:
i always have to resist dream futures that are way out of my league. no, Orit no! you can't be a priest your a girl!!!! noo!!! you can't be a cardinal either, stop!!
@prophetorit💧profilefollowgrand and intoxicating innocencecontinued:
oh,and what a shame it is! burning some incense at my altar and trying to climb the religious ladder! sigh...
@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.
@jgprofilefollowNew herewrote:
It's one of the sad ironies of this computer stuff that the simpler solutions take longer to conceive than the complicated ones.
@stagas🤸profilefollowcreative technologist creator of textlogwrote:
Big holiday today in Greece, bells ringing, bands singing, people gathered in the village, eating, enjoying life and I'm spending it inside coding. I don't feel bad and I'm not #antisocialnotesfollow, it's just that I'm a bit odd. I don't like these forced gatherings. Feel stressful.
…
@jamesjan3profilefollowresearcher, developer, dancerwrote:
i recently finished hemingways "the old man and the sea". very highly recommend for anybody that wants something short and memorable. left me feeling something between inspired and nihilistic
@chanuxprofilefollowI ain't no nothing!replied to@jamesjan3profilefollowresearcher, developer, dancer:
This strangely reminded me of golden days of Twitter. There was a point I absolutely love Twitter. This is also a reminder for me to pick up a book instead of reading a load of random stuff online. Thank you!
@tel😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.wrote:
there's a gentle kind of space not some echoing cave nor some incessant chirping flock more a darkened back room lit by a projector candid photos of your neighbors songs made only for friendly ears and the kind of brave words that rarely make it out of our hearts
@jamesjan3profilefollowresearcher, developer, dancerwrote:
crush-tui: A lightning fast, terminal-first dating app written in rust. supports custom themes!
@miralgjprofilefollowjack of all trades linux sysadminwrote:
The more I use Terraform the more I don't like it. Can I just get the option to track state with Ansible?
@jgprofilefollowNew herereplied to@miralgjprofilefollowjack of all trades linux sysadmin:
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.
@miralgjprofilefollowjack of all trades linux sysadminreplied to@jgprofilefollowNew here:
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.