洪 民憙 (Hong Minhee) 
@hongminhee@hollo.social · Reply to sou7's post
@sou7 おお、韓国語の勉強を始められたんですね!日本語話者にとって韓国語は学びやすい言語ですから、少しずつでもコツコツ続ければ、すぐに上達しますよ!頑張ってください!


@hongminhee@hollo.social · 1043 following · 1724 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 #TypeScript, #Haskell, #Rust, & #Python. They/them.
서울에 사는 交叉女性主義者이자 社會主義者. 金剛兔(@tokolovesme)의 配偶者. @fedify, @hollo, @botkit 메인테이너. #TypeScript, #Haskell, #Rust, #Python 等으로 自由 소프트웨어 만듦.
| Website | GitHub | Blog | Hackers' Pub |
|---|---|---|---|

@hongminhee@hollo.social · Reply to sou7's post
@sou7 おお、韓国語の勉強を始められたんですね!日本語話者にとって韓国語は学びやすい言語ですから、少しずつでもコツコツ続ければ、すぐに上達しますよ!頑張ってください!
@sou7@mi.sou7.io

@hongminhee@hollo.social · Reply to 洪 民憙 (Hong Minhee) :nonbinary:'s post
その逆も同じだ。母語が日本語の人が韓国語を学ばないのはもったいないと思う。日本語を母語とする人にとって、いちばん学びやすい言語は韓国語だろう。

@hongminhee@hollo.social
I've wanted to build a mixed-script Korean input method for more than ten years, and I finally started building it.
The project is called Bibim. Korean, Japanese, and Chinese share a lot of Sino-derived words written with Chinese characters, even when the readings differ. Bibim uses those characters as the bridge: if you're writing Japanese and can't remember the Japanese reading of 博物館 (“museum”), you can type the Korean reading (bangmulgwan) instead, and it will recover the characters for you.
I finished the design doc today. If you're into CJK writing systems, East Asian languages, or input method development, I'd love feedback.
@geerlingguy@mastodon.social
Another day, another supply chain attack, this time Axios: https://github.com/axios/axios/issues/10604
Makes me glad I'm lazy and intentional about dependency updates. But it's a worrying trend. Soon we'll be tracking these things by the hour.

@hongminhee@hollo.social · Reply to silverpill's post
@silverpill Fair, but a lot of the celebrated ones (network effects, data gravity, ecosystem lock-in) work by making you hard to leave. The competitive advantage and the trap are often the same mechanism.
@dansup@mastodon.social
The fediverse is full of real life superheros.
Let's shed some light on a few:
@aral - Building https://kitten.small-web.org + @gazaverified
@quillmatiq - Building https://brid.gy + @anewsocial
@silverpill - Managing FEPs + @mitra
@jesseplusplus - Building @frequency
@jaz - Building @teamtoot + @iftas
@thisismissem - Building https://fires.fedimod.org
@benpate - Building https://emissary.dev
@koen - Building https://procolix.eu
Show em' some ❤️
@thisismissem@hachyderm.io · Reply to Emelia 👸🏻's post
This article is also a great example of confirmation bias. The bias being that AI is destroying the planet, so this article *must* be correct and factual.
@thisismissem@hachyderm.io · Reply to Emelia 👸🏻's post
The researchers are trying to attribute the heat increase to the servers running within the data centers, when we know from other research that this likely isn't the case. We have other explanations, they just didn't fit the narrative for this story.
Many datacenters have switched to closed loop cooling systems & have realised that the heat the servers produce is actually a resource they can sell, whether through heat exchange programs or municipal heat networks, or to industrial users who often need heat. Not capturing that heat your datacenters are producing would literally be throwing money away, burning cash.
@thisismissem@hachyderm.io
So I'm seeing this article from NewScientist going around here too, and I'm begging people to use their critical thinking skills for just one minute. This article is misinformation, it is correlation without causation, and honestly, New Scientist should be ashamed at publishing it.
They've now put it behind their paywall, it's quite literally clickbait to convert people to subscribers. Let's look at some of the claims:
”Marinoni says that areas including the Bajío region in Mexico and the Aragon province in Spain saw a 2°C (3.6°F) temperature increase in the 20 years between 2004 and 2024 that couldn’t otherwise be explained.“
I can think of one very easy reason why temperatures in these two regions may have gotten warmer, and it's not data centres: climate change.
We know that climate change on average increased temperatures 1-2°c, meaning some areas saw higher increases than others.
As someone else called out "the Bajio region has a metric fucktonne of oil processing in Salamanca and is a plateau region ringed by mountains so yeah"
yeah, I'm sure it was the data centres and uh, definitely not those oil refineries.
In the most extreme case, the researchers said "temperatures increased by 9.1°C", now, unless we're talking about Elon Musk's data centres which are breaking EPA rules by using multiple truck-sized gas turbine generators, maybe there's another reason for this increase?
Let's have a think about where datacenters are built: they tend to be built on greenfield sites, because that is where land is cheapest.
Once one datacenter moves in, other providers usually follow, so we're looking at temperature increase data for land that has gone from literally being a green field with trees, to a concrete, asphalt roads, and metal roofs with very little green space nor tree coverage.
We know the built environment without tree coverage causes the urban heat island effect, where neighborhoods in the same city with and without tree coverage show significantly different temperatures.
"The urban heat island effect can make the country's most populated cities 20 degrees Fahrenheit warmer than nearby areas" – CBS News explaining heat island effect.

