Leonard/Janis Robert König · @ljrk
440 followers · 16490 posts · Server todon.eu
Life is Tetris · @tetrislife
40 followers · 992 posts · Server qoto.orgAn #AI #ML company with a link called "Engineering Values" that 404's
https://www.wallaroo.ai/engineering-values
How telling!
#PonyLang
SoftwareHub Community · @SoftwareHub
18 followers · 41 posts · Server fosstodon.orgRecommended Programming languages
ATS-lang
https://www.cs.bu.edu/~hwxi/atslangweb/
Koka
https://koka-lang.github.io/koka/doc/index.html
Verona
https://github.com/microsoft/verona
Lean4
https://github.com/leanprover/lean4
NOTE: Recommended in addition to modern C++23.
#SoftwareHub
#SoftwareFreedomProject
#Cairo
#Ankara
#Riyadh
#ATSLang
#PonyLang
#KokaLang
#Vallang
#ValeLang
#ProjectVerona
#Lean4
#isocpp
#cplusplus
#cpp
#modernCplusplus
#ProgrammingLanguages
#SoftwareHub #softwarefreedomproject #cairo #ankara #riyadh #atslang #ponylang #KokaLang #vallang #valelang #projectverona #Lean4 #isocpp #cplusplus #cpp #moderncplusplus #programminglanguages
Ruud van Asseldonk · @ruuda
13 followers · 9 posts · Server fosstodon.orgI want to build something with #ponylang, but I don’t have any problems that Pony would be a good solution for :/
MysticBasil 🇺🇦 · @vazub
106 followers · 1827 posts · Server mastodon.online@brynet @bcallah Awesome talk, thank you! I tend to share similar passion, having ported @redlang to #NetBSD a while ago. Now looking forward to learn more with #openbsd, by updating #ponylang port there, continue with Red and seeing how #zig port progresses.
#zig #ponylang #openbsd #netbsd
Niclas Hedhman · @niclas
71 followers · 1962 posts · Server angrytoday.com
MysticBasil 🇺🇦 · @vazub
106 followers · 1827 posts · Server mastodon.online#Rust or #Pony? My vote goes to the latter - much more pleasant to work with, even at this early stage. #Ponylang
https://uu.diva-portal.org/smash/get/diva2:1363822/FULLTEXT01.pdf
