reinitctxoffset

10 ms·

151.
by reinitctxoffset 4mo ago
No we're pre-alpha, I guess most people would call it stealth but it's more like, not quite done and we don't want to waste people's time because our entire thesis is around correct outcomes in AI systems at a level that
152.
by reinitctxoffset 4mo ago
This is all pre-release but a few highlights: - `continuity` is a `lean4` metaprogramming system that we use all kinds of ways but the real meat is it allows formal specification of codecs and state machines in ways that make security and p
153.
by reinitctxoffset 4mo ago
I caught the religion on using types in conjunction with LLMs about eighteen months ago, but I only really got serious about `lean4` like six to eight months ago and now I wouldn't even consider using AI assist in software work with a
154.
by reinitctxoffset 4mo ago
If you're not aware, in addition to being generally frowned upon on HN because it's zero-signal snark, the no doubt satisfying BU diss is also such a meme about socially awkward teenagers that it's a bit in a hit movie: http
155.
by reinitctxoffset 4mo ago
I wrote a 542 token rebuttal to his argument that you originally replied to, but to zoom in on that particular nub of a much more complicated picture: No serious person acting in good faith disputes that new methods of wealth creation have
156.
by reinitctxoffset 4mo ago
My copy of Hackers and Painters is the first printing, I'm extremely versed in the last twenty years of pg's writing and public speech, and the glowing arc of that thought over that time . Early pg wrote about Lisp and engineers
157.
by reinitctxoffset 4mo ago
There's an older tradition of thought on the matter with better intellectual pedigree and epistemological hygiene: "Behind every great fortune lies a great crime." The easiest way to earn a million dollars is to start a busin
158.
by reinitctxoffset 4mo ago
Organic chemistry seems like a discipline better done by chemists than forward deployed staff with their payoff function sharply truncated at an IPO which at this point may or may not happen on schedule.
159.
by reinitctxoffset 4mo ago
The sibling commenters are correct but I will add with the benefit of being an old guy that this ebbs and flows. GP said "I have never seen tech be less about engineering", and I agree. But it can't get much less about engi
160.
by reinitctxoffset 4mo ago
I read this a lot and it is just very foreign to me. I use AI systems in software work all day seven days a week and my job has become simultaneously more interesting and more difficult because I scale the ambition up until it's hard a
161.
by reinitctxoffset 4mo ago
In every regime where we have meaningful longitudinal data about the long run outcomes of introducing technology that is superhuman at some or all of a human's job, the combination of the machine and an expert human outperforms either