corv

4 ms·

1.
by corv 8d ago
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
2.
by corv 8d ago
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
3.
by corv 9d ago
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 ava
4.
by corv 9d ago
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)
5.
by corv 9d ago
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.
6.
by corv 9d ago
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-Ag
7.
by corv 13d ago
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 throu
8.
by corv 17d ago
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
9.
by corv 17d ago
Future so bright I need to wear sunglasses — at night
10.
by corv 17d ago
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/c506780881b2
11.
by corv 18d ago
thanks for sharing, I can appreciate those qualities
12.
by corv 19d ago
I’m currently using gbrain as provider-agnostic memory but miss how lightweight SQLite is in practice, so this is interesting!
13.
by corv 26d ago
Hard to keep track of a project that keeps renaming…
14.
by corv 1mo ago
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?
15.
by corv 1mo ago
Goodbye, and thanks for all the fish!
16.
by corv 1mo ago
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!
17.
Beyond WASI: Running any Rust application in the browser with BrowserPod 3.0(labs.leaningtech.com)
1 points by corv 1mo ago|0 comments
18.
by corv 2mo ago
It’s got electrolytes
19.
by corv 2mo ago
Who is behind this site? Is this another frontend to Alibaba or a reseller in Singapore?
20.
by corv 3mo ago
A successful example of reigning in progress: electric bicycles intentionally speed limited for safety
21.
by corv 3mo ago
Netherlands actually
22.
by corv 3mo ago
The 'flash vs html5' chart looks strange juxtaposed with that conclusion
23.
by corv 4mo ago
Less space than a nomad. Lame. To be fair, I find the term to be as contrived as “performant”
24.
by corv 5mo ago
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
25.
by corv 6mo ago
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.
26.
by corv 6mo ago
https://flugschriften.com/wp-content/uploads/2020/07/flugsch...
27.
by corv 6mo ago
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 will
28.
by corv 7mo ago
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
29.
by corv 7mo ago
Systemd comes to mind, although it wasn’t as dominant initially
30.
by corv 7mo ago
Python is obviously too slow for web-scale

More ›