HN user

tooltower

642 karma
Posts14
Comments167
View on HN

In my personal projects, I've used it to insert/delete transactions in a ledger. I wanted to be able to update/query the account balance fast. Like the article says, "fold operations".

Rather than downloading our dataset in one complete download, they insist on loading all of MusicBrainz one page at a time.

Is there a standard mechanism for batch-downloading a public site? I'm not too familiar with crawlers these days.

Are we sure that the base reveals nothing about the factors if n is composite? I have never seen a proof of that.

Usually, zero knowledge proofs also require a prover who knows the answer (the factors in this case). This is just a primality test that can be performed locally.

This article is not about the API contract of the hash function, or the abstraction it provides. If you are just trying to hash things, you don't need any info here.

It's very much trying to go _under_ the abstraction layer to investigate its behavior. Because it's interesting.

This is very similar to how people investigate performance quirks or security issues.

Kind of? Keep aside quantum mechanics for a second. In any classical experiment that has random outcomes, would you say that the probability distribution is a property of a single system or a bunch?

You can only deduce a distribution from repeated measurements. But most physicists would have no problem talking about a single experiment having many possible outcomes, governed by a probability distribution. It's almost a philosophical question about whether probability means anything in single systems.

It's the same way in quantum mechanics. The effects of entanglement can only be discerned if you take repeated samples. But we still feel okay talking about single systems governed by such entanglement.

How can entangled system be differentiated from a nonentangled system?

The canonical answer to your question is Bell's inequality: https://en.wikipedia.org/wiki/Bell's_theorem. But TL;DR: the distinction only shows up in the statistics of repeated experiments. There is _no way_ to distinguish them in single-fire experiments. Entanglement is defined in terms of "odd" statistics.

In repeated measurements of related properties (e.g. spin along varying angle), entangled systems show more correlation than it should be possible classically.

This is like online reviews. If you selectively take positive or negative reviews and somehow censor the rest, the reviews are worthless. Yet, if you report on all the ones you find, it's still useful.

Yes, I'm more likely to leave reviews if I'm unsatisfied. Yes, people are more likely to leave CS if they were unhappy. Biased data, but still useful data.

I didn't get from the article: are they better than all traffic signals, or signals with unprotected left turns? And what's a good vs. bad turnabout like?

I have had to go through a few that feel extremely dangerous compared to having all cars stop for me. So I know I must be missing something.

Edit: Also, I see a lot of comments on yield. I'm probably confused too, but how do they work when traffic is non-stop? Is there a specific traffic rate beyond which roundabouts become less safe?

This reminds me of the difference between micro-benchmarks vs real programs. I would always include extracts from real texts of a few different types (novels, lists, technical writing, short paragraphs like in a playscript). But a test text like these are also helpful in exercising a few rare cases, like z, q, and certain ligatures.

[...] other algorithms may require the sort of induction one gets with constructive proofs to sufficiently verify. There is an art to this which will lead to style changes in C and a slightly different way of building up functions from pieces that can be trivially model checked.

Is there a book or article that talks more about this? I.e. how to write code in a way that is more amenable to model-checking (bounded or otherwise)?

The latter. The real-world instances are not uniformly distributed across the language. It is pretty easy to randomly generate problems that are hard for current solvers.

Caveats:

* "uniform distribution" is a tricky concept over infinite countable sets. Famously, it doesn't exist. You have to restrict the length or something.

* I have no idea if there's a concrete result linking Kolmogorov complexity and solving ease. I suspect no, since even a complex but known problem can be solved rather quickly by special-casing.

Making a font 3 years ago

Speaking of fontforge, does anyone know how to preview a few paragraphs of text in a font as it's being designed?

A single sentence with a quick brown fox is often not enough.