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

@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
The rho coding harness I’ve made has come along way and I’m constantly trying to evolve it, but whenever I go back to pi it’s startling the difference of what a solid computer science background brings.
@jamesjan3profilefollowresearcher, developer, dancerreplied to@pqs🤪profilefollow:
It seems this year is when big budget LLM players overtake independent academic mathematicians, in speed at least. The Jacobian conjecture, a lot of Erdos problems, now even the Navier Stokes millenium problem. Solved due to new model releases, all within this summer.
@jamesjan3profilefollowresearcher, developer, dancerreplied to@pqs🤪profilefollow:
in math it can definitely prove statements that havent been proven before. I dont think thats the big thing though since it also writes sentences nobody has ever written before and in software it can write programs that havent been written before. Its just that the speed and scalability that has overtaken human mathematicians and programmers
@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.
…
@chanuxprofilefollowI ain't no nothing!replied to@kooiprofilefollow:
Brikka. Someone on HN mentioned it as great design. I looked it up and bought it after a while. It's been such a delight. Even the occasional brew gone wrong adds to the experience. v60 is also nice when I need it to slow down or be the experience a bit meditative. But Chinese tea is the best for that.
@melting_coffee_mug🤔profilefollowreplied to@kooiprofilefollow:
i just get lazier and lazier over time. now it is a portafilter espresso machine, DeLonghi Dedicated, along with a separate grinder, Baratza Encore. what I love is try out regional types of coffee, but this then always outside, and on travels.
@heavy_sky🌌profilefollowИщу в интернете пространство, напоминающее старый добрый Twitter. Может это то самое?wrote:
Привет! Тут есть кто живой?
Hello! Is anyone alive here?
@kev🧜profilefollowrunner. making games, music, software. getting into as much trouble as i can.wrote:
Off to handstand class. I have been known to recommend to everyone within earshot doing challenging and/or silly physical things in a community. Not bucking the trend here.
@jgprofilefollowNew herewrote:
In other news, I'm circling what sure looks like GCP overbilling us by over $1M/year going back as far as I can see.
@elana🧚profilefollowI have a doctorate in ancient stuff but these days I'm a full-time plague avoider. Born and raised in Toronto, Canada, now living in Kyoto, Japan.wrote:
@yonkeltronprofilefollow Did this work? I would like to say hello to you!
@yonkeltron🤖profilefollowreplied to@elana🧚profilefollowI have a doctorate in ancient stuff but these days I'm a full-time plague avoider. Born and raised in Toronto, Canada, now living in Kyoto, Japan.:
Hello to you, my dear friend! Sending all my love to you both for a Shana Tova!
@_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.
@personprofilefollowwrote:
a Gemma 4 a Google tulajdona, nem tárol más adatot, csak amiről a gépen fogom a Rezső nevű OpenClaw ügynököt kérdezgetni, helyileg azt sem itt tartja, hanem a felhőnek csúfolt infrastruktúrában, ami legvalószínűbben valamelyik brazíliai esőerdőben foglal helyet vagy Finnországban
Gemma 4 is owned by Google, it doesn't store any other data, except what I'll ask the OpenClaw agent named Rezső about on the machine, it doesn't keep it locally either, but in the infrastructure mocked as the cloud, which is most likely located in a Brazilian rainforest or in Finland
@edwin😬profilefollowwrote:
I HEARD A GREAT HORNED OWL. one of my birding goals is to see any owl outside a zoo. I just moved here and the lack of birds near our home has made me sad. but hearing this owl was such a fun surprise tonight.
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to@edwin😬profilefollow:
That’s awesome. There’s an owl (don’t know type) that hangs out at the playground in our neighborhood at night. First time I saw it, I stood frozen in place, amazed that it would be out in the open. Then as I walked away, I kept looking behind me, realizing I’d never hear it coming if it decided to engage 🦉
@onplanner😎profilefollowwrote:
The government welds your door shut and then outlaws starting a business and living in McMansions, cars, skyscrapers, and tiny homes. The governments bans body odor and then closes stores and bans delivery services. The state closes bathrooms and then outlaws public urination. The government closes the border and then arrests tourists for overstaying their visas.
@ku🤔profilefollowHai I am kuwrote:
The live tab on the android app is interesting... How does it work? This is a test 🫣
@ku🤔profilefollowHai I am kucontinued:
Does it do some kind of polling? Is there some kind of notify like publisher subscriber? 🤔
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Don’t be beholden to one LLM basket. Get yourself an Openrouter account, get yourself an open source harness like pi and get yourself educated. I will die on this hill.
@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 agree with this. I already use different models for different tasks in part for this reason. Never bothered with an OpenRouter account though, I just have accounts set with each provider. And Pi is excellent. I actually find it much better than Claude Code.