gabrielmoshe

4 ms·

1.
by gabrielmoshe 2y ago
Tuning typically follows a little ritual, where (1) the concertmaster stands to indicate that tuning should begin, (2) the oboe gives the 440 Hz A tone, which by the way, they normally have an electronic tuner these days to help them nail t
2.
Compressing PGN with gzip, lz4, xz, bzip2, Brotli, and Zstandard(backscattering.de)
3 points by gabrielmoshe 4y ago|0 comments
3.
by gabrielmoshe 7y ago
I've found that traveling is distinctly different (within the United States) because the sun is still coming up at approximately the same local hour. Of course this can vary by more than an hour if you travel between opposite edges of
4.
by gabrielmoshe 7y ago
What a wonderful treatment of a particularly stressful job. I'm a classically trained musician, but have little experience playing piano, yet I've been recruited to turn pages not infrequently. Somehow there seems to be more pres
5.
by gabrielmoshe 7y ago
For those who want a wonderful update to the C-r reverse search, I highly recommend FZF[1], which allows fuzzy search of your command line history when the keybindings are enabled (among other cool features). [1] https://github.c
6.
by gabrielmoshe 8y ago
Yes! There are several different languages and systems used for coding proofs. Coq [1] is probably the most well known. But, as you alluded to, it is not convenient (or easy) to code all proofs in such a style. 1. https://coq.inr
7.
by gabrielmoshe 8y ago
This is certainly not the first article of its kind, and the legality of such action seems to be upheld in court (at least the use of search without a warrant at the border). So, the selfish question then is: How do I protect myself from su
8.
by gabrielmoshe 8y ago
As a regular commuter and recreational cyclist in the South Bay, I have to say how impressed I am that he occasionally cycles to work going up route 9. That's a serious climb that takes you up a couple thousand feet over 6ish miles. O
9.
by gabrielmoshe 8y ago
It's been a while now, but a group of seven of us would very occasionally set aside an entire Saturday to play Diplomacy. While online and play by mail have their own flavors, the tension and negotiation strategies while face to face