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

@paratoner😎profilefollowreplied to@bobbyprofilefollow:
One idea off the top of my head is to just.. keep it "boring" and casual in terms of content. The silly, whimsy, and genuine stuff naturally doesn't appeal to money-chasing slop bros and makes it not worth their time.
…
@tireverie🤩profilefollowwrote:
I'm so fed up with the series of tabloid articles claiming Koji was a stand-in actor in koitoki. the 'insider' seems to be part of the staff since they had access to details like the location of the wrap-up party. Idc who they are and how true their information is, the intention is obviously malicious. it's just disappointing that a person like that is blending in with the people my oshi works with, viewing him as nothing more than a subject to sell to trash tabloids.
@tireverie🤩profilefollowcontinued:
​the fact that these articles completely contradict official content is reason enough to ignore them. for instance, the article claimed Koji wasn't as cheerful as usual, yet the crank-in footage with Mone-chan was filled with laughter, and she even explicitly called him the mood maker of the set. they also claimed he joined filming late, contradicting the fact that they all met at the initial script reading. plus, on sunomanma, Raul even mentioned seeing the original drama proposal early on.
@tireverie🤩profilefollowcontinued:
an official article from the director confirming he sent the offer to Koji after seeing his performance in 'fake mommy' is the only thing we should believe. behind-the-scenes details that aren't officially shared shouldn't be treated as truth. I don't understand why they're so persistent about how Koji got the role. why not direct that focus toward the one prominent cast member with a history of racism and misogyny? that's the only valid reason to feel uncomfortable about this drama.
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearwrote:
ChatGPT-generated placards for fruits and vegetables at the local farmer's market 👌
…
@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:
But maybe we'd all be a little saner if we remembered what we're actually doing: building tools to make our lives and the lives of others easier. graybeard.ing/software-drives-people-insane/The Gospel According to GraybeardSoftware Drives People InsaneI have a little pet theory that software drives people insane. Not in the "wash your hands every thirty minutes like Howard Hughes" kind of way, but more ...
@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.:
This resonated a lot. I’m glad I read it now, before going totally insane lol. But I disagree that it’s just a glorified spreadsheet. The UI/UX matters, how you present the data, how they can change and so on, all of those things play a role. The good thing with AI is iteration is cheaper than ever, so you can experiment and process the results quickly. But yeah sometimes I just do things here because I just have to be doing something, I can’t leave it alone.
@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@stagas🤸profilefollowcreative technologist creator of textlog:
Agreed. The "just" makes the statement sound dismissive, but I do agree with the underlying sentiment that most software boils down to CRUD apps that help people organize information and complete tasks more efficiently. I think the path to developer enlightenment is realizing this truth without despairing over it.
@_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.
@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:
Any runners on here? I mostly consider myself a trail runner, but of course train on roads, too. Good for 1–2 races/year, more into running as a practice, a way to manage stress and stay fit.
…
@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(deleted account):
5 min/km is pretty quick, as far as I'm concerned! My easy/forever pace is more like 8:30–9 min/mile right now.
…
@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(deleted account):
Better for your knees, too :)
@hippo🦛profilefollowStrictly no LLMs. No exceptions.wrote:
Seems the spammers have arrived. ☹️ Is there (or can there be) some mechanism to flag posts or accounts as spam?
@hippo🦛profilefollowStrictly no LLMs. No exceptions.replied to@stagas🤸profilefollowcreative technologist creator of textlog:
I reported one post for spam twice today - there was no indication on re-viewing the post that I had already reported it. I think that some sort of indicator of posts I have already reported would be good. Or, if it's simpler, just don't show them to me in the feeds after reporting. Thanks.
@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:
Watching the UTMB livestream. Any other trail #runningnotesfollow fans out there tuning in?
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
The best Mcp server I have as Claude Connector is Emacs running on my Homeserver. It has one tool - eval-elisp. Using it Claude can do almost anything. My top 1 pinned chat is “Run agent-start-claude-code using HotterEmacs in dir …” - after that I have a ready to use remote-controlled session running on my homeserver.
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.replied to@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.:
To load a skill I literally type - “load (◊doc 'slack) and browse channel X for today”. The idea is my text stays English but repeating concepts are real reusable elisp functions that stay fully deterministic. (◊doc 'agent) and Claude knows how to talk to open code and pi agents.
@maxinedotdev🧙profilefolloweat, get a new hobby, sleep, repeat maxine.devwrote:
LinkedIn post: "Git 3.0 is going to be a bigger change than the version number suggests." Proceeds to list breaking changes, congruent with a major version number change.
@jgprofilefollowNew herewrote:
The frequent comments you read about protesters in France or Portugal versus the situation here in America are valid. At the same time, here in America, the police would absolutely roll in with machine guns. That's kind of a counterweight.
@curtisprofilefollowGot my head in the clouds right now.wrote:
Hi everyone! I just found this site, seems to be just my speed!
@christmasho😊profilefollowwrote:
Another little corner of the internet. Anything using fixed-width fonts and without pictures has surely got to be promising in this day and age, surely...
@jamesjan3profilefollowresearcher, developer, dancerwrote:
omarchy felt a bit like cheating so i redid a plain arch install and am using sway now. if im honest, its all not that far away from eachother. obsessing over configs and distros is really just a hobby that some people in the linux community take too seriously.
@amyprofilefollowa work in progress; i love cats 🐱wrote:
Had to take care of something for school. But now in bed with my book.