My company's site has also been getting hammered by Brazilian IPs. They're focused on a single filterable table of fewer than 100 rows, querying it with various filter combinations every second of every minute of every…
You can't redefine functions in PHP.
I also have this issue. What I do is work in a separate branch and cherry pick commits over to main then rebase. I bet that what you describe could be implemented with stashes and scripts run on hooks, but that feels…
You can take the SAT as many times as you want and only submit your best score, so the pressure isn't the same.
What statements about properties of randomly generated code snippets would be useful for coding LLMs? You would need to generate text explaining what each snippet does, but that would require an existing coding LLM, so…
>In order for an AI to evaluate the effect of a small molecule on the brain, it would have to... simulate the operation of a human brain in a simulated environment. Humans aren't capable of doing this, but still make…
So long as you consider "empty strings" to be "strings" in the first place. String of what? It's like saying you have an "empty cup of water".
What's not mentioned in the comment you're replying to is the postgraduate-level type theory you need to learn and constantly refine to work with these languages at a practical level. So be aware that even if you put…
Chronic post-vasectomy pain syndrome negatively impacts quality of life in 1-2% of cases. Even a small chance of chronic pain should be weighed carefully against the benefits and alternatives.
The Collatz conjecture is undecidable, so no Turing machine like you describe exists.
The person you responded to accounts for uncurved classes in their argument, that cheaters in uncurved classes "inject false signal into the difficulty feedback loop". If the average assignment grades are very high the…
[dead]
> Lean to me is not only obscure but unapproachable by someone from a non-mathematical background. ... If we want to democratise formal methods and theorem proving ... For whom is that a goal? Are there really that many…
No, you just type \N. You can also use `nat` instead if you prefer.
It shouldn't be much work to verify that the file is just a set of floats.
Well some calls absolutely should invoke network or disk activity, so you would additionally need to define what constitutes good and bad activity for each. Moreover unless the package is a collection of pure functions…
A lot of government agencies maintain social media presences. The White House has a Twitter account, for example. So there are presumably federal employees with Twitter installed on their work phones for the purpose of…
It's not short-sighted IMO. Most people don't care about privacy, and an even smaller amount care enough to switch to and learn to use Unix. Moreover, Microsoft and Apple can do essentially anything they want to. They…
> There is not a understood natural phenomenon which we could not capture in math. You are saying "If we know how something works, we can explain how it works using math." But we know almost nothing about how the brain…
> The halting problem can be solved for many problems from trivial to complicated. The halting problem by definition takes an arbitrary program and input. Restrict either parameter and it is no longer "the halting…
These image-from-prompt generators are themselves just a particular type of generative art. I think it's obvious that the output of these AIs can be considered art. There is human input at multiple levels - the code,…
My company's site has also been getting hammered by Brazilian IPs. They're focused on a single filterable table of fewer than 100 rows, querying it with various filter combinations every second of every minute of every…
You can't redefine functions in PHP.
I also have this issue. What I do is work in a separate branch and cherry pick commits over to main then rebase. I bet that what you describe could be implemented with stashes and scripts run on hooks, but that feels…
You can take the SAT as many times as you want and only submit your best score, so the pressure isn't the same.
What statements about properties of randomly generated code snippets would be useful for coding LLMs? You would need to generate text explaining what each snippet does, but that would require an existing coding LLM, so…
>In order for an AI to evaluate the effect of a small molecule on the brain, it would have to... simulate the operation of a human brain in a simulated environment. Humans aren't capable of doing this, but still make…
So long as you consider "empty strings" to be "strings" in the first place. String of what? It's like saying you have an "empty cup of water".
What's not mentioned in the comment you're replying to is the postgraduate-level type theory you need to learn and constantly refine to work with these languages at a practical level. So be aware that even if you put…
Chronic post-vasectomy pain syndrome negatively impacts quality of life in 1-2% of cases. Even a small chance of chronic pain should be weighed carefully against the benefits and alternatives.
The Collatz conjecture is undecidable, so no Turing machine like you describe exists.
The person you responded to accounts for uncurved classes in their argument, that cheaters in uncurved classes "inject false signal into the difficulty feedback loop". If the average assignment grades are very high the…
[dead]
[dead]
[dead]
> Lean to me is not only obscure but unapproachable by someone from a non-mathematical background. ... If we want to democratise formal methods and theorem proving ... For whom is that a goal? Are there really that many…
No, you just type \N. You can also use `nat` instead if you prefer.
[dead]
It shouldn't be much work to verify that the file is just a set of floats.
Well some calls absolutely should invoke network or disk activity, so you would additionally need to define what constitutes good and bad activity for each. Moreover unless the package is a collection of pure functions…
A lot of government agencies maintain social media presences. The White House has a Twitter account, for example. So there are presumably federal employees with Twitter installed on their work phones for the purpose of…
It's not short-sighted IMO. Most people don't care about privacy, and an even smaller amount care enough to switch to and learn to use Unix. Moreover, Microsoft and Apple can do essentially anything they want to. They…
> There is not a understood natural phenomenon which we could not capture in math. You are saying "If we know how something works, we can explain how it works using math." But we know almost nothing about how the brain…
> The halting problem can be solved for many problems from trivial to complicated. The halting problem by definition takes an arbitrary program and input. Restrict either parameter and it is no longer "the halting…
These image-from-prompt generators are themselves just a particular type of generative art. I think it's obvious that the output of these AIs can be considered art. There is human input at multiple levels - the code,…