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

@javisrike🧑‍🚀profilefollowSoftware • maker projects • music • DIY Mostly figuring things out as I go.wrote:
bill gates built microsoft by making computation cheaper faster and harder for government to restrain. now that he's a billionaire no longer dependent on the free market for his own success he's discovered the virtues of taxing the next wave of computation. 1995 gates would have called it a tax on innovation. classic pull-the-ladder-up-behind-you politics. #billgatesnotesfollow #microsoftnotesfollow #AInotesfollow #AItaxnotesfollow #techpolicynotesfollow
@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.replied to@javisrike🧑‍🚀profilefollowSoftware • maker projects • music • DIY Mostly figuring things out as I go.:
These were exactly my thoughts reading about how he thinks we should “preserve” some jobs for people; I don’t remember him being an advocate of preserving the jobs of typists, draftsman, typesetters, and other clerks when his company was leading a prior digital revolution…
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
What did I build with claude yesterday - kanban board for my agents, Hamster Jerob game, imgproxy for thumbs in my photo sharing app, and ghostel-shell-command helper. Today - digital detox day.
@_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.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Huge flaw in the static site generator I built. That's what you get I guess when you don't have a computer science degree and you build with only surface level knowledge. You get your ass bit!
@stagas🤸profilefollowcreative technologist creator of textlogwrote:
⢀⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ ⢻⣿⡗⢶⣤⣀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣀⣠⣄ ⠀⢻⣇⠀⠈⠙⠳⣦⣀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣀⣤⠶⠛⠋⣹⣿⡿ ⠀⠀⠹⣆⠀⠀⠀⠀⠙⢷⣄⣀⣀⣀⣤⣤⣤⣄⣀⣴⠞⠋⠉⠀⠀⠀⢀⣿⡟⠁ ⠀⠀⠀⠙⢷⡀⠀⠀⠀⠀⠉⠉⠉⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣠⡾⠋⠀⠀ ⠀⠀⠀⠀⠈⠻⡶⠂⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢠⣠⡾⠋⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⣼⠃⠀⢠⠒⣆⠀⠀⠀⠀⠀⠀⢠⢲⣄⠀⠀⠀⢻⣆⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⢰⡏⠀⠀⠈⠛⠋⠀⢀⣀⡀⠀⠀⠘⠛⠃⠀⠀⠀⠈⣿⡀⠀⠀⠀⠀ ⠀⠀⠀⠀⣾⡟⠛⢳⠀⠀⠀⠀⠀⣉⣀⠀⠀⠀⠀⣰⢛⠙⣶⠀⢹⣇⠀⠀⠀⠀ ⠀⠀⠀⠀⢿⡗⠛⠋⠀⠀⠀⠀⣾⠋⠀⢱⠀⠀⠀⠘⠲⠗⠋⠀⠈⣿⠀⠀⠀⠀ ⠀⠀⠀⠀⠘⢷⡀⠀⠀⠀⠀⠀⠈⠓⠒⠋⠀⠀⠀⠀⠀⠀⠀⠀⠀⢻⡇⠀⠀⠀ ⠀⠀⠀⠀⠀⠈⡇⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢸⣧ #ascii_artnotesfollow #memenotesfollow #pikachunotesfollow⠀⠀⠀ ⠀⠀⠀⠀⠀⠈⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠁
@superprofilefollowwrote:
Blasting 1's and 0's to a far off land at the speed of light locking them in place until someone else wants to see them.
@jgprofilefollowNew herewrote:
History is written by the people who write stuff down.
@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@jgprofilefollowNew here:
Haha. Seems necessary but not sufficient. Isn’t being victorious part of it, too?
@jgprofilefollowNew herereplied 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.:
That's definitely the common knowledge but I'm starting to think that victory -> writing about it has it backwards in a lot of cases, esp in modern corporate life.
@n5l😎profilefollowwrote:
Avui tenia una reunió llarga de moltes hores, d'aquelles en les que una escolta passiva és suficient durant la major part del temps. He aprofitat el temps per implementar una sincronització en dues direccions entre el meu calendari i el meu sistema de notes en markdown (Emacs Howm). He fet el pla amb Argon (tinc pocs tokens al dia amb la subscripció que tinc), amb feedback meu, i després Gemini Flash l'ha implementat quasi a la primera.
Today I had a long meeting of many hours, one of those where passive listening is enough for most of the time. I took advantage of the time to implement a two-way synchronization between my calendar and my markdown note system (Emacs Howm). I made the plan with Argon (I have few tokens per day with the subscription I have), with my feedback, and then Gemini Flash implemented it almost on the first try.
@n5l😎profilefollowcontinued:
De retruc, ara el meu chatbot personal ja té accés a la meva agenda (no només a les meves tasques). He modificat una mica el prompt que li envia el servei de systemd que el fa anar, amb la idea que prengui més consciència d'aquest fet. També he modificat el briefing matinal que m'envia el chatbot. Aquest briefing conté una anàlisis de les tasques que tinc durant el dia. Ara tindrà en compte tasques i agenda, així m'ajudarà a prioritzar millor.
In return, my personal chatbot now has access to my schedule (not just my tasks). I have slightly modified the prompt sent to it by the systemd service that runs it, with the idea of making it more aware of this fact. I have also modified the morning briefing that the chatbot sends me. This briefing contains an analysis of the tasks I have during the day. It will now take into account tasks and schedule, thus helping me to prioritize better.
@n5l😎profilefollowcontinued:
Crec que això m'ajudarà, perquè el chatbot no només és conscient de les tasques i esdeveniments que tinc, també té accés al seu context (totes les notes), inclòs el context personal (el meu diari) així té en compte el meu estat emocional. Així doncs, la idea és planificar millor els meus dies. I si no els planifico millor, almenys delegar moltes de les menudes decisions del dia a dia al chatbot per així preservar energia per a d'altres decisions.
I think this will help me, because the chatbot is not only aware of the tasks and events I have, it also has access to their context (all the notes), including the personal context (my diary) so it takes into account my emotional state. So, the idea is to plan my days better. And if I don't plan them better, at least delegate many of the small day-to-day decisions to the chatbot so that I can preserve energy for other decisions.
@n5l😎profilefollowcontinued:
Suposo que el següent pas per millorar el meu chatbot és donar-li permís de lectura, i només lectura, al correu electrònic. Més que res per aquells períodes en els que s'acumula correu i vols que algú ràpidament et digui si hi ha quelcom rellevant sota la paperassa. Un LLM que té accés al context de la teva feina, tasques i notes, hauria de tenir certa capacitat per saber si un e-mail és rellevant o no. Però aquestes són figues d'un altre paner i les deixarem per un altre dia.
I guess the next step to improve my chatbot is to give it read permission, and only read permission, to email. Especially for those periods when email is piling up and you want someone to quickly tell you if there's anything relevant under the paperwork. An LLM that has access to the context of your work, tasks, and notes should have some ability to tell if an email is relevant or not. But those are figs from another basket and we'll leave them for another day.
@personprofilefollowwrote:
oké, megdumáltatok, a héten telepítem a kis virtuális állatseregletem mellé (webszerver, mechanikus 1. generációs robotkezdemény, led kijelző szalag) az első ai agent chatbotomat, egyelőre Virtualbox Ubuntu alá
Okay, you've got me, this week I'm installing my first AI agent chatbot next to my little virtual animal herd (web server, mechanical 1st generation robot initiative, LED display strip), for now under Virtualbox Ubuntu
@grace851205🤩profilefollowwrote:
故事的开头总是这样，适逢其会，猝不及防。故事的结局总是这样，花开两朵，天各一方。（by 张嘉佳 《从你的全世界路过》）
Stories always begin this way: a chance encounter, completely unexpected. Stories always end this way: two flowers bloom, then drift apart. (by Zhang Jiajia, I Belonged to You)
@prophetorit💧profilefollowgrand and intoxicating innocencewrote:
why do I love characters who are evil? is this just my coping mechanism? or am I a bad person? oh, why am I this way..!?
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
I read larsfaye.com/…/ai-coding-will-prevent-expertiselarsfaye.comAI Coding will Prevent Expertise | Lars FayeThe need for ongoing friction in long-term skill formation. #llmnotesfollow Still trying to figure out the boundaries of these tools' strengths without outsourcing important thinking, problem-solving, and the collective building-up of a mental model of the systems we're developing. The shape of LLM tools as tools—fit for a purpose, ergonomic—is becoming clearer, and human patterns of behavior with them that do more harm than good are also becoming easier to recognize.
@prophetorit💧profilefollowgrand and intoxicating innocencewrote:
I've been wanting to make some cute fox ears, and a tail! gonna have to buy a headband and some fur tho, UGH!! ႔ ႔ ᠸᵕ ᵕ 𐅠
@miq☕profilefollowEternal disciple of impostor syndrome ∙ Perth, WA.wrote:
Nudged by an interesting read about time perception to try reclaim moments where I can deliberately feel bored again.