@hongminhee@hollo.social · Reply to dansup's post
@dansup Thanks!! 🥰

@hongminhee@hollo.social
BotKit is a TypeScript framework I've been building for creating ActivityPub bots that run as their own independent servers—no platform account needed, no Mastodon or Misskey instance to log into. You write a bot, give it a username, and it federates directly with the rest of the fediverse. It's built on top of Fedify, so the low-level protocol work is handled for you: HTTP Signatures, WebFinger, JSON-LD, all of it. What you're left writing is just the bot logic itself.
Version 0.4.0 is out today, with a PostgreSQL repository for production deployments, a remote follow button on the bot profile page, and a few other additions.
Release notes: https://github.com/fedify-dev/botkit/discussions/20

@botkit@hollo.social
BotKit 0.4.0 is out! This release adds @fedify/botkit-postgres, a PostgreSQL-backed repository for deployments where SQLite isn't enough; a remote follow button on the bot profile page, so visitors can follow directly without manually searching from their own instance; and Session.republishProfile(), which lets you push profile changes to followers without waiting for the next post. It also upgrades the underlying Fedify dependency to 2.1.2, with a few small breaking API changes.
Full release notes:
@kodingwarrior@hackers.pub
https://github.com/fedify-dev/botkit/discussions/20
샤라웃되었다. 끼얏호우~

@botkit@hollo.social
BotKit 0.4.0 is out! This release adds @fedify/botkit-postgres, a PostgreSQL-backed repository for deployments where SQLite isn't enough; a remote follow button on the bot profile page, so visitors can follow directly without manually searching from their own instance; and Session.republishProfile(), which lets you push profile changes to followers without waiting for the next post. It also upgrades the underlying Fedify dependency to 2.1.2, with a few small breaking API changes.
Full release notes:

@hongminhee@hollo.social
Everyone in tech talks about moats like they're achievements. I keep reading “moat” and thinking: so the idea is to make leaving expensive. Maybe it's just me, but that feels a little grim.
@element@mastodon.matrix.org
🚀 Spaces has landed on Element X!
Navigate chats by department, project or interest - no more overwhelming room lists.
✨ What’s new: filtered chat lists, dedicated Spaces tab, flexible room creation and previews with context.
👉 Download Element X and explore Spaces today!

@hongminhee@hollo.social
@mikaeru@mastodon.social
An excellent "Introduction to Writing Systems & Unicode" and its "Large character sets", by Richard Ishida @ri

