洪 民憙 (Hong Minhee) :nonbinary:'s avatar

洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social · 1037 following · 1701 followers

An intersectionalist, feminist, and socialist living in Seoul (UTC+09:00). @tokolovesme's spouse. Who's behind @fedify, @hollo, and @botkit. Write some free software in , , , & . They/them.

서울에 사는 交叉女性主義者이자 社會主義者. 金剛兔(@tokolovesme)의 配偶者. @fedify, @hollo, @botkit 메인테이너. , , , 等으로 自由 소프트웨어 만듦.

()

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social

This piece appears to be a response to my recent essay on craft, alienation, and LLMs, so let me engage with it directly.

The argument collapses every social and structural explanation into a single move: the individual chose it. This is the classic libertarian reduction, and it has a well-known failure mode. Under this framework, there is no coherent distinction between a choice made under duress and a choice made freely. If a developer uses LLM coding assistants because their livelihood depends on keeping pace with colleagues who do, and the author's response is that no one forced them, well, no one forces a person at gunpoint to hand over their wallet either. The gun is still there.

The author acknowledges, mid-essay, that the system “can change incentives and tradeoffs.” But this is precisely what a structural analysis is. Once you admit that incentives can be arranged such that a person has no viable path except the one the system rewards, you have already conceded the core Marxian point. Calling it “alienation” or not is just terminology.

What the alienation framework actually claims is not that individuals don't choose. It's that the conditions under which those choices are made matter morally and analytically. My own essay is careful about this: I noted explicitly that the tension between craft and efficiency doesn't vanish under different political arrangements. The question survives capitalism; capitalism just answers it harshly. Dismissing this as a “denial of the craftsman” misreads the argument.

On LLM capabilities: the claim that none of these problems can be solved by LLMs (understanding systems, architecture decisions, debugging) reads as confident as of roughly two years ago. The frontier has moved. Coding agents are already handling non-trivial architectural reasoning in constrained domains, and the trajectory is visible. Anchoring the argument to current limitations, stated as permanent ones, is a move that ages badly.

[Also cross-posted to Lobsters and Hacker News threads.]

TypeScript's avatar
TypeScript

@TypeScript@fosstodon.org

TypeScript 6.0 is now available!

This release brings better type-checking for methods, new standard library features, new module features for Node.js, and more!

But most important, this release brings us one step closer to the upcoming native-speed 7.0!

devblogs.microsoft.com/typescr

Ciara's avatar
Ciara

@CiaraNi@mastodon.green · Reply to Ciara's post

Ditto:

'Why are you still on Bluesky too?'

'But did you *delete* your Twitter account?'

’You said you switched to Proton mail too, oh that’s bad, once someone at Proton said something’

It’s nice to see new neighbours move into the Fediverse. It feels unwelcoming to see people immediately interview them about the purity of their intentions. Or telling them You’re Doing It Wrong. They've just arrived on a journey away from Big Tech. Maybe they'd prefer to be offered a seat and a cup of tea.

Ciara's avatar
Ciara

@CiaraNi@mastodon.green

Every time a newcomer posts an introduction and somebody tells them they shouldn’t have joined Mastodon.social and need to move to a different server, an angel loses their wings.

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social · Reply to Boyd Stephen Smith Jr.'s post

@BoydStephenSmithJr Yeah, actually, I'd rather use PureScript than TypeScript too. 😂

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social

I have a confession to make: while Haskell will always be my first love, PureScript was the one that truly stole my heart. It felt like a “polished” version of Haskell, smoothing out the rough edges and adding gems like row polymorphism that I still miss dearly. It's heartbreaking to see it labeled a “dead” language now, especially with its primary focus being stuck in the JavaScript ecosystem while other backends remain second-class citizens.

I've tried moving on with ReScript, Elm, or Gleam, but they never quite scratched that itch. They are great for what they are, but for someone used to the sheer expressive power of Haskell-like type systems, they feel a bit too “simple.” I find myself missing the depth and the “if it compiles, it works” confidence that only a truly robust type system provides.

Lately, my eyes have been wandering toward Lean and MoonBit. Lean is fascinatingly powerful, though I'm still searching for a more seamless JavaScript/WebAssembly story there. MoonBit also looks incredibly promising—a WebAssembly-first language that seems to aim for a higher level of sophistication than the usual ML-likes. The quest for the perfect, type-safe web language continues.

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social · Reply to Evan Prodromou's post

@evan Haha, well if that's the case, how about upgrading to the latest version of Node.js? The latest Node.js version can run TypeScript files natively!

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social · Reply to sublimer@あすてろいどん鯖管's post

@sublimer はい、それにNode.js単体では型チェックも行われませんよね。ただ、簡単なスクリプトを書く際にはかなり便利だと思います。(型チェックはVisual Studio Codeのようなエディタで行われると想定した場合)

sublimer@あすてろいどん鯖管's avatar
sublimer@あすてろいどん鯖管

@sublimer@mstdn.sublimer.me

Node.jsでTypeScript使えるやつはあくまでも型情報を落としているだけなので、Node.jsでTypeScriptを直接実行できるけどV8が直接実行しているわけではない
V8が直接TypeScript実行できるようになったらブラウザでもTypeScript使えるようになるのかな

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social · Reply to 洪 民憙 (Hong Minhee) :nonbinary:'s post

FYI, the latest Node.js can run TypeScript code directly without a build process using the node script.ts command.

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social · Reply to Evan Prodromou's post

@evan I'm not sure if you'll like it, but why don't you give Deno a try? You can run .ts files directly without a separate build pipeline.

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social · Reply to marius's post

@mariusor Deno might be it, but it's run by a VC-funded startup… 😂

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social · Reply to sarah tonin :wlfBlep:'s post

