hidetzu

Software engineer in Tokyo. I build software that shows its evidence and says what it could not verify. Go, TypeScript, Zig, C.

Joined on Sep 6, 2026 https://hidetzu.work/

Pinned

hidetzu

Sep 15

The Tests Passed. The Function Already Existed.

#llm #codegeneration #python #techdebt

6 min read

hidetzu

Sep 6

99.7% Rejected in 84ms: Why I Stopped Making the Generator Smarter

#llm #verification #architecture #go

7 min read

hidetzu

Oct 27

5 Git Commands Keep My AI Context in Sync Across Machines

#showdev #zig #cli #git

7 min read

Want to connect with hidetzu?

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

Create Account

Already have an account? Sign in

hidetzu

Oct 17

My Mac Is Just a Screen Now: 3 Things That Broke With WezTerm SSHMUX

#wezterm #terminal #ssh #linux

5 min read

hidetzu

Sep 17

The Same Row Twice: Four Things Keyset Pagination Needs

#postgres #sql #api #database

6 min read

hidetzu

Sep 15

OFFSET Doesn't Skip Rows: What 10M Rows in PostgreSQL Actually Cost

#postgres #sql #performance #database

6 min read

DEV Community

hidetzu

Badges

Writing Debut

GitHub Repositories

Pinned

The Tests Passed. The Function Already Existed.

99.7% Rejected in 84ms: Why I Stopped Making the Generator Smarter

5 Git Commands Keep My AI Context in Sync Across Machines

Want to connect with hidetzu?

My Mac Is Just a Screen Now: 3 Things That Broke With WezTerm SSHMUX

The Same Row Twice: Four Things Keyset Pagination Needs

OFFSET Doesn't Skip Rows: What 10M Rows in PostgreSQL Actually Cost