Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
Home Assistant
home-assistant
Open source home automation that puts local control and privacy first. Powered by a worldwide community of tinkerers and DIY enthusiasts.
Your home
The Linux Userspace API Group
uapi-group
The userspace API ("uapi") group is a community for people with an interest in innovating how we build, deploy, and run modern Linux operating systems.
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.
@grammarly (Formerly @pinterest, @Yelp) I love San Francisco
James O. D. Hunt
jodh-intel
Works at Intel's Opensource Technology Centre (OTC) and hacks on @kata-containers.
jodh on IRC / Slack.
(My personal github is @jamesodhunt).
@intel UK
zhangwei_cs
WeiZhang555
Container Fans, Cloud Native developer.
Live long and prosper!
Kata Containers Beijing, China
Xu Wang
gnawux
Being responsible for Ant Group Open Source & Ant Group Container Infrastructure Team; A co-launcher of OIF Kata Containers;
@antgroup ( @alipay ) @kata-containers @hyperhq Beijing, China