henrydark

10 ms·

61.
by henrydark 4y ago
the original paper by David Harel has a marvelous long example of his own digital watch, highly recommended
62.
by henrydark 4y ago
Isn't cliv2 written in go, and also pretty slow?
63.
by henrydark 4y ago
I love this comment because I only read the above, started thinking about how I would do it, then was like "ah! I'll reply...", and then saw it and changed course
64.
by henrydark 4y ago
Something I've never understood is what to do when the units of work are known up front (like, I have to process these 1000 items with 4 stages), but the stages include network requests. So instead of having a fixed setpoint like 0 in
65.
by henrydark 4y ago
Is this possible for all countries? Surely the lowest gdp (maybe per capita) country in the world that has pension funds should be eligible to invest these funds outside of the country. A priori, without knowing anything about world economi
66.
by henrydark 4y ago
One of my favorite "debuggers" is OllyDbg. I will never forget the first time I changed a few lines of assembly of a running game (starsiege tribes, around 2005), and then I saw friend-or-foe indicators through walls. That kind of
67.
by henrydark 4y ago
Interesting, do you think Lamport doesn't think of himself also as a mathematician? How about Knuth?
68.
by henrydark 4y ago
Many countries use them the opposite of what you're probably used to, and it's hard to keep this in check when writing in a foreign language (in the author's case English). This isn't worrisome at all.
69.
by henrydark 4y ago
Two years ago I had to create a quarterly schedule for a team of four, and about 20 tasks with dependencies. I had just read a piece about using SAT solvers for designing keys and locks that was on HN, and decided to model my problem as a S
70.
by henrydark 4y ago
Strictly speaking, hosting like github isn't the only way, an alternative being some peer to peer network like torrents
71.
by henrydark 4y ago
Unrelated, what if acronyms only contained adjectives and adverbs, and not nouns and verbs? I think we always eventually converge from something like "HIT" to "HIT training". Question for linguists
72.
by henrydark 4y ago
super cool. How many cores you got? Arrow has one thread serially chunking the data, and uses the rest of the cores to process the chunks in parallel. On large machines (and files, with fast io) the chunking becomes the bottleneck. Is this
73.
by henrydark 4y ago
Better than the apache arrow c++ implementation that's in pyarrow?
74.
by henrydark 4y ago
I'm not an expert, I don't know how the community would treat such enums. I think the bottom line is if you can't fail to shuffle the cards, whether through an interesting enums and matching mechanism or through some other pa
75.
by henrydark 4y ago
In my experience it's not at all how everyone codes, or even almost anyone, in statically typed languages. Here's an example to elucidate a (potential) difference between the common and the commitment to types: You're coding
76.
by henrydark 4y ago
Actually he did use set theory, but there wasn't enough space in the margins
77.
by henrydark 4y ago
It's interesting to note that the creator of C and his well known friend also created m4 in the 70's, and it's very similar to "string interpolation", maybe even taken to the extreme. I was actually program-wise &qu
78.
by henrydark 4y ago
that's what it is in m4
79.
by henrydark 4y ago
Not to disagree, but to be fair modern fp runtimes use data structures that wouldn't have to copy so many bytes as the whole state. A nice showcase of this idea is in Juan Pedro Bolivar Puente's CppCon '17 talk Postmodern Imm
80.
by henrydark 4y ago
Oh yeah, nice. Thanks, the example did make it clear.
81.
by henrydark 4y ago
Both methods give you a bit of information per iteration. The number of distinct floating point numbers between l,r is the same as the number of integers in the reinterpretation of l,r as integers. (assuming starting l,r were appropriate)
82.
by henrydark 4y ago
The predicate given is monotonic in the range 0.,100.. using the floating point bit representation (with appropriate starting l, r as they have) gives (a) best possible convergence rate - one bit per iteration. Using floating point math wo
83.
by henrydark 4y ago
It comes from Linear Logic, where there's no inference A&B->A. I think the point of the name is "there's always progress". This talk explains some other origins as well as the connections between different logics
84.
by henrydark 4y ago
Right, it's not a security problem on its own, but it can make the regex not match at all causing jc to return an error. So jc suffers from the parsing bug mentioned in the post. [edit:] In order to get jc to return an error one has to
85.
by henrydark 4y ago
I just had a quick read of the pid/stat parser, and the regex pattern starts with ^, but there's no $. Doesn't this mean that this parser suffers exactly the bug of the original post?
86.
by henrydark 4y ago
Generators and generator expressions are useful every time your api involves an unbounded sequence. I once wrote a library of signal processing components based on the premise that the raw input signal is such a sequence, and its concrete t
87.
by henrydark 4y ago
Guido van Rossum mentions the break between python2 and python3 a bit in the recent Lex Fridman, you might be interested in this. Many companies and many of us put in hundreds to thousands of hours moving from 2 to 3.
88.
by henrydark 4y ago
in ipython just running %debug will get you in pdb in the particular frame that threw, there you can modify stuff using normal python, and then you can tell pdb to continue
89.
by henrydark 4y ago
Radix sort works for numbers and so also for characters. Then it also works for lexicographic ordering of finite lists of any type it supports. So it can sort strings. But also tuples like (int, string, float). So it can actually sort all p
90.
by henrydark 4y ago
It's turtles all the way down. Without the secrets monad support in the language, at some point I have to be the one enforcing secrets in multiple places: if I implement checkHmac(secret(str),...) that calls computeHmac(str)->str th

More ›