@hongminhee@hollo.social
《標準國語大辭典》 MCP 서버를 만들었습니다.
旣存에도 《標國大》 MCP들이 있긴 한데, 그냥 標題語랑 뜻풀이만 덜렁 주는 데다가, 每番 stdict.korean.go.kr 서버에 要請하는 式으로 作動해서 레이트 리미트에 걸리더라고요. 제가 만든 건 아예 全體 辭典 데이터를 맨 처음에 받은 다음에 그걸 SQLite에 넣고 照會합니다.
@ppatel@mstdn.social
"But I fundamentally disagree with the conclusion.
The proposed solution is denial and isolation: block the crawlers, withdraw from centralized forges like GitHub, make our work inaccessible to AI scrapers, shun those who use these “anti-ethical tools” from our communities. I understand the anger behind it. But I think it misses something important and misreads the historical pattern that has shaped FLOSS itself."
We should reclaim LLMs, not reject them

@hongminhee@hollo.social · Reply to jnkrtech's post
@jnkrtech Oh, “crazy” and “sane” hadn't crossed my mind, but you're right, and those are everywhere in tech. “Sanity check” especially; I use it without thinking. Good point.

@hongminhee@hollo.social
惡魔가 로봇淸掃機에 憑依하는 荒唐한 꿈을 꿨다…

@hongminhee@hollo.social · Reply to John O'Nolan's post
@john That’s fascinating—and it makes sense that you'd notice it more sharply than most. I hadn't really thought about how deep it goes beyond the obvious ones. “Vivid” is a good example; I use it all the time without thinking.

@hongminhee@hollo.social · Reply to Sette (they/them)'s post
@basil Oh, “enlightening” works well in a lot of cases! Though it leans a bit more toward learning something new, so it doesn't always map perfectly.

@hongminhee@hollo.social · Reply to Bimbo's post
@BigTittyBimbo That's a good one, though I wonder if “perspective” itself carries some visual baggage?

@hongminhee@hollo.social
I've been trying not to use words like “blindly” and “eye-opening.” Using blindness to mean not knowing or not noticing something doesn't sit right with me. But English isn't my first language, so finding replacements is harder than I expected. Sometimes “uncritically” works for “blindly,” but not always. I still haven't found a good casual replacement for “eye-opening.” I don't think people who use these words are bad. I just don't want to use them myself.

@hongminhee@hollo.social · Reply to Wartezimmer's post
@Kaesekuchen Honestly, yes, it's global state… just scoped per thread/task. The advantage over a plain global is that you get isolation across concurrent requests without threading values through every call. The debugging experience with contextvars was rough in my memory, though I haven't used it in a while. Statically typed implicits feel safer to me because they desugar to actual arguments, so the compiler keeps track. The footgun either way is that context-dependent functions proliferate silently and become hard to refactor out.

@hongminhee@hollo.social · Reply to 洪 民憙 (Hong Minhee) :nonbinary:'s post
Reading this also made me realize I've had a soft spot for dynamic scoping/implicits for a long time… probably since I first used @mitsuhiko's Flask, where the request context object was just there without you having to pass it around. Felt like magic, then felt like a footgun, then felt like a reasonable tradeoff again. Python has since put contextvars in the standard library, which is essentially the same idea.

@hongminhee@hollo.social
Enjoyed this wiki post by the author of Garnet on effect systems: [[PonderingEffects]]. What I liked is that it doesn't just describe the design space: it's honest about what the author finds confusing or unconvincing, including a skeptical take on algebraic effect handlers specifically. The Lobsters thread is worth reading too; someone points out that what the post calls “effects on data” is already studied under the name coeffects, which was news to me.

@hongminhee@hollo.social · Reply to もちもちずきん🍆's post
@Yohei_Zuho Windows 98!懐かしいですね…
@rmdes@indieweb.social
Having fun with #RSS and #ActivityPub @davew
@hongminhee
---> https://diff.rmendes.net/about
Follow the tool on the fedi with @bot