@justiveKim Minsang 님, 안녕하세요!

거꾸로 상태 모나드로 강화 학습 하기 (1/2) 2편을 마저 써야하는데, 먼저 하스켈 세미나 시간에 전체 내용으로 동료들한테 발표를 했다. 근데 발표하면서 글에 해결해야하는 문제점이라고 써놓은게 되게 얼렁뚱땅이란걸 깨달았다. 실제로 코드를 짠지가 시간이 좀 되어서 정확히 뭐가 문제였는지 좀 까먹어서 실제로 쓰기가 힘들어서 중간에 좀 놨었다ㅋㅋ 암튼 발표를 해보는게 내용 점검에 도움이 많이 된단걸 알았다.

아무도 읽을 필요가 없길 바라는 글을 작성했다.

@lionhairdino 새 글이 올라왔나는 저도 새로고침해서 보고 있습니다. 알림은 우상단 알림 아이콘에 빨간 동그라미가 뜹니다.

@chewing_leopard 님, 어서 오세요!

@piquark6046 님, 어서 오세요!

알쏭달쏭한 하스켈 코드들 사실 다 https://effect.website/ 같은 거라고 이해하니 조금은 읽을 수 있는 듯

논리와 low-level data representation을 다뤄볼지, 아니면 함수형 추상 기계들(Turing Machine같은 것이지만 함수형을 위한 것들)을 다뤄볼지$\ldots$ 딱 결론이 나질 않는다 ☠️

왜 맥북으로 개발을 하면 상시로 저장공간이 모자란 걸까요? 500GB 쓰는데 그렇습니다. OmniDisk를 가끔 돌려보는데 한 300GB정도가 어딘가 숨어있어요...

@bglbgl gwyng 제가 항상 스토리지로 고생해서 이번에는 그냥 통 크게 2TB로 질렀습니다. Haskell, Rust 프로젝트 같은 것들은 의존성 조금만 생겨도 빌드 디렉터리가 스토리지 많이 차지하더라고요.

よっしゃ、Deno compileで、tar.gzをbase64にエンコードしてシングルバイナリの中にいれて、バイナリ1個だけもっていったら、ええようにできた。　いま、このタイミングだとLLMの恩恵を受けやすいTypeScriptは、プログラマの道具箱に入れておくのは良い。

Linux syscall tables https://lobste.rs/s/8yyawr #linux
https://syscalls.mebeim.net/?table=x86/64/x64/latest

여태까지 JavaScript에서 eval()이 일반 함수인 줄로만 알고 있었는데, 직접 eval()과 간접 eval() 사이에 동작의 차이가 있다는 것을 알게 되었다.

How to automatically associate console logs by request with @opentelemetry and Hyperdx

https://docs.deno.com/examples/hyperdx_tutorial/

#deno #nodejs #javascript #typescript #opentelemetry

deno가 귀여움

하스켈로 만든 스프레드시트 https://b4er.github.io/recalc/

My stance on #ActivityPub's adoption of JSON-LD: Since we've already decided to use JSON-LD, I hope we do it properly. However, if we hadn't used JSON-LD from the beginning, things would have been much less complicated.

#JSONLD #fedidev

Hackers' Pub은 Deno로 돌아가니까 Deno에 한 표 넣음.

What's your favorite JavaScript runtime?

전부터 줄곧 하고 싶었던 리팩터링도 했다.

요즘 눈에 띄는 변화는 없지만 조금씩 Hackers' Pub을 개선하고 있다.

다른 얘기지만 “에모지 리액션을 하나밖에 달지 못한다”는 Misskey의 제약이라고 알고 있습니다. Hackers' Pub도 그렇고 Pleroma/Akkoma도 그렇고 한 사람이 같은 게시물에 여러 에모지를 달 수 있게 되어 있어요.

RE: https://yuri.garden/notes/a6x41eyvis

아... 그러니까 sk 해킹당한 이유가
'우리 회사 보안팀은 실적이 없네? 인원감축-.'
이 상황이 실제로 발생해서라고요...?
만화에서나 볼 법한 상황이라고 생각했어...

