[{"data":1,"prerenderedAt":156},["ShallowReactive",2],{"project-44890529":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":32,"aspects":33,"strip":37,"post_text":29,"what":38,"said":48,"maker_in_thread":93,"shape":103,"grid":106,"attempts":119,"same_week":120,"maker_shows":148,"maker_hidden":149,"reader_version":150,"card":151},"44890529","U","The U Programming Language","title","Show HN: The U Programming Language","https:\u002F\u002Fgist.github.com\u002FEGreg\u002F8f1e2310e89145b142899ba46d0cf2f7","gist.github.com","EGreg",1755102373,2025,1,7,3767,3837,99,"shown","languages","programming language","other",[21,24,25,26,27],"memory safety","ownership","mutability","nullable types","quiet",null,{"positive":31,"neutral":31,"mixed":31,"critical":32},0,3,{"docs":34,"design":35},{"positive":31,"critical":14},{"positive":31,"critical":36},2,[31,14,31,14,31,14,31],{"problem":39,"audience":29,"pricing":29,"motivation":29,"time_to_build":29,"stack":46,"openness":47,"stage":47,"team_size":47},{"value":40,"source":41,"evidence":42},"Memory safety without Rust-style borrow checkers, easier to grasp than Rust","maker",[43],{"id":44,"by":11,"text":45},"44892690","Yeah, I shouldn't have used ChatGPT to create the example I posted. It still messes up (since it wasn't trained on the language at all, of course). I will fix up the examples,…",[],"unknown",{"praise":49,"objections":50,"requests":74,"questions":83,"alternatives":88},[],[51,63,70],{"value":52,"source":53,"evidence":54},"Syntax and examples are hard to read and confusing","commenter",[55,59],{"id":56,"by":57,"text":58},"44890657","CureYooz","How about an example that is actually readable and easy to follow?",{"id":60,"by":61,"text":62},"44891012","Someone","``` f addAndSubtract(first:I, second:I) addAndSubtract => (first + second, first - second) sumResult:I; diffResult:I [sumResult, diffResult] := addAndSubtract(10, 3) ``` Weird…",{"value":64,"source":53,"evidence":65},"Type modifiers like :I-R and +R are unclear",[66,67],{"id":60,"by":61,"text":62},{"id":68,"by":61,"text":69},"44893505","> +R means \"remote\" or \"retained\", i.e. the variable doesn't live on the stack I think that’s a bad name. Both “remote” (https:\u002F\u002Fen.wikipedia.org\u002Fwiki\u002FRemote_procedure_call) and…",{"value":71,"source":53,"evidence":72},"Term 'remote' or 'retained' clashes with existing programming terms",[73],{"id":68,"by":61,"text":69},[75,79],{"value":76,"source":53,"evidence":77},"Clearer, readable example code",[78],{"id":56,"by":57,"text":58},{"value":80,"source":53,"evidence":81},"Better naming for the +R modifier, such as reference",[82],{"id":68,"by":61,"text":69},[84],{"value":85,"source":53,"evidence":86},"What does the :I-R type modifier mean",[87],{"id":60,"by":61,"text":62},[89],{"value":90,"source":53,"evidence":91},"Rust",[92],{"id":44,"by":11,"text":45},{"comments":94,"answered":32,"key":95},4,[96,99,102],{"id":97,"text":98},"44890617","Here is some example code ``` \u002F\u002F U Demo Program: “Ledger & Fibers” \u002F\u002F Showcases every language feature in a cohesive file. \u002F* Notes: - Tabs only for indentation - All statements…",{"id":100,"text":101},"44892886","Here, I will write one by hand right now: ``` d IntegerMath : SomeInterface, SomeOtherInterface someProperty:I someOtherProperty:I-M referenceProperty:IntegerMath+R+N \u002F\u002F nullable…",{"id":44,"text":45},{"commenters":32,"max_depth":104,"maker_replies":94,"first_comment_mins":105,"lifespan_hours":94},5,6,[107,109,111,112,114,116,117],[97,31,31,108,11,14],"project\u002Fneutral\u002Fdocs",[56,31,14,110,57,31],"project\u002Fcritical\u002Fdocs",[100,31,31,108,11,14],[60,31,14,113,61,31],"project\u002Fcritical\u002Fdesign",[44,31,31,115,11,14],"project\u002Fneutral\u002Fdesign",[68,31,14,113,61,31],[118,31,31,115,11,14],"44893679",[],[121,126,131,136,140,144],{"id":122,"name":123,"points":124,"category":125},"44846281","horizon",788,"creative",{"id":127,"name":128,"points":129,"category":130},"44878151","Building a web search engine from scratch with 3B neural embeddings",699,"web_saas",{"id":132,"name":133,"points":134,"category":135},"44855157","Engineering.fyi",470,"dev_tools",{"id":137,"name":138,"points":139,"category":135},"44878650","Omnara",310,{"id":141,"name":142,"points":143,"category":20},"44856935","Bolt",261,{"id":145,"name":146,"points":147,"category":125},"44870137","Tilf",214,11,false,"v2",{"id":152,"name":5,"line":6,"ai":149,"cat":20,"year":13,"points":14,"comments":15,"rec":28,"s":29,"top":18,"kw":153,"maker":11,"domain":10,"tier":19,"attempts":31,"strip":154,"url":9,"mix":155,"praise":-1,"objection":52,"sub":21},44890529,[21,24,25,26,27],"0101010",[31,31,31,32],1794036680233]