It doesn't. But trying to convince them to abandon Christian literalism would require an alternative that satisfies this need for purpose.
A simple way is to use output files to indicate if a command has been run. Example: git-setup.out: touch $@
For Hebrew, you can try using some of the data here: https://github.com/Sefaria/Sefaria-Export.
Usually the combination of names for the theory means that researchers recognize both versions as largely equivalent (e.g. Newton-Leibnitz axiom). The contention that the combined theories must be the definition of…
Sounds like monopsychism (https://en.wikipedia.org/wiki/Monopsychism).
What you are describing sounds like non-deterministic behavior of a thread-safe primitive, e.g. non-deterministic ordering in a synchronized queue. On the other hand, a true race condition in the queue could mean…
From what I gather, it's an issue of floating point precision. See more here: https://medium.com/@bellmar/is-cobol-holding-you-hostage-wit....
Having recently listened to John McWhorter's lectures on the history of human language, I was surprised to find out that there is no reliable evidence for the Sapir-Whorf hypothesis (that language affects thought). The…
The Pragmatic Programmer is pretty zealous about DRY. For instance, the authors describe how they inserted sample code snippets into the book using specialized scripts developed for that purpose. A simple copy paste…
Having worked there, I believe the answer is yes, assuming you aren't living in a country that has an economic sanction against it, etc.
When you say non-language, do you mean unrelated to OCaml specifically or any language? Facebook implemented its infer linter for C, C++, Java, and Objective-C in OCaml: https://github.com/facebook/infer. When I worked…
Here's an example of the distinct nature of Smalltalk's message passing: Control structures Control structures do not have special syntax in Smalltalk. They are instead implemented as messages sent to objects. For…
Never mind, missed your point about not being parallel.
Your tool looks nice, but it doesn't seem to parallelize the work in any way.
Google style guide has me sort of leaning to always using ++i: https://google.github.io/styleguide/cppguide.html#Preincreme...
Once you do that, you more or less recreate C++. IMO C vs. C++ is fundamentally an issue of RAII and arguably templates. This proposal would add RAII to C.
LMDB is a storage engine whereas SQLite is a small database. There is even a version of SQLite that used LMDB as the underlying storage engine: https://github.com/LMDB/sqlightning.
Google started the trend of LSM with its release of leveldb. But leveldb hasn't been updated in a long time. Facebook forked leveldb and renamed it to rocksdb. Those are the only two LSM databases I know of, and IMO…
I just don't understand how this is possible. The only way to implement Dijkstra's algorithm in less than O(|V|^2) time is using a min-heap. In practice it might be rare to use heaps over ordered sets but it is one of…
Shameless plug: why not use H3 (https://github.com/uber/h3)?
I work on Jaeger at Uber. In short, OC is not a standard, OT is a standard. It's like asking what is the difference between HTML5 and a web browser. HTML5 is a standard for developers to use when developing web pages,…
My guess of how this evolved: LMDB => LemonDB.
I am not referring to the lack of null check. Just the fact that it uses `malloc(sizeof(*x))` instead of using `malloc(sizeof(Type))`.
I understand the question, but as @AndyKelley taught me (https://github.com/ziglang/zig/pull/993#commitcomment-289183...), it is actually worse to zero a value unnecessarily if you can use Valgrind/sanitizers to check…
To be fair, the way malloc is used is actually the preferred way. If you change the type of the pointer variable, the malloc is still valid.
It doesn't. But trying to convince them to abandon Christian literalism would require an alternative that satisfies this need for purpose.
A simple way is to use output files to indicate if a command has been run. Example: git-setup.out: touch $@
For Hebrew, you can try using some of the data here: https://github.com/Sefaria/Sefaria-Export.
Usually the combination of names for the theory means that researchers recognize both versions as largely equivalent (e.g. Newton-Leibnitz axiom). The contention that the combined theories must be the definition of…
Sounds like monopsychism (https://en.wikipedia.org/wiki/Monopsychism).
What you are describing sounds like non-deterministic behavior of a thread-safe primitive, e.g. non-deterministic ordering in a synchronized queue. On the other hand, a true race condition in the queue could mean…
From what I gather, it's an issue of floating point precision. See more here: https://medium.com/@bellmar/is-cobol-holding-you-hostage-wit....
Having recently listened to John McWhorter's lectures on the history of human language, I was surprised to find out that there is no reliable evidence for the Sapir-Whorf hypothesis (that language affects thought). The…
The Pragmatic Programmer is pretty zealous about DRY. For instance, the authors describe how they inserted sample code snippets into the book using specialized scripts developed for that purpose. A simple copy paste…
Having worked there, I believe the answer is yes, assuming you aren't living in a country that has an economic sanction against it, etc.
When you say non-language, do you mean unrelated to OCaml specifically or any language? Facebook implemented its infer linter for C, C++, Java, and Objective-C in OCaml: https://github.com/facebook/infer. When I worked…
Here's an example of the distinct nature of Smalltalk's message passing: Control structures Control structures do not have special syntax in Smalltalk. They are instead implemented as messages sent to objects. For…
Never mind, missed your point about not being parallel.
Your tool looks nice, but it doesn't seem to parallelize the work in any way.
Google style guide has me sort of leaning to always using ++i: https://google.github.io/styleguide/cppguide.html#Preincreme...
Once you do that, you more or less recreate C++. IMO C vs. C++ is fundamentally an issue of RAII and arguably templates. This proposal would add RAII to C.
LMDB is a storage engine whereas SQLite is a small database. There is even a version of SQLite that used LMDB as the underlying storage engine: https://github.com/LMDB/sqlightning.
Google started the trend of LSM with its release of leveldb. But leveldb hasn't been updated in a long time. Facebook forked leveldb and renamed it to rocksdb. Those are the only two LSM databases I know of, and IMO…
I just don't understand how this is possible. The only way to implement Dijkstra's algorithm in less than O(|V|^2) time is using a min-heap. In practice it might be rare to use heaps over ordered sets but it is one of…
Shameless plug: why not use H3 (https://github.com/uber/h3)?
I work on Jaeger at Uber. In short, OC is not a standard, OT is a standard. It's like asking what is the difference between HTML5 and a web browser. HTML5 is a standard for developers to use when developing web pages,…
My guess of how this evolved: LMDB => LemonDB.
I am not referring to the lack of null check. Just the fact that it uses `malloc(sizeof(*x))` instead of using `malloc(sizeof(Type))`.
I understand the question, but as @AndyKelley taught me (https://github.com/ziglang/zig/pull/993#commitcomment-289183...), it is actually worse to zero a value unnecessarily if you can use Valgrind/sanitizers to check…
To be fair, the way malloc is used is actually the preferred way. If you change the type of the pointer variable, the malloc is still valid.