[{"data":1,"prerenderedAt":590},["ShallowReactive",2],{"project-49209385":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":46,"post_text":48,"what":49,"said":74,"maker_in_thread":180,"shape":193,"grid":197,"attempts":552,"same_week":553,"maker_shows":47,"maker_hidden":582,"reader_version":583,"card":584},"49209385","Wyzer","Wyzer Programming Language","title","Show HN: Wyzer Programming Language","https:\u002F\u002Fgithub.com\u002FWyzer-Lang\u002Fwyzer","github.com","v0id_isgood",1786105735,2026,227,120,230,4366,6,"notable","languages","programming language","other",[24,21,25,26,27],"choreographic programming","perceus","distributed deadlock","linear types","mixed",-0.154,{"positive":31,"neutral":32,"mixed":33,"critical":34},10,32,4,24,70,{"docs":37,"idea":39,"design":42,"performance":43,"execution":45},{"positive":38,"critical":31},5,{"positive":40,"critical":41},2,3,{"positive":40,"critical":41},{"positive":44,"critical":40},0,{"positive":44,"critical":44},[38,47,44,47,47,38,41,38,40,41,47,47,47,47,41,41,44,44,44,44,41,47,38,47,41,41,38,47,40,47,41,47,33,38,47,47,47,47,41,44],1,"So i've been working on this project since a few days (or months i should say), it's called wyzer (meaning wiser) it's a statically typed, compiled, resource-oriented programming language with integrated distributed safety via choreographic programming and perceus memory model, The reason why i began this project is out of frustration from Rust, you see it does provide safety for your memory by the strict type checking but what it does not gurantee safety against are distributed deadlocks which is basically a few independent nodes or services wait permanently for resources or messages held by ",{"problem":50,"audience":56,"pricing":56,"motivation":57,"time_to_build":61,"stack":65,"openness":72,"stage":73,"team_size":72},{"value":51,"source":52,"evidence":53},"Rust does not guarantee safety against distributed deadlocks and cross-service protocol mismatches","maker",[54],{"id":55},"post",null,{"value":58,"source":52,"evidence":59},"Frustration with Rust not guaranteeing distributed safety",[60],{"id":55},{"value":62,"source":52,"evidence":63},"5 months of research and a few weeks of development",[64],{"id":55},[66],{"value":67,"source":52,"evidence":68},"OCaml (implementation language)",[69],{"id":70,"by":11,"text":71},"49213051","Ocaml was very simple to program in to be honest, and has very minimal rules as well so i can be productive with the development of the language, Rust also used ocaml in it's…","unknown","prototype",{"praise":75,"objections":95,"requests":125,"questions":149,"alternatives":164},[76,88],{"value":77,"source":78,"evidence":79},"Novel focus on choreographic programming","commenter",[80,84],{"id":81,"by":82,"text":83},"49212481","jerf","I love the ambition and the fact that this is not just another \"state of the art in 2015\" language like I see so often. It's trying to do something genuinely different. The field…",{"id":85,"by":86,"text":87},"49211919","bckr","I like the ideas a lot. The Readme needs some polish (I think it’s great that it reads as hand-written; an LLM could make suggestions that make it just 10% easier to read). Is…",{"value":89,"source":78,"evidence":90},"Clean, conservative syntax",[91],{"id":92,"by":93,"text":94},"49210631","hyperhello","First of all, the syntax is very generic and conservative. I’m extremely positive about that. It just looks like C or Typescript or Java to me and I don’t see mysterious…",[96,111,118],{"value":97,"source":78,"evidence":98},"Documentation does not explain choreography or show examples",[99,103,107],{"id":100,"by":101,"text":102},"49210602","jitl","Your README and docs don’t describe any of the interesting or unique things here. You cover `if` in README but not choreographic programming or perceus. Did i miss some big link?…",{"id":104,"by":105,"text":106},"49213951","adastra22","I skimmed so I may have missed it, but nowhere in the README do I actually see a description of what \"choreographic programming\" is, or an example of it.",{"id":108,"by":109,"text":110},"49212950","dwroberts","The tests I could find for ‘choreographed programming’ were 1-2 lines long and demonstrated absolutely nothing, certainly nothing as elaborate as the research text is stating.…",{"value":112,"source":78,"evidence":113},"Perceus with linear resource rule seems contradictory; cycles may leak",[114],{"id":115,"by":116,"text":117},"49212762","imthenitto","The pitch is \"one ownership rule for memory, threads, and networks,\" but I think there are two rules in here and they pull against each other. The resource rule as stated is…",{"value":119,"source":78,"evidence":120},"Timeout and external call handling unclear",[121],{"id":122,"by":123,"text":124},"49217266","renox","Congratulations your language is trying to solve an hard problem. But .. your language mostly hide when you're doing an 'inside' function call or an 'external' function call. I'm…",[126,138],{"value":127,"source":78,"evidence":128},"Add concrete code examples",[129,130,134],{"id":92,"by":93,"text":94},{"id":131,"by":132,"text":133},"49211395","andai","Very interesting. Maybe this would benefit from concrete examples, of things that are difficult or impossible in other languages, but well supported in Wyzer? I see there's a few…",{"id":135,"by":136,"text":137},"49211922","netniuq","nice Rust-inspired syntax, although if the main selling point is choreography here, that isn't featured enough on web page or README. Needs more examples\u002Fexplanation of how that…",{"value":139,"source":78,"evidence":140},"Explain how choreographic programming works",[141,145],{"id":142,"by":143,"text":144},"49213401","rbr94","For anyone looking for an easily digestible primer on choreographies: https:\u002F\u002Fdecomposition.al\u002Fzines\u002Fcommunicating-chorrectly-zine.pdf Too bad the github readme doesn't explain…",{"id":146,"by":147,"text":148},"49214779","onlyrealcuzzo","As someone working on a language in this space, I think your README could be much better. Most of the important stuff is in this section: ```3. What's Actually New About It?```…",[150,157],{"value":151,"source":78,"evidence":152},"How are distributed deadlocks prevented",[153],{"id":154,"by":155,"text":156},"49211277","vlovich123","One thing I don’t understand is how you can guarantee the lack of a distributed deadlock. I’m sure it’s covered in the underlying research, but just conceptually it’s hard to…",{"value":158,"source":78,"evidence":159},"How does Perceus handle shared data and performance",[160],{"id":161,"by":162,"text":163},"49216026","whateverboat","> Memory (Section 5): You write functional code that does not change data. Behind the scenes, if a piece of data has only one owner, the compiler changes it directly in memory.…",[165,169,176],{"value":166,"source":78,"evidence":167},"Rust",[168],{"id":146,"by":147,"text":148},{"value":170,"source":78,"evidence":171},"Chapel",[172],{"id":173,"by":174,"text":175},"49211767","pjmlp","No mention of the much more mature Chapel, with industry support, given the domain?",{"value":177,"source":78,"evidence":178},"Session types",[179],{"id":85,"by":86,"text":87},{"comments":181,"answered":182,"key":183},15,7,[184,187,190],{"id":185,"text":186},"49212916","This is hands down some of the most constructive feedback we’ve received. You hit the nail on the head. We definitely fell into the author’s trap of structuring docs \"bottom-up\"…",{"id":188,"text":189},"49210701","i'm actively working on the documentation without AI because it has been an awful experience with it , i've also restricted AI from contributing to it in any way except for…",{"id":191,"text":192},"49210935","also , yes i have an example i reprogrammed donut.c in my programming language and called it donut.wyz https:\u002F\u002Fgithub.com\u002Frudywasfound\u002Fdonut.wyz go check it out!",{"commenters":194,"max_depth":18,"maker_replies":181,"first_comment_mins":195,"lifespan_hours":196},83,88,311,[198,200,202,205,208,211,214,218,220,222,226,229,231,234,237,240,243,247,251,255,257,258,261,262,265,269,271,274,277,280,283,284,287,288,290,293,295,298,301,303,306,308,311,314,318,320,322,326,330,334,337,339,341,343,346,349,351,354,356,358,361,365,369,372,375,378,380,382,386,388,390,392,395,399,401,403,407,411,415,418,422,427,430,432,434,439,444,448,450,452,456,459,460,464,468,471,475,479,483,486,490,494,498,502,504,509,511,515,517,521,523,527,530,532,536,538,540,544,547,549],[81,44,38,199,82,44],"maker\u002Fpositive\u002Fdocs",[185,44,44,201,11,47],"maker\u002Fneutral\u002Fdocs",[203,44,41,201,204,44],"49213369","chime",[206,44,44,207,82,44],"49213911","commenter\u002Fneutral\u002Fdocs",[209,44,41,201,210,44],"49213478","bramadityaw",[212,44,47,213,105,44],"49213961","maker\u002Fcritical\u002Fnone",[215,44,44,216,217,44],"49218785","other\u002Fneutral\u002Fnone","byson94",[219,44,44,216,105,44],"49219080",[221,44,44,216,217,44],"49219474",[223,44,44,224,225,44],"49214439","commenter\u002Fneutral\u002Fnone","Jabbles",[227,44,47,213,228,44],"49218780","winfredJa",[230,44,44,216,217,44],"49218791",[232,44,41,201,233,44],"49214580","irq-1",[235,44,47,213,236,44],"49215002","valorzard",[238,44,47,213,239,44],"49216402","arcrevenant",[241,44,38,242,239,44],"49215013","project\u002Fpositive\u002Fdocs",[244,44,38,245,246,44],"49215312","project\u002Fpositive\u002Fidea","bitwizeshift",[248,44,41,249,250,44],"49219917","project\u002Fneutral\u002Fdocs","BiteCode_dev",[252,44,44,253,254,44],"49229477","other\u002Fneutral\u002Fidea","zahlman",[92,47,41,256,93,44],"project\u002Fmixed\u002Fdocs",[188,47,44,201,11,47],[259,47,38,199,260,44],"49217696","gitgud",[191,47,44,201,11,47],[263,47,41,201,264,44],"49212181","snek_case",[266,47,47,267,268,44],"49213409","project\u002Fcritical\u002Fdocs","mightyham",[154,40,41,270,155,44],"project\u002Fneutral\u002Fidea",[272,40,41,270,273,44],"49211936","minraws",[275,40,41,270,276,44],"49215278","fmontesi",[278,40,44,279,11,47],"49234104","maker\u002Fneutral\u002Fnone",[281,40,41,270,282,44],"49215323","pgt",[142,41,41,256,143,44],[285,41,44,216,286,44],"49215629","tristanMatthias",[100,33,47,267,101,44],[289,33,44,201,11,47],"49210660",[291,33,44,207,292,44],"49210950","derdi",[294,33,47,267,101,44],"49211063",[296,33,44,207,297,44],"49211658","polymer8563",[299,33,47,267,300,44],"49212616","IsTom",[302,33,47,267,132,44],"49211313",[304,38,41,279,305,44],"49211322","hmokiguess",[307,38,44,279,11,47],"49211483",[309,38,47,213,310,44],"49217096","DoesntMatter22",[312,18,44,216,313,44],"49222050","stack_framer",[315,182,41,316,317,44],"49211568","project\u002Fneutral\u002Fdesign","steeleduncan",[319,182,44,316,11,47],"49211786",[321,182,41,316,210,44],"49214093",[323,324,41,256,325,44],"49216356",8,"gwbas1c",[327,328,41,270,329,44],"49215163",9,"nicoburns",[331,31,44,332,333,44],"49212561","other\u002Fneutral\u002Fperformance","pron",[335,31,44,332,336,44],"49214550","allknowingfrog",[338,31,44,332,333,44],"49217565",[340,31,44,332,336,44],"49226271",[342,31,44,332,333,44],"49226651",[344,31,44,332,345,44],"49216904","jesse__",[347,31,44,332,348,44],"49217118","xigoi",[350,31,44,332,333,44],"49217202",[352,31,44,353,345,44],"49226766","commenter\u002Fneutral\u002Fperformance",[355,31,44,353,333,44],"49227232",[357,31,44,353,333,44],"49256619",[359,31,44,224,360,44],"49248120","hitekker",[362,363,41,249,364,44],"49213932",11,"jnpnj",[366,367,41,270,368,44],"49212380",12,"slifin",[161,370,41,371,162,44],13,"project\u002Fneutral\u002Fperformance",[373,374,44,279,11,47],"49231356",14,[376,181,41,270,377,44],"49212993","rrook",[146,379,47,267,147,44],16,[85,381,38,242,86,44],17,[383,384,41,316,385,44],"49212335",18,"reactordev",[387,384,44,216,11,47],"49213202",[389,384,44,216,385,44],"49213728",[391,384,44,216,11,47],"49373371",[122,393,47,394,123,44],19,"project\u002Fcritical\u002Fperformance",[396,397,41,270,398,44],"49215531",20,"fxj",[135,400,41,256,136,44],21,[131,402,41,249,132,44],22,[404,405,41,270,406,44],"49214658",23,"srean",[408,34,41,409,410,44],"49219165","project\u002Fneutral\u002Fexecution","Panzerschrek",[412,413,41,249,414,44],"49211569",25,"pmarreck",[416,413,44,216,417,44],"49213779","tosti",[419,420,41,249,421,44],"49213246",26,"bryzaguy",[423,424,38,425,426,44],"49213238",27,"maker\u002Fpositive\u002Fnone","pmkary",[428,424,41,279,429,44],"49215089","beckford",[431,424,44,216,426,44],"49215232",[104,433,47,267,105,44],28,[435,436,47,437,438,44],"49216658",29,"project\u002Fcritical\u002Fdesign","NetMageSCW",[440,441,38,442,443,44],"49219821",30,"project\u002Fpositive\u002Fdesign","testerius",[445,446,47,267,447,44],"49210884",31,"manithree",[449,446,44,201,11,47],"49211026",[451,446,47,267,101,44],"49211130",[453,446,44,454,455,44],"49211489","commenter\u002Fneutral\u002Fidea","thomasmg",[457,32,41,316,458,44],"49212924","taolson",[70,32,44,279,11,47],[461,462,41,270,463,44],"49213959",33,"lostbean",[465,466,47,394,467,44],"49212078",34,"phplovesong",[173,469,47,470,174,44],35,"project\u002Fcritical\u002Fidea",[472,473,47,437,474,44],"49213695",36,"DauntingPear7",[476,477,38,245,478,44],"49212780",37,"Myzel394",[480,481,41,249,482,44],"49212783",38,"nirbendavid",[484,485,41,270,210,44],"49214107",39,[487,488,38,242,489,44],"49211351",40,"REDA_MAH",[491,492,44,216,493,44],"49278380",41,"EditArteSoy",[495,496,38,442,497,44],"49213125",42,"mring33621",[499,500,44,216,501,44],"49211656",43,"kazinator",[115,503,47,470,116,44],44,[505,506,47,507,508,44],"49213710",45,"project\u002Fcritical\u002Fnone","xyzsparetimexyz",[108,510,47,267,109,44],46,[512,513,41,316,514,44],"49210498",47,"vsilent",[516,513,44,279,11,47],"49210529",[518,519,41,316,520,44],"49212591",48,"thechao",[522,519,44,279,11,47],"49212946",[524,525,47,470,526,44],"49212658",49,"gokaygurcan",[528,525,44,216,529,44],"49212995","999900000999",[531,525,44,224,310,44],"49217114",[533,534,47,437,535,44],"49212901",50,"khat",[537,534,44,279,11,47],"49212938",[539,534,41,316,210,44],"49214172",[541,542,44,216,543,44],"49214528",51,"tpoacher",[545,542,44,216,546,44],"49214563","jwolfe",[548,542,44,216,543,44],"49214618",[550,542,44,216,551,44],"49214935","tonyg",[],[554,559,564,568,573,578],{"id":555,"name":556,"points":557,"category":558},"49246804","Needle2",537,"ai",{"id":560,"name":561,"points":562,"category":563},"49226623","Photosynthesis",329,"creative",{"id":565,"name":566,"points":567,"category":20},"49270040","Woxi",314,{"id":569,"name":570,"points":571,"category":572},"49197137","Altar II",306,"hardware",{"id":574,"name":575,"points":576,"category":577},"49251179","everycube.alen.is",295,"games",{"id":579,"name":580,"points":581,"category":563},"49246366","Eigendrum",243,false,"v2",{"id":585,"name":5,"line":6,"ai":582,"cat":20,"year":13,"points":14,"comments":15,"rec":28,"s":586,"top":18,"kw":587,"maker":11,"domain":10,"tier":19,"attempts":44,"strip":588,"url":9,"mix":589,"praise":77,"objection":97,"sub":21},49209385,-0.15,[24,21,25,26,27],"5101153523111133000031513351213145111130",[31,32,33,34],1794036707367]