You are talking about something that happened almost 20 years ago. The "company currently calling itself Google" is the Google of the past two decades, grandpa.
Literally every sentence dang has ever written on this site, that I've seen, is snarky. > Yes, in the sense that if there's nothing interesting to say about a quote then there's no reason to copy it into the thread.…
> snark and indignation These are preference-based but you're pretending they're objective. I find _your_ comments to be full of snark and indignation more than any you respond to, but of course you won't agree. (But…
The problem with this belief is that it implies that all of bigtech is massively overpaying for top talent who would happily stay on for pennies. While bigtech overpaying talent is more plausible than any other bigcorp…
[flagged]
It is no coincidence that countries which need it least can unban it. Deindustrialization activists will focus their efforts on countries where the ban matters.
Exactly; this is not the product of serious legal work.
Wait until you realize that MCPs are just the APIs that we've failed to write before, and skills are just the documentation and simple CLIs we've failed to write before
Indeed, given 60 Minutes' historically fraught relationship to the whole concept of "truth", it's hard to credit the whole story.
Failure to read the room might explain why the tourists persist in the questioning beyond politeness, but not why they embarked on the quest to interrogate the worker to begin with. My family does this and I can barely…
We've been daily-driving this model for a few weeks and let me tell you, everything it does is a lot. Fast as fuck and it's actually not bad intelligence-wise for a fast model. It basically tries to make up for any…
Wait until you realize that the difference between path and query string is entirely arbitrary and decided by the server. Query strings should never have existed. They are an implementation detail of CGI webservers that…
You're drawing an equivalence between the wrong pair of things. I'm not saying that term=program; I'm saying that the type checker, qua `term -> context -> decision`, bound to a particular term, is a program `context ->…
So you're telling me that cells use an attention system for DNA?
You have done no more to show an actual distinction in the approach than TFA and its linked blog post... It sounds like a naming thing to me. On one side we name the term/program as a term and see it as something…
To be fair, lean wastes and leaks memory like a sieve, but this is almost all in the frontend. It has nothing to do with the kernel or the theorem proving approach chosen.
Well... effect programming using vtables. I think this is an emerging paradigm, but it is very early yet so it's difficult to define precisely. My primary inspiration for the concept is theorem proving languages like…
No, I'm saying it is checked and then discarded. (Or at least, discarded by the kernel. Presumably it ends up somewhere in the frontend's tactic cache.) That matches perfectly the metaphor, "rubs out earlier parts of…
The author appears to have a serious misconception about Lean, which is surprising since he seems to be quite knowledgeable in the area. Specifically, the author seems to be under the impression that Lean retains proof…
Deceitful omission from TFA: the warning lights which the firefighter admits seeing override any tower authorization. Omitting this leaves a reader with several incorrect impressions: INCORRECT: The truck was cleared to…
Zig is just doing vtable-based effect programming. This is the way to go for far more than async, but it also needs aggressive compiler optimization to avoid actual runtime dispatch.
> a version of the Internet that is just intermittently and somewhat mysteriously broken. That's actually just how the Internet is. Nothing to do with the great firewall.
Yes, absolutely.
You have to throw the context away at that point. I've experienced the same thing and I found that even when I apparently talk Claude into the better version it will silently include as many aspects of the quick fix as…
I've been using pi.dev since December. The only significant change to the harness in that time which affects my usage is the availability of parallel tool calls. Yet Claude models have become unusable in the past month…
You are talking about something that happened almost 20 years ago. The "company currently calling itself Google" is the Google of the past two decades, grandpa.
Literally every sentence dang has ever written on this site, that I've seen, is snarky. > Yes, in the sense that if there's nothing interesting to say about a quote then there's no reason to copy it into the thread.…
> snark and indignation These are preference-based but you're pretending they're objective. I find _your_ comments to be full of snark and indignation more than any you respond to, but of course you won't agree. (But…
The problem with this belief is that it implies that all of bigtech is massively overpaying for top talent who would happily stay on for pennies. While bigtech overpaying talent is more plausible than any other bigcorp…
[flagged]
It is no coincidence that countries which need it least can unban it. Deindustrialization activists will focus their efforts on countries where the ban matters.
Exactly; this is not the product of serious legal work.
Wait until you realize that MCPs are just the APIs that we've failed to write before, and skills are just the documentation and simple CLIs we've failed to write before
Indeed, given 60 Minutes' historically fraught relationship to the whole concept of "truth", it's hard to credit the whole story.
Failure to read the room might explain why the tourists persist in the questioning beyond politeness, but not why they embarked on the quest to interrogate the worker to begin with. My family does this and I can barely…
We've been daily-driving this model for a few weeks and let me tell you, everything it does is a lot. Fast as fuck and it's actually not bad intelligence-wise for a fast model. It basically tries to make up for any…
Wait until you realize that the difference between path and query string is entirely arbitrary and decided by the server. Query strings should never have existed. They are an implementation detail of CGI webservers that…
You're drawing an equivalence between the wrong pair of things. I'm not saying that term=program; I'm saying that the type checker, qua `term -> context -> decision`, bound to a particular term, is a program `context ->…
So you're telling me that cells use an attention system for DNA?
You have done no more to show an actual distinction in the approach than TFA and its linked blog post... It sounds like a naming thing to me. On one side we name the term/program as a term and see it as something…
To be fair, lean wastes and leaks memory like a sieve, but this is almost all in the frontend. It has nothing to do with the kernel or the theorem proving approach chosen.
Well... effect programming using vtables. I think this is an emerging paradigm, but it is very early yet so it's difficult to define precisely. My primary inspiration for the concept is theorem proving languages like…
No, I'm saying it is checked and then discarded. (Or at least, discarded by the kernel. Presumably it ends up somewhere in the frontend's tactic cache.) That matches perfectly the metaphor, "rubs out earlier parts of…
The author appears to have a serious misconception about Lean, which is surprising since he seems to be quite knowledgeable in the area. Specifically, the author seems to be under the impression that Lean retains proof…
Deceitful omission from TFA: the warning lights which the firefighter admits seeing override any tower authorization. Omitting this leaves a reader with several incorrect impressions: INCORRECT: The truck was cleared to…
Zig is just doing vtable-based effect programming. This is the way to go for far more than async, but it also needs aggressive compiler optimization to avoid actual runtime dispatch.
> a version of the Internet that is just intermittently and somewhat mysteriously broken. That's actually just how the Internet is. Nothing to do with the great firewall.
Yes, absolutely.
You have to throw the context away at that point. I've experienced the same thing and I found that even when I apparently talk Claude into the better version it will silently include as many aspects of the quick fix as…
I've been using pi.dev since December. The only significant change to the harness in that time which affects my usage is the availability of parallel tool calls. Yet Claude models have become unusable in the past month…