https://www.joelburget.com/_next/static/chunks/pages/blog-2020-09-06-9ad56611d4b65615.js

1(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[4126],{126:e=>{e.exports={card:"Card_card__roE_8",children:"Card_children__uFd2l",action:"Card_action__5zfLi",left:"Card_left__21wPW",leftCorner:"Card_leftCorner__xOXqQ",right:"Card_right__RdLAu",rightCorner:"Card_rightCorner__HD9lr",title:"Card_title___SZ_d"}},2548:(e,t,n)=>{"use strict";n.d(t,{Ay:()=>a});var s=n(7876),r=n(4232);let i=e=>{let{children:t,onEnter:n,height:i=0}=e,a=(0,r.useRef)(null),[o,l]=(0,r.useState)(!1);return(0,r.useEffect)(()=>{let e=new IntersectionObserver(e=>{let[t]=e;t.intersectionRatio>0&&(l(!0),n&&n())},{root:null,rootMargin:"400px",threshold:0});a&&a.current&&e.observe(a.current)},[a]),(0,s.jsx)("div",{ref:a,"data-testid":"general-observer",className:"mdx-embed",children:o?t:(0,s.jsx)("div",{style:{height:i,width:"100%"}})})},a=e=>{let{tweetLink:t,theme:n="light",align:r="left",hideConversation:a=!1}=e;return(0,s.jsx)(i,{onEnter:()=>window.twttr?(void 0!==window.twttr&&window.twttr.widgets&&"function"==typeof window.twttr.widgets.load&&window.twttr.widgets.load(document.getElementsByClassName("mdx-embed")),{status:"twttrLoad"}):(((e,t)=>{let n=document.createElement("script");n.type="text/javascript",e&&(n.src=e),t&&(n.innerText=t),n.onerror=e=>{console.error("MDXEmbedProvider ".concat(e.type),e)},document.getElementsByTagName("head")[0].appendChild(n)})(null,'\n!function(d,s,id){var js,fjs=d.getElementsByTagName(s)[0],p=/^http:/.test(d.location)?\'http\':\'https\';if(!d.getElementById(id)){js=d.createElement(s);js.id=id;js.src=p+"://platform.twitter.com/widgets.js";fjs.parentNode.insertBefore(js,fjs);}}(document,"script","twitter-wjs")\n'),{status:"createScriptTag"}),children:(0,s.jsx)("div",{"data-testid":"twitter-tweet",className:"twitter-tweet-mdx-embed",style:{overflow:"auto"},children:(0,s.jsx)("blockquote",{className:"twitter-tweet","data-theme":n,"data-align":r,"data-conversation":a?"none":"",children:(0,s.jsx)("a",{href:"https://twitter.com/".concat(t,"?ref_src=twsrc%5Etfw"),children:window.twttr?"":"Loading"})})})})}},3060:(e,t,n)=>{(window.__NEXT_P=window.__NEXT_P||[]).push(["/blog-2020-09-06",function(){return n(5658)}])},4498:(e,t,n)=>{"use strict";function s(e,t){let n=t-e.length;return n<=0?e:"0".repeat(n)+e}n.d(t,{PX:()=>s,nL:()=>r});let r=function(e){let t=arguments.length>1&&void 0!==arguments[1]?arguments[1]:"next";if(!e)return null;let n=Array.from(document.querySelectorAll('a[href], button, input, select, textarea, [tabindex]:not([tabindex="-1"]), [contenteditable="true"]')),s=n.indexOf(e);if(-1!==s){let e="next"===t?(s+1)%n.length:(s-1+n.length)%n.length;return n[e]}return null}},5658:(e,t,n)=>{"use strict";n.r(t),n.d(t,{default:()=>a});var s=n(7876),r=n(9497);function i(e){let t={a:"a",blockquote:"blockquote",h2:"h2",h3:"h3",li:"li",p:"p",ul:"ul",...(0,r.R)(),...e.components},{Tweet:n}=t;return n||function(e,t){throw Error("Expected "+(t?"component":"object")+" `"+e+"` to be defined: you likely forgot to import, pass, or provide it.")}("Tweet",!0),(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)(t.h3,{children:(0,s.jsx)(t.a,{href:"https://thume.ca/2020/09/04/macos-tips/",children:"Hard to discover tips and apps for making macOS pleasant"})}),"\n",(0,s.jsxs)(t.p,{children:["Related (and linked to from the above): ",(0,s.jsx)(t.a,{href:"https://jblevins.org/log/kbd",children:"(Emacs) Keyboard Shortcuts for Editing Text Fields in\xa0OS\xa0X"})]}),"\n",(0,s.jsx)(t.h3,{children:(0,s.jsx)(t.a,{href:"https://www.youtube.com/watch?v=JqlgsRJiyWs",children:"Let Me Show You My Restaurant"})}),"\n",(0,s.jsx)(t.p,{children:"Kenji shows the inside of his restaurant, how everything works behind the scenes."}),"\n",(0,s.jsx)(t.h3,{children:(0,s.jsx)(t.a,{href:"https://dl.acm.org/doi/pdf/10.1145/3406088.3409026",children:"Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl)"})}),"\n",(0,s.jsxs)(t.blockquote,{children:["\n",(0,s.jsx)(t.p,{children:"We explicitly motivate the subtle intricacies of Hinze and\nPaterson's Finger Tree data structure, by step-wise refining\na naive implementation. The result is a new explanation of\nhow Finger Trees work and why they have the particular\nstructure they have, and also a small simplification of the\noriginal implementation.\""}),"\n"]}),"\n",(0,s.jsx)(t.h3,{children:(0,s.jsx)(t.a,{href:"https://cs.pomona.edu/~michael/papers/px2018.pdf",children:"Word Expansion Supports POSIX Shell Interactivity"})}),"\n",(0,s.jsxs)(t.blockquote,{children:["\n",(0,s.jsx)(t.p,{children:"The POSIX shell is the standard tool to deploy, control, and maintain\nsystems of all kinds; the shell is used on a sliding scale from one-off\ncommands in an interactive mode all the way to complex scripts\nmanaging, e.g., system boot sequences. For all of its utility, the\nPOSIX shell is feared and maligned as a programming language:\nthe shell is feared because of its incredible power, where a single\ncommand can destroy not just local but also remote systems; the\nshell is maligned because its semantics are non-standard, using\nword expansion where other languages would use evaluation.\nI conjecture that word expansion is in fact an essential piece of\nthe POSIX shell's interactivity; word expansion is well adapted to\nthe shell's use cases and contributes critically to the shell's interactive feel."}),"\n"]}),"\n",(0,s.jsxs)(t.p,{children:["Related: ",(0,s.jsx)(t.a,{href:"http://okmij.org/ftp/ML/myawk/index.html",children:"shell/AWK/Perl-like scripting in OCaml"})," (Oleg)"]}),"\n",(0,s.jsx)(t.h3,{children:(0,s.jsx)(t.a,{href:"https://petersmagnusson.org/2009/09/15/why-are-there-5280-feet-in-a-mile/",children:"Why are there 5280 Feet in a Mile?"})}),"\n",(0,s.jsxs)(t.ul,{children:["\n",(0,s.jsx)(t.li,{children:'The word "mile" stems from the Latin for thousand (as in a thousand paces of a roman footsoldier).'}),"\n",(0,s.jsx)(t.li,{children:'"furlong" = "furrow long"'}),"\n",(0,s.jsx)(t.li,{children:'"An acre was thus the surface area that one man and a team of oxen could till in one day. It was long and narrow because of the development of the heavy plough around the end of the 10th century, which turned the soil over, revolutionizing agriculture in northern Europe where the clay-heavy soil (vs sandier south European soil) went from being a handicap to an asset, in fact contributing significantly to the eventual inversion of economic power in Europe from the south to the north."'}),"\n"]}),"\n",(0,s.jsx)(t.p,{children:"Lots more good tidbits at the link."}),"\n",(0,s.jsx)(t.h3,{children:(0,s.jsx)(t.a,{href:"https://museapp.com",children:"Muse App"})}),"\n",(0,s.jsxs)(t.blockquote,{children:["\n",(0,s.jsx)(t.p,{children:"Muse is a spatial canvas for your\xa0research notes, reading, sketches, screenshots, and bookmarks. Because\xa0deep thinking\xa0doesn't happen in front of a computer."}),"\n"]}),"\n",(0,s.jsx)(t.h3,{children:(0,s.jsx)(t.a,{href:"https://davidbieber.com/post/2019-05-10-weisfeiler-lehman-isomorphism-test/",children:"The Weisfeiler-Lehman Isomorphism Test"})}),"\n",(0,s.jsx)(t.h2,{children:"Twitter section"}

1),"\n",(0,s.jsx)(n,{tweetLink:"ryan_t_lowe/status/1301941346287058944"}),"\n",(0,s.jsx)(t.p,{children:"Really happy to see good work coming from a safety team (one of >=2 apparently). Excited to see more of this."}),"\n",(0,s.jsxs)(t.blockquote,{children:["\n",(0,s.jsx)(t.p,{children:"Our labelers prefer summaries from our [model] ~70% of the time to the human-written reference TL;DRs."}),"\n"]}),"\n",(0,s.jsx)(n,{tweetLink:"ESYudkowsky/status/1301954347933208578"}),"\n",(0,s.jsxs)(t.blockquote,{children:["\n",(0,s.jsx)(t.p,{children:"\"Goodhart's Curse\", the combination of Optimizer's Curse plus Goodhart's Law."}),"\n"]}),"\n",(0,s.jsx)(n,{tweetLink:"NPCollapse/status/1301814000255217664"}),"\n",(0,s.jsx)(n,{tweetLink:"trishume/status/1282480078883106818"}),"\n",(0,s.jsx)(n,{tweetLink:"davidklaing/status/1280730027361832961"}),"\n",(0,s.jsxs)(t.p,{children:["This is now a blog post: ",(0,s.jsx)(t.a,{href:"https://davidklaing.com/links-sublime-introductory-lectures/",children:"Sublime introductory lectures"})]}),"\n",(0,s.jsx)(n,{tweetLink:"britcruise/status/1280547230781452291"}),"\n",(0,s.jsx)(n,{tweetLink:"patio11/status/981750489862688768"})]})}function a(){let e=arguments.length>0&&void 0!==arguments[0]?arguments[0]:{},{wrapper:t}={...(0,r.R)(),...e.components};return t?(0,s.jsx)(t,{...e,children:(0,s.jsx)(i,{...e})}):i(e)}},6287:(e,t,n)=>{"use strict";n.d(t,{A:()=>l});var s=n(7876),r=n(8061),i=n.n(r),a=n(4232),o=n(4498);let l=e=>{let{children:t}=e,n=a.useRef(null);return(0,s.jsx)("li",{className:i().root,tabIndex:0,ref:n,onKeyDown:e=>{switch(e.key){case"Enter":var t;e.preventDefault(),null==(t=n.current)||t.click();break;case"ArrowUp":case"ArrowLeft":{e.preventDefault();let t=o.nL(document.activeElement,"previous");null==t||t.focus();break}case"ArrowDown":case"ArrowRight":{e.preventDefault();let t=o.nL(document.activeElement,"next");null==t||t.focus()}}},children:t})}},8061:e=>{e.exports={root:"ListItem_root__H8IOs"}},9497:(e,t,n)=>{"use strict";n.d(t,{R:()=>d});var s=n(2548),r=n(7876),i=n(126),a=n.n(i);n(4232);let o=e=>{let{children:t,mode:n,title:s,style:i,...o}=e,l=(0,r.jsxs)("header",{className:a().action,children:[(0,r.jsx)("div",{className:a().left,"aria-hidden":"true"}),s?(0,r.jsx)("h2",{className:a().title,children:s}):null,(0,r.jsx)("div",{className:a().right,"aria-hidden":"true"})]});return"left"===n&&(l=(0,r.jsxs)("header",{className:a().action,children:[(0,r.jsx)("div",{className:a().leftCorner,"aria-hidden":"true"}),(0,r.jsx)("h2",{className:a().title,children:s}),(0,r.jsx)("div",{className:a().right,"aria-hidden":"true"})]})),"right"===n&&(l=(0,r.jsxs)("header",{className:a().action,children:[(0,r.jsx)("div",{className:a().left,"aria-hidden":"true"}),(0,r.jsx)("h2",{className:a().title,children:s}),(0,r.jsx)("div",{className:a().rightCorner,"aria-hidden":"true"})]})),(0,r.jsxs)("article",{className:a().card,style:i,children:[l,(0,r.jsx)("section",{className:a().children,children:t})]})};var l=n(6287);function d(e){return{Tweet:s.Ay,Card:o,ListItem:l.A,...e}}}},e=>{e.O(0,[636,6593,8792],()=>e(e.s=3060)),_N_E=e.O()}]);