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…
I imagine this is about tgmath.h. I've found the use of the word generic a bit misleading there.
OK I see your point. Worst case scenario, you force the caller to pass a destructor as an additional argument (e.g. ArrayList(T, fn(*T))) C++11 allows for this in the smart pointer classes.
Having used Zig a bit, and C++ for years, I personally believe that this sort of scenario is pretty rare. You can always add a no-op dealloc method to your type if you want a generic function to handle it correctly.…
I usually agree, but at least Zig has something new to bring to the table (allocation safety).
I used to be a bit interested in astrophysics, so I can't vouch 100% for this being accurate, but it's my understanding: The universe isn't the penny, it's the balloon. Physicists believe we are living on the surface of…
Shameless plug: why not use H3 (https://github.com/uber/h3)?
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…
I imagine this is about tgmath.h. I've found the use of the word generic a bit misleading there.
OK I see your point. Worst case scenario, you force the caller to pass a destructor as an additional argument (e.g. ArrayList(T, fn(*T))) C++11 allows for this in the smart pointer classes.
Having used Zig a bit, and C++ for years, I personally believe that this sort of scenario is pretty rare. You can always add a no-op dealloc method to your type if you want a generic function to handle it correctly.…
I usually agree, but at least Zig has something new to bring to the table (allocation safety).
I used to be a bit interested in astrophysics, so I can't vouch 100% for this being accurate, but it's my understanding: The universe isn't the penny, it's the balloon. Physicists believe we are living on the surface of…
Shameless plug: why not use H3 (https://github.com/uber/h3)?