[{"data":1,"prerenderedAt":270},["ShallowReactive",2],{"project-14637212":3},{"id":4,"name":5,"line":6,"line_source":7,"title":8,"url":9,"domain":10,"maker":11,"posted_at":12,"year":13,"points":14,"comments":15,"rank_in_year":16,"shown_in_year":17,"top":18,"tier":19,"category":20,"subcategory":21,"format":22,"keywords":23,"reception":29,"sentiment":30,"stance_mix":31,"scored_comments":36,"aspects":37,"strip":41,"post_text":43,"what":44,"said":65,"maker_in_thread":129,"shape":141,"grid":144,"attempts":233,"same_week":234,"maker_shows":40,"maker_hidden":263,"reader_version":264,"card":265},"14637212","“Crafting Interpreters”","“Crafting Interpreters” chapter, control flow and Turing-completeness","title","Show HN: “Crafting Interpreters” chapter, control flow and Turing-completeness","http:\u002F\u002Fwww.craftinginterpreters.com\u002Fcontrol-flow.html","craftinginterpreters.com","munificent",1498488641,2017,116,40,372,2242,17,"notable","learning_science","programming book","other",[24,25,26,27,28],"interpreters","compilers","turing completeness","control flow","programming languages","debated",-0.08,{"positive":32,"neutral":33,"mixed":34,"critical":35},5,4,0,6,15,{"docs":38,"idea":39},{"positive":34,"critical":32},{"positive":40,"critical":34},3,[42,42,34,40,40,40,34,34,34,34,34,34,34,34,42,34,34,42,34,32,34,34,34,34,42,34,40,34,34,32,32,34,34,34,34,34,34,42,32,32],1,null,{"problem":43,"audience":45,"pricing":53,"motivation":43,"time_to_build":43,"stack":61,"openness":62,"stage":63,"team_size":64},{"value":46,"source":47,"evidence":48},"People learning how to build interpreters and programming languages","inferred",[49],{"id":50,"by":51,"text":52},"14640334","DanPristupov","I just want to thank Bob for the amazing \"Game Programming Patterns\" book. I can't recommend it highly enough. And since I'm also interested in compilers, I will buy \"Crafting…",{"value":54,"source":55,"evidence":56},"Free to read online","commenter",[57],{"id":58,"by":59,"text":60},"14639415","dang","It is because it's a substantial project (a book), posted by the author, and free for everyone to 'try out' (i.e. read). It's fair to have different standards for different…",[],"free","unknown","solo",{"praise":66,"objections":78,"requests":103,"questions":120,"alternatives":128},[67],{"value":68,"source":55,"evidence":69},"Good read and useful for learning language design",[70,74],{"id":71,"by":72,"text":73},"14643566","ejanus","Some typos : cook it down to a small number of primitives that the \"back end\" can do its magic on. backend. Most other syntax trees always evaluate their subtress. subtrees. Good…",{"id":75,"by":76,"text":77},"14640441","rspeele","&& having higher precedence than || makes sense because && is boolean multiplication and || is boolean addition.",[79,92],{"value":80,"source":55,"evidence":81},"Not a Show HN because it is a blog-style chapter, though others say books count",[82,86,89],{"id":83,"by":84,"text":85},"14637249","TekMol","This is not a Show HN.",{"id":87,"by":84,"text":88},"14640299","Is the posting of a book chapter different from a blog post? The Show HN rules say blog posts can't be Show HNs. And the reason given is they \"can't be tried out\".",{"id":90,"by":59,"text":91},"14648139","It's fine. We always intended books to count as valid Show HNs.",{"value":93,"source":55,"evidence":94},"Some claims about Turing-completeness and syntactic sugar are imprecise",[95,99],{"id":96,"by":97,"text":98},"14640666","justinpombrio","More nitpicking: > You can prove that by writing a simulator for a Turing machine in your language. Since Turing proved his machine can compute any computable function, by…",{"id":100,"by":101,"text":102},"14639888","ASipos","A bit of nitpicking: \"the function to compute the truth value of a given proof\" should be \"the function that returns the truth value of a given statement\" (1st change because it…",[104,113],{"value":105,"source":55,"evidence":106},"Fix typos and wording errors in the chapter",[107,108,112],{"id":100,"by":101,"text":102},{"id":109,"by":110,"text":111},"14640878","sn9","> \"It turns out that the answer to both is “no” and, in astonishingly, the two questions are deeply intertwined.\" Did you forget a word here?",{"id":71,"by":72,"text":73},{"value":114,"source":55,"evidence":115},"Post only the whole book as Show HN, not each chapter",[116],{"id":117,"by":118,"text":119},"14642011","pvg","to make it more obvious that I was self-posting Not really what Show HN is for, though, so if you skip it for just chapter updates (rather than the whole book) you'll probably…",[121],{"value":122,"source":55,"evidence":123},"Why && and || need different precedence",[124],{"id":125,"by":126,"text":127},"14640173","pacaro","The author asks why && and || need different precedence (Unless I misunderstood). This is because `a && (b || c)` has a different truth table than `(a && b) || c`",[],{"comments":130,"answered":40,"key":131},7,[132,135,138],{"id":133,"text":134},"14640813","> That's not by induction, that's by composition or something. Good point. I'll fix that. > That's not true! Eventually you'll run out of memory & disk space. Turing machine…",{"id":136,"text":137},"14640782","Thanks for this! When I get home this evening, I'll tweak this. You're right on all accounts. Except for the Neil Gaiman quote. I like Gaiman's wording better than Chesterton's…",{"id":139,"text":140},"14640958","Yes, yes I did. Would you believe I did three drafts of this? I'll fix it tonight. Thanks!",{"commenters":142,"max_depth":130,"maker_replies":130,"first_comment_mins":33,"lifespan_hours":143},21,30,[145,147,148,150,153,156,159,163,167,170,172,174,176,178,179,180,181,184,187,189,191,194,197,200,202,204,206,207,210,212,214,216,218,220,221,222,224,227,229,232],[100,34,42,146,101,34],"project\u002Fcritical\u002Fdocs",[96,34,42,146,97,34],[133,34,34,149,11,42],"maker\u002Fneutral\u002Fdocs",[151,34,40,152,97,34],"14640832","project\u002Fneutral\u002Fdocs",[154,34,40,152,155,34],"14640894","kazinator",[157,34,40,152,158,34],"14641230","sigjuice",[160,34,34,161,162,34],"14643103","commenter\u002Fneutral\u002Fnone","dom0",[164,34,34,165,166,34],"14642277","other\u002Fneutral\u002Fnone","DonaldPShimoda",[168,34,34,165,169,34],"14643363","agumonkey",[171,34,34,165,166,34],"14646994",[173,34,34,165,169,34],"14647578",[175,34,34,165,166,34],"14649468",[177,34,34,161,169,34],"14643361",[136,34,34,149,11,42],[109,34,42,146,110,34],[139,34,34,149,11,42],[182,34,34,183,110,34],"14641531","commenter\u002Fneutral\u002Fdocs",[185,34,42,146,186,34],"14642512","yorwba",[188,34,34,149,11,42],"14642699",[50,42,32,190,51,34],"maker\u002Fpositive\u002Fidea",[192,42,34,193,11,42],"14640707","maker\u002Fpositive\u002Fnone",[195,42,34,165,196,34],"14642264","khedoros1",[198,42,34,165,199,34],"14642607","EamonnMR",[201,42,34,165,196,34],"14643154",[71,203,42,146,72,34],2,[205,203,34,149,11,42],"14648631",[125,40,40,152,126,34],[208,40,34,161,209,34],"14640360","oconnor0",[211,40,34,165,126,34],"14642604",[75,40,32,213,76,34],"project\u002Fpositive\u002Fidea",[215,40,32,213,166,34],"14642284",[217,40,34,165,169,34],"14643368",[83,33,34,219,84,34],"other\u002Fcritical\u002Fnone",[58,33,34,165,59,34],[87,33,34,165,84,34],[223,33,34,165,59,34],"14640437",[225,33,34,226,11,42],"14640714","maker\u002Fneutral\u002Fnone",[117,33,42,228,118,34],"maker\u002Fcritical\u002Fnone",[230,33,32,193,231,34],"14642171","analognoise",[90,33,32,193,59,34],[],[235,240,245,250,254,258],{"id":236,"name":237,"points":238,"category":239},"14644539","GreenPiThumb",537,"hardware",{"id":241,"name":242,"points":243,"category":244},"14625795","Insect",354,"dev_tools",{"id":246,"name":247,"points":248,"category":249},"14652217","Hackerhunt",335,"productivity",{"id":251,"name":252,"points":253,"category":244},"14612440","Sourcetrail",328,{"id":255,"name":256,"points":257,"category":244},"14614304","pack3d",260,{"id":259,"name":260,"points":261,"category":262},"14636699","HyperLogLog",194,"languages",false,"v2",{"id":266,"name":5,"line":6,"ai":263,"cat":20,"year":13,"points":14,"comments":15,"rec":29,"s":30,"top":18,"kw":267,"maker":11,"domain":10,"tier":19,"attempts":34,"strip":268,"url":9,"mix":269,"praise":68,"objection":80,"sub":21},14637212,[24,25,26,27,28],"1103330000000010010500001030055000000155",[32,33,34,35],1793990960719]