> Why do you think it's impossible to regulate? There are three reasons: - once it's widespread - it's a standard (targeted ads, cookie tracking, SEO) - we'd need a lot of infrastructure to track all the data recorded,…
> Actually I don't think that's true, consider manufacturing robots. We're long way from making fully AI-driven robots. But much closer to other uses. Our current world is very data-centric: companies have been…
> Is any of this currently being done, however? Companies aren't obligated to disclose the training process. So, we can't tell. Until, in the matter of months, it is available, accessible and almost impossible to…
Not sure what you mean by modal keyboard, but there is fully customizable row of keys in termux. I disabled it, because I use special android keyboard app[0] with a custom layout made from scratch[1]: all common…
Nim's default json library is terrible in performance, but there're much faster drop-in replacements like jsony[1]. I'm not sure that's the main issue for low rank, but it's definitely one of them. 1.…
Your programs could benefit from small dependency-free executables and compile time code generation and execution. Nim code can also be called directly from python or vice versa, check out nimpy[1]. 1.…
1. Nim uses 'var' modifier to pass by reference, e.g. "proc (n: var int)...", default behaviour is pass by value. And there're also raw pointers and references (safe pointers). >is a no-gc mode available? You can…
for i in $(objdump -p /path/to/bin | grep NEEDED | awk '{print $2}'); do ldconfig -p | awk -v var="$i" '$1==var{print $0}'; done edit: even simpler, for i in $(objdump -p /path/to/bin | grep NEEDED | awk '{print $2}');…
Now I'm wondering: if there were two monkeys hitting random keys on a keyboard for an infinite amount of time, one in the gpt-4 prompt and another straight typing 0s and 1s who would produce Doom code faster?
> To view this this content, you'll need to update your privacy settings. What a joke is this site? Ever heard of screenshots? Why does text-based content have to be embedded anyway? Ok, it is hard to press couple…
Or, more likely, wait until adblock developers figure out how to circumvent adblock detection. In the mean time you could probably switch your VPN country to Russia, as there's literally zero advertisements right now…
I believe, Nim also has this functionality, although, it uses the [0]Z3Prover tool with a nim frontend [1]DrNim for proving. [0]https://github.com/Z3Prover/z3 [1]https://nim-lang.github.io/Nim/drnim.html
> Why do you think it's impossible to regulate? There are three reasons: - once it's widespread - it's a standard (targeted ads, cookie tracking, SEO) - we'd need a lot of infrastructure to track all the data recorded,…
> Actually I don't think that's true, consider manufacturing robots. We're long way from making fully AI-driven robots. But much closer to other uses. Our current world is very data-centric: companies have been…
> Is any of this currently being done, however? Companies aren't obligated to disclose the training process. So, we can't tell. Until, in the matter of months, it is available, accessible and almost impossible to…
Not sure what you mean by modal keyboard, but there is fully customizable row of keys in termux. I disabled it, because I use special android keyboard app[0] with a custom layout made from scratch[1]: all common…
Nim's default json library is terrible in performance, but there're much faster drop-in replacements like jsony[1]. I'm not sure that's the main issue for low rank, but it's definitely one of them. 1.…
Your programs could benefit from small dependency-free executables and compile time code generation and execution. Nim code can also be called directly from python or vice versa, check out nimpy[1]. 1.…
1. Nim uses 'var' modifier to pass by reference, e.g. "proc (n: var int)...", default behaviour is pass by value. And there're also raw pointers and references (safe pointers). >is a no-gc mode available? You can…
for i in $(objdump -p /path/to/bin | grep NEEDED | awk '{print $2}'); do ldconfig -p | awk -v var="$i" '$1==var{print $0}'; done edit: even simpler, for i in $(objdump -p /path/to/bin | grep NEEDED | awk '{print $2}');…
Now I'm wondering: if there were two monkeys hitting random keys on a keyboard for an infinite amount of time, one in the gpt-4 prompt and another straight typing 0s and 1s who would produce Doom code faster?
> To view this this content, you'll need to update your privacy settings. What a joke is this site? Ever heard of screenshots? Why does text-based content have to be embedded anyway? Ok, it is hard to press couple…
Or, more likely, wait until adblock developers figure out how to circumvent adblock detection. In the mean time you could probably switch your VPN country to Russia, as there's literally zero advertisements right now…
I believe, Nim also has this functionality, although, it uses the [0]Z3Prover tool with a nim frontend [1]DrNim for proving. [0]https://github.com/Z3Prover/z3 [1]https://nim-lang.github.io/Nim/drnim.html