New release of Umka, a statically typed embeddable scripting language https://www.reddit.com/r/ProgrammingLanguages/comments/1mwowpb/new_release_of_umka_a_statically_typed_embeddable/

Lua as a "data description language"? https://www.reddit.com/r/ProgrammingLanguages/comments/1mwg1rg/lua_as_a_data_description_language/

Tuning random generators https://www.reddit.com/r/ProgrammingLanguages/comments/1mwbpck/tuning_random_generators/

Tuning random generators https://www.reddit.com/r/ProgrammingLanguages/comments/1mwbnsm/tuning_random_generators/

The Best New Programming Language is a Proof Assistant by Harry Goldstein | DC Systems 006 https://www.reddit.com/r/ProgrammingLanguages/comments/1mw31kh/the_best_new_programming_language_is_a_proof/

The Carbon Language Project has published the first update on Memory Safety https://www.reddit.com/r/ProgrammingLanguages/comments/1mvv6h9/the_carbon_language_project_has_published_the/

Implicits and effect handlers in Siko https://www.reddit.com/r/ProgrammingLanguages/comments/1mvajhm/implicits_and_effect_handlers_in_siko/

Invertible Syntax without the Tuples (Functional Pearl) https://www.reddit.com/r/ProgrammingLanguages/comments/1mu7knr/invertible_syntax_without_the_tuples_functional/

What type of parser is this? https://www.reddit.com/r/ProgrammingLanguages/comments/1mty2sb/what_type_of_parser_is_this/

Is there a general-purpose, relatively modern, cross-platform, indentation-insensitive scripting language? https://www.reddit.com/r/ProgrammingLanguages/comments/1mt8z06/is_there_a_generalpurpose_relatively_modern/