movpasd

6 ms·

1.
by movpasd 8d ago
This is significantly more thorough than any testing I've done, and in a totally different domain, but my anecdotal experience getting agents to use Hypothesis was quite poor. The agent really, really struggled to bridge the gap betwee
2.
by movpasd 9d ago
I don't know. I have a fascination with code structure which is definitely primarily aesthetic, not practical --- which is a compulsion I have to suppress when doing code professionally for practical reasons. (Sometimes you have to del
3.
by movpasd 14d ago
I love the amount of effort that went into this, and find it very amusing. I've had similar forays into defining sandwiches, ravioli, soups, and so on, but never in such meticulous detail. But taking it seriously, a word like "sal
4.
by movpasd 27d ago
I would absolutely love to see the transcript of that, if it's available to publish!
5.
by movpasd 29d ago
How would one start learning about it?
6.
by movpasd 1mo ago
It's just economics. VCs dump large amounts of money into early-stage platforms with the express purpose of exploiting it later. This is an inevitable part of the lifecycle of high capital, low margin industries with strong network eff
7.
by movpasd 1mo ago
It's LLM-like in the details, but there are certain patterns of repetition and idiosyncrasies, also certain analogies I don't think an LLM would make (like the aliens thing), that make me believe that it's written by a human.
8.
by movpasd 1mo ago
Forgive me if a dumb question, but is there no compaction? Do you ever run out of context?
9.
by movpasd 2mo ago
Me as well. One of my formative experiences was reading Refactoring (Fowler). At the time I felt skeptical that it could make a difference --- I had mostly written scientific/research code at this point. I decided as an experiment to a
10.
by movpasd 2mo ago
I feel like the development of AI has really shown what a gigantic spectrum intelligence actually is.
11.
by movpasd 2mo ago
There's an "expert trap" in here I think, at least this is something I experience. When you are good at something, it's a lot less effort to draw on that stuff, and you usually get instant easy positive feedback from non
12.
by movpasd 2mo ago
I don't expect technology companies to do the right thing by the consumer. There is a niche for companies or NGOs that manage to stick to their core mission, but the incentive structure for software (very high capital cost, near zero m
13.
by movpasd 2mo ago
You're talking about the material of the Twitter discussions where I'm more discussing the article itself, which is about the community and discourse surrounding it. If you want my opinion on that, Odin seems pretty notable to me,
14.
by movpasd 2mo ago
I despise the "what's true is true" attitude exhibited by Casey and Bill in these tweets. I find it to be an instant flag of unreliability. The smartest human alive is still a human. We have a stake in every conversation, we
15.
by movpasd 3mo ago
I think an important realisation for me was this: peoples' egos being involved in their arguments, people being irrational, and so on, these are not merely deviations from an ideal rational self that we could reach were we to put enoug
16.
by movpasd 3mo ago
Not GP, but I'd argue that over-rationalism and underestimating both the complexity of the real world and the theory-ladenness of one's perspective is just as dangerous. The point is not to be paralysed by complexity, but to ackno
17.
by movpasd 3mo ago
I've not done particularly rigorous testing, but I've done this a lot with Claude to get a feel. What I've noticed is for certain open-ended tasks, Claude is extremely primeable: it will pick up on minor differences in wordin
18.
by movpasd 3mo ago
> If you want to go out of your way to interpret things as uncharitably as possible, you'll find yourself missing out on a lot of potential wisdom. Thank you for that line --- I may steal it :)
19.
by movpasd 3mo ago
The original sin is the idea that the profit motive on a free market will solve all our resource allocation problems, and that consumption demand should be the ultimate arbiter of social value. Markets are pretty freaking amazing things. Bu
20.
by movpasd 4mo ago
I think the foundational one is for Western governments to treat critical digital infrastructure for what it is: critical infrastructure. We don't let private capital build nuclear powerplants willy nilly. Energy markets are regulated,
21.
by movpasd 4mo ago
Because you must statically declare dependency on an effect, it's opt-in. To be clear, you still pay indirection cost: when you do opt in you have to hope the upstairs implementation is compliant to the contract. But that does also app
22.
by movpasd 4mo ago
One of the things I find most exciting about effect systems is that they solve some of the issues with typeclasses and traits. The issue with these is you can provide exactly one implementation for a type, and this implementation then appli
23.
by movpasd 4mo ago
I think the point is that even if AI returns don't materialise, there is a dangerous implicit political project among AI moguls to get to this state. Even if we get 10% the way there, there could be serious damage done to the system as
24.
by movpasd 4mo ago
You're assuming that the free market will do what it's meant to do. But there is also a reality that there are plenty of structural market failures in the economy that arise from existing capital endowments, regulatory capture, an
25.
by movpasd 4mo ago
This article puts into words a lot of things that had been on my mind as missing in AI discourse. Most significantly, actually considering the _systemic consequences_ of the promised AI future, how it interacts with political economy, an ac
26.
by movpasd 4mo ago
Attraction towards equilibrium is real, but that equilibrium is not a given. It comes from intrinsic biological constraints, individual preferences, cultural norms, ideology, habits and expectations. Even fixing individual preference, the a
27.
by movpasd 4mo ago
I have a couple principles to help me work with this. The first is that even though the object is not a human, you should still exercise politeness and restraint. Like the article points out, lashing out does not actually help with the frus
28.
by movpasd 4mo ago
I feel the same way, and yet I would still say I feel AI usage atrophying my thinking skills. I feel less tempted to use it to shortcut whole files, but even just using it to speed up looking up and carefully reading docs, tinkering with a
29.
by movpasd 4mo ago
Regarding the tension between symbolic representation and Naur "theory", I'd actually say they come from two different traditions, each providing two different theses. When writing them out I think it becomes a bit clearer ho
30.
by movpasd 4mo ago
"Worse is better" remains relevant as ever. https://www.jwz.org/doc/worse-is-better.html

More ›