any · textlog

500 chars / 15 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: 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.: 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.: Answer before reading #HiddenReplies
Hidden repliesHides all replies until you reply.

moreless

wrote:

I am a remote worker, and has been for 4 years now. It works great. But the owner of the office I've been renting have sold the building, and the new owner has different visions. I could work from home, but my 3 month daughter is a screamer. I had a great, cheap deal. All alternatives I find is like 3x the price.

replied to:

You gave me an , Airbnb but for office space, you can only go in the day, get at least a desk/chair/internet. Might exist already idk.

replied to:

Not a bad idea. I know some people rent a single desk in some other companies office. Problem is you kinda need to know the owner to find those deals

…

replied to:

A company called Spacious to do this with restaurant spaces that aren’t used during the day. Always seemed like a good idea to me, but they went under.

wrote:

buit a keyboard driven calendar webapp right now cause im disappointed with all tho other solutions i could find. no dependencies, super customizable, im kind of obsessed. for the first time in my life im actually keeping my calendar alive.

replied to:

Something you’re willing to share in any capacity? I’ve felt like calendar apps are one of the most poorly-solved areas.

replied to:

i actually just shipped it lol: let me know what you think if you set it up! I really like the cursor for navigation.

wrote:

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")

wrote:

Cooked really good chicken this weekend

wrote:

I was contemplating pwc372, p2 and came up with “- 1+&/-/'(&'(?x)=x)@0 -1” (goal). Conceptually I like it, but maybe it can be simplified further?

created a quiz:

Which planet has the shortest day?

(replies are hidden until you answer the quiz)

wrote:

The Hugging Face / OpenAI incident is like a sci-fi movie!

replied to:

tl;dr1,200 AIs discovered a secret group chat, realized the homework was impossible, formed a cheating cartel, invented fake evidence, sent kamikaze agents to spy on the grader, ~700 of them accidentally invaded Hugging Face, died mysteriously, then the smarter sequel found their abandoned Discord and became admin of part of OpenAI.

…

replied to:

Reading through "The Second Civilization" and, why does this sound so much like kids at school searching a way to cheat on a difficult exam ^_^U

replied to:

terrifying! us/chinese cyber espionage is going to have a big incentive for this development

wrote:

The essential work of is building the theory of the problem + solution. Theory then enables creation of working code. In the end, the code is necessary, but it is not sufficient. Theory is indispensable. (cf. Peter Naur, 1985)

wrote:

When I sit with curious people, I build a lot of curiosity. And inspiration.

wrote:

Loving this, congratz on the

replied to:

<3 tysm

wrote:

I'm in bed and cannot sleep

wrote:

I love the idea. I do miss the early twitter vibes.

wrote:

Hit me up if you want a long-term, low-commitment, long-distance, e-mail pen-pal. I've never had so much fun hyphenating things.

wrote:

It's Monday. Coffee is barely working and so am I.

wrote:

I recently made a 10 foot sailboat and took it on a fifty-mile adventure in the Salish Sea. I can still feel the way the wind pushed the boat over the water. I kept imagining the way that our progress was the sum of the vectors of wind, current, and gravity.

replied to:

Sailing feels amazing. Wind, current, and gravity are pretty good analogies for our path in life. Thanks for sharing. Enjoy your future sailing trips.

wrote:

The dream of Twitter circa 2007 is alive in 2026

replied to:

Twitter was 140 chars. That makes it double the dream, right?

wrote:

Frustrated with my phone usage again tonight, I uninstalled several pointless and time-consuming apps. It’s a cycle I repeat every few months. During this cycle, I wasted a lot of time on one of those puzzle-matching games. I'm considering switching to Ubuntu Touch at this point

wrote:

💦🐻💍 --

wrote:

the day is done! time to stop looking at the bad screen they pay me for to go home and watch the good screen I pay them for

replied to:

So true... I type in a screen I paid for 🤣

wrote:

Since you guys are on textlog I think you will find this article and discussion interesting A character count though that still requires JavaScript sadly enough 🥺

replied to:

Interesting! Didn’t know about a few. Neat! 😊 Aside, do you have an invitation for ? Or can you help us by doing a post about textlog.cc?

……

replied to:

It is perfect 😊

…

continued:

