关于我

「It is a long story」

Hey，我是高槐玉（a.k.a. GHY, @ghypro），男，零二年生人，一个略懂计算机科学与艺术的斜杆不动青年，自诩是一个理想主义与现实主义杂交出来的码农与艺术评论员。

现为腾讯长沙子公司 签约软件工程师，就职于TEG-云架构平台部，负责混沌演习平台的后端开发等（是一种通过主动注入故障来验证系统稳定性和恢复能力的工具）。

目前的物理活动范围主要在湖南长沙，也想当个数字游民侠。虚拟分身日常出没于、知乎、B站、Instagram、推特、Github 等。

如果你在长沙，并喜欢打羽毛球，打篮球，打麻将，爬上，打csgo中的任何一项，或许我们可以成为好朋友。

我喜欢的

电影：

  • 《海上钢琴师》：三刷之片，在有限的琴键上奏出无限的诗篇，1900用孤独守护着精神世界的纯粹与自由。
  • 《教父三部曲》：一代教父在家族温情中安详离去，二代教父在权力巅峰下孤独终老——辉煌终将归于尘土，而救赎永远指向人性深处。
  • 《西西里的美丽传说》：当美丽成为原罪，整个小镇都成了共谋者——玛莲娜的伤痕照见了人性最深处的嫉妒与虚伪。
  • 《星际穿越》：心中最佳科幻片，在黑洞吞噬时间的边缘，谱写了一段悲壮又温柔的生存诗篇。
  • 《美国往事》：在冬日一个平静的下午，一点到五点，我仿佛跟随着noodle一起度过了他的一生。
  • 《绿皮书》：从未刻意煽情却直抵我的内心深处，我相信 ’ 生而不同，灵魂平等 ’。
  • 《未完待续》： 。。。。。。

纪录片：

  • 《人生果实》：当看完人生果实时，感觉窥视到了充实人生的一角。影评
  • 《舌尖上的中国》：我人生的重要意义之一就是来到这个世界体验美食！
  • 《大同市长》：耿彦波符合了我对理想主义的幻想！但对当局中文互联网环境表示悲哀
  • 《未完待续》：。。。。。。

书籍：

  • 《置身事内》：在阅读之前我可能对当前制度和政府存在许多偏见，但置身事内让我感受到了曾经我的无知。
  • 《小镇喧嚣》：小镇是一张由人情、利益与权力编织的网，每个人既是捕食者也是猎物，揭示了社会真实的运行法则
  • 《飘》：二刷ing
  • 《额尔古纳河右岸》：在驯鹿踏出的鄂温克小道上，一个民族的百年孤独如河水奔流——我们终将明白，真正的文明不是征服自然，而是以生命的尊严与青山共白头。
  • 《罪与罚》：所谓的‘超人理论’不过是灵魂为自己编织的遮羞布，而真正的救赎永远始于对平凡之恶的低头认罪。
  • 《未完待续》：。。。。。。

电视剧：

  • 《无耻之徒》：一遍遍刷新我对三观的下限，人原来还可以这样子活？
  • 《天道》： 文化属性与生存哲学的思辨，认识自己，遵循规律，坦然承认，方得自在。
  • 《请回答一九八八》：这就是最美好的青春写照。每个角色都如此鲜明具有个性！
  • 《未完待续》：。。。。。。

Hey, I am Huang, Xuan (a.k.a. @huxpro). I worked on the React Team at FacebookMeta.

I considered myself as a hybrid between a software engineer specifically into the programming languages theories and implementations domain (i.e. compiler, type system, type-based formal verification, virtual machine, runtime systems, garbage collection), and a creative technologiest deeply caring about many humanistic aspects (e.g. visual, sound, interaction) in UI and HCI in general.

I also worked on the Hermes JavaScript Engine, some other projects under the Reality Labs (Research), and ReasonML (now ReScript) efforts at Meta (Facebook).

In the past, I worked on Alitrip (Fliggy) mobile and web apps under the Alibaba Group, found and lead front-end infrastructure team at an unicorn startup company Beijing Weiying (a.k.a. WePiao, now acquired by Maoyan), and helped Ele.me (now acquired by Alibaba) to upgrade their mobile web site into the first influential PWA (progressive web app) in China.

I studied BA, Digital Media Art at Communication University of China and MS, Computer Science (with a focus on programming languages, mainly supervised by Prof. Matthew Fluet) at Rochester Institute of Technology.

Appearence
FEATURED TAGS
LF (逻辑基础) 笔记 Coq SF (软件基础) PLF (编程语言基础) 基础 C C++
ABOUT ME

高槐玉 要做一个有 swag 的程序员
React Team @ Meta

FRIENDS