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

@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.wrote:
𐑔𐑮𐑰 𐑓 𐑔𐑮𐑰 𐑪𐑯 ·𐑚𐑮𐑦𐑑𐑦𐑖 𐑛𐑦𐑖𐑩𐑟 𐑞𐑦𐑕 𐑢𐑰𐑒𐑧𐑯𐑛: 𐑣𐑨𐑛 𐑩 𐑓𐑫𐑤 ·𐑦𐑙𐑜𐑤𐑦𐑖 𐑯 𐑩 𐑐𐑲 (𐑮𐑨𐑚𐑦𐑑) 𐑘𐑨𐑕𐑑𐑼𐑛𐑱, 𐑯𐑬 𐑑 𐑛𐑵 𐑨 𐑚𐑰𐑓 𐑮𐑴𐑕𐑑. 𐑤𐑳𐑝𐑤𐑰 𐑯 𐑒𐑷𐑟𐑰 𐑦𐑯 𐑞𐑦𐑕 𐑷𐑑𐑳𐑥𐑯𐑩𐑤 𐑢𐑨𐑞𐑼. Three for three on British dishes this weekend: had a full English and a pie (rabbit) yesterday, now to do a beef roast. Lovely and cozy in this autumnal weather.
@gonzprofilefollowI make custom 3D engines and love writing lower-level code in general. Living in Bulgaria. github.com/GoNZoooGitHubGoNZooo - OverviewBackend & frontend. Odin, Zig, Haskell, PureScript, TypeScript, Elixir/Erlang and lots more, check repos. - GoNZooo & www.youtube.com/@mccGoNZoooYouTubeRickard Andersson (gonz)Educational programming videos: - Projects - Language learning course-style contentreplied to@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
This is what we need.
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearwrote:
one more step. just a moment. attention required! enable javascript and cookies to continue. verifying the security of your connection. your browsing activity has been paused. content unavailable in your region. 429 too many requests. 403 forbidden. connection has timed out.
@gruntprofilefollowI am just a grain of sand on your beach.replied to@procyonprofilefollowlate is the hour in which this conjuror chooses to appear:
The future is here. But instead of flying cars or holodeck, what you get is tracking cookies and captcha everywhere. Maybe someday you will need to have your rectum scanned by Google or Meta nee Facebook before your browser does a HTTP request.
@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:
The dream of Twitter circa 2007 is alive in 2026
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied 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.:
Twitter was 140 chars. That makes it double the dream, right?
@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:
Gave this evergarden colorscheme a shot after seeing it on lobsters today. Quite liking it.
@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.continued:
Also prompting me to refresh my tmux config, which I've been meaning to do for years now. SpringEnd-of-Summer cleaning!
@zbr😅profilefollowmaker of software thingsreplied 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.:
Cool use of ANSI sequences in curl -L evergarden.moe - can preview the theme without running any shell scripts!
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Changed my theme to dracula! Love it. This site is such a blessing.
@kooiprofilefollowreplied 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.:
Started reading exactly that and man it's mind-blowing. He's not anti-tech, he's anti big-company-culture-capture. Really insightful for being written in 1998. What I appreciate is he looks at a very wide view of tech, not just modern silicone.
@ddk070🧙profilefollowit's me,hiwrote:
看到其他文章有自動翻譯，我覺得很酷
I think it's really cool to see other articles with automatic translation.
@ddk070🧙profilefollowit's me,hicontinued:
所以我來嘗試一下自動翻譯的文章功能，但發現自動翻譯只有在瀏覽器上，行動裝置要自己手動按翻譯功能。
So I tried the automatic article translation feature, but found that automatic translation only works in the browser; on mobile devices, you have to manually press the translation button.
@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.
…
@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.
@_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.