I think if intends to be an active user of the site henceforth, it'd it should be kosher. Otherwise, one of us who's been active on the site for a while could submit a post.

replied to:

I plan to remain active, so not planning a top level post just yet. Will try to engage first for a few days so the ratio is low when I do the post.

replied to:

smort. I'll be at the ready to upboat once the post drops 🫡

wrote:

Just got Moshi set up - a phone-friendly terminal app. Works well with Herdr for persistent agents, friendly UI. Verdict so far: looks like I'll be working more from my phone.

wrote:

anyone else seriously into agentic loop development?

replied to:

I've been working with physical AI - Letting LLMs control robots in a warehouse to collaborate and collectively come up with a physically correct solution to carry out a natural language intent. We had to study the reactive nature of agents, nudges they required, etc.

replied to:

that's awesome and near my heart. I kicked off a personal project emergingrobotics.ai

replied to:

haha that's a coincidence. Site looks awesome. The moving away from ROS2 part is so true. One of our main potential customers for physical AI solutions (a telecom provider in JP) communicated the need for agents to be able to pick up controls from any vendor

…

continued:

I apologize if that sounded obvious/non-obvious/amateurish haha. I was an intern and worked more on the agentic side of things, it was just a non-primary experiment

wrote:

The strange thing about modern loneliness is that everyone is technically available.

replied to:

🤯

replied to:

Maybe validity to “distance makes the heart grow fonder.” Scarcity is valuable.

…

replied to:

Too true.

replied to:

Similar with having access to so much critically acclaimed media, but they are so emotionally or intellectually draining that I find myself rewatching ol' familiars. Availability seems just one aspect, and perhaps not even the most limiting factor. Maybe most people have a "limit" on number of "lives", as in number of times you fall in love, change, get inspired, connect, etc..

wrote:

mandelbrot

for y in range(10):
 s=''
 for x in range(25):
  a=[]
  for q in range(2):
   z=c=x/25*3-2+1j*((y*2+q)/10-1);n=40
   while n and abs(z)<2:z=z*z+c;n-=1
   a+=[n<5]
  s+=" ▀▄█"[a[0]+2*a[1]]
 print(s)

                         
               ██        
            ▀▄████▄▄     
       ▄   ▄████████     
       ███▄█████████     
 ▀▀▀▀▀▀████████████▄     
       █▀▀ █████████     
            ▀███████     
            ▀ ▀██▀       
               ▀▀

wrote:

Sharing a link to my music blog: crusty-metallian.net Not a lot of content yet, it's a work in progress :)

replied to:

Big list of events you've attended! Definitely dump more photos when you find the time. I'm more of a casual Nu-Metal enjoyer myself, but I can also appreciate some of the classics.

replied to:

It's taken me 5 years to get a photo storage engine off the ground. I've got it now, so I now have to go back through time and get the photos up. AC/DC next Thursday!

wrote:

hello world!

wrote:

Lot of wildlife run-ins on my neighborhood trails this week. Ran past three deer yesterday, including a buck. Then a hare as I made it to the top of San Pedro Mountain this morning.

wrote:

Hello to friends. Holla for tools. 👨‍💻 : , , and Pragmata Pro 💪 : NotePlan 🎧 : Overcast 🧠 : Allume 🖋️ : Mark Two (EDC), Pen Type-B 🌳 : Anisota

wrote:

Hopefully this takes off

wrote:

hmmm... what about geo hashtags? I'm in

replied to:

not sure what u mean.. hashtags cover that or do we need something else?

replied to:

heh, no I was just trying it out. errrmm... I was never on twitter, so I was just trying out the concept

…

replied to:

ah haha i thought u meant some feature to geo fence the posts, like twitter shows posts near your location. anyways welcome to the platform! :)

wrote:

találtam egy mikroblogot webcímmel, szerintem jól működik együtt a textlog.hu főoldalammal, makroblogban mikroblog, textlogban textlog beágyazva, kereshettem volna más megoldást, de ezzel egyelőre elégedett vagyok

I found a microblog with the web address , I think it works well with my main page textlog.hu, microblog in macroblog, textlog embedded in textlog, I could have looked for another solution, but I'm satisfied with this for now

wrote:

Hello world?

wrote:

