Any conversation

Hola

Is the IDE dead?

csak lazán, mint Wuhanban, a víruslaborban, a piac mögött

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

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.

I've been enjoying toast to help click through a project. I still mostly use Zed to handwrite code, but it's nice to open a pane and fire up toast from the terminal. paradise-runner.github.io/toast/

#githubdownnotesfollow again. Was in the middle of some timeline experiments, sorry if it appears weird rn. www.githubstatus.com

I'm a simple man. I see a new platform, I grab my handle. 😎

So, I'm watching two shows right now - Silo and Attack On Titan. I'm nearing the end of S3 on Silo and have just finished S3 of AOT. The parallels between the two are interesting but the contrasts are more interesting, namely how much more intricate AOT is.

code quality is about coupling. coupling is not a technical property of the code bytes. code acquires its meaning in contact with the cultural environment, and coupling is about meaning. two constants with no semantic relationship are nonetheless coupled in pragmatics if they refer to the same domain concept. if your goal is to minimise the time integral of future work, you must understand your domain: it decides which lines will need changing. to carve up a codebase is to carve up the world.

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.

What's happening

Past year's personal projects that went viral: hallucinatehallucinate.site The Front PageThe Front PageThe Front PageA newspaper-style front page for Hacker News. groovemastergroovemastergroovemaster - Code musicCode music in the browser. textlogtextloghotThe quieter social microblogging platform. Yet I'm poor and can't get an interview :S how do I solve this?

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.

One of the perks of working from #homenotesfollow is I can brush my #teethnotesfollow at 3:38 pm if I need to #worknotesfollow #WFHnotesfollow #Lifestylenotesfollow

Found some coffee at TJ Maxx (american discount store) -- not a big discount but still fun.

Naturally, as soon as I return from a week of vacation, GitHub is having an outage 😑

I'm doing experiments with short attention-span students and code. Starting with python, and, oddly, now working in BASIC. As a C programmer of 40+ years, I find this aesthetically and pedagogically displeasing, but I am delighted to see them getting fully absorbed in writing 130 PRINT "You have been eaten by a bear!" : GOTO 900. Yes there is spaghetti, but it's their spaghetti and they seem to take delight in debugging it. Python will come later. #educationnotesfollow #programmingnotesfollow

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.

&\