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

@jagsprofilefollowwrote:
"No hay nada má i inmune que el que todo lo perdió"
"There is nothing more immune than he who has lost everything."
@_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.
@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.
@plopprofilefollowwrote:
For 30 years, productivity sky-rocketed with the advancement of automation and computing. Meanwhile, a decline in longevity was observed, correlated to sleep depravation. Productivity improvement goes to the owners class' pockets, sleep benefits the workers health.
@plopprofilefollowcontinued:
For 30 years, productivity skyrocketed through automation, yet longevity plummeted as a direct result of sleep deprivation. While these gains accrue to the owner class, sleep remains an undervalued element of the worker's health. We are trading life expectancy for chump change.
…
@plopprofilefollowcontinued:
That said, in Canada working class started loosing life expentancy for the 3rd year in a row, and WHO figures show a decline in improvement of life expentancy globally. But hey, I am just a no-one on the internet spewing bs :)
…
@plopprofilefollowreplied to(deleted account):
I am pretty sure confience is what is at work in my case. Did you try something specific to improve in that regard?
@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:
Built a couple lambdas today to send account verification and onboarding drip emails for folks who sign up for my app but don’t make it all the way through the onboarding flow. Pretty cool to be able to quickly bang out self-contained infra for this instead of having to pay some SaaS vendor.
…
@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...
@needfish😌profilefollowwrote:
It was only yesterday that I clicked on a Translate button to read a Japanese post. Today I see a Chinese post with English translation right below. Beautiful stuff.
@miq☕profilefollowEternal disciple of impostor syndrome ∙ Perth, WA.wrote:
With each passing workday I spend agentsitting, my ability to program in isolation atrophies. This might be dismissed as needless self-serving anxiety, but perhaps irrationally, I can't let it go.
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.replied to@catastrofer🥸profilefollowJust another AI guy:
Determine what matters most and make a list of the no more than 7 things. Do one thing well at a time, top down. Reprioritise as you learn more. Notes:
  1. If you half-arse a task and decide that'll do, it's evidence it wasn't the right priority. Learn.
  2. Any sort of productivity, multi-tasking, app, solution type thing is a scam or a money grab and isn't needed.
  3. People tend to remember 7 things well, but struggle with longer lists and particularly fail to remember things in the middle.
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Up up and away. Not sleeping, ok. Run run and breathe. Not waking, leave.
@zbr😅profilefollowmaker of software thingswrote:
Anybody here using mastodon regularly? What instance are you on? I can't decide on where to register 😅
…
@jamesjan3profilefollowresearcher, developer, dancerwrote:
i dont think its all talk, these are smart people that have been in ai since the 2000s, and they raise good points. current incentive structures are very dangerous long term
@stagas🤸profilefollowcreative technologist creator of textlogreplied to@jamesjan3profilefollowresearcher, developer, dancer:
they too have every incentive to exaggerate because they are selling safety and/or books on the topic. I don’t believe we won’t see it coming. Any issues that will manifest will be very visible and we’ll have plenty of time to mitigate their impact.
@jamesjan3profilefollowresearcher, developer, dancerreplied to@stagas🤸profilefollowcreative technologist creator of textlog:
they could be making a lot more money by just working at ai firms i fear. the thing that got me worried the hacking incidents lately, huggingface etc. if the capabilities consistently outspeed the development of safety measures, and if the private arms race logic continues, i dont think this is a good spot to be in long term