https://n.news.naver.com/mnews/article/366/0001071425
[단독] “해커에 뚫린 이유 있었네”… SK텔레콤, 정보보호 투자비 감액

통신업계 관계자는 “SK텔레콤은 지금까지 해킹 공격 피해를 입은 적이 없다는 안이함이 정보보호 투자 축소로 이어졌다”면서 “유영상 사장 체제에서 인공지능(AI) 투자에 집중한 나머지 정보보호 투자에는 소홀해 뼈아픈 실책이 됐다”고 말했다.

이거 서버관리실 담당자를 싹 해고하고 나서 온갖 사건사고 터지고 사장이 울며불며 돌아와달라 했던 사건이랑 비슷한거같은데, 피해가 없다면 관리자님들이 일 잘하는거임...

인간이 코딩을 얼마나 못하냐면, chatGPT :: String -> String이 현존하는 가장 비싼 프로그램이다

🤔

Protocols such as ActivityPub are widely used and useful, but unfortunately are not the best option when efficiency is important. Messages are in plain JSON format, which is wasteful, and extensions by various implementations complicate the implementation.

XQ's focus on replacing JSON with Protocol Buffers seems misguided. While serialization efficiency matters, ActivityPub's fundamental bottlenecks are in its multi-hop network architecture and request patterns. Optimizing message format without addressing these core architectural inefficiencies is like polishing doorknobs on a house with structural issues. True performance gains would require rethinking the communication model itself.

https://github.com/misskey-dev/xq

@bglbgl gwyng 저는 항상 혹시 몰라서 b.c.bind(b)라고 씁니다…

JS에서는 라이브러리의 함수를 쓸때 this binding이 되어있는지 아닌지를 몰라서 a = b.c라고 마음대로 못 쓰고 a = (x) => b.c(x)가 되는지 먼저 꼭 확인해야한다. 안습;;

양심고백: 하스켈 타입클래스 확장들 각각 뭐하는지 잘 모르고 HLS가 빨간줄치고 추가하라고하면 그냥 무지성으로 추가합니다.

@lionhairdino 맞습니다.

어떻게든 워크스페이스 도입을 완료했다. 꽤 큰 변경이었는데도 타입 체커 덕분에 안전하게 도입할 수 있었다. 일단 배포도 했고 이전과 동일하게 잘 동작하는 듯하다.

3년차 웹 프런트엔드 개발자입니다. 잠시 10주 여름 방학 동안 계약직으로 일할 수 있는 직장을 찾고 있습니다. (6월 마지막 주부터 8월 마지막 주) http://frontend.moe/portfolio/

올해 2학기까지 수료하면 졸업 예정이라, 학부 졸업 이후 정규직 전환 조건으로도 희망하고 있습니다.

@iamuhun김무훈 배포되었습니다!

해커스펍 포스트에 유저네임 및 핸들 텍스트가 넘쳐서 페이지 전체에 가로 스크롤이 생기는 게 불편해서 직접 패치 제안드렸다. https://github.com/hackers-pub/hackerspub/pull/33

@iamuhun김무훈 감사합니다!

아… 근데 역시 복잡한 거 할 때는 Claude Sonnet 3.7이 훨씬 믿음직하다.

https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.6#superclass-expansion-is-more-conservative

내가 9.4 -> 9.6 마이그레이션에서 겪고 있는 문제가 이거랑 관련이 있는거 같은데(확실치 않음)... 9.4에서는 c :: Type -> Constraint 일때 forall c. c Int 뭐 이런 조건이 있으면, 모든 c에 대해 c Int가 존재하는게 말이 안되는데도 실제로 c Int 꼴로 쓰이는 c만 고려해서 타입체크를 통과시켜줬던거 같다(이것도 확실하지 않음). 근데 9.6에선 당연히 거부당한다.

위의 내 이해가 맞다면 9.4의 constraint solving 완전 무근본이었단건데, 이건 또 믿기 어렵다(하스켈의 설계 결정에 대한 신뢰 유지한다고 하면). 어디서 내가 잘못 파악한거지.

음 생각 이상으로 순환 의존성 지옥이군…

