Viewing profile — jbapple

The benefits are visible if you search for the word "TSX". It says: "Replacing the insert and update functions of our specialized growing hash table with Intel TSX variants increas…

Maybe it depends on what activities the ICC engages in within the US. Le Monde doesn’t have “jurisdiction” in the US (or anywhere) to arrest anyone, but they still do investigation…

When I benchmarked that a few years ago, I found the overhead of a syscall made mmap much slower (assuming the C or C++ memory allocator had already received some memory from the O…

Does this apply to integer keys in the computational models that can do operations other than simple comparisons? In the transdichotomous model, I thought the best known sorting al…

See also https://web.archive.org/web/20190927163255/http://cantorsatt...

> why would I care about people coming from other countries? I mean, what do I get in return? This is a pretty stunning question. Most people care about people other than ourselves…

Got it; thanks for explaining. I suppose in a microecon 101 model, there’s some elasticity that causes the cost of the fees to be borne partially by the merchants?

Can you explain more?

> Has anyone explored regexp minimization? There has been significant work on https://en.wikipedia.org/wiki/DFA_minimization

It's a deterministic attack vector, so significant offline computation prep work is not unusual. https://en.wikipedia.org/wiki/Algorithmic_complexity_attack https://www.freecodecam…

Assuming you ignore the constant. And if you're willing to ignore the constant, you can get O(c) access, O(N^(1/c)) insert and delete at arbitrary indices, and O(c) insert at head …

Where can I read more about the decision to develop Lean 4 in private, and what is the status of https://github.com/leanprover/lean4 , in your view?

The instruction and instruction set referenced in the comment you're referring to (PCMPxSTRy and SSE) are not AVX512; they were introduced long before AVX512 chips were manufacture…

> Weight is a weaker condition, since you can construct a polynomial weight sequence that results in linear height. I'd like to hear more. The varieties of weight-balanced trees I'…

These trees nearly identical to Scapegoat Trees, which were a rediscovery of the idea by different authors. https://cglab.ca/~morin/teaching/5408/refs/a99.pdf has the history: "A p…

But logit-weight trees have logarithmic height, yes?

Are you familiar with hybrid logical time systems like " HybridTime - Accessible Global Consistency with High Clock Uncertainty" ( http://users.ece.utexas.edu/~garg/pdslab/david/hy…

The title should be corrected to "SPARK", not "Spark". It's used all caps each time it's mentioned on the page. That's also how I've seen this tool referred to elsewhere in the pro…

> portfolio theory means that serious due diligence isn't worth the effort. Could you expand on this?

What do you mean by "Zig is optimal"?

The indexes themselves might underperform an index+VC strategy though if they don't have access to high-growth companies that are staying private. Even if investors shouldn't pick …

Over a 40-year career, assuming 4% real capital growth after inflation and a 3% safe withdrawal rate in retirement, a worker has to invest 25% of their gross income every year to h…

Second Google hit when searching for the paper title: https://www.cs.vu.nl/~herbertb/papers/osreview2008-2.pdf

> Hmm I’m seeing the opposite. The last graph shows Google’s hash table outperforming in all but a few places, including at 400k. You're exactly right, General Pizza. I was trying …

This post has some overconfident and under-researched claims: > This came about because last year I wrote the fastest hash table (I still make that claim) I'm extremely dubious of …