[{"data":1,"prerenderedAt":135},["ShallowReactive",2],{"project-39309783":3},{"id":4,"name":5,"line":6,"line_source":7,"title":8,"url":9,"domain":5,"maker":10,"posted_at":11,"year":12,"points":13,"comments":14,"rank_in_year":15,"shown_in_year":16,"top":17,"tier":18,"category":19,"subcategory":20,"format":21,"keywords":22,"reception":27,"sentiment":28,"stance_mix":29,"scored_comments":30,"aspects":32,"strip":34,"post_text":28,"what":35,"said":48,"maker_in_thread":73,"shape":83,"grid":85,"attempts":97,"same_week":98,"maker_shows":84,"maker_hidden":128,"reader_version":129,"card":130},"39309783","typescriptlang.org","Program will only compile if the grid on line 30 is a magic square","title","Show HN: Program will only compile if the grid on line 30 is a magic square","https:\u002F\u002Fwww.typescriptlang.org\u002Fplay?#code\u002FPTAEBUAsEsGdQA4CcD2BzJBDAtqA7tADaGgoB2hAnqAMYrYJECmo0AZqAC6QsbQAmpMqELQyLAMwAGVvEyhsmNNBqhYARwCumJCwLc1m7PACMAVgB0AWABQnSghYBBBI7L8APOFBMAHpyZ3OTJKAG0AXQAaUABVAD5QAF5QUIs08GiY8IBuW1t7R1AAYV1MAKckJAB5NgAZQI9bUGbQADlIppaizUqKpB9-QP5gsPCklPDOhOTu3srQgCJCQLRuBbG-AKC2zuaAfmKepD7d0AAuYtLyypr6sg920Bc3T1njyujMELi43Jt8hwsABi7ACgXGJSYZSYfVuDXMcQBhXAHic0QAQtEitMUmkLJDobC6g0nHFoniCddqsT7uiyaAKVcYTcaR5sRtBtsQWwwcIDpwkJoWBc2JhCLAmEjnO5UQMtsNQAAjFAoZZfaIADRxTjlQ3gAqFoAOGvOoFF4sldkBoAAImxURjNdrddt0UazWKJaaNVLQABxJACB2gTHFDo2FqRlo26IAUWiQPDUajfuiAAlogBJaanZNOGUotEhrH0-OeFEx0Dx0BA0sFjyp0AZ0DZpPJqNlrzByt+uvljyh6tpvtdooJrNk3PtyOdwtxifRWds+f+ycR6cbu3B0Nbotj232ouV3crk816Jnxtn5tnzNtjeb+2h-dbncXp+nj-ng8D6JXr83l+d5Tg+yZbi+77LlWkH7omP77v+UGAVBwHrqBoFbpW1aYeOP49pBlbIZWqHoaRP7VnBW7VohQ6QdWJFkaRW5wYhcHIXBDGMUx9qNshjacVx3EeM2d5cIKTA-JJUnSTJslyfJeQ2HQZCwJwpAANYXAaLDJNpoCYPAAZBgALNEACc0QAEz3qBEjRGY0QAOw2Q+AAc0QmNEABsiL-DYICXEw-DQJw+ooKAkCcJwCCwGcICwCgPJ4DoTDYEQhAWHQ2DAPwTAAG5MIQKCMGQaAALQFEwZXLAVhBlWKaAoIG3DGGVYgVYCsA0IGCCcMA1g2EAA","amenghra",1707438596,2024,10,5,2671,3515,76,"shown","languages","type system demo","other",[23,24,25,26],"typescript","type system","magic square","type level programming","quiet",null,{"positive":30,"neutral":31,"mixed":31,"critical":31},1,0,{"idea":33},{"positive":30,"critical":31},[31,31,14,31,31],{"problem":36,"audience":28,"pricing":28,"motivation":28,"time_to_build":28,"stack":42,"openness":47,"stage":47,"team_size":47},{"value":37,"source":38,"evidence":39},"Demonstrates type-level computation: a TypeScript program that fails to compile unless a grid is a magic square","inferred",[40],{"id":41},"post",[43],{"value":44,"source":38,"evidence":45},"TypeScript",[46],{"id":41},"unknown",{"praise":49,"objections":58,"requests":66,"questions":71,"alternatives":72},[50],{"value":51,"source":52,"evidence":53},"Helps build intuition that type checking can be undecidable","commenter",[54],{"id":55,"by":56,"text":57},"39309966","schoen","Wow! This may help with the intuition that typechecking for some type systems is an undecidable problem.",[59],{"value":60,"source":61,"evidence":62},"Maker admits the solution is ugly and hardcoded for a 3x3 grid","maker",[63],{"id":64,"by":10,"text":65},"39309786","It's ugly and hardcoded for a 3x3 grid. Can we improve this? Slightly better:…",[67],{"value":68,"source":61,"evidence":69},"Generalize the solution beyond a 3x3 grid",[70],{"id":64,"by":10,"text":65},[],[],{"comments":74,"answered":31,"key":75},3,[76,77,80],{"id":64,"text":65},{"id":78,"text":79},"39310801","Tada:…",{"id":81,"text":82},"39310036","https:\u002F\u002Fbeza1e1.tuxen.de\u002Farticles\u002Faccidentally_turing_complete.html lists a few type-related things. Type inference has been proven to be undecidable in some cases (e.g. with…",{"commenters":84,"max_depth":74,"maker_replies":74,"first_comment_mins":30,"lifespan_hours":84},2,[86,88,90,92,94],[64,31,31,87,10,30],"project\u002Fcritical\u002Fexecution",[78,31,31,89,10,30],"project\u002Fneutral\u002Fexecution",[55,30,14,91,56,31],"project\u002Fpositive\u002Fidea",[81,30,31,93,10,30],"other\u002Fneutral\u002Fidea",[95,30,31,96,56,31],"39310590","commenter\u002Fneutral\u002Fnone",[],[99,104,109,114,119,124],{"id":100,"name":101,"points":102,"category":103},"39339249","Bitwise Liminal",450,"creative",{"id":105,"name":106,"points":107,"category":108},"39372159","Reor",411,"productivity",{"id":110,"name":111,"points":112,"category":113},"39333309","SimpleKVM",397,"infrastructure",{"id":115,"name":116,"points":117,"category":118},"39365135","Athena Crisis",276,"games",{"id":120,"name":121,"points":122,"category":123},"39304068","traderjoes",274,"data",{"id":125,"name":126,"points":127,"category":103},"39314153","CueCam Presenter",246,false,"v2",{"id":131,"name":5,"line":6,"ai":128,"cat":19,"year":12,"points":13,"comments":14,"rec":27,"s":28,"top":17,"kw":132,"maker":10,"domain":5,"tier":18,"attempts":31,"strip":133,"url":9,"mix":134,"praise":51,"objection":60,"sub":20},39309783,[23,24,25,26],"00500",[30,31,31,31],1794036649411]