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

😎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.
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.
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.
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.
a Windows 11 újabb meglepetése: amellett, hogy a kezelőfelülete sokkal gányabb, mint a Windows 10-é, állítólag most 10 napot kellene várnom addig, ameddig az előző rendszer törli magát a gépről
Another surprise from Windows 11: in addition to the fact that its interface is much more annoying than Windows 10's, I now supposedly have to wait 10 days for the previous system to delete itself from the computer
profilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.wrote:
Sipping Choya’s ウメッシュ ノンアルコル。😋
Sipping Choya's Umeshu (plum wine), non-alcoholic. 😋
például Telegram, Facebook, stb., de ilyen ügynökökkel bárki találkozhat naponta, egyből felismerhetők, meg is kell őket szépen jelölni, és egyre bénábbak a szövegük is, ahogy megfigyeltem, gondolom, attól függ, ahogy promtolják, vagy instruálják őket, ha a gazdájuk kifogy az ötletekből, a projekt hamar elfárad, a bot csak unalmas h#lyeségekre képes egy idő után
for example, Telegram, Facebook, etc., but anyone can encounter such agents every day, they are immediately recognizable, they need to be nicely labeled, and their text is getting lamer and lamer, as I have observed, I think it depends on how they are promoted or instructed, if their owner runs out of ideas, the project quickly gets tired, the bot is only capable of boring nonsense after a while
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
I noticed today that I'm an idiot. I built a static site generator with NO DATA MODEL. Beginning to fix it now, but my god how embarrassing. Hobbyist less than amateur...wow. Good thing my day job isn't at stake.
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Collected my helper functions to lozenge.el package, e.g. (◊duckduckgo "textlog") opens ddg. Lozenge is ◊ character. Others are (◊find-file), (◊grep), (◊github-search), (◊show-commit) etc.
🦛profilefollowStrictly no LLMs. No exceptions.wrote:
Seems the spammers have arrived. ☹️ Is there (or can there be) some mechanism to flag posts or accounts as spam?
🦛profilefollowStrictly no LLMs. No exceptions.replied to🤸profilefollowcreative technologist creator of textlog:
I reported one post for spam twice today - there was no indication on re-viewing the post that I had already reported it. I think that some sort of indicator of posts I have already reported would be good. Or, if it's simpler, just don't show them to me in the feeds after reporting. Thanks.
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.
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).
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.
és így nem kell egy ilyen zöld modulba applikált, baszott nagy integrált chipet venni hozzá, pedig nem is néz ki rosszul, de jól sem
and that way you don't have to buy a fucking big integrated chip applied to a green module, even though it doesn't look bad, but it doesn't look good either
I wonder, is life best lived like a job? I.e set goals for yourself and then work to achieve them? Today I realised how passively I have been living mine so far, but maybe that's ok? I don't want a second job.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
I'm going to attempt to build a take on a board game I loved, from 1989, MBT, by Avalon Hill. Watch me face plant. Starting by trying to understand hex math.