WinRing0: 왜 Windows가 각종 PC 모니터링 앱을 악성코드로 인식하기 시작했는가
------------------------------
* 2025년 3월 11일부터 전세계 수많은 PC 유저들이 Windows Defender(Windows에 내장된 안티바이러스 앱)로부터 악성 코드 경고를 받기 시작함.
* 악성 코드의 진원지는 대부분 PC 제어용 소프트웨어로, Razer Synapse, SteelSeries Engine, MSI Afterburner 등이 포함되어 있음.
* 이들 소프트웨어들의 공통점이 모…
------------------------------
https://news.hada.io/topic?id=20453&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

일단 코딩을 제일 안 해도 되는 워크스페이스 도입부터 해보자.

뭘 먼저 할까?

• Hackers' Pub에 워크스페이스 도입
• Hackers' Pub 모델 코드에 테스트 추가
• 테스트를 용이하게 하기 위해 Fedify에 모킹 객체 지원 추가

Misskey & Webテクノロジー最前線「CSS Variablesはここまで進化した」公開 https://gihyo.jp/article/2025/04/misskey-19

Hackers' Pub에도 팀 계정 같은 걸 만들어야 하나 싶은 생각이 가끔 드는데… 이를테면 현재로서는 Hackers' Pub 공식 계정을 깔끔하게 만들 방법이 떠오르지 않는다. 안 쓰는 메일 주소로 새 계정을 파는 식으로 해야 하는데, 별로 그런 식으로 풀고 싶지가 않다.

I've been reflecting lately on projects like @fedifyFedify: an ActivityPub server framework, @holloHollo , and @botkitBotKit by Fedify . Sometimes I wonder if I'm solving problems that very few people actually need solved. How many developers truly want to build their own #ActivityPub server from scratch?

It feels a bit like inventing shoes that let people walk on their hands all day. Would there be a viable market? How many would actually buy them?

That's the sense I get with these projects. They do have users who find them tremendously valuable, but the total user base is inherently limited. The tools serve an important function for a small audience of specialized developers.

There are moments when my motivation wavers. When the user community consists of just a handful of enthusiastic supporters, it's sometimes difficult to maintain momentum and justify the ongoing investment of time and energy.

And yet, there's something meaningful about creating specialized tools that solve complex problems well, even if they're only used by a few. Perhaps that's enough.

#fedidev

PostgreSQL에서는 CTE에 INSERT/UPDATE/DELETE도 쓸 수 있구나. 그래서 동시에 2개 이상의 테이블에 삽입한다든가 하는 게 가능. 근데 내가 쓸 일이 있을까…?

https://www.postgresql.org/docs/current/queries-with.html#QUERIES-WITH-MODIFYING

현재의 이른바 “에이전틱” 코딩 어시스턴트들은 종래의 정적 분석 기술을 활용하지 못하는데, 아마도 머지 않은 미래에 둘이 결합될 날이 올 것 같긴 하다. 다시 말해, 애초에 LLM이 컴파일조차 안 되는 코드를 뱉지는 못하게 할 수 있을 거라고 생각한다. 그 때가 되면 정말 평균적인 사람 프로그래머가 이룰 수 있는 품질의 코드를 내놓을 수 있지 않을까? 컴파일도 되고, 겉보기에는 잘 돌아가지만, 몇몇 코너 케이스에서는 여전히 깨지는… 그럼 그때는 또 LLM이 QA도 하고 코드 리뷰도 해서 고치는 미래가…!?

무한 스크롤 영역 밑에 푸터 두는 서비스는 법적으로 규제해야한다 🤦‍♂️

며칠 동안 딴짓 많이 했으니 이제 다시 Hackers' Pub 작업을 해야지…

BotKit 0.2.0のリリース

BotKit 0.2.0をリリースしました！BotKitを初めて知る方のために簡単に説明すると、BotKitはTypeScriptで開発されたスタンドアロンのActivityPubボットフレームワークです。Mastodon、Misskeyなどさまざまなフェディバース（#fediverse）のプラットフォームと連携でき、既存プラットフォームの制約なしに自由にボットを作成できます。

