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
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)
โโ
โโโโโโโโ
โ โโโโโโโโโ
โโโโโโโโโโโโโ
โโโโโโโโโโโโโโโโโโโ
โโโ โโโโโโโโโ
โโโโโโโโ
โ โโโโ
โโGave this evergarden colorscheme a shot after seeing it on lobsters today. Quite liking it.
@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@stagas๐คธprofilefollow
creative 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:Seeing Hallucinate brought to mind . ๐
@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:Yes! I was thinking of doing the same, see .
The Hugging Face / OpenAI incident is like a sci-fi movie!
- Read the story here:
- Watch the video explanation here:
- Full research by METR here:
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.
I subscribe to the Tony Stark school of engineering. "Sometimes you have to run before you walk." Earlier this year, I built my own static site generator. I hate literally every static site generator out there (not joking). get-taxus.org
โขโกโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ
โขปโฃฟโกโขถโฃคโฃโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โฃโฃ โฃ
โ โขปโฃโ โ โ โ ณโฃฆโฃโ โ โ โ โ โ โ โ โ โ โ โ โ โฃโฃคโ ถโ โ โฃนโฃฟโกฟ
โ โ โ นโฃโ โ โ โ โ โขทโฃโฃโฃโฃโฃคโฃคโฃคโฃโฃโฃดโ โ โ โ โ โ โขโฃฟโกโ
โ โ โ โ โขทโกโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โฃ โกพโ โ โ
โ โ โ โ โ โ ปโกถโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โข โฃ โกพโ โ โ โ โ
โ โ โ โ โ โฃผโ โ โข โ โฃโ โ โ โ โ โ โข โขฒโฃโ โ โ โขปโฃโ โ โ โ โ
โ โ โ โ โขฐโกโ โ โ โ โ โ โขโฃโกโ โ โ โ โ โ โ โ โ โฃฟโกโ โ โ โ
โ โ โ โ โฃพโกโ โขณโ โ โ โ โ โฃโฃโ โ โ โ โฃฐโขโ โฃถโ โขนโฃโ โ โ โ
โ โ โ โ โขฟโกโ โ โ โ โ โ โฃพโ โ โขฑโ โ โ โ โ ฒโ โ โ โ โฃฟโ โ โ โ
โ โ โ โ โ โขทโกโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โขปโกโ โ โ
โ โ โ โ โ โ โกโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โขธโฃง โ โ โ
โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ
The best Mcp server I have as Claude Connector is Emacs running on my Homeserver. It has one tool - eval-elisp. Using it Claude can do almost anything. My top 1 pinned chat is โRun agent-start-claude-code using HotterEmacs in dir โฆโ - after that I have a ready to use remote-controlled session running on my homeserver.
โฆ
NIH syndrome? I am guilty of it too. I love implementing things from scratch, you learn a lot by doing so and you get to own the codebase end-to-end, so no surprises and fighting around othersโ choices. It can get exhausting too though, in the end I succumb to using off-the-shelf components because my primary goals move at a higher level.
I don't see much point in trying to build software at a "higher level", like whole products and services. I'm going to go down low and train myself on the fundamentals. Hopefully in time I'll be able to contribute to the foundational bits.
You're right, it does get exhausting. At some point you just want to rebuild everything, which is not possible.
Ordered JBL Charge 6, waiting for delivery today. Will mount into my bike and will listen to music while commuting 25km to the office. I'm a victim of marketing, seeing an ad, buying stuff.