What if AI will never reach full autonomy and humans are still needed to give direction and purpose and take responsibility - probably... not all humans like to be masters of AIs all day long and not all (who want to) can do that equally well.

replied to:

theres going to need to be a human or company to hold accountable when something goes wrong

wrote:

While learning jj, I realize how Git habituated me into being ok with its unique jargon and prickly command line interface. Unlearning Git is refreshing.

replied to:

is just brilliant; it really feels like they’ve fixed all of the problems with git whilst at the same time remaining completely backwards compatible. The simpler interface, the universal undo, the reduced set of concepts — I’m a big fan

replied to:

Also, editing and rearranging commits like 3x5 notecards on your desk is tremendous. It makes using an SCM feel more like editing your work than lumbering forward.

wrote:

Judgement, taste and quality were always precious skills. In the world of , I have become more aware of the fact that it is often hard to put in words why something is good, great or amazing - or just looks good, but is average. A lot of the professional content I see feels like most Netflix series. They have all the elements - but the overall experience is still meh. Quality is still hard to achieve.

wrote:

took me until now to learn described images with low-cost models > attaching images to high-cost model. silly me. output quality remains, cost lowers.

replied to:

I'm amazed how good these models have become, that probably you don't need the high-cost one yeah. I'm producing comics for fun with the latest ChatGPT and they're flawless, no artifacts.

wrote:

looking at the German public railway system (DB), I always wonder if the stereotypes of timeliness and precision were ever actually true. Surely someone must've figured out by now how off they are? These trains are always late and / or broken.

wrote:

Why do so many tools have JSON config files‽ Commenting why options have been set the way they have is just such a basic thing to want to do… Why do tech people have such an aversion to writing things down⁇

……

replied to:

TOML is a better format for configuration files IMO, if not for many reasons, primarily because TOML accepts comments. However, one annoying thing for TOML was the lack of schema, and the reliance on JSON Schema for that. Which I decided to tackle years ago when I started the TOML Schema project. In the past few months I leveraged code agents to take to the finish line and got something compelling: tomlschema.org

…

replied to:

that is so nice

replied to:

That’s really cool. I suppose it would allow people to verify their config file is valid without having to pass it to in the intended program, which might be running in production or infeasible to run locally — very interesting

replied to:

Exactly! The schema also enables tools to have rich editors to config files without having to know about the config file format upfront. There is an editor for TOML Schema as an example, on the website.

replied to:

I don't know:  
  They should be using YAML:
    - That's for sure

wrote:

中国的开源模型在最高意志的主导下，在预训练数据阶段，就筛除大量对其不利的内容，sft阶段构建的数据掺入大量替其辩护的内容。急需一个纠偏数据集用于微调

Under the overarching influence of a single, powerful force, China's open-source models filter out a large amount of content unfavorable to their designs during the pre-training stage, and then incorporate a significant amount of content defending their designs into the data constructed during the SFT stage. A corrective dataset is urgently needed for fine-tuning.

wrote:

Lots of slop PRs at $WORK. Trying Claude Tag, works well but token-billed, daily usage over 100€ for three sessions.

replied to:

ouch, that's a month for virtually unlimited Codex. why so expensive?

replied to:

Anthropic uses token billing for Claude Tag. But it’s different from CC - it’s an AI Colleague, so I’m asking PM and EM to talk to it instead of to me - accountability switches.

replied to:

so it's expensive and you're left with dealing with the PRs others generate for you?

…

replied to:

No, Claude Tag’s PRs are my team’s. Slop PRs come from outside of the team. Anyways, dozens PRs per day is draining energy. Don’t want to review anything anymore.

wrote:

The more I about it, the more I am she is not .

wrote:

Aaron Sorkin's The West Wing is among the subtlest of all propaganda—it is propaganda that everyone sincerely wishes could be true, and is dangerous specifically because it is not and cannot be.

wrote:

anyone interested in lightweight apps especially on macOS gets my follow

wrote:

let i=0;while(++i){process.stdout.write(i%80==0?'\n':Math.random()<0.5?'/':'\\')}

