洪 民憙 (Hong Minhee)

Someone who enthusiastically uses an open source project I made and actively reports issues is an absolute gem. I'm so grateful for them.

Learning Lean (part 1). ~ Rado Kirov. https://rkirov.github.io/posts/lean1 #ITP #LeanProver #Math

Threads 어카운트 지우고 싶은데 가끔 Fedify/Hollo 테스트해야 해서 못 지운다…

We have only 4 issues left until the Fedify 2.0 milestone!

Welcom to the gaji,

Type-safe GitHub Actions

Write GitHub Actions workflows in TypeScript with full type safety

https://gaji.gaebalgom.work

Heya! 🥳 XenoAtom.CommandLine 2.0 is out: https://xenoatom.github.io/commandline/
It brings XenoAtom.Terminal.UI integration, validation, option constraints, and pluggable output rendering. After a month of terminal-focused work, it finally feels complete! 😅

I'm also consolidating my sites with shared templates via my Lunet generator, and I'm hoping to share it more broadly later this year.

Finally, the XenoAtom umbrella now has a landing page: https://xenoatom.github.io/ 🤩

#dotnet

So You Want To Write An Open Source Discord Replacement

Things you don’t need:
- federation/distributed systems
- multiparty end-to-end encryption
- an entirely new operating system kernel specially designed to—

Things you DO need:
- a user interface that is Normal
- the ability to use languages other than English and writing systems other than Latin
- higher standards of user experience than how irc actually works in the real world
- any fucking clue how Discord works and why people use it

I have muted replies to this post due to the usual reasons

My code is ugly, but it works! And I didn't have to learn all the intricacies of every one-off scenario between every single platform. Fedify hides that from me, and I'm so glad it does. I have no desire to go that deep.

https://fedify.dev

2/2

Using @fedify to see how far I can get with very simplistic AP objects and activities. The tutorial and documentation was helpful and gave me a solid template to work from.

The fedify CLI is a great debugging tool, too.

The built in tunnel command makes it a snap to spin up temporary servers that are open to the public web for testing. Here I have two instances spun up so I can send activities between them.

1/2

@douginamug Of course, thanks!

Fedify 2.0 will probably be out by the end of February. No, it has to be.

@dansup Bower? Haven't been heard of it for a decade… 😂

TypeScript 6.0 beta is now published!

This release brings

- inference improvements for functions
- updates to package.json 'imports'
- Temporal APIs
- alignments for the upcoming TypeScript 7.0
- & more!

Try it today!

https://devblogs.microsoft.com/typescript/announcing-typescript-6-0-beta/

@FediTips Re: reply controls.

GoToSocial came up with a way (https://docs.gotosocial.org/en/latest/federation/interaction_controls/) to do this. It doesn't “solve” malicious servers, but it lets benevolent servers honor each other's inhabitants' wishes.

I'm drafting a “Fediverse Enhancement Proposal” document to make it easier for other projects to join GTS. It's progressing, but I have day job stuff etc. It might help to add a few collaborators.

Anyone comfortable w/ technical specs similar to this https://fediverse.codeberg.page/fep/fep/044f/ & want to help?

Sneak peak.

Working on @fedify/debugger, an embedded ActivityPub debug dashboard for Fedify applications. It will be shipped with Fedify 2.0.

https://github.com/fedify-dev/fedify/pull/564

How to level up the fediverse https://lobste.rs/s/gx9hvu #video #distributed
https://fosdem.org/2026/schedule/event/HVJRNV-how_to_level_up_the_fediverse/

Sneak peak.

Working on @fedify/debugger, an embedded ActivityPub debug dashboard for Fedify applications. It will be shipped with Fedify 2.0.

https://github.com/fedify-dev/fedify/pull/564

RE: https://mastodon.social/@lobsters/115882407207303960

Good reads:

― the 2024 blog post
― the 2026 discussion in Lobsters.

Incidentally, I did stop using Discord. No regrets.

#Discord

Just promoted XenoAtom.Terminal.UI to 1.0! 🎉

I have added 2 new features from the preview: placeholder and brush gradients usable with text controls! 🎨

I'm going to see if I can add an extension to XenoAtom.CommandLine library to generate beautiful command line help and I will be hopefully done with this entire sidetrack of projects! ☺️

URI는 고유하지만 WebFinger 핸들이 동일한 계정들에 대해 각 구현체들이 어떻게 대응하는지가 궁금하다...

@pkgupdt 음, 그렇다기 보다는 ActivityPub 具顯(구현)이 어카운트의 캐시에 依存(의존)하면 안 된다고 보시면 될 것 같아요. 🤔

@pkgupdt 實(실)은 도메인 네임 再使用(재사용)이 可能(가능)하긴 합니다. 서비스 終了(종료)하기 前(전)에 모든 어카운트에 對(대)한 Delete 액티비티를 날리면 (이른바 self-destruct) 確實(확실)하게 可能(가능)하고, 그렇지 않더라도 時間(시간)이 좀 지나면 可能(가능)해야 합니다.

“Well-Typed are delighted to announce a release preview of hs-bindgen, a tool for automatic Haskell binding generation from C header files”

Go try it out and give feedback!

https://well-typed.com/blog/2026/02/hs-bindgen-alpha/

#Haskell

@deach I'm not particularly knowledgeable about them. I used to spend a lot of time on implementing localization stuff, but not much on vertical text unfortunately.

This reminded me of articles by @huijing which have a lot more details and background:
- https://chenhuijing.com/blog/chinese-web-typography/ (2016)
- https://chenhuijing.com/blog/vertical-typesetting-revisited/ (2017)

Early bird CFP for @COSCUP 2026 seems available now. Anyone interested?

https://blog.coscup.org/2026/02/lead-trend-coscup-2026-early-bird-cfp.html

RE: https://mastodon.social/@cheeaun/116044581946862131

And of course, I'm already taking the first steps.

#PhanpySocialDev (local dev)

Just created a Matrix room for Fedify contributors: #fedify-contributors:matrix.org. If you'd like to contribute to Fedify or wonder how Fedify internals are going on please join there!