&'static CV › work experience [#261]
&'static CV › work experience [#261]
1. Typesetting engine & scheme interpreter developer at
Liii Network
[jsr-001B]
1. Typesetting engine & scheme interpreter developer at
Liii Network
[jsr-001B]
2024.7 - 2024.9
During this period, I focused on the development of the typesetting engine, editor functionality, and scheme interpreter for
Liii STEM
and its open-source counterpart
Mogan STEM
.
- Developed the https://github.com/XmacsLabs/goldfish and standard libraries, including the packrat parser, REPL, and markdown tokenizer, which serve as the scripting foundation for the typesetting software.
- Implemented a streaming LLM renderer for real-time rendering of LLM output within the typesetting environment.
These tasks required deep integration between the interpreter, editor, and rendering pipeline, as well as designing extensible APIs for scripting and automation.
2. Backend development remote intern at
Second State
[jsr-000E]
2. Backend development remote intern at
Second State
[jsr-000E]
2022.7 - 2023.7
During the internship, I was mainly responsible for the backend development and SDK writing of
flows.network
.
Stack 2.1.
flows.network
[flows.network]
Stack 2.1.
flows.network
[flows.network]
Automate all your software tasks. Create GitOps, ChatOps, and DevOps automations using serverless functions!
Serverless platform using
WasmEdge
as runtime. Developed by
Second State
.
For backend server development work, I connect it with different platforms like GitHub, Telegram. I would read and study their documentation and then write the authentication and communicating logic. After encapsulation, it is written as a server according to the api requirements of
flows.network
.
I also need to write SDK in Rust for users of
flows.network
so that they can interact with the servers.
Since the environment in which
flows.network
runs the program is
WasmEdge
, the targets of the sdk are all WASI. I need to make a lot of trade-offs and workarounds specific to the WASI target.
Stack 2.2.
WasmEdge
[WasmEdge]
Stack 2.2.
WasmEdge
[WasmEdge]
WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices.
The fastest WASM VM written in C++. Developed by
Second State
.
3. Product engineer remote intern at
RisingWave Labs
[jsr-000F]
3. Product engineer remote intern at
RisingWave Labs
[jsr-000F]
2023.9 - 2024.7
I do a lot of testing and development on
RisingWave
.
Stack.
RisingWave
[RisingWave]
Stack.
RisingWave
[RisingWave]
RisingWave is a Postgres-compatible streaming database engineered to provide the simplest and most cost-efficient approach for processing, analyzing, and managing real-time event streaming data.
I need to test the sink/source connection between
RisingWave
and various connectors, and need to write connector e2e tests for CI.
- ci: add dynamodb integration test
- ci: add pubsub integration test
- test: add integration test for mindsdb
I also wrote and fixed some sink/source connectors to enable efficient data communication with
RisingWave
without losing data.
In addition to connector-related work, I will also do many database kernel-related work, such as supporting a certain SQL statement, adding a certain built-in function, adding internal tables, etc.
MoonBit