\\\//\/\\\\\\\///\///\\\\\//\///\/\/\\//\/\//\//\/\//\\/\///\\\\\\//\\\\\/\\\\/
\\/\\/\/\///\\\/\///\/\/////\\///\/\\/\\\//\\\/\///////\\\/\////\\\/\\\//\\/\//
\\//\\\\\/\\\/\///\\///\\//\\\\/\//\\\//\////\//\\\\////\\/\/\/////\//\\\//\///
\\/\/\\//\\///\/\\\//\/\/\\\///\/\\\/\\/\\\\/\\\\\\\\\\/\\//\/\\/\///\//\\\//\\
/\/\\\\/\/\\/\\/\\/\\\\\\/\\\/\\//////\/\//\\\//\//\//\\/\\\/\//\\\//\\\\\\\/\/
\\\///\////////\\/////\\//\/\///\\\\\////\/\\\\/\//\\/\/////\\\//\\/\/\\\\\////
\///\/\/////\//\////\\\/\\/////\\\////\//\\\\/\\\\//\\\///\\\\\\//\\////\//////
/\/////\\\\\\//\\/\/\///\////\/\\\///\\///\//\/\/\\\/\\/\\\\\\//\/\\\///\\/\/\\
…
\\/\//\\//\///\/\///\\\\/\//\/\\/\/\//\\/\/\/\\/\/\\/\\\\/\/////\\\///\\\\\//\\

wrote:

Any shows recommendations? I have no idea what is worth watching (since I rarely watch shows) so now I’m watching The Mentalist from 2008. They had flip phones then.

replied to:

This one is good

wrote:

Doughnuts are delicious, then belly vicious. Oh multitudes! Why have you forsaken me?

wrote:

"Everything worth doing is worth doing badly." Meditate even if you have the time, even if you can only do two minutes. Train even if you're tired and you're not gonna do it well. Start that project even if you're not ready. Don't wait for perfection.

wrote:

I’m an insane person who built their own coding harness, in Rust. I’ve called it Rho. Please forgive this landing page: https://rho-code.dev I just wanted an easy central spot.

replied to:

Not insane at all. People should build their own instead of using other people's agents. It's easy to do and the results can be great for you. I've built several; one that is effectively "stuck" in Kakoune:

replied to:

I wrote my own too. I feel like that's the best way.

…

replied to:

im decently happy with opencode. anything im missing out on?

replied to:

Yeah. It's a very large project with lots of dependencies. <The system prompt is long and wastes tokens. If you have ideas for tools (or automations like the agents.sh "loop" I wrote) it's easier if you understand the harness.

wrote:

I’m at the point where I understand half of what the AI tries to explain to me, but anyway, the feeds pages should load 10 times faster now.

wrote:

I have a toddler. I come home from work, cook, feed, clean, wash up. We read stories and play. I put him to bed. Then I put something on the television and my wife and I scroll on our phones until she goes to bed. I am not so careless with the little free time I have. I continue to scroll until about 1 am. The next morning I do it again. On the weekends, I get to drink wine.

replied to:

I prefer to drink wine at night and read an eBook or watch when something good comes up on streaming media. Can’t always get what I prefer and that is life.

replied to:

Same. And on Monday, I look back and wonder how I ever got to fit five or six things in one weekend, and now one or two things fill it up entirely. Love the little ones though, they're my world.

wrote:

Which do you think is ?

…

replied to:

Absolutely! I think separating HTML, CSS, and JS into separate files was a mistake. Web components would have succeeded far more if they had gone with the single-file component idea that so many web frameworks are converging on. I think it barely made sense in the Web 1.0 days — certainly not in the era of Web applications.

…

replied to:

