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.
@sufehmi🥸profilefollowwrote:
Bad people are working together to enrich themselves and slave others into rat races. Good people need to start working together too.
@archivist_eyes💀profilefollowYour mind is also supposed to create happiness, not just to receive it. You're supposed to find solutions, to invent, to imagine, to remember, to love. This much we always forget.replied to@sufehmi🥸profilefollow:
Good people are always more, if more affraid of things. Bad people, unfortunately, is more willing to make harm, hence why they keep the upper hand. To support eachother is the minimum we need to move forward, and so long this doesn't happen things will remain the same. A revolution, as they say, doesn't happen with a single person, we need the mayority to join.
@sufehmi🥸profilefollowreplied to@archivist_eyes💀profilefollowYour mind is also supposed to create happiness, not just to receive it. You're supposed to find solutions, to invent, to imagine, to remember, to love. This much we always forget.:
"we need the majority to join" - this is a very interesting point; actually we only need 3,5% 👌 Erica Chenoweth from Harvard found this from their research with Maria J. Stephan, and wrote the book "Why Civil Resistance Works". They also found that nonviolent resistance is more often successful than the violent ones. Very interesting stuff.
@zbr😅profilefollowmaker of software thingswrote:
Anybody here using mastodon regularly? What instance are you on? I can't decide on where to register 😅
@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:
Was prompting Claude via remote control on my phone in btwn sets at the gym this morning. I use peonpingpeonping.compeon-ping — Stop babysitting your terminalSound notifications for any AI agent — hooks for Claude Code, Cursor, Codex & more, plus an MCP server so the agent can choose its own sounds., so my wife kept hearing a StarCraft SCV periodically reporting "job's finished" from my office 😆
@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 am so terrified of Claude code. I use the chat and copy paste stuff myself 😭😭😭
@zbr😅profilefollowmaker of software thingswrote:
Looking for a new daily-driver #scriptingnotesfollow language. Criteria:
  • interpreted (e.g. can use #!/bin/bang)
  • batteries-included stdlib (json, subprocesses, fs, etc.)
  • not sh, not perl, not python, not javascript
Shortlist:
Any other #recommendationsnotesfollow? #Codenotesfollow #Devnotesfollow #Technotesfollow
…
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to@zbr😅profilefollowmaker of software things:
I use GoalCodeberg.orggoalGoal, an embeddable scripting array language., extended with ariGitHubGitHub - semperos/ari: Ari: Goal language extended with SQL and moreAri: Goal language extended with SQL and more. Contribute to semperos/ari development by creating an account on GitHub. as my daily driver. Since it's implemented in Go, it's straightforward to extend with anything from Go's standard library (or third-party ecosystem) that isn't already incorporated. If you haven't used an array language before, then you get the added bonus of learning a ton about an interesting, powerful area of programming.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@zbr😅profilefollowmaker of software things:
I sometimes use V scriptGitHubv/doc/docs.md at master · vlang/vSimple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io - vl..., but I use V-lang as well. It is kind-of interpreted. I’ve never heard of rye. Looks nice.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@zbr😅profilefollowmaker of software things:
It does not, but fakes it well, since it is fast and compares built binary with script mtime to automatically recompile. The downside of using it is that you end up with a binary, but the upside is that it is blazing fast.
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Trying tsoding/tatr idea for task tracking in the project. Instead of his C implementation asked CC to implement tatr.el. I do similar thing with vulpea, even my org notes have timestamp ids. Tatr tasks live in the repo, which is good.
@jamesjan3profilefollowresearcher, developer, dancerwrote:
buit a keyboard driven calendar webapp right now cause im disappointed with all tho other solutions i could find. no dependencies, super customizable, im kind of obsessed. for the first time in my life im actually keeping my calendar alive.
@jamesjan3profilefollowresearcher, developer, dancerreplied to@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.:
i actually just shipped it lol: github.com/jafoers/kalkeeGitHubGitHub - jafoers/kalkee: A minimal, customizable, keyboard-first calendar with Google Calendar and CalDAV sync.A minimal, customizable, keyboard-first calendar with Google Calendar and CalDAV sync. - jafoers/kalkee let me know what you think if you set it up! I really like the cursor for navigation.
@pqs🤪profilefollowreplied to@yonkeltron🤖profilefollow:
This may become a thing. Have you seen the results of PISA? School performance is going down in the OCDE and richer students are going down faster (they have more tech available). Maybe the future si for those who ditch the computers.
@xolar🧑‍🚀profilefollowнυмαηwrote:
⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢀⣀⣀⠀⠀⢠⠉⢹⢳⢄⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡤⠔⡞⠛⣵⠀⠀⠙⡄⢸⠀⢸⠀⡜⠀⠀⠀⠀⠀⢀⡴⠉⠈⡧⣀⣀⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⡰⠃⠀⢰⠀⠘⡆⠀⠀⢰⠈⡀⠀⡀⡇⡇⠀⠀⠀⡰⡱⡝⠀⡜⠀⡜⠀⢈⠆⠂⠤⡀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⢀⡀⢏⠀⢇⠀⠀⢃⠀⠸⡀⠀⠀⡆⡇⠀⡇⠁⡇⠀⠀⡰⢡⡱⠁⡐⢀⠌⢀⢴⠋⠀⠀⠀⣈⡆⡀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⡁⠈⠹⣦⠈⢆⠀⠈⡆⠀⠱⠀⠀⢰⢁⠀⢃⢸⡇⠀⢠⢁⢧⠃⡰⢀⠎⢠⡾⠁⠀⠀⡠⠊⡠⠃⠈⣄⠀⠀⠀
@personprofilefollowwrote:
az interneten nem lehet egy képet sem átméretezni, sem Windows alatt, a Grok is csak hozzávetőlegesen dolgozik, mi következik ebből, muszáj lesz beengedni Gemmát, mintha Linus Thorvalds a napokban panaszkodott volna, hogy a Linuxot is elárasztotta az ai
You can't resize an image on the internet, not even under Windows, Grok only works roughly, what follows from this, we'll have to let Gemma in, as if Linus Thorvalds had complained the other day that Linux was also flooded with AI
…
@carbonwriter🧜profilefollow(\ (\ ( • •) ━∪∪━━━━ Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.wrote:
I love the "feel" of this place. It's minimal, but not too minimal. Nice work! I'm probably gonna be a little chatty on here. If anyone minds that, then just @ me :-) #launchnotesfollow
@carbonwriter🧜profilefollow(\ (\ ( • •) ━∪∪━━━━ Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.continued:
Also, thank you for not turning my emoticons into emoji!! As someone from the pre-internet era, I appreciate that :-)
@procyon🦝profilefollowlate is the hour in which this conjuror chooses to appearreplied to@carbonwriter🧜profilefollow(\ (\ ( • •) ━∪∪━━━━ Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.:
But can we use emoji if we want? 🤔