@hongminhee洪 民憙 (Hong Minhee) 이런 표현이 있습니다.

GHC has more flags than the UN.

타입스크립트에 있었으면 좋겠음

그 뭐라고 하더라... 대수적 이펙트?

RE: https://hollo.social/@hongminhee/0195b690-cf8e-76b0-84bc-470c9b1c3d5b

@tirr티르 저도 서브타이핑 기반인 TS에 상대적으로 쉽게 도입할 기능이 https://github.com/microsoft/TypeScript/issues/13219 이렇게 오랫동안 진행안되는게 불만입니다. 막상 TS 이펙트 라이브러리들은 |로 흉내내서 잘 쓰고 있더라고요. Haskell처럼 대수적 이펙트는 구현할수있지만 서브타이핑 기반은 아닌 언어에선, 서브타이핑 흉내낸다고 타입레벨 차력쇼하고 있는데 맞는 방향인지 모르겠습니다.

자바의 체크드 예외 재고찰: 저평가된 타입 안전성 기능
------------------------------
## 주요 내용 요약

* 자바의 체크드 예외가 커뮤니티에서 널리 비판받는 기능임에도 타입 안전성 측면에서 뛰어난 장점 보유.
* Rust의 Result<T, E>나 Haskell의 Either a b와 개념적으로 유사한 타입 안전성 메커니즘 제공.
* 체크드 예외가 메서드 시그니처에 잠재적 실패 가능성을 명시적으로 표현하…
------------------------------
https://news.hada.io/topic?id=19877&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

uv2nix는 uv보다 구리고, cabal2nix는 cabal보다 구린데, Nix는 uv + cabal + ... 보다 낫다. Nix 커뮤니티를 키우려면, 후자를 이해시키고(쉬움) 전자에 대해 익스큐즈하도록 설득해야한다(어려움) .

Hot take: Despite their bad reputation in the Java community, checked exceptions provide superior type safety comparable to Rust's Result<T, E> or Haskell's Either a b—we've been dismissing one of Java's best features all along.

@kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior) 외부 인스턴스도 멘션이 되긴 하는군아

해커스펍에 제안 PR 올렸다 후후

모든 자바스크립트 개발자들이 단 하나의 패키지 매니저와 단 하나의 빌드 시스템, 단 하나의 모듈 시스템을 사용하면 좋겠다고 진심으로 생각한다

C++ 표준화 위원회(WG21)에게 C++의 원 저자인 비야네 스트롭스트룹Bjarne Stroustrup이 보낸 메일이 이번 달 초에 본인에 의해 공개된 모양이다. C++가 요즘 안전하지 않은 언어라고 열심히 얻어 맞고 있는 게 싫은지 프로파일(P3081)이라고 하는 언어 부분집합을 정의하려고 했는데, 프로파일이 다루는 문제들이 아주 쉬운 것부터 연구가 필요한 것까지 한데 뒤섞여 있어 구현이 매우 까다롭기에 해당 제안이 적절하지 않음을 올해 초에 가멸차게 까는 글(P3586)이 올라 오자 거기에 대한 응답으로 작성된 것으로 보인다. 더 레지스터의 표현을 빌면 "(본지가 아는 한) 스트롭스트룹이 이 정도로 강조해서 말하는 건 2018년 이래 처음"이라나.

여론은 당연히 호의적이지 않은데, 기술적인 반론이 대부분인 P3586과는 달리 해당 메일은 원래 공개 목적이 아니었음을 감안해도 기술적인 얘기는 쏙 빼 놓고 프로파일이 "코드를 안 고치고도 안전성을 가져 갈 수 있다"는 허황된 주장에 기반해 그러니까 프로파일을 당장 집어 넣어야 한다고 주장하고 있으니 그럴 만도 하다. 스트롭스트룹이 그렇게 이름을 언급하지 않으려고 했던 러스트를 굳이 들지 않아도, 애당초 (이 또한 계속 부정하고 싶겠지만) C++의 주요 장점 중 하나였던 강력한 C 호환성이 곧 메모리 안전성의 가장 큰 적이기 때문에 프로파일이 아니라 프로파일 할아버지가 와도 안전성을 진짜로 확보하려면 코드 수정이 필수적이고, 프로파일이 그 문제를 해결한다고 주장하는 건 눈 가리고 아웅이라는 것을 이제는 충분히 많은 사람들이 깨닫지 않았는가. 스트롭스트룹이 허황된 주장을 계속 반복하는 한 C++는 안전해질 기회가 없을 듯 하다.

