Post AMco3fjH7NHA1eJ3LM by janriemer@mastodon.technology
 (DIR) More posts by janriemer@mastodon.technology
 (DIR) Post #AMbOrH42Iwgu2b35CC by janriemer@mastodon.technology
       2022-08-16T19:50:48Z
       
       0 likes, 1 repeats
       
       Rust in Perspective - by linuswhttps://people.kernel.org/linusw/rust-in-perspectiveIf you want to know the future of programming languages, you should give this a read.Really interesting and inspiring blog post about the history of programming languages and how with #Rust we finally have a language that combines computer science with software engineering. ✨ #RustLang #ProgrammingLanguage #ComputerScience #SoftwareEngineering #FunctionalProgramming
       
 (DIR) Post #AMbPYZLuBXlpDG3FgG by veer66@mstdn.io
       2022-08-17T00:39:39Z
       
       0 likes, 0 repeats
       
       @janriemer Proofing sounds like Idris. 😅
       
 (DIR) Post #AMco3fjH7NHA1eJ3LM by janriemer@mastodon.technology
       2022-08-17T16:48:53Z
       
       0 likes, 0 repeats
       
       @veer66 😅 Facts! I've only seen some little example code of Idris, but wow, what a crazy language (meant in a positive way)! 🤯