pcloadlett3r

5 ms·

1.
by pcloadlett3r 11d ago
A counterexample (at least the jacobian conjecture one) is a lot easier to manually verify than 10MB Lean proof
2.
by pcloadlett3r 3mo ago
As a Solr committer, this is heartwarming to see! I personally never used spring's solr data abstraction but I know there were folks that asked about it.
3.
by pcloadlett3r 6mo ago
Will the TLA+ spec Claude spits out do what the users actually desire? Will there be human oversight of the spec? If not, I don't see how it really helps if the future human machine interface is supposed to be loosey goosey natural lan
4.
by pcloadlett3r 7mo ago
In another part he says Filip restarted Claude many times so it seems they are aware of context polution and ways to avoid it (also why they kept telling Claude to write everything to a file). It could just be that Claude was caught betwe
5.
by pcloadlett3r 7mo ago
Do you really write like this in every single paragraph?
6.
by pcloadlett3r 7mo ago
Do you really write like this in every single paragraph?
7.
by pcloadlett3r 7mo ago
It's just so cliche. The dramatic transitions which introduce things that aren't as important as the transition itself. The flow is very AI, short dramatic responses to a previous question that's also not "groundbreaking
8.
by pcloadlett3r 7mo ago
You really couldn't tell? The overly dramatic transitions all over the place is such an obvious tell: > Here's the part that surprised me: Might as well have said "here's the kicker" and used emojis instead of bu
9.
by pcloadlett3r 7mo ago
I feel like maybe you spend too much time watching hypefluencers. AI tools are great but if they are already super intelligent why haven't you gotten a swarm of agents to build yourself a billion dollar SaaS? It's hard to separate
10.
by pcloadlett3r 7mo ago
Is it really shippable if it is strictly worse than the thing it copied. Do you know anyone who would use a vibe coded compiler that cant be modified without introducing regressions (as the researcher admitted)?
11.
by pcloadlett3r 7mo ago
Of course it's impressive. I am just pointing out that these experiments with the million line browser and now this c compiler seem to greatly extrapolate conclusions. The researchers claim they prove you can scale agents horizontally
12.
by pcloadlett3r 7mo ago
You are projecting and over-reacting. My response is measured against the insane hype this is getting beyond what was demonstrared. I never said ot wasn't impressive. I'm not hung up on anything. Clearly the project isn't sta
13.
by pcloadlett3r 7mo ago
> it's probably good enough to use, yea. Not for general purpose use, only for demo. > that reasonably working software of equivalent complexity is within reach for $20k to solve But if this can't come close to replacing GCC
14.
by pcloadlett3r 7mo ago
Is there really value being presented here? Is this codebase a stable enough base to continue developing this compiler or does it warrant a total rewrite? Honest question, it seems like the author mentioned it being at its limits. This mirr
15.
by pcloadlett3r 7mo ago
Copilot has access to the latest models like Opus 4.6 in agentic mode as well. It's got certain quirks and I prefer a TUI myself but it isn't radically different.
16.
by pcloadlett3r 9mo ago
How is the alerts functionality implemented?
17.
by pcloadlett3r 1y ago
100000nd* birthday
18.
by pcloadlett3r 2y ago
> If the private market doesn't want bonds, the central bank can purchase them. That's not inflationary. Central bank buying bonds and increasing money supply absolutely is inflationary. That is precisely how FOMOs work, with