shachaf
@shachaf
Followers
1K
Following
1
Media
82
Statuses
3K
This is also the name we were planning to use if we ever open a bagel shop!.
I really like that we named our bagel-oriented group chat "annulus mirabilis".
1
0
5
RT @ptrschmdtnlsn: Good parsers for "full" languages are *so* easy once you know a couple honestly quite simple tricks (such as precedence….
0
5
0
Vague thought: Could the kinds of heuristics used in branch predictors apply to SAT solvers for choosing a literal assignment on (frequent) restarts? "phase saving" (just use the last value) is a common strategy, but does it make sense to do something more sophisticated?.
0
0
3
RT @davidtgoldblatt: A similar puzzle in memory models: Peterson's algorithm implements two-process flicker-free mutual exclusion of writes….
0
1
0
Is there a rank-select bitmap algorithm that I should have in my mind as "canonical" (reasonably simple and practical)? I know there are a bunch of them but I don't really know how any of them work in detail, and I vaguely remember seeing some pretty complicated constructions.
2
0
3
This is a simplified form of the extended Euclidean algorithm, in that it works mod p instead of tracking a specific multiple of p. The full algorithm solves. 1a + 0p = a.0a + 1p = p. Into the form. xa + yp = 1. Which gives you the specific value, not just a representative.
1
0
0
I recently learned this trick to compute the modular inverse x of a mod p: Write the two equations. ax = 1 (mod p).px = 0 (mod 0). And then solve by subtracting multiples of one from another until you get something of the form "1x = x (mod p)", in Euclidean-algorithm-style steps.
1
0
4
RT @giulio_pibiri: A monumental collaborative effort with many incredible people ☺️ Proud to be part of this!.
arxiv.org
Given a set $S$ of $n$ keys, a perfect hash function for $S$ maps the keys in $S$ to the first $m \geq n$ integers without collisions. It may return an arbitrary result for any key not in $S$ and...
0
13
0
RT @ptrschmdtnlsn: I think I want to switch back to a laptop running GNU quotient Linux. What laptops are people recommending these days? I….
0
1
0
RT @cmuratori: Why isn't there a CreateProcess that completely isolates Windows processes? on Computer, Enhance!
computerenhance.com
This has perplexed me for a very long time, so I'm just going to ask.
0
12
0
Apparently when machine learning people say "convolution" they usually mean "cross-correlation"? It was confusing trying to make sense of the expression I was seeing!.
1
0
5
RT @ptrschmdtnlsn: If I had to make up a task that's trivial to do in a cross-platform way, it would be something like "read in some files….
0
1
0
RT @ptrschmdtnlsn: For Richardson's theorem style reasons, integrals of even very simple functions can have weird behavior. Here's an examp….
0
8
0
RT @ptrschmdtnlsn: An AC power grid made way more sense in the 20th century, but switching mode DC->DC converters have gotten *so* insanely….
0
5
0
