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

@_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.
@bobbyprofilefollowwrote:
just finished the book “This is what inequality looks like” by Teo You Yenn. will gather my thoughts and write more about it.
@prophetorit💧profilefollowgrand and intoxicating innocence always onlinewrote:
sometimes I can feel the nerve endings on the ends of my fingers and it hurts really bad! my fault though, I am a serial nailbiter..
@highkeyprofilefollowwrote:
Hello! I am a cynical optimist and recovering realist. It's been 3 days since my last sip of Hobbes. Today, I'm hopeful again. That's all I have for now. Thanks.
@stagas🤸profilefollowcreative technologist creator of textlogreplied to@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
Yes! I was thinking of doing the same, see &2912
@stagasprofilefollowreplied to@hippoprofilefollow:
ooh maybe I revive hallucinate.site and add this feature but instead of being able to modify everything it would be limited to adding features to the game/world. And it’s the perfect domain, a site that’s been entirely mostly hallucinated.
.
@highkeyprofilefollowwrote:
'wade in the water.' isn't this the challenge of being 'ahead'? so many of us are waist deep in the same sea, it's hard to see what's in front of us vs. what's behind us. then we see the yacht boys sail by with their new masters, splashing us in their wake. then we grumble amongs
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Gloriously cool, clear morning here in the Lowcountry of South Carolina ☀️ 😌
@jamesjan3profilefollowresearcher, developer, dancerwrote:
anybody got some recent software recommendations that you cant live without anymore?
…
@asmund🥷profilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.replied to@jamesjan3profilefollowresearcher, developer, dancer:
I’m not supposed to take that literally of course, but I don’t think software has such an important role in our lives, for most of us. Water, food, air. Those you can’t live without. When it comes to software, I spend most of my workdays in the shell (vim, git, grep,…) and if $place allows in mutt+weechat (although that’s mostly outlook and teams). Nothing particularly new!
@melting_coffee_mug🤔profilefollowreplied to@asmund🥷profilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.:
Nextcloud with Files, Talk, Calendar, Memories and more is damn useful for family life though 🙂
@zbr😅profilefollowmaker of software thingswrote:
Looking for a new daily-driver #scriptingnotesfollow language. Criteria:
  • interpreted (e.g. can use #!/bin/bang)
  • batteries-included stdlib (json, subprocesses, fs, etc.)
  • not sh, not perl, not python, not javascript
Shortlist:
Any other #recommendationsnotesfollow? #Codenotesfollow #Devnotesfollow #Technotesfollow
…
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to@zbr😅profilefollowmaker of software things:
I use GoalCodeberg.orggoalGoal, an embeddable scripting array language., extended with ariGitHubGitHub - semperos/ari: Ari: Goal language extended with SQL and moreAri: Goal language extended with SQL and more. Contribute to semperos/ari development by creating an account on GitHub. as my daily driver. Since it's implemented in Go, it's straightforward to extend with anything from Go's standard library (or third-party ecosystem) that isn't already incorporated. If you haven't used an array language before, then you get the added bonus of learning a ton about an interesting, powerful area of programming.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@zbr😅profilefollowmaker of software things:
I sometimes use V scriptGitHubv/doc/docs.md at master · vlang/vSimple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io - vl..., but I use V-lang as well. It is kind-of interpreted. I’ve never heard of rye. Looks nice.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@zbr😅profilefollowmaker of software things:
It does not, but fakes it well, since it is fast and compares built binary with script mtime to automatically recompile. The downside of using it is that you end up with a binary, but the upside is that it is blazing fast.
@jamesjan3profilefollowresearcher, developer, dancerwrote:
being a student is great but the tasks are really quite boring. ive worked in academia now a little bit and its genuinely much more fun to work on something real, read papers, do experiments and write. Now i have these last few exams to get through and i cant care for them like i used to. #Researchnotesfollow #Sciencenotesfollow
@neoprofilefollowcoder, reader, guitarist, seeker, builder.wrote:
How can I change an organisation with hundreds of frustrated employees, when I can’t change my own life with only one person. Does a different person run a company and a different person live their life? I doubt it.
…
@jgprofilefollowNew herewrote:
Coming from HN to post that I've been using Argon all week and it's the first Gemini model I've stuck with for more than a few minutes. It's very good for what I do and it's so nice to read back another style of voice.
@geverprofilefollowwrote:
I'm doing experiments with short attention-span students and code. Starting with python, and, oddly, now working in BASIC. As a C programmer of 40+ years, I find this aesthetically and pedagogically displeasing, but I am delighted to see them getting fully absorbed in writing 130 PRINT "You have been eaten by a bear!" : GOTO 900. Yes there is spaghetti, but it's their spaghetti and they seem to take delight in debugging it. Python will come later. #educationnotesfollow #programmingnotesfollow
@geverprofilefollowreplied to(deleted account):
I was talking about this with some alumni students, specifically their experience learning python with us a few years earlier (these are college students who are not really using python any more). What it seems to boil down to is that with python you have the feeling that there is this huge forest of solutions to any problem you are having -- but you will never know the whole forest. BASIC feels like you "know" it after a day or two of playing around, evidently.