Bureaucracy gives you leverage against slop. Review seriously, but limit the time that you spend. This will stall the slop. When the culprit complains, tell your boss "I spend X hours per week on reviews. If you need…
> For that kind of implementation, ... This is the key point, what is the meaning of "zero knowledge" here? It seems that you need to know something about the implementation, even if it is not the full implementation.…
The list of tools that Pythonheads present as a definite solution to their problems changes every year, yet the results are still far behind Rust/Scala/Kotlin/C#.
The "fix everything" button is abolishing zoning laws, and its aggregate cost is negative. Aggregate cost is not the issue preventing problems from being solved.
Mojo is NOT Python compatible (although they initially wanted it to be). So they got all downsides without the upsides.
How is it possible to provide a zero knowledge proof that their circuit works for large problem instances if there is no efficient way to run or simulate the circuit with the required instance size?
"I believe that almost anything that has been formalised today in any system could have been formalised in AUTOMATH. Its main drawbacks were its notation, which really was horrible, and its complete lack of automation.…
There are videos on the internet of drones being shot down with an assault rifle out of a 50 year old training plane, 1914 style.
Americans are very comfortable with eminent domain, as long as it is applied to brown people.
1. Java is mentioned in their comparison table. They just don't use it much. 2. There is really no reason to include Java in the search for your preferred language, since Kotlin is strictly better along every relevant…
I recommend to block the Linkedin feed with uBlock.
> how many people here have actually worked at an early stage startup in a lead role Obviously very few, because these roles are impossible to get into. What else did you expect?
Your link is _not_ about a country that _actually_ imposed a sugar tax.
Counting warnings is a poor practice, because you don't see where warnings exist or are added or removed while reading or writing code. Suppression annotations in code next to where the problem occurs are more explicit,…
That's right, much of the market is negative sum.
Wealth tax is the best type of tax, because it incentivizes productive activities against speculation. It should be levied on a continuous basis rather than on transaction basis though, which is just basic numerical…
There is no "Navier-Stokes theorem". There is a famous class of open problems whether Navier-Stokes equations are well-posed (have solutions that don't explode in finite time) for various initial data, but that type of…
1. The article states "In 2023, the UK produced no commercial ships at all." It does not consider military ship building, which still exists in the UK. 2. Given the scale of problems described in the article, it is…
I don't know about CS, but in mathematics the vast majority of researchers would not have enough funding to pay for a good quality full review of their articles. The peer review system mostly runs on good will.
You cannot "point" JSpecify to anything. It is a standard like PEP 484, but much smaller, because everything else is already part of the language standard.
I believe that LLMs are detrimental to government efficiency, because they distract from solving the underlying problems (such as porkishly complex laws or a lack of unique identifiers).
You don't recognize the objective bad because you've never lived in a place that does it better (NL, DK).
Bullshitting generally gets people farther than anything else.
NSA does probably want it, and did probably standardized at least one such scheme in the past: Dual_EC_DRBG.
You have no clue about the collapse of the USSR. Its economy was crippled by monopolies and absurd subsidies, not by equality.
Bureaucracy gives you leverage against slop. Review seriously, but limit the time that you spend. This will stall the slop. When the culprit complains, tell your boss "I spend X hours per week on reviews. If you need…
> For that kind of implementation, ... This is the key point, what is the meaning of "zero knowledge" here? It seems that you need to know something about the implementation, even if it is not the full implementation.…
The list of tools that Pythonheads present as a definite solution to their problems changes every year, yet the results are still far behind Rust/Scala/Kotlin/C#.
The "fix everything" button is abolishing zoning laws, and its aggregate cost is negative. Aggregate cost is not the issue preventing problems from being solved.
Mojo is NOT Python compatible (although they initially wanted it to be). So they got all downsides without the upsides.
How is it possible to provide a zero knowledge proof that their circuit works for large problem instances if there is no efficient way to run or simulate the circuit with the required instance size?
"I believe that almost anything that has been formalised today in any system could have been formalised in AUTOMATH. Its main drawbacks were its notation, which really was horrible, and its complete lack of automation.…
There are videos on the internet of drones being shot down with an assault rifle out of a 50 year old training plane, 1914 style.
Americans are very comfortable with eminent domain, as long as it is applied to brown people.
1. Java is mentioned in their comparison table. They just don't use it much. 2. There is really no reason to include Java in the search for your preferred language, since Kotlin is strictly better along every relevant…
I recommend to block the Linkedin feed with uBlock.
> how many people here have actually worked at an early stage startup in a lead role Obviously very few, because these roles are impossible to get into. What else did you expect?
Your link is _not_ about a country that _actually_ imposed a sugar tax.
Counting warnings is a poor practice, because you don't see where warnings exist or are added or removed while reading or writing code. Suppression annotations in code next to where the problem occurs are more explicit,…
That's right, much of the market is negative sum.
Wealth tax is the best type of tax, because it incentivizes productive activities against speculation. It should be levied on a continuous basis rather than on transaction basis though, which is just basic numerical…
There is no "Navier-Stokes theorem". There is a famous class of open problems whether Navier-Stokes equations are well-posed (have solutions that don't explode in finite time) for various initial data, but that type of…
1. The article states "In 2023, the UK produced no commercial ships at all." It does not consider military ship building, which still exists in the UK. 2. Given the scale of problems described in the article, it is…
I don't know about CS, but in mathematics the vast majority of researchers would not have enough funding to pay for a good quality full review of their articles. The peer review system mostly runs on good will.
You cannot "point" JSpecify to anything. It is a standard like PEP 484, but much smaller, because everything else is already part of the language standard.
I believe that LLMs are detrimental to government efficiency, because they distract from solving the underlying problems (such as porkishly complex laws or a lack of unique identifiers).
You don't recognize the objective bad because you've never lived in a place that does it better (NL, DK).
Bullshitting generally gets people farther than anything else.
NSA does probably want it, and did probably standardized at least one such scheme in the past: Dual_EC_DRBG.
You have no clue about the collapse of the USSR. Its economy was crippled by monopolies and absurd subsidies, not by equality.