洪 民憙 (Hong Minhee)

A sufficiently detailed spec is code https://lobste.rs/s/nlyezv #vibecoding
https://haskellforall.com/2026/03/a-sufficiently-detailed-spec-is-code

Bot鯖のFedifyを2.x系にアップデートした。後はDelete(Actor)で署名が検証できなかった時の対応を実装する。

Some HN folks found that the URL parameter accepts… anything as output language https://news.ycombinator.com/item?id=47408940

E.g.: https://translate.kagi.com/?from=en&to=Fediverse+speak&text=I+like+hamburgers

@alderwick Snac looks cool, yes, and I've been looking at @hollo by @hongminhee as well!

moim.live just crossed 30 members. Shipped calendar subscription today — you can now subscribe to your personal schedule directly in Google Calendar and other apps.

Traffic is still an unknown. But I'm not ready to go door-to-door yet anyway. There's one payment feature missing, and that's what I'm building toward next.

ActivityPub is supported and always will be — but it's not the whole point. The journey to making something genuinely useful is just getting started. Until payments feature shipping, I will not do additional work except for bug fix, changing UI.

#moim_live #fedidev

@mariusor Oh, thanks for the pointer!

@hongminhee they're not opposed to it: https://github.com/lobsters/lobsters/issues/499

I remember commenting on it when I had started working on my own federated link aggregator.

Just had a small, probably-never-going-to-happen thought: what if Lobsters implemented ActivityPub? My account there is hongminhee, so I'd get a @hongminhee@lobste.rs actor, and tags like #rust or #programming could be Group actors you could follow from Mastodon or anywhere else. Comments would federate as Notes, so you could boost a thread you found interesting without ever leaving your home instance.

The tricky part is that Lobsters is invite-only by design, and that culture would be hard to reconcile with an open fediverse. You'd probably want to keep writes gated behind a Lobsters account while making reads public. Lemmy did something similar, though it still struggled with spam after federation. Anyway, it's open source, so maybe someone with more time than me will take a crack at it someday.

@gemelen I actually looked into Scala a while back, but it never quite clicked for me. It feels a bit unnecessarily complex, likely due to all that Java interop baggage. As someone who breathes Haskell, I prefer the purity and elegance of a language designed from the ground up for functional programming. Scala feels like it's trying to do too many things at once, whereas I'm looking for that sleek, polished feel I loved in PureScript—which is why I'm leaning more towards Lean or MoonBit lately!

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.

@ayo Thank you! COSCUP is an in-person event, so there isn't much to do remotely—but spreading the word when we announce the CFP and the schedule would be a huge help. I'll make sure to post updates here!

Update: we've decided to go ahead and submit the CFP to @COSCUP 2026. The track will be called Fediverse & Social Web—think FOSDEM's Social Web devroom, but in Taipei. #COSCUP is free to attend, like FOSDEM.

If the track is accepted, would you be interested in coming to Taipei (Aug 8–9) to give a talk?

(Boosts appreciated!)

https://hollo.social/@hongminhee/019ca8b2-ecca-7150-a237-37f35de45401

#fedidev #fediverse #SocialWeb #ActivityPub

Optique just crossed 600 GitHub stars!

For those unfamiliar: #Optique is a #CLI parsing library for #TypeScript that takes a parser combinator approach, inspired by Haskell's optparse-applicative. The core idea is “parse, don't validate”—you express constraints like mutually exclusive options or dependent flags through types, and TypeScript infers the rest automatically. No runtime validation boilerplate needed.

It started as something I built out of frustration while working on Fedify, an ActivityPub framework, when no existing CLI library could express the constraints I needed in a type-safe way. Apparently I wasn't the only one who felt that way.

Thank you all for the support.

https://github.com/dahlia/optique

Thanks to @nyanrus https://moim.live now supports Mastodon OAuth, Misskey MiAuth

#moim_live #fedidev

@esurio1673 ありがとうございます！

@esurio1673 おや、バグのようです。GitHubのイシュートラッカーに報告していただけますか？

現行の韓国語正書法って基本的に同じ漢字は発音によらず同じハングルで書くので母語で漢字を使い続けている人間から見るとハングル専用文であっても依然として少し読みにくい漢字で書いてあるように見える　国立のことを궁닙って書くようになったら漢字が廃止されたなあって思うと思う

Tsuzuri(綴り)が実運用(外部からのフォローや外部への記事の配信など)ができるようになったので、これをベースに拡張すればお一人様向けのActivityPub実装を作れそうだなと考えている

Tsuzuriにタイムラインや通知、フォロー、公開範囲の対応などをすれば一通り使えるものにはなるのではないかと

通知やフォローなどはTsuzuriの既存機能を拡張すれば良いからそこまで実装コストはかからなさそう

ただタイムラインや公開範囲などは考えることも多いと思うので、そこの見通しが立たない限りは実装しないかもしれない

Mastodonの引用機能やMisskeyなどの絵文字リアクションまで考慮するとなるとより難しくなる

ただ、お一人様向けのActivityPub実装が増えること自体は良いことだと思うので、うまくやる方法を考えたい

Humanities in the Machine

https://blainsmith.com/essays/humanities-in-the-machine/

#Humanities #Computers

https://writings.hongminhee.org/2026/03/legal-vs-legitimate/

@evan @swf That means a lot, thank you! I'd love to take you up on that—will send you a DM with some specifics shortly.

🚨 #GNOME 50 will be released on March 18!

😍 Star or/and boost this post if you're excited! With 5 more days to go we just asked our developers to drop their final GNOME 50 release of their projects.

#Linux #Opensource

A good piece on why XML deserves a second look as a format for DSLs: XML is a cheap DSL.

I've long thought there are problems where XML genuinely shines, and the richness of its tooling ecosystem is a big part of that. What's unfortunate is that the XML boom of the early 2000s left people with bad associations—not because XML is bad, but because it got dragged into problems it was never suited for. Reflexively avoiding XML today isn't really a rational response to that history. It's just the hangover.

https://github.com/f3liz-dev/rescript-misskey-api
Using for my custom Misskey client :3
Quite better experience than misskey-js as I feel

@Edent Unfortunately, there's no travel bursary—@COSCUP is a free, volunteer-run event. That said, if you need a visa to enter Taiwan, COSCUP can provide an official invitation letter to support your application.

実際、韓国人にとっては日本語能力試験（JLPT）の1級（N1）はかなり取りやすい方なので、「日本語のチュートリアルみたいなもの」という表現はあながち間違いではないかもしれない。😂

去年12月受けたJLPTの認定書きたなんか日本語が喋れる韓国のオタクたちがみんなN1って日本語のチュートリアルみたいなものだと言ってて最初は自慢するのかなと思ったけど最近これは割と事実だったなと気付いた

@bootlegrydia That's a fair point… Taiwan is genuinely difficult to get to for many people from the PRC, and I don't see that changing anytime soon.

That said, we're also hoping to bring a similar Fediverse & Social Web track to FOSS for All Conference later this year—an open source conference held in Seoul. If Taipei doesn't work out, Seoul might be a friendlier option. Stay tuned!

Update: we've decided to go ahead and submit the CFP to @COSCUP 2026. The track will be called Fediverse & Social Web—think FOSDEM's Social Web devroom, but in Taipei. #COSCUP is free to attend, like FOSDEM.

If the track is accepted, would you be interested in coming to Taipei (Aug 8–9) to give a talk?

(Boosts appreciated!)

https://hollo.social/@hongminhee/019ca8b2-ecca-7150-a237-37f35de45401

#fedidev #fediverse #SocialWeb #ActivityPub