Skip to content
View huydo862003's full-sized avatar
🐶
Wish I could have a dog that does not poop
🐶
Wish I could have a dog that does not poop
47 followers · 44 following
  • Ho Chi Minh City, Vietnam

Achievements

Achievement: Pair Extraordinairex2Achievement: Public SponsorAchievement: Pull Sharkx3Achievement: StarstruckAchievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pair Extraordinairex2Achievement: Public SponsorAchievement: Pull Sharkx3Achievement: StarstruckAchievement: YOLOAchievement: Quickdraw

Block or report huydo862003

Report abuse

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

Report abuse
huydo862003/README.md

Holistics DBX

Currently working at Holistics/DBX.

I'm interested in these areas of computer science:

  • Type & language theory (Current focus)
  • Logic & Formal system
  • Category theory
  • Concurrency theory
  • Operating systems
  • Databases
  • Performance
  • Engineering in general

Wish I could connect with anyone who shares similar interests or just wants to exchange ideas. I feel like there are a lot to learn.

Some related repositories:

  • type-theory: Documenting my research of type & language theory.
  • MPiSC: My bachelor thesis on distributed wait-free MPSC queues, which was my first dive into concurrency theory. I was intrigued by the concept of progress guarantee and the many problems in this field. However, I find it pretty hard.

Drop me a message:

Email Discord

Pinned Loading

  1. holistics/dbml holistics/dbml Public

    Database Markup Language (DBML), designed to define and document database structures

    JavaScript 3.5k 215

  2. MPiSC MPiSC Public

    Investigation and porting of shared-memory MPSCs to distributed context using MPI-3

    C++ 8 1

  3. expresso expresso Public

    Recreational express-like Node.js web framework

    TypeScript 2

  4. sicp sicp Public

    Learning notes and exercise walkthrough of the SICP book

    Racket

  5. type-theory type-theory Public

    Practice type theory

    Rocq Prover 1

  6. sqlingo.js sqlingo.js Public

    A Typescript mirror of sqlglot to run natively in the browser

    TypeScript 2