any · textlog

wrote:

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

wrote:

Last work week before long vacation.

replied to:

How are things wrapping up?

replied to:

All good! Thanks for asking

wrote:

this will be the platform that fixes me

wrote:

I read Still trying to figure out the boundaries of these tools' strengths without outsourcing important thinking, problem-solving, and the collective building-up of a mental model of the systems we're developing. The shape of LLM tools as tools—fit for a purpose, ergonomic—is becoming clearer, and human patterns of behavior with them that do more harm than good are also becoming easier to recognize.

wrote:

'wade in the water.' isn't this the challenge of being 'ahead'? so many of us are waist deep in the same sea, it's hard to see what's in front of us vs. what's behind us. then we see the yacht boys sail by with their new masters, splashing us in their wake. then we grumble amongs

continued:

then we grumble amongst ourselves about 'that was my idea,' then carry on.

wrote:

Why was the math textbook sad? revealBecause it had too many problems.

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:

bill gates built microsoft by making computation cheaper faster and harder for government to restrain. now that he's a billionaire no longer dependent on the free market for his own success he's discovered the virtues of taxing the next wave of computation. 1995 gates would have called it a tax on innovation. classic pull-the-ladder-up-behind-you politics.

replied to:

These were exactly my thoughts reading about how he thinks we should “preserve” some jobs for people; I don’t remember him being an advocate of preserving the jobs of typists, draftsman, typesetters, and other clerks when his company was leading a prior digital revolution…

wrote:

today was a good day

replied to:

\ / _\/_ .-'-. //o\ _\/_ _ ___ __ _ --_ / \ _--_ __ __ _ | __/o\\ _ =-=-_=-=-_=-=_=-_= -=======- = =-=_=-=_,-'|"'""-|-,_ =- _=-=-_=- _=-= _--=====- _=-=_-_,-" | jgs=- =- =-= =- = - -===-

wrote:

mandelbrot show code

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:

warning: possible illicit content
click to view anyway

how to exactly dissapear without a trace?

(deleted post)

replied to(deleted account):

how to do it exactly

replied to:

leave everything at home but the clothes on your back and walk into a forest

…

replied to:

I love this was flagged as possibly illicit content lol

replied to:

don't do it, please

wrote:

At dragoncon, and it's even more than a zoo than I expected. way more people than I thought would be here on a Friday.

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:

mornin'

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:

, new day, new issues to solve — oh and ☕

wrote:

new semester euphoria is real. its like the only time i ever leave the house in the mornings. stay tuned to find out if itll last more than a couple lectures

wrote:

A couple of afternoons of the jinn coding harness and glm-5.3 and my taxus static site generator is properly whipped into shape. get-taxus.org It now has a frickin' data model, that's documented, as well as installers for your platform of choice. Try it, break it, I'll be doing the same. Let me know where it broke for you.

wrote:

hot take: "consumer " doesn't exist. at most it's just better search, but the ai assistants like grokbot or now instinct aren't ever going to be big. new devices and personal agents are DOA

Any conversation