Syzygies

55 ms·

601.
by Syzygies 6y ago
I am a long-term user of Unison ( https://www.cis.upenn.edu/~bcpierce/unison/ ) from the command line, to synchronize directories between my machines. If Unison weren't available, from studying the Syncthing do
602.
by Syzygies 6y ago
Literal search, including punctuation and spaces. Ideally regex searches. Mainstream engines are case-insensitive-on-steroids. Technical searches are literal.
603.
by Syzygies 6y ago
I bought that keyboard back when it was $95 not $495. The principle is that holding down the spacebar accesses the mirror half that's not present. I didn't believe this, so I taught myself Dvorak on the half keyboard while continu
604.
by Syzygies 6y ago
The Dactyl/Manuform keyboard is a shining totem of one of the deeper rabbit holes out there. I know; I made it back out alive. My aspirational keyboard is a GergoPlex. I own other mechanical keyboards, such as a Planck EZ and an ErgoDo
605.
by Syzygies 6y ago
Not a law. Haskell can be much closer to linear, performance to cores. It starts banging its head on the last core; the little bit of other work the computer does seems to throw off Haskell's gait. (This is subjective first-hand experi
606.
by Syzygies 6y ago
These pros and cons appear to have been curated from around the web; this is a secondary source. If the final selection has passed throught the filters of passion and bitter experience, the author doesn't say. The parent site aims to f
607.
by Syzygies 6y ago
I've nearly subscribed multiple times to MasterClass, then I watch a demo again. We all have different needs for affirmation to information. My fear from what I've seen is that MasterClass is too heavy on affirmation. I already kn
608.
by Syzygies 6y ago
Starting in 2005, I've been keeping dated text files in a Log folder, organized by year and month. Anytime I need digital "scrap paper" I make sure I keep it. If I need to save files, I open instead a dated log folder. There&
609.
by Syzygies 6y ago
This is the most interesting language introduction I've seen in years. Work like this gives life meaning. You have a larger purpose for stabilizing your life; our hopes are with you.
610.
by Syzygies 6y ago
This is relevant to me because I'll likely be teaching Linear Algebra online in the Fall. I'm rethinking support materials from scratch. This article does not rethink its genre from scratch. And I nearly stopped reading, unwilling
611.
by Syzygies 6y ago
Funny you should say that. In elementary school I tested well for abstraction but exactly in the 50th percentile for arithmetic skills. Just like rejecting how people taught me to tie my shoelaces, and figuring out something for myself, I f
612.
by Syzygies 6y ago
The obvious middle ground is syntax that is clear to the compiler, easy for a user to write but harder for a reader to parse at a glance, aided by syntax coloring to make all obvious. Many programming languages use indentation-based parsing
613.
by Syzygies 6y ago
We haven't figured out macros yet. There's a perceptual litmus test here. Some people see life on earth and see God. Others see the faintest exploration of the design space, an impoverished code base that made it impossibly far. A
614.
by Syzygies 6y ago
Just published "The Ages of Globalization: Geography, Technology, and Institutions" by Jeffrey D. Sachs. An economic history of the species, more academic than "Guns, Germs, and Steel", without the flashy zebra bites. No
615.
by Syzygies 7y ago
Remember requires 10.15, according to my App Store. I bought one of the first thousand Mac 128k's, suffered through systems 1-9, bought dozens of Macs and clones since, and from what I've read I have no intentions of upgrading to
616.
by Syzygies 7y ago
As I write the word "immune" appears only twice in 161 comments. In "Gandhi's Truth" by Erik Erikson, he wrote fifty years ago of adapting one's immune system to India as a rite of passage. Even today, one arri
617.
by Syzygies 7y ago
This is well written, and passes the "not a crank" test that many will surely apply. Mathematicians get inundated with unsolicited false proofs of famous theorems, and the cranks always give themselves away by various "poker
618.
by Syzygies 7y ago
Yes, thank you. I kept looking at the date, wondering if it was already April 1st, was this a brilliant troll? Then I checked Wikipedia.
619.
by Syzygies 7y ago
There's a middle ground. One wants to take advantage of the prior work supporting all these keyboards, while improving and/or making more understandable the core keystroke processing logic. Develop a user language for this logic,
620.
by Syzygies 7y ago
process_record_user() Reading the documentation is a good start, but one needs to experiment. Search the code base. The project also contains hundreds of calls to this routine; one can see what others did. In my youth I coauthored a compute
621.
by Syzygies 7y ago
I'm a mathematician on sabbatical, after many years glued to a screen. I spent the first few months outside doing woodworking; I've been struggling with an overwhelming urge to center my consciousness in my hands. This is of cours
622.
by Syzygies 7y ago
QMK is an amazing project. I'm using it for three keyboards so far. That said, tweaking the behavior of tap/hold dual function keys is voodoo. There are a few flags one can set, or one can replace the keystroke inner loop, which I
623.
by Syzygies 7y ago
https://en.wikipedia.org/wiki/Aardvark_(search_engine)
624.
by Syzygies 7y ago
Mathematicians know the "hat check" problem: If N people get hats back at random, what are the odds that no one gets their own hat back? It's the nearest fraction with N! denominator to 1/e, a beautiful counting problem.
625.
by Syzygies 7y ago
No password manager supports multiple levels of security conveniently, so I'm forced to use two managers. For web browsing, passwords often protect the site not me (magazine logins...). One wants a manager to stay open during browsing
626.
by Syzygies 7y ago
I buy honey from http://thehoneyladies.com/biography/ because they save bees. (Yes, I understand this was allegory, but I took it literally.)
627.
by Syzygies 7y ago
Yes, Dave Bayer. I was the math consultant, but it's like joining the circus, once inside you do what you can. For one example, when I was a kid my Mom left out a Time Life book on drugs, and my brother and I were fascinated by the var
628.
by Syzygies 7y ago
Erdős–Bacon numbers got their start when Simon Singh (reference 1 archived) was having lunch with me, and I observed that mine was 4. He writes for a living, so he wrote a column. Oddly, I was long ago written out of this Wikipedia article.
629.
by Syzygies 7y ago
It is poor style to capitalize FOCUS throughout the article. For example, when a mathematician starts reading a paper that uses too many acronyms, they generally freak out. It's a strong signal that they've wandered into the wrong
630.
by Syzygies 7y ago
To install in VS Code, one edits Settings - Commonly Used - Editor: Font Family. It would appear that one needs the Font Family name, which one can guess. To be sure in all cases, I made a MacOS alias: alias fonts="system_profiler

More ›