Viewing profile — gabrielmoshe

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 norm…

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 mor…

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 …

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 …

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 co…

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, t…

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 …

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 …