このリリースは、フェディバースにおけるボット開発をより簡単で強力にするための旅の重要な一歩であり、コミュニティから要望のあった機能を多数導入しています。

より良いボットインタラクションへの旅

BotKitの開発において、私たちは常にボットをより表現力豊かでインタラクティブにすることに焦点を当ててきました。バージョン0.2.0では、フェディバースの社会的側面をボットに取り入れることで、さらに一歩前進しました。

カスタム絵文字でボットの個性を表現

最も要望の多かった機能の一つがカスタム絵文字のサポートです。これにより、ボットは独自の視覚要素でメッセージを目立たせ、自分だけの個性を表現できるようになりました。

// ボット用のカスタム絵文字を定義
const emojis = bot.addCustomEmojis({
  botkit: { 
    file: `${import.meta.dirname}/images/botkit.png`, 
    type: "image/png" 
  },
  fedify: { 
    url: "https://fedify.dev/logo.png", 
    type: "image/png" 
  }
});

// メッセージにカスタム絵文字を使用
await session.publish(
  text`BotKit ${customEmoji(emojis.botkit)}は、Fedify ${customEmoji(emojis.fedify)}によって支えられています`
);

この新しいAPIでは、次のことが可能になりました。

• Bot.addCustomEmojis()でボットにカスタム絵文字を追加
• customEmoji()関数でメッセージに絵文字を含める
• FedifyのEmojiオブジェクトをtextタグテンプレートで使用する

リアクションによるコミュニケーション

コミュニケーションは単にメッセージを投稿するだけではありません。他の人のメッセージに反応することも重要です。新しいリアクションシステムは、ボットとフォロワーの間に自然な交流ポイントを作り出します。

// 標準のUnicode絵文字でメッセージにリアクション
await message.react(emoji`👍`);

// または定義したカスタム絵文字でリアクション
await message.react(emojis.botkit);

// リアクションを認識して応答するボットを作成
bot.onReact = async (session, reaction) => {
  await session.publish(
    text`${reaction.actor}さん、私のメッセージに${reaction.emoji}でリアクションしてくれてありがとうございます！`,
    { visibility: "direct" }
  );
};

この機能により、ボットは次のことができるようになりました。

• Message.react()を使用してUnicode絵文字でメッセージにリアクション
• 定義したカスタム絵文字でリアクション
• Bot.onReactとBot.onUnreactハンドラーでリアクションイベントを処理

引用による会話

議論では、他の人が言ったことを参照する必要がしばしばあります。新しい引用機能により、より結束力のある会話スレッドを作成できます。

// ボットの投稿で他のメッセージを引用
await session.publish(
  text`この興味深い視点について答えます...`,
  { quoteTarget: originalMessage }
);

// ユーザーがボットのメッセージを引用した場合の処理
bot.onQuote = async (session, quoteMessage) => {
  await session.publish(
    text`${quoteMessage.actor}さん、私の考えを共有してくれてありがとうございます！`,
    { visibility: "direct" }
  );
};

引用機能により、ボットは次のことができるようになりました。

• quoteTargetオプションでメッセージを引用
• Message.quoteTargetを通じて引用されたメッセージにアクセス
• 新しいBot.onQuoteイベントハンドラーで引用イベントを処理

視覚的な改善

コミュニケーションには視覚的要素も重要なため、ボットの表現方法を改善しました。

• ウェブインターフェースで画像添付ファイルが正しく表示されるようになりました
• ボットのコンテンツがより見やすくなり、豊かな体験を提供します

内部改善：活動の伝播の強化

フェディバースでの活動が伝播する方法も改善されました。

• 返信、共有、更新、削除のより正確な伝播
• 元のメッセージ作成者に活動が適切に送信されます

これらの改善により、様々なフェディバースプラットフォームでのボットの相互作用が一貫性と信頼性を持つようになります。

BotKit 0.2.0で最初の一歩を踏み出す

これらの新機能を体験してみたいですか？BotKit 0.2.0はJSRで利用可能で、簡単なコマンドでインストールできます。

deno add jsr:@fedify/botkit@0.2.0

BotKitはTemporal API（JavaScriptではまだ試験的な機能）を使用するため、deno.jsonでこれを有効にする必要があります。

{
  "imports": {
    "@fedify/botkit": "jsr:@fedify/botkit@0.2.0"
  },
  "unstable": ["temporal"]
}

これらの簡単なステップで、最新機能を使ってフェディバースボットを作成またはアップグレードする準備が整いました。

今後の展望

#BotKit 0.2.0は、フェディバースボット開発をアクセスしやすく、強力かつ楽しいものにするための私たちの継続的な取り組みを示しています。これらの新機能が、皆さんのボットをフェディバースコミュニティでより魅力的でインタラクティブなメンバーにするのに役立つと信じています。

完全なドキュメントと詳細な例については、私たちのドキュメントサイトをご覧ください。

フィードバック、機能リクエスト、コード貢献を通じてこのリリースに貢献してくださったすべての方々に感謝します。BotKitコミュニティは成長を続けており、皆さんが作成するものを楽しみにしています！

BotKitは、ActivityPubサーバーアプリケーションを作成するための低レベルフレームワークFedifyによって支えられています。

#fedidev #フェディバース #カスタム絵文字 #絵文字リアクション #絵文字反応 #引用

BotKit 0.2.0 릴리스

BotKit 0.2.0 버전이 릴리스되었습니다! BotKit을 처음 접하시는 분들을 위해 간단히 소개하자면, BotKit은 TypeScript로 개발된 독립형 #ActivityPub 봇 프레임워크입니다. Mastodon, Misskey 등 다양한 #연합우주(#fediverse) 플랫폼과 상호작용할 수 있으며, 기존 플랫폼의 제약에서 벗어나 자유롭게 봇을 만들 수 있습니다.

이번 릴리스는 연합우주 봇 개발을 더 쉽고 강력하게 만들기 위한 여정에서 중요한 발걸음입니다. 커뮤니티에서 요청해 왔던 여러 기능들을 새롭게 선보입니다.

더 나은 봇 상호작용을 위한 여정

BotKit을 개발하면서 우리는 항상 봇이 더 표현력 있고 상호작용이 풍부하도록 만드는 데 집중해 왔습니다. 0.2.0 버전에서는 연합우주의 사회적 측면을 봇에 접목시켜 한 단계 더 발전시켰습니다.

커스텀 에모지로 봇의 개성 표현하기

가장 많이 요청받았던 기능 중 하나가 #커스텀_에모지 지원입니다. 이제 봇은 독특한 시각적 요소로 메시지를 돋보이게 하며 자신만의 개성을 표현할 수 있습니다.

// 봇의 커스텀 에모지 정의하기
const emojis = bot.addCustomEmojis({
  botkit: { 
    file: `${import.meta.dirname}/images/botkit.png`, 
    type: "image/png" 
  },
  fedify: { 
    url: "https://fedify.dev/logo.png", 
    type: "image/png" 
  }
});

// 메시지에 커스텀 에모지 사용하기
await session.publish(
  text`BotKit ${customEmoji(emojis.botkit)}은 Fedify ${customEmoji(emojis.fedify)}의 지원을 받습니다`
);

이 새로운 API를 통해 다음과 같은 기능을 사용할 수 있습니다.

• Bot.addCustomEmojis()로 봇에 커스텀 에모지 추가하기
• customEmoji() 함수로 메시지에 에모지 포함하기
• Fedify의 Emoji 객체를 text 태그 템플릿에서 사용하기

반응을 통한 소통

소통은 단순히 메시지를 게시하는 것만이 아닙니다. 다른 사람의 메시지에 반응하는 것도 중요합니다. 새로운 반응 시스템은 봇과 팔로워 사이에 자연스러운 상호작용 지점을 만들어 줍니다.

// 표준 유니코드 에모지로 메시지에 반응하기
await message.react(emoji`👍`);

// 또는 정의한 커스텀 에모지로 반응하기
await message.react(emojis.botkit);

