Skip to content

@dlgochan

Haechan Lee

@dlgochan

dev

dev

Skill iconPython
Skill iconJavaScript
Node.js
Skill iconTypeScript
Skill iconReact.js

Software Engineer, Common Computer Inc.

Seoul, South Korea

Devfolio stats

Devfolio stats

2

projects

2

5

prizes

5

3

hackathons

3

0

Hackathons org.

0

GitHub

GitHub

338

contributions in the last year

Mar

S

M

T

W

T

F

S

0 contributions on 2025-03-02
0 contributions on 2025-03-03
0 contributions on 2025-03-04
0 contributions on 2025-03-05
0 contributions on 2025-03-06
0 contributions on 2025-03-07
0 contributions on 2025-03-08
0 contributions on 2025-03-09
0 contributions on 2025-03-10
0 contributions on 2025-03-11
0 contributions on 2025-03-12
0 contributions on 2025-03-13
0 contributions on 2025-03-14
0 contributions on 2025-03-15
0 contributions on 2025-03-16
0 contributions on 2025-03-17
0 contributions on 2025-03-18
0 contributions on 2025-03-19
0 contributions on 2025-03-20
0 contributions on 2025-03-21
0 contributions on 2025-03-22
0 contributions on 2025-03-23
0 contributions on 2025-03-24
0 contributions on 2025-03-25
0 contributions on 2025-03-26
0 contributions on 2025-03-27
0 contributions on 2025-03-28
0 contributions on 2025-03-29
0 contributions on 2025-03-30
0 contributions on 2025-03-31
0 contributions on 2026-03-01

Feb

0 contributions on 2026-02-01
0 contributions on 2026-02-02
0 contributions on 2026-02-03
0 contributions on 2026-02-04
0 contributions on 2026-02-05
1 contributions on 2026-02-06
0 contributions on 2026-02-07
0 contributions on 2026-02-08
0 contributions on 2026-02-09
0 contributions on 2026-02-10
0 contributions on 2026-02-11
0 contributions on 2026-02-12
0 contributions on 2026-02-13
0 contributions on 2026-02-14
0 contributions on 2026-02-15
0 contributions on 2026-02-16
4 contributions on 2026-02-17
4 contributions on 2026-02-18
0 contributions on 2026-02-19
1 contributions on 2026-02-20
0 contributions on 2026-02-21
0 contributions on 2026-02-22
0 contributions on 2026-02-23
0 contributions on 2026-02-24
0 contributions on 2026-02-25
1 contributions on 2026-02-26
0 contributions on 2026-02-27
0 contributions on 2026-02-28

Work Experience

Work Experience

C

Common Computer Inc.

Software Engineer

C

Software Engineer

Common Computer Inc.,

Top Projects

Top Projects

Project Image
Imperator of Mars

First-Order Logic(FOL) is all you need to solve Hallucination.

Problem: While Large Language Models (LLMs) have emerged as powerful tools in creative fields, issues like 'hallucination' and logical inconsistency limit their use in tasks requiring high fidelity. Additionally, large-scale collaborative projects involving multiple creators face challenges in maintaining content consistency, verifying contributions, and managing intellectual property (IP) rights. Solution: Imperator of Mars - FOLs + Merkle Proof First-Order Logic (FOL) Foundation: Defines world rules and settings using mathematically precise First-Order Logic (FOL), eliminating ambiguity and providing a logical foundation. Automated Consistency Verification: When new creative content (story developments, setting additions, etc.) is proposed, FOL agent automatically verifies if it conflicts with existing FOL rules. This prevents logical contradictions from entering the system. Proof You Can Trust (Signatures, DAG, Merkle Proofs): Writers use Signatures to prove they wrote their part. All the story parts link together like a chain in a structure called a DAG, showing the exact history. Merkle Proofs act like a super-secure check, proving each part truly belongs in the story's history and hasn't been faked or changed. Story Protocol-Integrated IP Management: Verified creative works can be registered as IP assets on the Story Protocol blockchain. This allows for transparent and automated management of IP ownership, licensing terms (Programmable IP Licenses), and royalty distribution for derivative works.

Imperator of Mars - Picture 1
Imperator of Mars - Picture 2