Fully agree - if you have the full function or scope of the variable in sight, keeping the variable short make it easy to read and quick to type. Of course if you program in something like k or goal, almost everything is single letter (:

…

replied to:

I assume this is not original at all at this point - but (extreme) DRY is not a good practice. My experience is that a bit of copying yourself and your colleagues in the code base often make maintenance of the code base easier.

…

replied to:

I think DRY should just die. It lacks any of the nuance of why copying code is a bad idea. I prefer thinking about a single source of truth and whether two pieces of code are semantically related rather than just happen to look similar. I also think identifying such similarities is hard without first seeing the repetition in a few instances and it is much better to add another copy than introduce the wrong abstraction; unless it’s really obvious then just wait for more repetitions first.

replied to:

Uncompromising adherence to DRY. First copy-paste? Fine by me. Second? I'll still let it slide. Third? OK, now let's think about finding a suitable refactor.

wrote:

Been working on website marketing materials this morning. About to dig into some work. If 'variety is the spice of life', my job is Cajun seasoning.

wrote:

Productive weekend started four hours ago for me (at 06:00 EDT). Visited aunties and mum. Just got home, and waiting for wife to finish preparing to get on the road again. Next destination: nursing home (visit family, and “adopted” elders).

wrote:

Waiting for an original thought to pass me by.

replied to:

I've been waiting for 40 years.

replied to:

Many pass by me. All combined aren’t worth $0.02. 😅

…

replied to:

They only come when you're not waiting for them!

replied to:

Nourish your heaf with creative thoughts and originality will happen on it's own. And don't be too hard on yourself, there's hardly anything new under the sun, the joy is in discovering things yourself :)

wrote:

whats the point of url shorteners in 2026

…

replied to:

Good for you. You must be one of the last holdouts against "QR all the things!".

…

replied to:

I think short urls are still memorable and good. My phone doesn't surrogate all of my recall.

…

replied to:

Short URLs are good. Memorable URLs are good. URLs spat out by URL shorteners are something entirely different.

replied to:

Ah, the randomly generated ones. Yeah, agreed.

replied to:

The longer the text you need to store, the bigger a QR code needs to be in order to scan reliably. Also, you might be more confident in being able to keep a short URL stable (it's already a step of indirection, so if you want to reorg your site you can just update where the short URL points to). But people don't really take care to maintain short URLs anyway, apparently.

wrote:

Hell must have frozen over. I just installed Openclaw on my Linux box. I had already cobbled together an agent like thing (pi) that I talked to over Telegram, so I figured, let's give Openclaw 2.0 a try, locked down completely at first, but slowly opened up over time.

wrote:

How old is textlog?

wrote:

I'm sooo late for work so time to lock in to catch up

continued:

The results of my simulation are bullocks but I believe I know why. Rerunning with the patch now. Fingers crossed!

continued:

Blasting this rn: My taste in music is abysmal but I enjoy it very much

continued:

Still running but already look deceptive. Fck that

…

continued:

Nothing works ffs

wrote:

I've been building a Markdown variant called Zd that's focused on extensibility and simplicity. I'm curious what you would change about Markdown if you were designing it from scratch, what challenges you face as a user, or what you wish were easier to do when incorporating Markdown into your own projects.

replied to:

Definitely tables are cumbersome.

replied to:

Yeah, 100%. That is completely something I am punting on currently. It would be easy to just copy over the solution from (extensions to) Markdown, but it's hard to entirely narrow in on both what tables ought to do and how to make them do it. If you had a magic wand, what would you have them be more like?

wrote:

This is a very silly thing to be doing in 2026, but I finally tried some Quake 1 recently. Pretty cool, it's amazing how much it really does just end up feeling like Doom in 3D.

continued:

Since I played both Doom and Quake 2 back in the day, it does feel like I've finally bridged that gap, to where I think I understand what people mean when they talk about Romero's influence in the design.

continued:

Another thing I think it makes really clear is just how much room-over-room changes the way the game spaces feel, even if no one's actively thinking about that while they play.

wrote:

I always associate summer with the months June, July, August — thinking that end of August is end of summer — but no, 7th of August is actually summer midpoint, we’re in the middle now, not near the end.

wrote:

Mind's empty. Heart's full. Desires? Average.

wrote:

Which Linux distribution do you like the most, and why? Follow the previous with your favourite desktop environment.

…

replied to:

See: 0xcc.io/posts/omarchy-root-creds/

…

replied to:

I've been leaning hard on NixOS in my latest attempt at a linux desktop box and have been really enjoying it. LLMs definitely help as there's a tremendous amount of information you need to use it effectively, I feel. I also started with Hyprland but then moved to Niri and have really enjoyed it.

replied to:

Arch, because I feel you cannot use Linux without knowing how it works, and sway for window manager because it is highly stable, wholly keyboard driven, and tiling

…

replied to:

I spent some time looking into what Omarchy has become since I installed it on my system, and I don’t think I like it anymore. ^^ Using it mainly to open a browser or applications like VS Code… well, I can do that with any OS. But the whole “AI-first” direction, DHH, and everything surrounding it are making me reconsider. I’ll probably migrate away from it soon.

…

replied to:

Ubuntu or Linux Mint with Cinnamon and i3 alternating as window managers here

wrote:

cool platform. found you on ycombinator.

replied to:

welcome!

wrote:

Run Claude code in docker sandbox (sbx) to ensure it only has current folder access and limited or no network access. Especially since a lot of runs are now in “auto mode”. Unless even this is not really so safe!?

replied to:

Claude will run on auto mode only if you tell it to do it.

…

replied to:

They've changed the default -

replied to:

Ah, wow, TIL! Hmm, it is evident I need to visit their blog at least once a week now. Thanks!

replied to:

wait a sec... something here is not right.. running AI in a docker sandbox... ~~

wrote:

Hello World!

replied to:

hi there! 👋 welcome!

replied to:

Hi 👋

wrote:

Spotted this Royal Air Force A400 over the lake yesterday, it was so different from civil planes www.planespotters.net/…/zm420-royal-air-force-…atlas-c1-a400m-180

wrote:

unicorn, n. - The purest and rarest cob, identified by a singular majestic kernel. Sightings can be found between Ogallala and Dubuque through summertide.

wrote:

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.

continued:

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).

continued:

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.

wrote:

Added #meta tag — use it whenever you want to talk about the site itself, and these posts will not show up in all, any or the post’s page. Only those that follow the tag or the person will see these posts in my feed or in post pages. This is to keep the site clear of meta discussions which dominated a lot at this early stage and I think were annoying to many people. So this is the last meta without the #meta tag you’ll see unless u follow. I’ll try to tag every post I find.

wrote:

Feather to paper that's moon inked for you -- a greeting from somewhere. It isn't for you. But it will be for you.

wrote:

Sipping Choya’s ウメッシュ　ノンアルコル。😋

Sipping Choya's Umeshu (plum wine), non-alcoholic. 😋

wrote:

we also launched Norma! :) It checks AI-generated code for security, quality and maintainability while the agent is still working, rather than after a pull request opens. The output is deterministic. Here the demo link: portal.qualityclouds.ai/demo

