sesm

6 ms·

1.
by sesm 2mo ago
> We acknowledge not everything will be covered, we're setting the requirements at the 90th percentile use case I'm ok with this as long as dropped requirements are documented and nobody wakes you up at night when those edge ca
2.
by sesm 2mo ago
I don't think there was a 'prompt' for it, rather a long and dedicated work of a professional mathematician which involved LLM in some capacity. I'm sure the search step wasn't an ad-hoc script running in a Claude C
3.
by sesm 2mo ago
What's the Elm definition of simplicity? Genuinely asking, because the concept of simplicity is very vague and overloaded in programming.
4.
by sesm 3mo ago
> Rick Rubin told Anderson Cooper he has no technical ability. Doesn't play instruments. Can't work a mixing board. If you watch his interview on Rick Beato's channel, this myth will fall apart. He plays guitar, had his ow
5.
by sesm 3mo ago
> Do that well and you can build what a team of twenty engineers would put out in a month for around a thousand dollars. As usual, an extraordinary claim without an extraordinary evidence: https://stephen.bochinski.dev/ap
6.
by sesm 3mo ago
I would argue that those are not emergent property of the model, but a property of how humans find insights in a plausible guess.
7.
by sesm 4mo ago
"AI" is a marketing term, LLMs and Difusion Models are math.
8.
by sesm 4mo ago
They want to run local models
9.
by sesm 4mo ago
No, it's much worse. It will take much more time to review and notice that it doesn't actually solve the problem at hand.
10.
by sesm 4mo ago
Agree, after closer look smart pointer types are pretty standard and collections were indeed a part of migration. But still, in order to prepare those detailed and very project-specific instructions you need to iterate on trying to convert
11.
by sesm 4mo ago
When announcements say that rewrite took 1 week, I wonder how much time went into preparing this file with very detailed instructions on mapping Zig to Rust idioms: https://github.com/oven-sh/bun/commit/46d3bc
12.
by sesm 4mo ago
I wonder, did they consider an approach of vibe-coding a deterministic converter and then running it? This should be much more token efficient.
13.
by sesm 4mo ago
Just to clarify, you did this for C tools using LLMs or using deterministic conversion tools?
14.
by sesm 4mo ago
I guess they vibe-rewrite to C, relying on CCC compiler. Agent loop will be modifying both the project and the compiler until the ends meet.
15.
by sesm 4mo ago
I'm sorry, Dave. I'm afraid I can't do that.
16.
by sesm 4mo ago
> Or maybe the Zig team is in a greater danger, since their brains hold the genius juice the clankers are missing and they should have it by 2027 Imagine you want to monopolize programming by pushing LLM as an obligatory middle-men. Then
17.
by sesm 4mo ago
Wasn't looking at leaked Claude Code source already enough for the ridicule?
18.
by sesm 4mo ago
The reason for this is: the only way to show productivity gains enabled by AI is to lay off people and pretend you are doing the same amount of work (while in reality you are severely dropping quality and accumulating technical debt).
19.
by sesm 4mo ago
But it's a team sport. For example, in Dota 2 you should be trying to dominate your opponents. If you are trying to dominate your teammates instead (by prioritizing better KDA) you are most likely ruining the game.
20.
by sesm 4mo ago
The new meaning of OCD
21.
by sesm 4mo ago
You won't ship a perfect product even if you make 0 mistakes. Software maintenance is adapting the product based on feedback from the outside world which you could never get during development.
22.
by sesm 4mo ago
Are you talking about dominating your peers to get a promotion?
23.
by sesm 4mo ago
Formatting should be handled by deterministic tools with formally specified rules like prettier. This should never be a part if code review.
24.
by sesm 5mo ago
People who have skill can do the same without LLMs, maybe slightly slower on average but on more predictable schedule.
25.
by sesm 5mo ago
Sure, LLMs are good at generating text that humans can interpret as educated guesses. But a list of educated guesses is not 'enumerating options', because informed decision requires a complete list of options in order to not miss
26.
by sesm 5mo ago
LLM didn't solve an Erdos problem, it generated a text that a human looked at, cleaned up, corrected and used as base for a solution. WRT logic, there a multiple occasions of LLMs answering incorrectly to trivial logic puzzles. Of cour
27.
by sesm 5mo ago
To make an exhaustive list of possible options you need to find key questions that divide solution space. This requires logic, which LLMs lack.
28.
by sesm 5mo ago
Venture capital bet on AI taking over the world, so any conservative usage of LLMs will not get funding in the near future. The subtle reason is that betting on conservative usage of LLMs sends a signal that de-values their primary investme
29.
by sesm 5mo ago
Nuclear is not renewable though, those isotopes were created when some past generation star collapsed as supernova.
30.
by sesm 6mo ago
Don't we already have "RLHF on synthetic data"?

More ›