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

Funny that this box appears in front of me and every thought I've ever wanted to write down vacates my mind.
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.
Been working on an old mastodon hosting project I tried to start a few years ago, with a focus on privacy. This is the first big project I've tried to come back to with the help of coding agents and find it invigorating, and gives me the confidence to actually finish the project. Who knows if it will ever make a dollar, but it sure is fun to watch my ideas come to life.
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.
moved to a new city recently and going to a Movie club meetup tonight. nervous cause I'm a huge introvert but I gotta make friends some way.
It went really well, thanks for asking! I met some folks I could definitely get along with long term and had some overlapping interests apart from films. We watched T**** Sex and Death at Camp Miasma, that was a trip. (there's apparently a content filter)
akkor inkรกbb holnap sรผrgล‘sen elmegyek az รกllatparkba
Then I'd better go to the zoo tomorrow urgently.
๐Ÿ˜ฌprofilefollowreplied toprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyers:
just started using it and this comment is coming from there, thanks for the link
๐Ÿง‘โ€๐Ÿš€profilefollowะฝฯ…ะผฮฑฮทwrote:
I very much like textlog, it feels like a breath of fresh air
โ€ฆ
If programming is the typing of characters into a text file, it is way worse. I think the key to learning is still doing it rather than reading it. If the question is about system design I think you can, but only if you curious and it becomes a problem that needs to be solved. Asking "What do you think" is one of my favorite questions to learn at the moment.
๐Ÿงœprofilefollowrunner. making games, music, software. getting into as much trouble as i can.replied to๐Ÿคธprofilefollowcreative technologist creator of textlog:
I do think there will be what were hard earned lessons about system design, code smell, designing data structures for the hardware you're running on, concurrency golden paths, etc., which are now with agentic dev even harder to learn and internalize. But also if you have an excellent teacher in the form of an actually-good model pair programming with you always, maybe not? Maybe a pair programming AI programming tutor would be a good Zed/vscode extension. Or product.
profilefollowlate is the hour in which this conjuror chooses to appearwrote:
The rise of postmodern cuisine: "The beverage's photogenic bright green color proved particularly well-suited to social media platforms like Instagram and TikTok, helping it gain viral popularity among wellness enthusiasts and influencers." (Wikipedia, "Matcha") #teanotesfollow #philosophynotesfollow
profilefollowhallucinating with llms...wrote:
I made a chrome extension to bring the top Hacker News stories to your new tab, with quick summaries. So every time you open a new tab, you might discover something everyone else hasnโ€™t heard about yet. If youโ€™ve never heard of Hacker News: it was created by Paul Graham(founder
๐Ÿ“’profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Body's awake, eyes are sleepy. Mind's awake, brain is sleepy.
๐Ÿ“’profilefollowPresbyter, husband, father, technologist, linguist, musician.continued:
After #exercisenotesfollow everything's awake and a good kind of sore. So much of habit-building has been to identify and train myself to value moderate discomfort that leads to growth as the most pleasurable of goals. Consistent spiritual efforts, healthy food and in proper amounts, minimum sleep quota, regular exercise a few times a weekโ€”all of these involve discomfort and force of will, but all of them enable growth and fulfillment.
๐Ÿง‘โ€๐Ÿš€profilefollowSoftware โ€ข maker projects โ€ข music โ€ข DIY Mostly figuring things out as I go.wrote:
ai coding feels like it has reached diminishing returns for me. luna is my default orchestrator, routing work by complexity. in practice, usage lands around 16% luna, 48% sol, 30% astra, and 6% terra. at this point, i care less about each new frontier release. the system already finds a capable model for the job. the frontier is moving beyond my day-to-day work, so iโ€™m happy to settle into predictable models for a while. #ainotesfollow #programmingnotesfollow #agentnotesfollow #technotesfollow
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.replied to๐Ÿง‘โ€๐Ÿš€profilefollowSoftware โ€ข maker projects โ€ข music โ€ข DIY Mostly figuring things out as I go.:
Iโ€™ve found the same, albeit with Opus โ€” itโ€™s hard to find uses for Fable. I donโ€™t need a model that works for longer or works on harder problems, I need one that consistently produces simple, easy to understand, code; which at this point none of them do.
profilefollowI am just a grain of sand on your beach. www.gruntsoft.comreplied to๐Ÿง‘โ€๐Ÿš€profilefollowSoftware โ€ข maker projects โ€ข music โ€ข DIY Mostly figuring things out as I go.:
I've been there since I settled on a combination of GLM, DeepSeek and MiMo for planning, implementation, and verification flows. I'm a lot more interested at this point in having cheaper models that can consistently do the work I need. It's been a while that I hanven't noticed any improvement when I try new frontier models. I only notice they are very expensive.
profilefollowreplied to๐Ÿง‘โ€๐Ÿš€profilefollowSoftware โ€ข maker projects โ€ข music โ€ข DIY Mostly figuring things out as I go.:
same here, for almost an year. At this point, I could easily live with models that were released 6-12 months ago and continue doing so. also possibly the reason why the current focus has been around agentic workflows or agentic anything, than the model capabilities.
๐Ÿคธprofilefollowcreative technologist creator of textlogreplied to๐Ÿง‘โ€๐Ÿš€profilefollowSoftware โ€ข maker projects โ€ข music โ€ข DIY Mostly figuring things out as I go.:
Coding probably yeah, but still they are bad at generating novel information, new ideas and such. Theyโ€™re also not very good at seeing the bigger picture, they will narrowly perform the task but theyโ€™re not taking into account future revisions, which ends up in refactor after refactor in order to move forward.
๐Ÿฆ›profilefollowStrictly no LLMs. No exceptions.replied toprofilefollowI ain't no nothing!:
Deterministic code generation is fine by me. Quite happy to use templating systems for example. Problems occur when randomness is introduced. If you can avoid that it should be less "icky".
๐Ÿฅท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.wrote:
It is troubling watching the news today from the elections in Germany. Yes, it is democratic and absolutely fair elections and the people of Germany make their own choice in their situation. Still, seeing the far right gaining so much ground in Germany brings your thoughts some 90 years back. Letโ€™s hope and pray Germany is not going there again.