4 ms·

Judging from github contributions and user profiles it looks like the creator, Sylvan Clebsch, works in the Microsoft Research Lab, but he isn't involved anymor

Judging from github contributions and user profiles it looks like the creator, Sylvan Clebsch, works in the Microsoft Research Lab, but he isn't involved anymore. Someone else working at Microsoft, Sean Allen, is the new owner? https://github.com/ponylang/ponyc/graphs/contributors https://github.com/ponylang/ponyc/graphs/contributors Is MSFT involved with pony (that'd be huge) or is this just a MSFT employee side project?

pjmlp 6y ago
Sylvan Clebsch now is on Project Verona, alongside David Chisnall that used to contribute to GNUStep and also researcher on CHERI CPU. https://www.microsoft.com/en-us/research/project/project-verona/ https://www.microsoft.com/en-us/research/project/project-ver... The Imperial College hosts a Microsoft Research unit.
- devmunchies 6y ago
  wow so many languages being researched/developed at microsoft. There's this one too: https://www.microsoft.com/en-us/research/project/bosque-programming-language/ https://www.microsoft.com/en-us/research/project/bosque-prog...
  - pjmlp 6y ago
    Microsoft Research does lots of cool stuff, occasionally some of it actually lands on Windows. MDIL (Windows 8.x .NET compiler based on Bartok from Sigularity), .NET Native, async/await and C# 7+ low level features (influenced by Midori), WSL (picoprocesses came from DrawBridge), Windows 8 USB stack (P language), driver validation (Z prover),....
spooneybarger 6y ago
Hi Sean Allen here. Pony core team member. Friends with Sylvan since 1988. Sylvan is still involved with Pony but he doesn't contribute directly to the codebase these days. Microsoft isn't involved with Pony- it's still an all-volunteer project. A number of people associated with/working on Pony are also part of the Verona project from Microsoft Research. There's a lot of cross fertilization going on between Verona and Pony. A number of interesting ideas from Verona will probably find their way back into Pony (although many of them are "below the covers" so folks probably won't be aware). The current Pony core team can be seen here: https://github.com/orgs/ponylang/teams/core/members https://github.com/orgs/ponylang/teams/core/members

pjmlp 6y ago

Sylvan Clebsch now is on Project Verona, alongside David Chisnall that used to contribute to GNUStep and also researcher on CHERI CPU. https://www.microsoft.com/en-us/research/project/project-verona/ https://www.microsoft.com/en-us/research/project/project-ver... The Imperial College hosts a Microsoft Research unit.

devmunchies 6y ago
wow so many languages being researched/developed at microsoft. There's this one too: https://www.microsoft.com/en-us/research/project/bosque-programming-language/ https://www.microsoft.com/en-us/research/project/bosque-prog...
- pjmlp 6y ago
  Microsoft Research does lots of cool stuff, occasionally some of it actually lands on Windows. MDIL (Windows 8.x .NET compiler based on Bartok from Sigularity), .NET Native, async/await and C# 7+ low level features (influenced by Midori), WSL (picoprocesses came from DrawBridge), Windows 8 USB stack (P language), driver validation (Z prover),....

spooneybarger 6y ago

Hi Sean Allen here. Pony core team member. Friends with Sylvan since 1988. Sylvan is still involved with Pony but he doesn't contribute directly to the codebase these days. Microsoft isn't involved with Pony- it's still an all-volunteer project. A number of people associated with/working on Pony are also part of the Verona project from Microsoft Research. There's a lot of cross fertilization going on between Verona and Pony. A number of interesting ideas from Verona will probably find their way back into Pony (although many of them are "below the covers" so folks probably won't be aware). The current Pony core team can be seen here: https://github.com/orgs/ponylang/teams/core/members https://github.com/orgs/ponylang/teams/core/members