Skip to content
View seongheum-choi's full-sized avatar
:shipit:
:shipit:

Organizations

@Febase

Block or report seongheum-choi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
seongheum-choi/README.md
header
profile views followers timezone

About

I solve problems at @team-alean, currently building ALESE.

  • 🦀 Rust + Axum + Diesel on the server, TypeScript + Remix on the client
  • ☸️ I own the platform end to end: Kubernetes, OpenTofu, PostgreSQL, CI/CD, release tooling
  • 🤖 Lately: agent tooling — Claude Code skills, Linear automation, self-hosted dev agents
  • 💬 Ask me about Rust services, Remix, or running infra with a small team

Stack

Languages

Rust TypeScript

Backend & Data

Axum Tokio Diesel PostgreSQL Redis

Frontend

Remix pnpm

Platform

Kubernetes OpenTofu GitHub Actions


Stats

streak

Contribution Snake

contribution snake

Connect

github email linkedin



footer

Pinned Loading

  1. mothership mothership Public

    Agent deployer: runs agents for Linear agent sessions and Zulip conversations

    Rust

  2. zed zed Public

    Forked from zed-industries/zed

    Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

    Rust