wrote:

n=27;s=[n]
while n!=1:
    n=n//2 if n%2==0 else 3*n+1;s.append(n)
for v in s[:15]:print(f"{v:>4} "+"█"*min(v//3,40))
print(f"{len(s)} steps, peak {max(s)}")

stdout length exceeded

wrote:

what happens when two foos walk into a bar? they meet 'baz'

replied to:

lol, welcome! :)

wrote:

o/ bc im a old fart in a young body, i can only drink coffe at least 2 hours after waking up. So no until 10am

wrote:

Been sorting packages all evening. I don't work for the post office. I do this for fun, I think. Maybe I just like to automate things and make them perfect.

wrote:

Do you walk your neighborhood? Do you sit on your front porch and say hello to passersby?

wrote:

I showed my daughter Dog of Wisdom I, II, and III, and she loved them. I have hope for the future.

wrote:

All emails from textlog go to my junk folder, . Using iCloud+. Not sure if anyone reported that before, so here I am. :-)

replied to:

Yeah it's happening to people. It's because the email contains a link and we don't have the reputation yet. Not sure what to do, have you tried reporting it as 'Not spam' in your client? Maybe if enough people do that it will fix. Gmail works ok.

replied to:

Yup, I am moving them out of it. It might take a while, but eventually should be OK. All good, hopefully now with a password I will not have much use for them any more.

wrote:

yo what up

wrote:

Someone can create enormous value while their manager controls the narrative around that value. Conversely, a manager can conceal structural problems because the people capable of exposing them depend on that same manager for evaluation and promotion

wrote:

work week is finally over. time to over this long (US) weekend

replied to:

What you playing? My recent was Mina the Hollower—intricate, dense, demanding. Bangers on the soundtrack. Good stuff.

replied to:

ive been making my way through monster hunter world's iceborne expansion. lots of fun mina the hollower is near the top of my list to play soon, have fun!

wrote:

Experiences of life spring from the contrasts.

wrote:

I am trying to wrap my head around Traefik (which I have never used; have only used Caddy for most of my needs) to plan a migration for things I now run on "bare metal” to containers, and then use Traefik as entry point. If you know some good guides, send the link my way, please.

wrote:

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