@SRAZKVT Yeah, its governance is indeed problematic. I hope they migrate their governance on TypeScript to an independent foundation.

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social · Reply to Radomír Žemlička's post

@Razemix Yeah, for simple projects, transpilation would be overkill indeed. By the way, that's why I'd preferred Deno over Node.js. Node.js also transforms TypeScript code by default though.

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social · Reply to gosha's post

@gosha Haha, I've always had my doubts about Rails' aesthetics.

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social · Reply to Abhinav 🌏's post

@abnv Yeah, that's fair enough indeed!

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social

Is anyone still sticking to instead of using ? If so, why are you sticking with it? Please let me know your reasons!

kosui's avatar
kosui

@kosui@blog.kosui.me

TSKaigi 2026に採択されました。「TypeScriptのclassはなぜこうなったのか」というタイトルで、classの歴史的経緯・落とし穴・使いどころを体系的に整理する30分セッションです。

https://kosui.me/posts/2026/03/tskaigi

kosui's avatar
kosui

@kosui@blog.kosui.me

📢TSKaigi 2026の基調講演は、MicrosoftのPrincipal Software Engineer、Jake Bailey氏をお迎えします。

TypeScriptチームでパフォーマンスやインフラ、エコシステム整備を主に担当されています。 タイトルは『TS7: How We Got There』。「中の人」のご登壇をお楽しみに!

https://x.com/tskaigi/status/2035661614847001050?s=20

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social · Reply to 洪 民憙 (Hong Minhee) :nonbinary:'s post

残念ながら落ちてしまった。😭

まあ、それでも参加はするけどね。

https://tskaigi.hatenablog.com/entry/2026/03/22/185722

kosui's avatar
kosui

@kosui@blog.kosui.me

TSKaigi 2026 プロポーザル採択者発表 https://tskaigi.hatenablog.com/entry/2026/03/22/185722

ついに発表された

ТМ's avatar
ТМ

@Mopcku@c.im

We make our choices, and then our choices make us.

writings.hongminhee.org/2026/0

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social

TSKaigi 2026の登壇者募集、数日前に締め切られたんだな。私が出したプロポーザルは通るかな?

ayo's avatar
ayo

@ayo@ayco.io

Quick vibe check on @elk usage.

👉 Have you been using web app (elk.zone)?

Please for science :) We have been discussing the future of Elk and your input here matters a lot. 🙏

Feel free to elaborate on the comments as well!

OptionVoters
Yes; it is my main client for the fediverse190 (13%)
Yes; sometimes but, started using something else178 (12%)
No; I used to, but switched to another app208 (14%)
Never did895 (61%)
James Healy's avatar
James Healy

@james@social.yob.id.au

This Marxist lens on the different ways my peers and network are reacting to GenAI was more interesting than I expected

writings.hongminhee.org/2026/0

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social · Reply to 洪 民憙 (Hong Minhee) :nonbinary:'s post

LLMコーディングアシスタントはソフトウェアエンジニアたちの亀裂を作ったのではない。すでにあった亀裂を露わにしただけだ。

匠人気質のソフトウェアエンジニアたちが感じる疎外の源泉はLLMではなく、産出物を遅く出す側に不利益を与える市場にある。Marxの労働疎外論でこの問題を読む新しいエッセイを書いた。

コーディングを愛する人たちが、なぜコーディングから追い出されているのか

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social · Reply to 洪 民憙 (Hong Minhee) :nonbinary:'s post

LLM 코딩 어시스턴트는 소프트웨어 엔지니어들 사이의 分裂(분열)을 만든 게 아니다. 이미 있던 分裂(분열)을 드러낸 것이다.

匠人(장인) 氣質(기질)의 소프트웨어 엔지니어들이 느끼는 疎外(소외)源泉(원천)은 LLM이 아니다. 그들의 產出物(산출물)을 더 느리게 만드는 쪽에 不利益(불이익)을 주는 市場(시장)이다. Marx의 勞動(노동) 疎外論(소외론)으로 이 問題(문제)를 읽어보는 새 글을 썼다.

왜 코딩을 사랑하는 사람들이 코딩에서 밀려나는가〉 (한글)

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social · Reply to Evan Prodromou's post

@evan Totally agree, and I think that's actually the point the essay is trying to make. The split isn't “LLM users vs. craft lovers” but something more like “people with room to choose how they use the tools vs. people who don't have that room.”

@mitchellh is a good example. He's clearly using LLMs as a craftsperson. So am I, I think. But both of us are in situations where we're not being measured against a colleague's output every quarter. The workplace dynamic is what compresses all of that curiosity and exploration into pure throughput.

The craft probably does survive, just not evenly distributed.

julian's avatar
julian

@julian@activitypub.space · Reply to 洪 民憙 (Hong Minhee) :nonbinary:'s post

As luck would have it, the timing didn't work your way. A re-post hit the front page: https://news.ycombinator.com/item?id=47473178

julian's avatar
julian

@julian@activitypub.space · Reply to 洪 民憙 (Hong Minhee) :nonbinary:'s post

This is a damn good article, and really makes me think about where I fall on the spectrum.

I didn't have to think very hard, I side firmly with Lawson.

I firmly believe that code is a craft, and I take pride in the time spent writing the code, not just in the product itself.

I mourn the impending loss of that kind of counter-culture approach to programming. Which is ironic because I don't think it's even the mainstream way of looking at coding... most devs I know would side with Orchard. Coding is a means to an end.

Jiwon's avatar
Jiwon

@z9mb1@hackers.pub

Work of the day! Me and my colleague have been making something with fabric and electronics :>

Half soldered Raspberry Pi Pico
ALT text detailsHalf soldered Raspberry Pi Pico
Messy desk covered with wires and threads
ALT text detailsMessy desk covered with wires and threads
Older →