isaachier

7 ms·

1.
by isaachier 6y ago
It doesn't. But trying to convince them to abandon Christian literalism would require an alternative that satisfies this need for purpose.
2.
by isaachier 6y ago
A simple way is to use output files to indicate if a command has been run. Example: git-setup.out: touch $@
3.
by isaachier 6y ago
For Hebrew, you can try using some of the data here: https://github.com/Sefaria/Sefaria-Export .
4.
by isaachier 6y ago
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 computability should be t
5.
by isaachier 6y ago
Sounds like monopsychism ( https://en.wikipedia.org/wiki/Monopsychism ).
6.
by isaachier 6y ago
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 messages overwriting each o
7.
by isaachier 6y ago
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... .
8.
by isaachier 7y ago
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 Wikipedia articl
9.
by isaachier 7y ago
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 wasn't good enough
10.
by isaachier 7y ago
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.
11.
by isaachier 8y ago
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
12.
by isaachier 8y ago
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 example, conditi
13.
by isaachier 8y ago
Never mind, missed your point about not being parallel.
14.
by isaachier 8y ago
Your tool looks nice, but it doesn't seem to parallelize the work in any way.
15.
by isaachier 8y ago
Google style guide has me sort of leaning to always using ++i: https://google.github.io/styleguide/cppguide.html#Preincreme...
16.
by isaachier 8y ago
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.
17.
by isaachier 8y ago
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 .
18.
by isaachier 8y ago
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 they are really the
19.
by isaachier 8y ago
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 the first tr
20.
by isaachier 8y ago
I imagine this is about tgmath.h. I've found the use of the word generic a bit misleading there.
21.
by isaachier 8y ago
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.
22.
by isaachier 8y ago
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. Moreover, Zig has awesom
23.
by isaachier 8y ago
I usually agree, but at least Zig has something new to bring to the table (allocation safety).
24.
by isaachier 8y ago
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
25.
by isaachier 8y ago
Shameless plug: why not use H3 ( https://github.com/uber/h3 )?
26.
by isaachier 8y ago
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, allowing renderin
27.
by isaachier 8y ago
My guess of how this evolved: LMDB => LemonDB.
28.
by isaachier 8y ago
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))`.
29.
by isaachier 8y ago
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/sanit
30.
by isaachier 8y ago
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.

More ›