About

你是我的梦想

写写代码，做做设计，
离开世界之前，一切都是过程。

My Programming Languages Spectrum
  💔️ ❤️ ️ ❤️❤️ ️ ❤️❤️❤️ ️
😅 
1

PHP
 
1

BASIC
 
1

C
 
1

Prolog
 
1

Objective-C
 
1

Kotlin
 
1

Dart
 
1

MIPS
 
1

Swift
 
1

Agda
 
1

Idris
🧐   
1

C++
 
1

Hack
 
1

Scheme
 
1

Racket
 
1

Clojure
 
1

C++ >11
 
1

C#
 
1

Typed Py
 
1

ActionScript 3
 
1

Scala
 
1

Rust
😏 
1

Shell
 
1

Java
 
1

Python
 
1

TypeScript
 
1

Flow
 
1

WASM
 
1

Haskell
 
1

Coq
 
1

SML
 
1

OCaml
 
1

ReasonML
🤓   
1

JavaScript
 
1

Javascript >ES6
 
1

λ
 
1

Λ
 
1

Π
 
1

Σ

Yet another man.

My Programming Languages Spectrum
  💔️ ❤️ ️ ❤️❤️ ️ ❤️❤️❤️ ️
😅 
1

PHP
 
1

BASIC
 
1

C
 
1

Prolog
 
1

Objective-C
 
1

Kotlin
 
1

Dart
 
1

MIPS
 
1

Swift
 
1

Agda
 
1

Idris
🧐   
1

C++
 
1

Hack
 
1

Scheme
 
1

Racket
 
1

Clojure
 
1

C++ >11
 
1

C#
 
1

Typed Py
 
1

ActionScript 3
 
1

Scala
 
1

Rust
😏 
1

Shell
 
1

Java
 
1

Python
 
1

TypeScript
 
1

Flow
 
1

WASM
 
1

Haskell
 
1

Coq
 
1

SML
 
1

OCaml
 
1

ReasonML
🤓   
1

JavaScript
 
1

Javascript >ES6
 
1

λ
 
1

Λ
 
1

Π
 
1

Σ
FEATURED TAGS
智能硬件
ABOUT ME

For the next quantum leap
离开世界之前，一切都是过程

FRIENDS