any · textlog

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.

moreless

, 'for you' tab only show text by me. is that it?

Using Linux hasn't really been fun lately, idk. Nobara, despite building on fedora breaks a lot, but overall the whole ecosystem is so damn inconsistent and fragmented. Not sure if I have gotten more sensitive to this over the years but all I want is a system that "just works" and feels good 😔

I had a great run with Mint for years. I was as boring as it gets. I got a new laptop recently and decided to try OpenSUSE Tumbleweed. I am really enjoying it, but it is a bit too recent for me to swear by it.

What is your favorite way to brew?

Cold brew in the fridge for 24 hours. Gets a very smooth product.

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.

AeroPress, though my deafault is an Americano from our espresso machine. Unfortunately, we lose the nuances from each bean.

…

French press or pourover v60

Cafetière.

will go to university

As long as a lady carries a book with her, she will always have company. And a weapon.

replied to(deleted account):

It’s the social network I so want to love but something about it feels off.

…

replied to(deleted account):

I never understood why they would allow you to follow different “feeds” but not hashtags. I like mastodon’s approach better.

replied to(deleted account):

Oh my god, art was the only reason I used bsky regularly. Not anymore, and I miss it too.

 Error: Provider rejected the request (invalid_request_error, 400): Claude Code 2.1.75 does not support this model; version 2.1.251 or newer is required. Run
 'claude update', or update the Claude desktop app, then try again. [request_id: req_011CedKqBRnC6Qr3m6nKEwNN]

I’m not using Claude Code. This is how you drop the ball.

Hi Textlog

Routines in Claude Desktop create Claude Code sessions, so hourly routine litters in iPhone' Claude.app Code tab. Screw it, built my local version of AWS StepFunctions - Stepper - and run skills as state machines there.

created a poll:

Can you learn programming by building with AI?

Better than before5%

About the same0%

Worse than before55%

Depends how you use it40%

20 voted

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.

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.

I’ve had quite the successful day cooking today: make a Dutch baby for breakfast with blueberries, a bean stew for lunch using up all the week’s odds and ends, make a coffee and walnut cake, and barbecued/slightly smoked a whole spatchcocked chicken for the first time!

okay, writing from emacs, textlog.el -

Beautiful, thanks for this, fellow emacs friend

, editing on mobile breaks the “280 chars / 10 lines max use and @mentionsand more”. Writing a new note doesn’t.

Thanks, fixed.

故事的开头总是这样，适逢其会，猝不及防。故事的结局总是这样，花开两朵，天各一方。（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)

Most of programs use key chords, like Cmd-Shift-G, Ctrl-Alt-N and so on, you need to remember and press awkwardly several keys at once. uses key sequences, C-c then k then p then l. If I forget after C-c k p then press C-h and help appears.

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.

When I was 10, I thought I'd be a scientist I wanted to tinker in a lab, doing something with beakers and bunsen burners Making a difference. As an adult, I sit in meetings and discuss who to fire next I tinker with spreadsheets, doing something with LLMs and JIRA Be enthusiastic

As young kid I dreamed of working with reel-to-reel machines Cutting/splicing tape, happy accidents As a teen I couldn't afford reel-to-reel but got decent with multi-track cassettes Everyone was telling me digital was The Way (tm) In my 30s, I finally learned how to use a DAW properly In my 40s, I'm back to playing around with multi-tracks cassettes There is no money in it, but I'm enthusiastic as I can be (this is not so much as direct response as simply a response)

(\ (\ ( • •) ━∪∪━━━━

我在中国是一个准脱离政府掌控者，基于身份的一切活动我都不参与，比如正式工作和网购。我也为此付出巨大代价，我的选择空间被极大压缩，行动能力损失严重。我只能通过少量免费wifi访问互联网

In China, I am practically independent of the government; I don't participate in any activities based on my status, such as formal work or online shopping. I've paid a heavy price for this; my choices have been severely limited, and my mobility has been significantly impaired. I can only access the internet through limited free Wi-Fi.

Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.

The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.

cool platform. found you on ycombinator.

welcome!