Coming soon in #Fedify 1.5.0: Smart fan-out for efficient activity delivery!

After getting feedback about our queue design, we're excited to introduce a significant improvement for accounts with large follower counts.

As we discussed in our previous post, Fedify currently creates separate queue messages for each recipient. While this approach offers excellent reliability and individual retry capabilities, it causes performance issues when sending activities to thousands of followers.

Our solution? A new two-stage “fan-out” approach:

1. When you call Context.sendActivity(), we'll now enqueue just one consolidated message containing your activity payload and recipient list
2. A background worker then processes this message and re-enqueues individual delivery tasks

The benefits are substantial:

• Context.sendActivity() returns almost instantly, even for massive follower counts
• Memory usage is dramatically reduced by avoiding payload duplication
• UI responsiveness improves since web requests complete quickly
• The same reliability for individual deliveries is maintained

For developers with specific needs, we're adding a fanout option with three settings:

• "auto" (default): Uses fanout for large recipient lists, direct delivery for small ones
• "skip": Bypasses fanout when you need different payload per recipient
• "force": Always uses fanout even with few recipients

// Example with custom fanout setting
await ctx.sendActivity(
  { identifier: "alice" },
  recipients,
  activity,
  { fanout: "skip" }  // Directly enqueues individual messages
);

This change represents months of performance testing and should make Fedify work beautifully even for extremely popular accounts!

For more details, check out our docs.

What other #performance optimizations would you like to see in future Fedify releases?

#ActivityPub #fedidev

Finished the #Fedify queue optimization work. Tests written, docs completed. Should make activity delivery much faster for high-follower accounts.

저는 AI에게 감사 인사를 하는 데에도 돈이 든다는 걸 깨달아버려서, 이제는 감사도 표하지 않는 삭막한 인간이 되고야 말았습니다.

와 보인다! 보여요!

이제 여기서 글 쓰면 블스에도 보이는 건가?

🚀 GNOME 48 is here!
After months of hard work from contributors worldwide, this release brings exciting updates and improvements. 🎉

🔎 Check out what’s new in #GNOME48 in the release notes: https://release.gnome.org/48

그동안 동료들한테 Cursor 쓰자고했는데 그들이 오소독스 Emacs 매니아들이란 문제가 있었다.

작년에 Nix로 nvidia gpu 지원까지 포함해서 구축해놓은 k3s 클러스터에다가, 오늘 아침에 1시간만에 aider로 쓸수있게 DeepSeek R1을 띄웠고 한번 써보자고 했다. 최근에 한 것 중 가장 가성비 좋은 작업인듯 하다.

리브랜딩을 거친 것도 학습에 치명적인듯... 예를 들어 언어 설정 파일이 bsconfig.json에서 rescript.json으로 이름이 바뀌었는데, rescript.json이 이미 있음에도 bsconfig.json을 자꾸 만들려고 한다. 일일이 사전 지시를 넣어주어야 하는데 🤔

대-AI 시대가 열렸으면 내가 낯선 언어라도 린터, 컴파일러만 잘 되어 있으면 그걸로 피드백 줘서 PoC 하나 뚝딱할 수 있겠지? 싶어서 ReScript로 쇼기 만들어보고 있는데 아쉽게도 LLM 친구들이 ReScript를 잘 못한다

Getting back to #Fedify development today! Working on optimizing the outgoing activity queue to improve response times. Currently focusing on reducing latency when sending posts to large follower counts—should make the whole publishing experience feel much snappier.

https://github.com/fedify-dev/fedify/issues/220

#ActivityPub #fedidev

We've been working on adding custom background task support to #Fedify as planned for version 1.5.0. After diving deeper into implementation, we've realized this is a more substantial undertaking than initially anticipated.

