wintrover

Redefining software integrity through Deterministic Engineering. Building Archright to replace fragile implementation with proven thought trajectories. Nim v2 & Lean 4 enthusiast.

Seoul, Korea Joined on Aug 7, 2024 wintrover@gmail.com https://wintrover.github.io

Pronouns

Him

Work

Founder & System Architect at Archright

wintrover

Mar 20

Why We Still Don't Trust AI-Generated Code: The Archright Trinity

#devlog #ai #formal #verification

4 min read

Want to connect with wintrover?

Create an account to connect with wintrover. You can also sign in below to proceed if you already have an account.

Create Account

Already have an account? Sign in

wintrover

Mar 17

In the Age of Probabilistic Intelligence, a Thirst for Deterministic Systems

#devlog

2 min read

wintrover

Mar 17

From Celery/Redis to Temporal: A Journey Toward Idempotency and Reliable Workflows

#smbholdings

3 min read

wintrover

Mar 17

Testing in the Age of AI Agents: How I Kept QA from Collapsing

#smbholdings

4 min read

wintrover

Mar 17

The Pitfalls of Test Coverage: Introducing Mutation Testing with Stryker and Cosmic Ray

#smbholdings

3 min read

wintrover

Mar 17

Do I Really Need Svelte in My Django Project? — A Practical Checklist I Wrote After Comparing Vanilla JS vs. Frameworks

#cvfactory

5 min read

wintrover

Nov 30 '25

The Infrastructure Overhaul That Saved My Development Velocity — A Traefik & Turborepo Migration Story

#smbholdings

5 min read

wintrover

Nov 19 '25

I Finally Achieved Automatic ID Card and Face Capture on Web Pages, Face Similarity Comparison Between Images and Videos, and...

#smbholdings

8 min read

wintrover

Oct 27 '25

Debugging a Production KYC System — A Multi-Layer Problem Solving Guide I Wrote After 3 Days of Infrastructure Hell

#smbholdings

5 min read

wintrover

Sep 23 '25

Upgrading Face Recognition: From DeepFace to InsightFace — Performance, Quality, and Integration

#smbholdings

3 min read

wintrover

Sep 4 '25

Building a KYC Video Recording and Splitting System: React + FFmpeg + MediaRecorder API

#smbholdings

4 min read

wintrover

Aug 24 '25

React Migration, Camera Library Replacement, and Edge Detection Improvements

#smbholdings

8 min read

wintrover

Aug 20 '25

Face Recognition Project Development: Technical Challenges and System Stabilization Journey

#smbholdings

10 min read

wintrover

Aug 17 '25

Junior Developer's Full-Stack AI Journey: Completing the KYC System and Growing

#smbholdings

5 min read

wintrover

Aug 10 '25

As a New Hire, I'm Leading the Company Platform's Facial Authentication System Development

#smbholdings

3 min read

wintrover

Jul 7 '25

Implementing SonarQube Community Edition in My Repository - Achieving Grade A Code Quality Locally

#cvfactory

4 min read

wintrover

Jul 7 '25

Do I Really Need Svelte in My Django Project? — A Practical Checklist I Wrote After Comparing Vanilla JS vs. Frameworks.

#frontend #svelte #javascript #django

5 min read

wintrover

Jul 1 '25

Behind CVFactory's Backend: Celery, FastAPI, and Playwright at Scale

#cvfactory

2 min read

wintrover

Jun 28 '25

How I Built CVFactory: Deploying an AI Cover-Letter Generator with Django & Docker

#cvfactory

3 min read

DEV Community

wintrover

Badges

1 Week Community Wellness Streak

One Year Club

Writing Debut

Skills/Languages

Currently learning

Currently hacking on

Available for

Why We Still Don't Trust AI-Generated Code: The Archright Trinity

Want to connect with wintrover?

In the Age of Probabilistic Intelligence, a Thirst for Deterministic Systems

From Celery/Redis to Temporal: A Journey Toward Idempotency and Reliable Workflows

Testing in the Age of AI Agents: How I Kept QA from Collapsing

The Pitfalls of Test Coverage: Introducing Mutation Testing with Stryker and Cosmic Ray

Do I Really Need Svelte in My Django Project? — A Practical Checklist I Wrote After Comparing Vanilla JS vs. Frameworks

The Infrastructure Overhaul That Saved My Development Velocity — A Traefik & Turborepo Migration Story

I Finally Achieved Automatic ID Card and Face Capture on Web Pages, Face Similarity Comparison Between Images and Videos, and...

Debugging a Production KYC System — A Multi-Layer Problem Solving Guide I Wrote After 3 Days of Infrastructure Hell

Upgrading Face Recognition: From DeepFace to InsightFace — Performance, Quality, and Integration

Building a KYC Video Recording and Splitting System: React + FFmpeg + MediaRecorder API

React Migration, Camera Library Replacement, and Edge Detection Improvements

Face Recognition Project Development: Technical Challenges and System Stabilization Journey

Junior Developer's Full-Stack AI Journey: Completing the KYC System and Growing

As a New Hire, I'm Leading the Company Platform's Facial Authentication System Development

Implementing SonarQube Community Edition in My Repository - Achieving Grade A Code Quality Locally

Do I Really Need Svelte in My Django Project? — A Practical Checklist I Wrote After Comparing Vanilla JS vs. Frameworks.

Behind CVFactory's Backend: Celery, FastAPI, and Playwright at Scale

How I Built CVFactory: Deploying an AI Cover-Letter Generator with Django & Docker