// 반응을 인식하고 응답하는 봇 만들기
bot.onReact = async (session, reaction) => {
  await session.publish(
    text`${reaction.actor}님, 제 메시지에 ${reaction.emoji} 반응을 남겨주셔서 감사합니다!`,
    { visibility: "direct" }
  );
};

이 기능을 통해 봇은 다음과 같은 작업을 수행할 수 있습니다.

• Message.react()를 사용하여 유니코드 에모지로 메시지에 반응하기
• 정의한 커스텀 에모지로 반응하기
• Bot.onReact와 Bot.onUnreact 핸들러로 반응 이벤트 처리하기

인용을 통한 대화

토론에서는 종종 다른 사람이 말한 내용을 참조해야 할 때가 있습니다. 새로운 #인용 기능은 더 응집력 있는 대화 스레드를 만들어 줍니다.

// 봇의 게시물에서 다른 메시지 인용하기
await session.publish(
  text`이 흥미로운 관점에 대한 답변입니다...`,
  { quoteTarget: originalMessage }
);

// 사용자가 봇의 메시지를 인용할 때 처리하기
bot.onQuote = async (session, quoteMessage) => {
  await session.publish(
    text`${quoteMessage.actor}님, 제 생각을 공유해 주셔서 감사합니다!`,
    { visibility: "direct" }
  );
};

인용 기능을 통해 봇은 다음과 같은 작업을 수행할 수 있습니다.

• quoteTarget 옵션으로 메시지 인용하기
• Message.quoteTarget을 통해 인용된 메시지에 접근하기
• 새로운 Bot.onQuote 이벤트 핸들러로 인용 이벤트 처리하기

시각적 개선

소통은 시각적인 요소도 중요하기 때문에 봇의 표현 방식을 개선했습니다.

• 웹 인터페이스에서 이미지 첨부파일이 제대로 표시됩니다
• 봇의 콘텐츠가 더 보기 좋아지고 풍부한 경험을 제공합니다

내부 개선: 향상된 액티비티 전파

연합우주에서 액티비티가 전파되는 방식도 개선했습니다.

• 답글, 공유, 업데이트, 삭제의 더 정확한 전파
• 원본 메시지 작성자에게 액티비티가 제대로 전송됩니다

이러한 개선 사항은 다양한 연합우주 플랫폼에서 봇의 상호작용이 일관되고 안정적으로 이루어지도록 보장합니다.

BotKit 0.2.0으로 첫 걸음 떼기

이러한 새로운 기능을 경험해 보고 싶으신가요? BotKit 0.2.0은 JSR에서 받을 수 있으며 간단한 명령어로 설치할 수 있습니다.

deno add jsr:@fedify/botkit@0.2.0

BotKit은 Temporal API(JavaScript에서 아직 시범적인 기능)를 사용하므로 deno.json에서 이를 활성화해야 합니다.

{
  "imports": {
    "@fedify/botkit": "jsr:@fedify/botkit@0.2.0"
  },
  "unstable": ["temporal"]
}

이 간단한 단계를 통해 최신 기능으로 연합우주 봇을 만들거나 업그레이드할 준비가 완료되었습니다.

앞으로의 전망

BotKit 0.2.0은 연합우주 봇 개발을 접근하기 쉽고, 강력하며, 즐겁게 만들기 위한 우리의 지속적인 노력을 보여줍니다. 이러한 새로운 기능들이 여러분의 봇이 연합우주 커뮤니티에서 더 매력적이고 상호작용이 풍부한 구성원이 되는 데 도움이 될 것이라고 믿습니다.

전체 문서와 더 많은 예제는 저희 문서 사이트에서 확인하실 수 있습니다.

피드백, 기능 요청, 코드 기여를 통해 이번 릴리스에 도움을 주신 모든 분들께 감사드립니다. BotKit 커뮤니티는 계속 성장하고 있으며, 여러분이 만들어낼 작품들을 기대합니다!

BotKit은 ActivityPub 서버 애플리케이션을 만들기 위한 하위 레벨 프레임워크인 Fedify의 지원을 받습니다.

#fedidev #커모지 #커스텀_이모지 #에모지_반응 #이모지_반응 #에모지_리액션 #이모지_리액션