Vgoose

Joined 5 years ago

Karma
17
Submissions
11
Member since
Mar 26
www.alecvo.org
View on Hacker News

Recent submissions

Comment · 2 months ago
I wish I could write this well. What an enjoyable read.
Comment · 3 months ago
I think there's a simple explanation for why the models aren't good at "maintainable" code: they're not explicitly trained on it in post-training. It being hard to quantify what maintainable is and there not being a popular benchmark for maintainability are probably some reasons why.
Comment · 3 months ago
Thanks for sharing, I've never heard of variety before and that was an interesting read. It makes me think of a broader term I've been using to describe the run time state of the system: Entropy. I've given up on measuring that for now and I'm settling for a compile time proxy through measuring the _semantic_ cardinality of types as this seems a bit more approachable for a POC.

One drawback I ran into was that the variety/entropy of scalars tends to dominate everything else. I'm clamping them to 1 for now but that's also not great as it punishes more descriptive systems.

Comment · 3 months ago
Comment · 3 months ago
Nice! I actually ran across this paper+benchmark recently, too. It's the first I've found that start to aim at some of the non-functional and longitudinal requirements that I think have always been an important part of writing production code.

It's especially relevant now that models are good enough to solve ~most point-in-time problems.

Some relevant but disconnected thoughts:

- deterministic scores are so nice

- what "maintainable" is is probably some high dimensional space described by these signals; it'd probably require some human labeling to figure out where this space is

- another signal I've been thinking about and I'm seeing increasingly get brought up is the state space of a system; I'm seeing formal methods pop up a lot recently

Comment · 2 years ago
My architect introduced Architecture Decision Records to my company and it's made a world of difference. Are there other tools and mechanisms people have found helpful to facilitate and scale group thinking?
Comment · 3 years ago
This is my go to diagramming tool. It takes a lot of little tricks to get things to turn out exactly how you want, but they're not required. It communicates information just fine. The tricks are only required if you care about aesthetics.
Comment · 3 years ago
I've actually seen more of her name than Akita itself. In a way, that's great marketing.
Comment · 5 years ago
It used to be around every few weeks I would read something cool about Elixir. This past two weeks it's down to every few days.

I think someone's trying to tell me something.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton