离开世界之前,一切都是过程。
Hi,我是Odin,后端打杂 NPC,面向Google开发工程师,面向Github开发工程师。 曾经是具有梦想的游戏研发公司的一员(手动滑稽),之后转向互联网技术,参与技术中台、能效平台建设,大数据项目建设。
目前的物理活动范围主要在公司&家,分身日常出没于博客、微博、知乎、Twitter、Github。
💔️ | ❤️ ️ | ❤️❤️ ️ | ❤️❤️❤️ ️ | |
---|---|---|---|---|
😅 | 打杂 BASIC |
设计 |
中间件 |
开发语言 |
🧐 | PRD(人人都是产品经理) |
ES kafka AS3 |
C++ |
|
😏 | Shell |
架构设计 |
RocketMQ Zookeeper kafka |
Java |
🤓 | Redis Celery RabbitMQ etcd |
Python Golang |
Your time is limited, so don’t waste it living someone else’s life.
Hi, I am @huxpro (Huang, Xuan), a will-be Facebook software engineer and a professed digital designer. My interests range from programming languages in general (type system, type-based formal verification, compiler construction, runtime system) to indurstial software engineering (web/mobile app development, user interface and UX, developer infra and DX).
In the past, I worked on Alitrip (Fliggy) mobile and web apps under the Alibaba Group, found and lead front-end infrastructure team at a unicorn startup Beijing Weiying (WePiao), and helped Ele.me to upgrade their mobile web 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 at Rochester Institute of Technology, with a focus on programming languages theory and construction.
I generally prefer languages that are close to ML (“Meta Language”), i.e. mostly functional programming. This should explain most of my picks e.g. JavaScript within dynamically-typed’s, Scala within JVM’s, Rust within unmanaged’s.
Left-right is how much I prefer it. Top-down is how much I know it. Versions are lower bounds.
💔️ | ❤️ ️ | ❤️❤️ ️ | ❤️❤️❤️ ️ | |
---|---|---|---|---|
😅 | PHP BASIC |
ObjC Prolog Hack |
Kotlin Dart |
Swift Agda Idris |
🧐 | Asm C++ Lisp* |
C++11 C# AS3 |
Scala Rust |
|
😏 | Shell |
C Java Python |
Typed JS* Wasm |
Haskell Coq ML* |
🤓 | JavaScript |
ECMAScript6 |
λ Λ Π Σ |
ML*
:OCaml
ReasonML
Standard ML
Lisp*
:Clojure
Scheme
Racket
Typed JS*
:Flow
TypeScript