Kind of weird how LoC has become a metric for people to chase again.
I don't think you can describe his beliefs using booleans like that: you have to use a numeric scale. It would be be correct to say: Elon would need a hell of a lot of ketamine to believe a colony on mars is a…
Alternatively you may want to be a passive investor using the current rules for index inclusion, rather than having them altered to favor this loss-making trashcan on fire.
> The world seems to be fragmenting, into those that see the value in the latest from Google, and those that resist changes like this. This reads as a strongly closed minded claim that has been "whitewashed into…
That is the ugliest Ferrari I've ever seen.
kind of wild that you think there has been no shift in culture between 1970 and 2020
with a mastercard from a swedish bank that is the experience that i get. all online transactions pop up a page from my back with qr code, this is authenticated through an app that shows me the transaction details and…
Dead code elimination is run multiple times, including after other optimizations. So code that is not initially dead may become dead after propagating other information. Converting dead code into an error condition…
Nobody said one rack. Your entire rant is misguided. He analyzed what it would take to put one rack on one starlink like package in order to build a constellation.
Later in the video he runs through the changes needed for 100kw per rack.
The details might bury his point rather than illustrate it. The driving theme throughout seems to be that a tool tuned for correct syntax, with deep understanding of semantics will look like a Dunning-Kruger machine.…
feels like this comment could be shorter
Take it gently, the poor thing doesn't understand the difference between code and talking about code.
In addition both have a property similar to dispersion. In crypto each change to an input bit should cascade through as many output bits as possible. In ML each output bit should depend on as much of the input bits (and…
> rollout will be incremental and it will self monitor by defining success conditions at rollout time. This sounds a lot like allowing an LLM to define tests as well as implementation, and allowing the LLM to update the…
and then we start to embed comments // concatenate pairs of parameters, e.g. x and y become xy // the pairing of open and claw is vital to understanding the function
"in a wild or unsupervised state" seems like a particularly apt description of children. it does not seem to be derogatory: language really should be evocative as often as literal.
There are standard convex assumptions to handle incompleteness, decidability etc, i.e. the results are an over-approximation that terminates. Picking a approximation that is precise enough in the properties that you…
The article describes fuzzing the library, this execution requires a program to be compiled. Typically fuzzing involves a minimal harness around the payload (a single call into the library in this case). There is…
What is the program? There are two different answers to this question, and which one is "correct" depends entirely on the context of who is asking it. 1. It's the code that is specific to this program that sits above…
But is fair to state that the verification was *incomplete*, which is what the article does.
I would use this tool. Ship it
It's the old broken. Clearly it must be replaced with the new hotness.
Cybertrucks. Electric semis. Full self driving. Battery city. I'll leave up to the reader to put them on the appropriate list.
I've watched Patrick's videos for enough years that I know he is not, but I still wonder from time to time. His voice is incredibly flat and uniform, he always uses fake backgrounds and there is extremely high use of…
Kind of weird how LoC has become a metric for people to chase again.
I don't think you can describe his beliefs using booleans like that: you have to use a numeric scale. It would be be correct to say: Elon would need a hell of a lot of ketamine to believe a colony on mars is a…
Alternatively you may want to be a passive investor using the current rules for index inclusion, rather than having them altered to favor this loss-making trashcan on fire.
> The world seems to be fragmenting, into those that see the value in the latest from Google, and those that resist changes like this. This reads as a strongly closed minded claim that has been "whitewashed into…
That is the ugliest Ferrari I've ever seen.
kind of wild that you think there has been no shift in culture between 1970 and 2020
with a mastercard from a swedish bank that is the experience that i get. all online transactions pop up a page from my back with qr code, this is authenticated through an app that shows me the transaction details and…
Dead code elimination is run multiple times, including after other optimizations. So code that is not initially dead may become dead after propagating other information. Converting dead code into an error condition…
Nobody said one rack. Your entire rant is misguided. He analyzed what it would take to put one rack on one starlink like package in order to build a constellation.
Later in the video he runs through the changes needed for 100kw per rack.
The details might bury his point rather than illustrate it. The driving theme throughout seems to be that a tool tuned for correct syntax, with deep understanding of semantics will look like a Dunning-Kruger machine.…
feels like this comment could be shorter
Take it gently, the poor thing doesn't understand the difference between code and talking about code.
In addition both have a property similar to dispersion. In crypto each change to an input bit should cascade through as many output bits as possible. In ML each output bit should depend on as much of the input bits (and…
> rollout will be incremental and it will self monitor by defining success conditions at rollout time. This sounds a lot like allowing an LLM to define tests as well as implementation, and allowing the LLM to update the…
and then we start to embed comments // concatenate pairs of parameters, e.g. x and y become xy // the pairing of open and claw is vital to understanding the function
"in a wild or unsupervised state" seems like a particularly apt description of children. it does not seem to be derogatory: language really should be evocative as often as literal.
There are standard convex assumptions to handle incompleteness, decidability etc, i.e. the results are an over-approximation that terminates. Picking a approximation that is precise enough in the properties that you…
The article describes fuzzing the library, this execution requires a program to be compiled. Typically fuzzing involves a minimal harness around the payload (a single call into the library in this case). There is…
What is the program? There are two different answers to this question, and which one is "correct" depends entirely on the context of who is asking it. 1. It's the code that is specific to this program that sits above…
But is fair to state that the verification was *incomplete*, which is what the article does.
I would use this tool. Ship it
It's the old broken. Clearly it must be replaced with the new hotness.
Cybertrucks. Electric semis. Full self driving. Battery city. I'll leave up to the reader to put them on the appropriate list.
I've watched Patrick's videos for enough years that I know he is not, but I still wonder from time to time. His voice is incredibly flat and uniform, he always uses fake backgrounds and there is extremely high use of…