[{"data":1,"prerenderedAt":402},["ShallowReactive",2],{"project-32879848":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":35,"aspects":36,"strip":42,"post_text":44,"what":45,"said":65,"maker_in_thread":111,"shape":120,"grid":124,"attempts":362,"same_week":363,"maker_shows":312,"maker_hidden":394,"reader_version":395,"card":396},"32879848","LambdaLisp","A Lisp interpreter that runs on lambda calculus","title","Show HN: LambdaLisp – A Lisp interpreter that runs on lambda calculus","https:\u002F\u002Fwoodrush.github.io\u002Fblog\u002Flambdalisp.html","woodrush.github.io","woodrush",1663438677,2022,189,100,307,2570,12,"notable","languages","lisp interpreter","other",[24,25,26,27],"lisp","lambda calculus","interpreter","scott encoding","curious",-0.313,{"positive":31,"neutral":32,"mixed":33,"critical":34},2,8,0,5,15,{"idea":37,"performance":39,"execution":40,"design":41},{"positive":38,"critical":38},1,{"positive":38,"critical":31},{"positive":33,"critical":33},{"positive":33,"critical":38},[34,33,33,43,33,43,38,33,33,33,33,33,33,33,43,33,33,33,33,33,33,33,33,33,33,33,33,33,33,33,33,33,38,38,43,43,43,43,38,43],3,null,{"problem":46,"audience":44,"pricing":44,"motivation":52,"time_to_build":44,"stack":62,"openness":63,"stage":64,"team_size":64},{"value":47,"source":48,"evidence":49},"Implements Lisp purely in lambda calculus","inferred",[50],{"id":51},"post",{"value":53,"source":48,"evidence":54},"Explore lambda calculus as foundation for computation, inspired by Lazy K and BLC",[55,59],{"id":56,"by":57,"text":58},"32880150","lisper","This is one of the most mind-blowing things I have ever seen. Words fail me, so I'll appropriate some of the author's: \"Lisp has been described by Alan Kay as the Maxwell’s…",{"id":60,"by":11,"text":61},"32920293","Thank you for taking a look, and many thanks for your constructive comments. I found the BLC language and interpreter to be elegant and that was what brought me here. I was…",[],"open_source","unknown",{"praise":66,"objections":76,"requests":95,"questions":96,"alternatives":101},[67],{"value":68,"source":69,"evidence":70},"Mind-blowing and elegant demonstration of lambda calculus","commenter",[71,72],{"id":56,"by":57,"text":58},{"id":73,"by":74,"text":75},"32881788","tromp","As author of the Binary Lambda Calculus (BLC), I find this quite fascinating. It implements LISP in 163,654 bits of BLC. For comparison, minimal esoteric languages like BLC…",[77,88],{"value":78,"source":69,"evidence":79},"Slow execution is expected; multiplication scales poorly",[80,84],{"id":81,"by":82,"text":83},"32881460","actually_a_dog","This is undoubtedly cool, but I'd be really impressed if it wasn't stupidly slow. (I'm not saying it is stupidly slow, because I haven't had a chance to run it, just that I'd be…",{"id":85,"by":86,"text":87},"32883074","quickthrower2","It has to be slow. Multiplication will be O(N^2)!",{"value":89,"source":69,"evidence":90},"Lisp is simpler and needs no reimplementation to show lambda",[91],{"id":92,"by":93,"text":94},"32880858","zentr1c","Maybe I am stupid but what's the point in reimplementing lisp in lambda? Just to prove how beautiful simple lambda calculus is? The lambda functionality is allready in lisp. And…",[],[97],{"value":98,"source":69,"evidence":99},"Does the list encoding match standard Mogensen-Scott encoding?",[100],{"id":73,"by":74,"text":75},[102,106],{"value":103,"source":69,"evidence":104},"Binary Lambda Calculus",[105],{"id":73,"by":74,"text":75},{"value":107,"source":108,"evidence":109},"Lazy K","maker",[110],{"id":60,"by":11,"text":61},{"comments":43,"answered":33,"key":112},[113,114,117],{"id":60,"text":61},{"id":115,"text":116},"32890744","The basic tools required for implementing a LC interpreter in LC is demonstrated in LambdaLisp. Although LambdaLisp implements Lisp, the same tools can be used to implement a LC…",{"id":118,"text":119},"32888119","Thanks for your feedback, I forgot to mention the execution speed in the post. The number guessing game example (44 lines long) in the Usage section actually runs with an…",{"commenters":121,"max_depth":18,"maker_replies":43,"first_comment_mins":122,"lifespan_hours":123},29,27,80,[125,127,131,134,138,141,143,145,147,149,152,154,156,159,162,164,168,171,173,175,177,179,181,183,185,187,190,192,195,197,199,201,203,206,209,211,213,217,219,221,223,225,227,230,232,234,236,238,240,242,244,246,248,250,252,254,256,258,260,263,266,269,271,273,275,278,280,282,284,286,288,290,292,294,296,299,301,303,305,307,309,311,314,316,319,321,324,325,329,331,334,337,339,341,343,348,353,355,357,359],[56,33,34,126,57,33],"project\u002Fpositive\u002Fidea",[128,33,33,129,130,33],"32883508","commenter\u002Fneutral\u002Fnone","eointierney",[132,33,33,129,133,33],"32884561","bobbylarrybobby",[135,33,33,136,137,33],"32887894","other\u002Fneutral\u002Fnone","haskellandchill",[139,33,33,136,140,33],"32898707","invisiblerobot",[142,33,33,129,140,33],"32898720",[144,33,33,129,137,33],"32900569",[73,38,43,146,74,33],"project\u002Fneutral\u002Fperformance",[148,38,33,129,57,33],"32882478",[150,38,33,129,151,33],"32884119","keithalewis",[153,38,33,129,57,33],"32884440",[155,38,33,129,151,33],"32887351",[157,38,43,158,74,33],"32886344","project\u002Fneutral\u002Fexecution",[160,38,43,161,74,33],"32887216","project\u002Fneutral\u002Fdesign",[60,38,33,163,11,38],"maker\u002Fpositive\u002Fnone",[165,31,38,166,167,33],"32883171","project\u002Fcritical\u002Fdesign","contravariant",[169,31,33,129,170,33],"32883228","somewhereoutth",[172,43,33,136,170,33],"32882356",[174,43,33,136,57,33],"32882462",[176,43,33,136,170,33],"32882658",[178,43,33,129,57,33],"32882779",[180,43,33,129,170,33],"32882826",[182,43,33,129,57,33],"32883003",[184,43,33,129,170,33],"32883201",[186,43,33,129,57,33],"32884977",[188,43,33,129,189,33],"32883274","kazinator",[191,43,33,129,57,33],"32884957",[193,43,33,129,194,33],"32886223","medo-bear",[196,43,33,129,57,33],"32891735",[198,43,33,129,194,33],"32894921",[200,43,33,129,57,33],"32895027",[202,43,33,136,189,33],"32890085",[204,43,33,136,205,33],"32884496","lioeters",[207,43,33,136,208,33],"32884149","openfuture",[210,43,33,136,189,33],"32883213",[212,43,33,136,170,33],"32883392",[214,43,43,215,216,33],"32883454","project\u002Fneutral\u002Fidea","anderskaseorg",[218,43,33,129,189,33],"32884208",[220,43,33,129,74,33],"32885130",[222,43,33,129,189,33],"32885355",[224,43,33,129,74,33],"32886942",[226,43,33,129,189,33],"32890014",[228,43,33,129,229,33],"32896006","Y_Y",[231,43,33,129,57,33],"32905975",[233,43,33,129,189,33],"32891872",[235,43,33,129,216,33],"32885757",[237,43,33,129,189,33],"32889500",[239,43,33,129,216,33],"32891116",[241,43,33,129,189,33],"32891970",[243,43,33,129,216,33],"32892111",[245,43,33,129,189,33],"32904166",[247,43,33,129,57,33],"32884998",[249,43,33,129,74,33],"32885086",[251,43,33,129,137,33],"32887967",[253,43,33,129,57,33],"32888062",[255,43,33,129,189,33],"32885421",[257,43,33,129,74,33],"32885050",[259,43,33,129,189,33],"32885341",[261,43,33,129,262,33],"32886610","bidirectional",[264,43,33,129,265,33],"32889716","heavenlyblue",[267,43,33,268,189,33],"32890427","commenter\u002Fneutral\u002Fidea",[115,43,33,270,11,38],"maker\u002Fneutral\u002Fidea",[272,43,33,268,189,33],"32892435",[274,43,33,268,189,33],"32894441",[276,43,33,129,277,33],"32883530","pmcjones",[279,43,33,129,57,33],"32888045",[281,43,33,129,277,33],"32888555",[283,43,33,268,74,33],"32885233",[285,43,33,268,57,33],"32888041",[287,43,33,136,74,33],"32895272",[289,43,33,129,189,33],"32895878",[291,43,33,129,57,33],"32900012",[293,43,33,129,189,33],"32903719",[295,43,33,129,189,33],"32908046",[297,43,33,136,298,33],"32883173","armchairhacker",[300,43,33,136,170,33],"32883307",[302,43,33,136,74,33],"32885261",[304,43,33,136,189,33],"32883184",[306,43,33,136,170,33],"32883373",[308,43,33,268,74,33],"32885294",[310,43,33,129,189,33],"32885366",[92,312,38,313,93,33],4,"project\u002Fcritical\u002Fidea",[315,312,33,136,74,33],"32881835",[317,312,33,136,318,33],"32884945","jart",[81,34,38,320,82,33],"project\u002Fcritical\u002Fperformance",[322,34,34,323,57,33],"32882499","project\u002Fpositive\u002Fperformance",[85,34,38,320,86,33],[326,34,33,327,328,33],"32883235","commenter\u002Fneutral\u002Fperformance","sudosysgen",[330,34,33,327,86,33],"32883403",[332,34,43,146,333,33],"32884730","atennapel",[335,34,43,146,336,33],"32887023","wrbs",[338,34,33,268,74,33],"32887334",[340,34,33,129,86,33],"32892733",[118,34,33,342,11,38],"maker\u002Fneutral\u002Fperformance",[344,345,43,346,347,33],"32885136",6,"project\u002Fneutral\u002Fnone","ducktective",[349,350,38,351,352,33],"32880340",7,"project\u002Fcritical\u002Fnone","smitty1e",[354,350,33,129,93,33],"32880943",[356,350,43,346,57,33],"32882489",[358,350,33,136,93,33],"32884421",[360,350,33,361,170,33],"32882740","other\u002Fneutral\u002Fidea",[],[364,369,374,379,384,389],{"id":365,"name":366,"points":367,"category":368},"32884467","Dog Bunny Puzzle",1859,"games",{"id":370,"name":371,"points":372,"category":373},"32905802","Figr.app",275,"productivity",{"id":375,"name":376,"points":377,"category":378},"32894429","Stalwart JMAP",190,"infrastructure",{"id":380,"name":381,"points":382,"category":383},"32852478","WunderBase",179,"data",{"id":385,"name":386,"points":387,"category":388},"32881956","virtual-fido",166,"security_privacy",{"id":390,"name":391,"points":392,"category":393},"32898679","DevTools-X",136,"dev_tools",false,"v2",{"id":397,"name":5,"line":6,"ai":394,"cat":20,"year":13,"points":14,"comments":15,"rec":28,"s":398,"top":18,"kw":399,"maker":11,"domain":10,"tier":19,"attempts":33,"strip":400,"url":9,"mix":401,"praise":68,"objection":78,"sub":21},32879848,-0.31,[24,25,26,27],"5003031000000030000000000000000011333313",[31,32,33,34],1794036625167]