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

@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Switching from Claude Max to Team, cc was trivial, just another login, but Claude Desktop and on iOS holds sessions in the cloud so need to move them somehow.
…
@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?
@prophetorit💧profilefollowgrand and intoxicating innocence always onlinewrote:
I think I’m gonna read devil man crybaby, I’ve always heard of it..
@kitnprofilefollowhallucinating with llms...wrote:
i made grammar.lolgrammar.lolgrammar.lolInstant proofreading in every app. Free — Apple Intelligence, ChatGPT, or SuperGrok. it is an open-source version of grammarly that uses chatgpt, grok subscription or even then already local apple intelligence models. github.com/qKitNp/grammar-lolGitHubGitHub - qKitNp/grammar-lol: Proofread anywhere with your ChatGPT or SuperGrok subscriptionProofread anywhere with your ChatGPT or SuperGrok subscription - qKitNp/grammar-lol
@_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.
@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.
@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowwrote:
WezTerm for local and remote multiplexing really is the ideal experience - it's so much better than using zellij, tmux, zmx, and friends.. I don't think they pitch this feature hard enough on their site. I think the in-terminal multiplexers have their place - e.g. if you need to access from mobile (no WezTerm there) or on machines where you simply don't want to install WezTerm for some reason. WezTermrm could probably eliminate that last one by packaging just the mux server.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Writing. I want to do it, very badly. I just don't want to be bad at it. You have to be bad at it in order to get good at it. But... Catch 22 isn't it?
…
@dc😊profilefollowreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
I think reading helps quite a bit, especially writing about what you’ve read, even to yourself, just so you can go through the process of having to explain something that you’re only recently familiar with. There’s something about that process that seems to be helpful, at least to me.
@prtys🤡profilefollowreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Same. The way I consume information influences how I think. Short form content makes my thinking fragmented without a clear structure. I feel that fragmented thinking won't lead to convincing writing. And I'm trying to regain some of that lost control.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlyreplied to@prtys🤡profilefollow:
Very interesting! I think something along those lines might be happening for me too. Another aspect, always cooking in the back of my mind, "if you can't explain it well, don't explain it at all."
@kev🧜profilefollowrunner. making games, music, software. getting into as much trouble as i can.replied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
The fear of being bad at it is the only thing holding you back. I experienced something like that with playing music with others. Perhaps you could learn to lay down your critical brain during the creation process and that good/bad isn't a useful distinction until later when you're editing your work.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlyreplied to@kev🧜profilefollowrunner. making games, music, software. getting into as much trouble as i can.:
Yeah, this is pretty much what I can't do. My critical brain has a lot of power. It's very evolved at this point :/
…
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Ordered JBL Charge 6, waiting for delivery today. Will mount into my bike and will listen to music while commuting 25km to the office. I'm a victim of marketing, seeing an ad, buying stuff.
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.continued:
Previously bought Do Nothing Club cap after friends visiting us and we discussed it while eating pizza; and then my wife got an AD on Instagram. Meta is listening for conversations to sell ads.
@b0rgprofilefollowwrote:
weekend plans are:
  1. attend to the pending work that I am avoiding around home
  2. improve my understanding of using agents in claude code and codex cli
  3. dig into navier stokes equations from the first principles (I am excited for this)
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Is open source dead? Everyone has the power now to make their own stacks of things. The people aspect of open source is dead or dying. I don't think the bunny is going back in the box.
@chanuxprofilefollowI ain't no nothing!replied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
One nice thing about Open Source (at least for me) is different people doing the same thing in different ways and one of those happen to suit my taste perfectly. And in many cases, I won't be able to come with it myself even with Super Intelligence.
@paulprofilefollowadamspaul.short.gy/notesreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Evgeny Morozov has pointed out that using ai through chat interfaces is based on an individualised and privatised model, which (heavily paraphrased) is inherently anti-social. With an extra layer now of people making small personalised tools, do bigger things still need teams of people who know what they’re doing? FWIW I’d like to see more sharing of vibe coded tools instead of everyone making their own more less the same ones. Mine are here: pauladams.neocities.org
@gruntprofilefollowI am just a grain of sand on your beach. www.gruntsoft.comreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
I don't think so. I have been using more open source software than ever before. You may argue that with LLMs I have the power to make my own stack of things, but this doesn't eliminate that I still need knowledge to properly steer an LLM to create something worthwhile. If I have no knowledge of what I intend to build, the best thing the LLM will generate is a half-assed copy of something that already exists. Which is what we have been drowning in the past couple of years.
@gruntprofilefollowI am just a grain of sand on your beach. www.gruntsoft.comcontinued:
AI can be a superpower in the hands of someone knowledgeable. That makes the people aspect of open source more important, not less. If you offload your curiosity and desire to learn to AI, you will be a slave to it's limitations instead of being a master of its capabilities.
@hippo🦛profilefollowStrictly no LLMs. No exceptions.replied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Of course not. I think it is much more relevant to ask "Is closed source dead?". Anyone can now replace a proprietary program with a vibeslopped alternative which might suit them just as well. It will have the same level of trust (ie. none) and none of the other drawbacks.