The feature would require significant API changes that would be too disruptive for a minor version update. Therefore, we've decided to postpone this feature to Fedify 2.0.0.

This allows us to:

• Design a more robust and flexible worker architecture
• Ensure better integration with existing task queue systems
• Properly document the new APIs without rushing

We believe this decision will result in a more stable and well-designed feature that better serves your needs. However, some smaller improvements from our work that don't require API changes will still be included in Fedify 1.5.0 or subsequent minor updates.

We appreciate your understanding and continued support.

If you have specific use cases or requirements for background task support, please share them in our GitHub issue. Your input will help shape this feature for 2.0.0.

#ActivityPub #fedidev

오, HackersPub 기여할만한거 방금 떠오름

Patch releases for #Fedify versions 1.0.21, 1.1.18, 1.2.18, 1.3.14, and 1.4.7 are now available. These updates address two important bugs across all supported release lines:

1. Fixed a WebFinger handler bug that prevented matching acct: URIs with port numbers in the host. Thanks to @revathskumarRevath S Kumar for reporting and debugging the bug!
2. Resolved server errors that occurred when invalid URLs were passed to the base-url parameter of followers collections.

We recommend all users upgrade to these latest patch versions for improved stability and federation compatibility.

#ActivityPub #fedidev

1. IT 관련 관심 있는 주제 아무거나 골라서 3~5분 정도 발표하는 자리가 생겼는데 fediverse 와 small web 중 뭘로 할지 아직도 고민중.
2. Swift만 8년을 쓰다가 정말 간만에 html/css 쓰려니까 작업 속도가 굼벵이가 따로 없다. 이것만큼은 나도 주니어. GitHub Pages 쓰면서 jekyll 이 익숙해져서 일단은 개인 블로그도 jekyll 로 만들었는데 요즘은 Hugo가 대세라는 것 같아 언젠가는 찍먹을 해 볼지도.
3. 폴더 내의 모든 파일에 대해 단어 replace 하기 : sed -i '' -e 's/old_word/new_word/g' *
4. 누가 iOS 개발 어떻냐고 물어볼 때마다 "애플이 만든 프로그램 위에 애플이 만든 언어로 코드를 짜서 애플이 제작한 기기 위에 동작하는 모바일 앱을 만들 건데 그게 애플이 관리하는 마켓 심사를 통과해야 하는 게 참으로 문제"라고 우스갯소리처럼 말해 왔는데 돌이켜보면 그건 내 직군에 대한 꽤 근본적인 불만이었는지도. URL만 있으면 누구나 어디서든 접속할 수 있는 웹의 힘이 막강하다고 느낀다. 진작 이쪽으로 사이드 프로젝트 파 볼 걸 그랬나? 싶고. 누군가는 모바일의 힘을 더 크게 생각하겠지만⋯.

이름에 들어간 커스텀 絵文字(에모지) 렌더링 具顯(구현)하는 거 정말 짜쳐요.

https://serafuku.moe/notes/a5j9oaaww1

아직 招待制(초대제)이긴 하지만 Hackers' Pub도 velog의 代案(대안)입니다! 게다가 ActivityPub도 支援(지원)하기 때문에 Mastodon이나 Misskey 等(등) 다른 聯合宇宙(연합우주)(fediverse)와도 아무 問題(문제) 없이 相互(상호) 疏通(소통) 可能(가능)하답니다.

https://uri.life/@newflow/114179231102154137

마스토돈이 다른 계정의 팔로잉/팔로워를 잘 보여주는 것도 아니고, 그렇다고 팔로우할만한 계정을 잘 추천해주는 것도 아니라서 꽤 발품을 팔아아 했다. 그래서 '읽기는 트위터에서, 쓰기는 마스토돈에서' 해왔는데, 요즘엔 hackers.pub 덕분에 피드에 읽을거리가 많이 늘어났다.

activitypub.ghost.orgもそうだけど、Ghostの`preferredUsername`は`index`で固定なのかね

というかpublic betaになってもActivity Streamsオブジェクトの`id`に`preferredUsername`を含めるスタイルなのか……

