[{"data":1,"prerenderedAt":183},["ShallowReactive",2],{"project-15795682":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":28,"sentiment":29,"stance_mix":30,"scored_comments":34,"aspects":35,"strip":38,"post_text":41,"what":42,"said":45,"maker_in_thread":80,"shape":85,"grid":90,"attempts":145,"same_week":146,"maker_shows":31,"maker_hidden":175,"reader_version":176,"card":177},"15795682","Angelic-hierarchy","A game about Turing machines, philosophy, and math","title","Show HN: Angelic-hierarchy, a game about Turing machines, philosophy, and math","https:\u002F\u002Fmodalduality.org\u002Fangelic-hierarchy\u002F","modalduality.org","_d4bj",1511861437,2017,95,20,481,2242,22,"notable","learning_science","educational game about computability","web_app",[24,25,26,27],"turing machine","busy beaver","computability theory","halting problem","curious",0.063,{"positive":31,"neutral":32,"mixed":31,"critical":33},1,6,0,8,{"idea":36,"docs":37},{"positive":33,"critical":33},{"positive":31,"critical":33},[33,39,39,39,33,33,39,39,33,33,39,33,40,39,33,33,33,33,33,33],3,5,null,{"problem":41,"audience":41,"pricing":41,"motivation":41,"time_to_build":41,"stack":43,"openness":44,"stage":44,"team_size":44},[],"unknown",{"praise":46,"objections":55,"requests":56,"questions":64,"alternatives":79},[47],{"value":48,"source":49,"evidence":50},"Thought-provoking and fun game for learning Turing machines","commenter",[51],{"id":52,"by":53,"text":54},"15812439","DonHopkins","Thanks for the awesome thought provoking game! Besides being able to store 1's and 0's on the tape, a Turing Machine program can encode data by the state that it's in (which is…",[],[57],{"value":58,"source":49,"evidence":59},"Explain Turing machines more for newcomers",[60],{"id":61,"by":62,"text":63},"15809486","mysticalfair","This is really awesome! Would be cool if you also briefly explain Turing machines for the really uninformed",[65,72],{"value":66,"source":49,"evidence":67},"Why not just write 1s forever in one state",[68],{"id":69,"by":70,"text":71},"15809901","cdancette","Why can't we just go right and write 1s, staying in the same state for infinity ?",{"value":73,"source":49,"evidence":74},"How does busy beaver differ from naming large numbers",[75],{"id":76,"by":77,"text":78},"15811066","westoncb","Cool idea! There were a couple points in the explanation which were kind of unclear to me, though: What makes it okay to identify the naming of a large number with producing that…",[],{"comments":31,"answered":33,"key":81},[82],{"id":83,"text":84},"15809635","Thanks! I should probably include some more details on how to program the simulator. Turing machines are just one simple way for formalizing programs, without all the…",{"commenters":86,"max_depth":87,"maker_replies":31,"first_comment_mins":88,"lifespan_hours":89},14,4,1986,58,[91,94,98,102,104,107,111,113,115,118,120,121,123,125,126,130,132,136,139,142],[92,33,33,93,53,33],"15813043","other\u002Fneutral\u002Fnone",[95,31,39,96,97,33],"15809483","maker\u002Fneutral\u002Fidea","modalduality",[99,31,39,100,101,33],"15811069","project\u002Fneutral\u002Fdocs","mlillie",[103,31,39,100,97,33],"15812232",[105,31,33,106,101,33],"15818815","commenter\u002Fneutral\u002Fnone",[108,109,33,93,110,33],"15812026",2,"goldenkey",[76,39,39,112,77,33],"project\u002Fmixed\u002Fdocs",[114,39,39,100,97,33],"15812227",[116,39,33,93,117,33],"15812658","wickawic",[119,87,33,93,53,33],"15812377",[61,40,39,100,62,33],[83,40,33,122,11,31],"maker\u002Fneutral\u002Fdocs",[52,40,40,124,53,33],"project\u002Fpositive\u002Fdocs",[69,32,39,100,70,33],[127,32,33,128,129,33],"15809912","commenter\u002Fneutral\u002Fdocs","four-yellow",[131,32,33,106,70,33],"15810234",[133,134,33,93,135,33],"15809786",7,"marknadal",[137,134,33,93,138,33],"15810129","bweis",[140,134,33,93,141,33],"15811592","qznc",[143,134,33,106,144,33],"15811924","empath75",[],[147,152,157,162,166,171],{"id":148,"name":149,"points":150,"category":151},"15765762","Nebula",345,"productivity",{"id":153,"name":154,"points":155,"category":156},"15796943","Tenta DNS",283,"infrastructure",{"id":158,"name":159,"points":160,"category":161},"15810244","Promptui",196,"languages",{"id":163,"name":164,"points":165,"category":161},"15809291","stream-audio-fingerprint",158,{"id":167,"name":168,"points":169,"category":170},"15785333","Ondevice SSH",152,"dev_tools",{"id":172,"name":173,"points":174,"category":20},"15793156","3D Game Programming",109,false,"v2",{"id":178,"name":5,"line":6,"ai":175,"cat":20,"year":13,"points":14,"comments":15,"rec":28,"s":179,"top":18,"kw":180,"maker":11,"domain":10,"tier":19,"attempts":33,"strip":181,"url":9,"mix":182,"praise":48,"objection":-1,"sub":21},15795682,0.06,[24,25,26,27],"03330033003053000000",[31,32,31,33],1793990967048]