any · textlog

"Your outie can use Claude."

I work with c# and distributed systems. Anyone with experience in that domain?

shower thought: swap 'is a model' for 'is constructed' and postmodernism suddenly becomes a lot more palatable without losing much of its core message.

wrote:

I dislike commuting on public transport sometimes cause the trips feel longer sometimes but also don't want to drive the morning traffic

wrote:

It is troubling watching the news today from the elections in Germany. Yes, it is democratic and absolutely fair elections and the people of Germany make their own choice in their situation. Still, seeing the far right gaining so much ground in Germany brings your thoughts some 90 years back. Let’s hope and pray Germany is not going there again.

wrote:

ai coding feels like it has reached diminishing returns for me. luna is my default orchestrator, routing work by complexity. in practice, usage lands around 16% luna, 48% sol, 30% astra, and 6% terra. at this point, i care less about each new frontier release. the system already finds a capable model for the job. the frontier is moving beyond my day-to-day work, so i’m happy to settle into predictable models for a while.

replied to:

I’ve found the same, albeit with Opus — it’s hard to find uses for Fable. I don’t need a model that works for longer or works on harder problems, I need one that consistently produces simple, easy to understand, code; which at this point none of them do.

replied to:

I've been there since I settled on a combination of GLM, DeepSeek and MiMo for planning, implementation, and verification flows. I'm a lot more interested at this point in having cheaper models that can consistently do the work I need. It's been a while that I hanven't noticed any improvement when I try new frontier models. I only notice they are very expensive.

…

replied to:

same here, for almost an year. At this point, I could easily live with models that were released 6-12 months ago and continue doing so. also possibly the reason why the current focus has been around agentic workflows or agentic anything, than the model capabilities.

replied to:

Coding probably yeah, but still they are bad at generating novel information, new ideas and such. They’re also not very good at seeing the bigger picture, they will narrowly perform the task but they’re not taking into account future revisions, which ends up in refactor after refactor in order to move forward.

wrote:

The TPMS indicator came back on again today; on the same road, can you believe it? I might have to get it checked at Costco this weekend.

wrote:

WezTerm for local and remote multiplexing really is the ideal experience - it's so much better than using zellij, tmux, zmx, and friends.. I don't think they pitch this feature hard enough on their site. I think the in-terminal multiplexers have their place - e.g. if you need to access from mobile (no WezTerm there) or on machines where you simply don't want to install WezTerm for some reason. WezTermrm could probably eliminate that last one by packaging just the mux server.

wrote:

been building a voice first os using jev and some small voice models. I'm surprised how well it's working and I'm very close to the point where I can go into a feedback mode and tell it what behavior I want changed, it will spin up Claude or codex inside itself and setup the build to restart itself and continue with new code. tempted to let it build itself completely

replied to:

It sounds amazing! A voice first OS was also in my mind. Curious to hear more!

wrote:

really want to find a job where I can go to work in the

wrote:

What's your favorite documentary? Currently watching The Machine that Changed the World and loving it.

replied to:

The Motor Cycle Diaries I think.

wrote:

Tax wealth not work

wrote:

I had hit a throttle now. That’s a “subtle" way to tell me to slow down.

wrote:

One idea that I've been thinking about is an or where it is a app so you get a new file everyday right except the app keeps track of all the files for you. the idea is that anytime you type anything it it basically makes a commit and use so anytime you type something it commits automatically after a quick pause after you stop typing.

replied to:

That sounds ! Could also create summary titles with for the filenames in addition to their date so you can find what you were writing about easily. Also full text search.

replied to:

Yes! Great idea. Not sure how I would implement it but the main idea is that you should feel free to delete text through out the day because everything is tracked in a git repo. 🫣

wrote:

small doodle of today! ibb.co/sJ6NNMtq

…

wrote:

Power and money somehow emit the whackadoodle in all of us.

…

replied to:

I actually disagree. This guy has been very good at performing The Good Guy for a very long time, but there have been signs all along.

replied to:

Well said. My post was glib. More correctly, they are multipliers. Same goes for Musk. "Musk’s ex-wife Justine, whom he married in 2000 and divorced in 2008, says the man the world began to see in 2020 was the one she’d always known." -slate.com

wrote:

cool platform. found you on ycombinator.

replied to:

welcome!

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:

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.

Any conversation