corv

Perhaps because it's easier to reinvent the wheel nowadays?

So true!

However we've now got local AI to do it for us:

https://github.com/corv89/rookmark

I'm also tending towards the generous stance:

1. The value of software is tending towards nil while it's ever easier to tailor bespoke solutions.

That suggests to me that I'm losing less by sharing, and it's probably not even going to be taken wholesale and kept verbatim.

2. The labs have already trained on everything and will keep on doing so.

Therefore continuing to contribute to OSS doesn't just benefit my own future self but the entire ecosystem.

(Yes, I need to get over how it appears a select few are making off with the lion's share but that only differs in degree in comparison to the past)

At least now the cards are being shuffled elsewhere...

Bend would make Dijkstra happy even when proof checking can’t verify if the laws are what was actually meant.

I actually think Asimov is more instructive here, while Gödel and Tarski tell us the tool can’t prove itself…

Nonetheless, it is a worthwhile endeavor and I hope more rigorous practices like this catch on.

I initially went with OpenCode's v2 client-server rewrite until I noticed how that wasn't ready for prime time.

Turns out I didn't need a fancy TUI at all when desktop, web and mobile interfaces are already provided by or available for Hermes.

I believe Hermes offers something comparable now.

Personally, I’m not convinced that a cascade of LLM judges lets me sleep soundly at night.

My agents stay in their sandbox and escalating changes to that env or prod is solely in the (human) operator’s domain.

Obviously this is less convenient but I think it’s a necessary tradeoff for security and correctness.

While sub-agents could theoretically stack turtles indefinitely, there’s limited room when going up the stack because someone will have to take responsibility beyond “git blame”, and that lands squarely with a person or legal entity.

My own findings are in line with this research:

Having a coding harness is critical but the differences between them are overstated.

Personally, I’ve replaced OpenCode with a thin wrapper around Pydantic-AI as the pythonic analogue to Pi-Agent for headless use via Hermes

They’d all do the job - I just prefer to compartmentalize for access control.

Keeping the harness’ surface area tiny had the added benefit of preserving my understanding and being able to adapt it to my preferred workflow effortlessly

I like your constructive outlook and I want to believe that we can now focus on the bigger picture, but I'm not really seeing it around me. Most everyone I know that's "AI-pilled" has spent the newfound capacity on throughput instead of altitude.

Is anyone actually seeing a shift towards improved structure rather than more code, faster? We seem to be living in the Gatling-gun version of the picture John Carmack drew when modernity also ushered into precision marksmanship...

One could also try to leverage git notes but those don’t sync by default which causes its own kind of friction

I’m interested to see if jujutsu changes the equation

Future so bright I need to wear sunglasses — at night

Very interesting!

I may have explored a related approach but as an append-only log riding on source-control to sync state between checkouts (git trailer metadata specifically)

https://gist.github.com/corv89/c506780881b260f4c5a4618fe8d92...

Excited to see where such concepts can take "multiplayer" agentic systems

thanks for sharing, I can appreciate those qualities

I’m currently using gbrain as provider-agnostic memory but miss how lightweight SQLite is in practice, so this is interesting!

Hard to keep track of a project that keeps renaming…

I imagine you're not from anywhere near former fascism or communism.

What historical evidence do we have to believe that these newfound capabilities are going to be distributed equitably?

I've been using Mouser but it keeps crashing on MacOS 27 beta for me and at 500MB+ of memory use it appears to be approaching the official app's heaviness...

So this appeared at just the right moment for me, thanks!

It’s got electrolytes

Who is behind this site? Is this another frontend to Alibaba or a reseller in Singapore?

A successful example of reigning in progress: electric bicycles intentionally speed limited for safety

Netherlands actually

The 'flash vs html5' chart looks strange juxtaposed with that conclusion

Less space than a nomad. Lame.

To be fair, I find the term to be as contrived as “performant”

The iPad + keyboard combo is typically as heavy or even heavier than a laptop. It's certainly more expensive and restrictive. I have agree with the author's thesis here

As a Pythonista I tend to agree. I had high hopes for Mojo but it's taking its due time to become usable outside the narrow focus of GPU programming, whereas Nim fits multiple niches surprisingly well.

Really enjoying this so far!

I’ve replaced about 900 lines of raw SQL and got validation and dashboard for free.

The only gotcha I ran into is that Ty didn’t recognize some of the generated types, but that’s also a young project so I’m willing to turn a blind eye.

Really solid, thank you

This wasn't a judgement on systemd but the fact stands that Linux has long abandoned POSIX compatibility, udev being another prominent example.

I'd say this is what ultimately drives monoculture, which is a shame because diversity from glibc (e.g. musl et al.) and other major components could make critical infrastructure more resilient overall

Systemd comes to mind, although it wasn’t as dominant initially

Python is obviously too slow for web-scale