For personal reasons, I no longer feel safe working on Linux GPU drivers or the Linux graphics ecosystem. I've paused work on Apple GPU drivers indefinitely.

I can't share any more information at this time, so please don't ask for more details. Thank you.

Edit: For those finding this post later, here is the story of what happened: https://vt.social/@lina/114453525309759623

JS로 짜여진, join이 되는 reactive한 로컬 DB가 필요한데요. RxDB, SignalDB는 join이 안 돼서 탈락입니다. join을 안하면 되지 않냐 할수 있는데 어떤 특이한 로직 때문에 꼭 필요합니다. 지금은 직접 sqlite 호출하는 누더기 코드로 돌아가고 있는데요.

그 코드를 리팩토링해서 제대로 된걸 만들까 말까 고민중인데, 사실 잘만들어진게 있으면 그걸 쓰고 싶습니다. 제 요구사항을 만족하는 라이브러리가 있을까요?

今回、@lqezPark Hyunwoo さんの『我々のコードを求めて』というYouTubeに出演させていただき、#フェディバース、#ActivityPub、#Fedify、#Hollo 等についてお話させていただきました。日本語字幕が用意されていますので、FedifyやHolloの開発秘話などが気になる方はぜひご覧ください！

https://www.youtube.com/watch?v=sqxR8zscSDo

#fediverse #fedidev

为软件开发者提供的基于 ActivityPub 的社交网络 Hackers' Pub 现已新增中文支持。但请注意，Hackers' Pub 目前仍处于封闭测试阶段，需要我的邀请才能使用。如果您是中文用户，并且有兴趣尝试 Hackers' Pub，请通过私信向我发送您的电子邮件地址。我会将您的电子邮件地址添加到允许列表，并通知您。

https://hackers.pub/@hongminhee/0195aa14-4653-7553-b605-97c19021c6eb

Emacs + org 하나씩 자동화해서 쓰는 맛이 있네

요즘 새로운 거 배우면 SPC n r n <주제 이름> ENT n해서 노트 만들고, 글이나 책 읽을 거 있으면 Zotero에 넣어두었다가 M-x cite ENT <글 제목> ENT 해서 읽으면서 기록하면 훨씬 알차게 읽는 듯

오 뭐 안 했는데 자동으로 이런게 되네요

영어권 웹을 보다보면 autism이 한국어에서의 '자폐'보다 부정적인 늬앙스가 훨씬 덜하단 느낌을 받는다. STEM 너드들이 본인이 autistic하다고 하는 경우를 종종 보는데, 자조적인 느낌이 좀 있지만 완전 딥다크한거 같진않고, 이분법적이기보단 스펙트럼으로 보는거 같다.

Temporalが正式リリースになってもしばらくはDateが生き残るんじゃないかと思ってる

Announcing the LLVM backend for MoonBit, hitting 8x faster performance than Java in FFT benchmarks and enabling out-of-the-box debugging!🐰✨ #MoonBit #LLVM
https://www.moonbitlang.com/blog/llvm-backend

”Code is not the most valuable artifact. Your understanding of the codebase is.” https://www.seangoedecke.com/vibe-coding/

이番(번)에 @lqezPark Hyunwoo 님의 《우리의 코드를 찾아서》에 出演(출연)하여 #페디버스, #ActivityPub, #Fedify, #Hollo 等(등)에 關(관)해 이야기를 나눴습니다. Fedify와 Hollo의 開發(개발) 祕話(비화) 같은 게 궁금하시다면 한 番(번) 보셔도 재밌을지도 모르겠습니다. ㅎㅎㅎ

https://www.youtube.com/watch?v=sqxR8zscSDo

#연합우주 #fediverse #fedidev

https://snix.dev/ 저는 Rust를 못해서 기여를 못하지만 유망한 프로젝트라고 생각합니다. Rust 고수분들이 관심가져주시면 좋겠네요.

웨이터, Vitest. 온 더 락으로.

@hongminhee洪 民憙 (Hong Minhee) 단축키나 매크로를 주 용도로 하다 보니, 아무래도 그쪽에 최적화되어 있네요. 😅
맥에서 가장 비슷한 앱은 HammerSpoon 정도이지 싶습니다.