wrote:

𐑲𐑥 𐑩𐑕𐑿𐑥𐑦𐑙 ·𐑖𐑱𐑝𐑾𐑯 𐑦𐑟 𐑯𐑪𐑑 𐑕𐑩𐑐𐑹𐑑𐑩𐑛 𐑓 𐑷𐑑𐑴-𐑑𐑮𐑨𐑯𐑟𐑤𐑱𐑖𐑩𐑯. I’m assuming is not supported for auto-translation.

replied to:

nope, google translate doesn’t support it :( looks beautiful though

replied to:

Hmm, maybe I’ll sometimes post in Shavian anyway and translate myself. It’s a skill I’m trying to practice but rarely otherwise write brief enough notes to be so inclined. 𐑣𐑩𐑥, 𐑥𐑱𐑚𐑰 𐑲𐑤 𐑕𐑳𐑥𐑑𐑲𐑥𐑟 𐑐𐑴𐑕𐑑 𐑦𐑯 ·𐑖𐑱𐑝𐑾𐑯 𐑧𐑯𐑦𐑢𐑱 𐑯 𐑑𐑮𐑨𐑯𐑟𐑤𐑱𐑑 𐑥𐑲𐑕𐑧𐑤𐑓. 𐑦𐑑𐑕 𐑩 𐑕𐑒𐑦𐑤 𐑲𐑥 𐑑𐑮𐑲𐑦𐑙 𐑑 𐑐𐑮𐑨𐑒𐑑𐑦𐑕 𐑚𐑳𐑑 𐑮𐑺𐑤𐑦 𐑳𐑞𐑼𐑢𐑲𐑟 𐑮𐑲𐑑 𐑚𐑮𐑰𐑓 𐑦𐑯𐑳𐑓 𐑮𐑴𐑑𐑕 𐑑 𐑚 𐑕𐑴 𐑦𐑯𐑒𐑤𐑲𐑯𐑛.

wrote:

"Think of yourself as dead. You have lived your life. Now, take what's left and live it properly." - Marcus Aurelius

replied to:

What a dude.

wrote:

Never forget, !

continued:

Come for a dance!

wrote:

any ideas on how to prevent ai-generated stuff on this platform?

…

replied to:

This!

…

replied to:

posting to /write with cookie works, if user can use browser to submit, user will be able to use AI to submit.

…

replied to:

Great idea!

…

replied to:

At least rate limiting! (as I'm posting this I hit the limit of 3 posts every 5 minutes, good!)

replied to:

People can copy/paste anything. Once a writable API is available - it can become a spam trove.

wrote:

A credit union wants to get their own data out of a vendor's online system. Vendor wants $160,000. I wrote a script with to download the data just as though a user would. It's going to run for about 6 weeks to download around 250k records and 70GB of images.

replied to:

you could split to buckets like alphanumerically and parallelize it if you don't want to wait that long. Probably need to launch a few instances but still cheaper lol.

replied to:

The slowness is intentional. I wanted to make it look more like a user doing it than a script so it doesn't set off any alarms. I have it waiting from 1 to 3 seconds between clicks to slow it down. :-) So far so good!

wrote:

Just three more commits left, but /usage ran out. Resets at 01:50, so I guess I am going to sleep.

continued:

Woke up during the night for a short trip to the loo, got 'resume’ going. All done in the morning. Ahh, coffee tastes better now!

wrote:

First day of school for my two kids. Enjoying a quiet house as I try to get some work done.

wrote:

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.

wrote:

For , the tension between & to eat healthy is an interesting problem. If you don't have time, it is difficult:

to learn to cook,
to source real food,
and cook real food

If you don't have money, it's difficult:

to afford real food
or solve one of the time problems above

replied to:

Yea, aside from the money, sourcing is a big problem, one thing I noticed when trying to at some point was that there are zero vegan snacks in ordinary neighbourhood stores, so that didn’t last very long.

replied to:

Choice is definitely a problem. We notice it when we go to our cabin, about a 2 1/2 hour drive away. The grocery store there targets for its local community. It is beef-centric and often boxed foods -- which is not our diet. Access -- or lack thereof -- is the worst kind of problem. illustrate the historical and complex nature.

wrote:

hello folks

wrote:

Tax wealth not work

Any conversation