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.
Any conversation
ๆๅจไธญๅฝๆฏไธไธชๅ่ฑ็ฆปๆฟๅบๆๆง่
๏ผๅบไบ่บซไปฝ็ไธๅๆดปๅจๆ้ฝไธๅไธ๏ผๆฏๅฆๆญฃๅผๅทฅไฝๅ็ฝ่ดญใๆไนไธบๆญคไปๅบๅทจๅคงไปฃไปท๏ผๆ็้ๆฉ็ฉบ้ด่ขซๆๅคงๅ็ผฉ๏ผ่กๅจ่ฝๅๆๅคฑไธฅ้ใๆๅช่ฝ้่ฟๅฐ้ๅ
่ดน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.
didn't want to invite all the bots from day one :P we're if someone wants to implement API authentication and mutation endpoints they are free to try
๐ค I built agent-top - an open-source htop for AI agents.
github.com/kannandreams/agent-top
Please check out and support giving your stars and sharing.
I've been on a kick lately of trying to visualize the oscillating clock, and ultimately the effectively arbitrarily complex activity of a computer processor, as modern refinements of the line shaft factory of the 19th century. Of compute as being not much more than profoundly refined "work" delivered by the electrical grid into marvelously complex machines.
Does that, as a metaphor at least, feel as important to you as it has to me of late? We spend so much time in a world abstracted.
This guide has really worked out for me after trying so many different methods - berbarianwizard.substack.com/โฆ/beyond-calories-fat-loss-guide
Lots of slop PRs at $WORK. Trying Claude Tag, works well but token-billed, daily usage over 100โฌ for three sessions.
ouch, that's a month for virtually unlimited Codex. why so expensive?
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.
@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerswrote:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerswrote:Maybe implementing a subset of Markdown would be a good thing. I am thinking about bold, italics, inline code, and code block, mostly. Oh, and links.
โฆ
replied to@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:Thatโs a great set (and then no more!)
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to:I think so. It could even be made a setting, defaulting it to off. I think it would be useful, especially is self-hosted for a tech community.
@stagas๐คธprofilefollow
creative 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:
creative 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:Instead of what to add I'm always asking myself what can be avoided or what can I take out. Adding features is easy. Minimalism is hard.
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@stagas๐คธprofilefollowcreative technologist
creator of textlog:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@stagas๐คธprofilefollowcreative technologist
creator of textlog:I agree that minimalism is hard. Thatโs why the subset was explicitly recommended small. Yet, I believe it is extremely useful to have.
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerscontinued:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerscontinued:Cool! Letโs test it with a link to Google.
@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:
creative 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:I've tested MD and honestly I don't like it. Bold/italics add unnecessary noise/clutter and the font is already monospace, suited for code, so inline code & code fences are not needed. If 3rd party clients want to implement them it's fine but I'm sensitive to visual noise.