Viewing profile — isaachier

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 …

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 c…

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 hypothesi…

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 fo…

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://gi…

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…

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 t…

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 hea…

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…

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 gener…

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 …

Shameless plug: why not use H3 ( https://github.com/uber/h3 )?