• Turn Emacs Into a Focused Writing Tool

    Emacs can be customized to create a beautiful, focused writing environment akin to Ulysses, iA Writer, Bear, or other minimalist markdown editors.

    Reduce visual noise

    • Use writeroom-mode to hide frames and headings in the default emacs chrome
    • Compile emacs for the natural title bar in macOS. This further reduces visual noise and makes for a more minimalist look and feel.
    • Use a theme like doom-plain-dark or doom-plain-light for fewer colors and visual cues that can be distracting.
    • Change links styles to remove bold (it’s already underlined).
    • Hide markup characters like ~/emphasis/ by enabling org-hide-emphasis-markers to reduce the number of sigils like brackets, parenthesis, tick marks, etc.

    Use a different font for writing than for coding I personally prefer monospace fonts for writing because it pairs well with org-mode headings and gives it a typewriter look and feel.

    I don’t like to use the same font for writing as I do for coding. Mainly because it needs to look good larger than what I code in (Cascadia Code) and having a separation between writing and coding makes it easier to concentrate (“I’m in writing mode now”).

    Monospace font recommendations:

    Other proportional fonts:

    • Monotype Bembo (used by Edward Tufte, similar to Georgia or a Garamond to give it a journal-y feel)

    Transparency You can add a little extra flair by adding transparency to the background. Eval the following elisp expression using M-:, (set-frame-parameter (selected-frame) 'alpha 80).

    See also:


  • Zk-SNARKs Can Prove Possession of Information Privately

    Zero-knowledge succinct non-interactive argument of knowledge (zk-SNARK) can verify that another party is in possession of information without the other party needing to reveal that information or leak parts of it. This is useful because it provides a way of doing private transactions in public.

    In a distributed, trust-less system like a cryptocurrency, zk-SNARKs can be used to make private transactions that are verifiable and stored on the blockchain (Zcash already does this, but for the most part blockchains are anonymous, not private). That means privacy conscious parties can benefit from using a blockchain while maintaining privacy at the transaction level and decreasing the chances of being de-anonymized at the transaction history level.

    What is this used for?

    Extrapolating a bit, there are interesting things you can do using zk-SNARKs with blockchains. You could verify an account balance by checking if it has enough available funds without leaking the balance or the account. You could verify the possession of a certificate or license without revealing any information about the certificate itself (like checking an ID without having to look at it). You could pay taxes without revealing your assets. You could automate verification of things like lottery tickets or possessing a certain NFT.

    See also:


  • How Zk-SNARKs Work

    Epistemic status: low

    1. Translate the check function into a polynomial equation (how do you translate information into a polynomial equation?)
    2. Verifier picks a random point encrypted using homomorphic encryption
    3. The prover computes the polynomial encrypting the values in the polynomial
    4. The verifier checks equality in encrypted form zero knowledge is achieved by adding some random numbers to both sides

    One downside to SNARKs is that they need a trusted setup which some consider a flaw.

    See also:


  • Places That Will Pay You to Move and Work Remotely

    List of places that will pay you to move and work remotely:

    • Augusta, Maine ($15,660)
    • Baltimore, Maryland ($5,000)
    • Beaumont, Texas ($2,000)
    • Bemidji, Minnesota ($4,000)
    • Bloomfield, Iowa ($10,000)
    • Bloomington, Indiana ($6,600)
    • Britt, Iowa ($10,000)
    • Charleston, West Virginia ($5,000)
    • Curtis, Nebraska ($3,000)
    • Daviess County, Indiana ($5,000)
    • French Lick, Indiana ($5,477)
    • Greene County, Indiana ($5,000)
    • Greensburg, Indiana ($7,000)
    • Harmony, Minnesota ($12,000)
    • Jasper, Indiana ($5,000)
    • Johnstown, Pennsylvania ($5,000)
    • La Villa, Texas ($3,000)
    • Lewisburg, West Virginia ($20,000)
    • Mankato, Kansas ($3,000)
    • Montpelier, Vermont ($15,000)
    • Morgantown, West Virginia ($20,000)
    • Muncie, Indiana ($5,000)
    • Natchez, Mississippi ($8,500)
    • Newton, Iowa ($12,500)
    • Northwest, Arkansas ($10,750)
    • Ontario, Oregon ($10,000)
    • Osceola, Iowa ($3,000)
    • Quincy, Illinois ($5,000)
    • Rutherford County, Tennessee ($10,000)
    • Southwest, Michigan ($16,000)
    • Stillwater, Oklahoma ($7,500)
    • The Shoals, Alabama ($10,000)
    • Tulsa, Oklahoma ($10,000, 1200 moved over last 3 years)
    • West Lafayette, Indiana ($8,245)
    • Topeka, Kansas ($11,000)

    See also:


  • The Millenium Tower Is Sinking Due to Pressure on Old Bay Clay

    The Millenium Tower in downtown SF is sinking. Before it’s completing, the concrete skyscraper had already sunk 16 inchesβ€”building code allows for 6 inches of sinkage.

    It’s construction is supported using 950 friction piles to evenly distribute the weight. This is a common technique, but the skyscraper far heavier than previously built.

    Below the friction piles is an ice-age-old layer of mud known as Old Bay Clay. Possibly due to other construction in the area, Old Bay Clay is settling faster than anticipated which is causing the Millenium Tower to sink and lean to one side.

    Read about What Really Happened at the Millenium Tower?