What is Hackers' Pub?

Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.

0
0
0
0
0
0
mms :runbsd: + :emacs: @mms@bsd.cafe
Public
Shared by Stefano Marinelli

Part 3 of my Assembly fun (with guest appearance of emacs' hex mode):

michal.sapka.pl/2025/commodore

Commodore 64 Assembly, part 3: mnemonics, opcodes, pseudos, control commands, and tables

Last time I've learned how basic memory mnemonics works... But wait. Mnemonics? Time for some more clarifying nitpicks. Keywords which we write in assembly, like

michal.sapka.pl · Michał Sapka

Link author: mms :runbsd: + :emacs:@mms@bsd.cafe

0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

윤여정 아들 동성결혼식 고백에 성소수자 가족들 “큰 힘” 환영 수정 2025-04-21 10:10 www.hani.co.kr/arti/society...

윤여정 아들 동성결혼식 고백에 성소수자 가족들 “큰 힘...

윤여정, 직접 아들 동성결혼 축복…‘네가 누구든, 너는 내 아들’

( ☞한겨레 뉴스레터 H:730 구독하기. 검색창에 ’h:730’을 쳐보세요.) 배우 윤여정이 외국 언론 인터뷰를 통해 아들이 동성애자임을 밝힌 가운데, 그의 용기가 성소수자 부모의 ‘커밍아웃’으로서 중요한 의미를 지닌다는 목소리도 나온다. 커밍아웃은 레즈비언(여성 동

www.hani.co.kr · 한겨레

0
0
0
0
0
0
Martin Seeger @masek@infosec.exchange
Public

I didn't know

When I learned about the holocaust as teenager in Germany, many people from the Nazi era were still alive and lived all around me. Being the curious person I always was, I asked them about what happened and their role in it.

"I didn't know" was the boilerplate answer. And as they were relatives and friends, I believed them at first.

Then in 1981 we got a new teacher for history and he exposed the lie. Or more precise: he got us exposing those lies.

1/5

0
0
1
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

평지부터 오르막길까지 가볍게 걸을 수 있게 돕는 웨어러블 로봇. 7살짜리 다정한 손주와 대화하는 기분을 느끼게 하는 반려로봇까지. ‘돌봄 로봇’을 직접 체험해봤습니다.

돌봄 로봇을 써봤다, 신박한 기술에 마음까지 읽었으면…

돌봄 로봇을 써봤다, 신박한 기술에 마음까지 읽었으면…

2021년 개봉한 영화 ‘간호중’(민규동 감독)은 2046년에 벌어지는 돌봄에 대한 이야기다. 요양병원에 머무르는 주인공 정인의 어머니는 10년 전 뇌경색으로 쓰러져 ‘식물인간’ 상태다. 어머니를 바로 옆에서 돌보는 것은 정인의 얼굴을 그대로 본뜬 간병로봇 ‘간호중’이

www.hani.co.kr · 한겨레

0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

"과학으로 집단학살 가담 말라"...한국 과학기술계, 이스라엘 향한 첫 보이콧 2025.04.21 14:00 www.newscham.net/articles/112...

참세상::"과학으로 집단학살 가담 말라"...한국 과학...

참세상::"과학으로 집단학살 가담 말라"...한국 과학기술계, 이스라엘 향한 첫 보이콧

'과학의 날'인 21일, 주한이스라엘대사관 앞에서는

www.newscham.net · 참세상

0
0
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

서울시가 전국장애인차별철폐연대(전장연)의 지하철 탑승 시위에 또다시 형사 고발로 대응하고 나섰습니다. 오세훈 서울시장 취임 이후 이어져 온 ‘고소·고발 대응’ 기조가 올해도 반복되고 있습니다. www.hani.co.kr/arti/area/ca...

전장연 시위 때마다 ‘고소’로 맞대응하는 서울시

전장연 시위 때마다 서울시는 ‘소송’ 맞대응…“제도적 대화 필요”

서울시가 전국장애인차별철폐연대(전장연)의 지하철 탑승 시위에 또다시 형사 고발로 대응하고 나섰다. 오세훈 서울시장 취임 이후 이어져 온 ‘고소·고발 대응’ 기조가 올해도 반복되고 있다. 서울시는 21일 오전 서울 지하철 4호선 혜화역 등에서 출근길 지하철 탑승 시위를

www.hani.co.kr · 한겨레

0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

진보당 대선 후보에 김재연...“페미니스트 대통령 되겠다” 이어 "새로운 평등 공화국을 열어내겠다. 차별금지법으로 존엄한 일상을 지킬 수 있는 나라, 일하는 사람 누구나 노동조합을 통해 권리를 말할 수 있는 나라를 만들겠다"며 "소득, 젠더, 주권, 지역 등 모든 불평등을 깨트려가는 대통령, 대한민국 최초의 페미니스트 대통령이 되겠다"고 밝혔다. 입력 2025.04.20 03:52 www.womennews.co.kr/news/article...

진보당 대선 후보에 김재연...“페미니스트 대통령 되겠...

진보당 대선 후보에 김재연...“페미니스트 대통령 되겠다”

이세아 기자 · 진보당이 19일 상임대표인 김재연 전 의원을 제21대 대통령선거 후보로 선출했다.진보당은 이날 국회 의원회관에서 열린 ‘21대 대통령선거 후보 선출대회’ 결과 김 전 의원이 63.85%의 득표율로 대선 후보로 확정됐다고 밝혔다. 경쟁자였던 강성희 전 의원은 36.15%를 얻었다. 최종

www.womennews.co.kr · 여성신문

0
0
0
0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

전장연 시위 때마다 서울시는 ‘소송’ 맞대응…“제도적 대화 필요” 수정 2025-04-21 15:31 등록 2025-04-21 15:16 www.hani.co.kr/arti/area/ca...

전장연 시위 때마다 서울시는 ‘소송’ 맞대응…“제도적 ...

전장연 시위 때마다 서울시는 ‘소송’ 맞대응…“제도적 대화 필요”

서울시가 전국장애인차별철폐연대(전장연)의 지하철 탑승 시위에 또다시 형사 고발로 대응하고 나섰다. 오세훈 서울시장 취임 이후 이어져 온 ‘고소·고발 대응’ 기조가 올해도 반복되고 있다. 서울시는 21일 오전 서울 지하철 4호선 혜화역 등에서 출근길 지하철 탑승 시위를

www.hani.co.kr · 한겨레

0
0
0
0
0
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

개봉 전 ‘망작’이라는 소문이 파다했던 ‘마인크래프트 무비’가 TNT 블록을 터트린 듯한 화력을 보이고 있습니다. 개봉 14일 만에 전세계 7억2000만달러 매출을 올리면서 게임 원작 영화 최고 흥행 기록을 썼습니다.⛏️ www.hani.co.kr/arti/culture...

‘마인크래프트 무비’는 어떻게 Z세대를 사로잡았나

‘마인크래프트 무비’는 어떻게 Z세대를 사로잡았나

“치킨 조키~~~!!!” 스크린 속 사각의 링에 네모난 닭을 탄 네모난 초록색 아기 좀비가 등장하자 관객들이 크게 따라 외치며 팝콘을 공중에 뿌린다. 좀비를 흉내 내 옆자리 친구 어깨에 올라타거나 살아있는 닭을 가져와 날개를 퍼덕이게 하는 관객도 있다. 지난 4일 북미

www.hani.co.kr · 한겨레

0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

대행 한덕수 “선출직 대통령과 같다”…방위비 협상 또 ‘월권’ 논란 2025. 4. 20. 14:50 미국과 분담금 재협상 가능성 시사 외신 ‘대선 출마’ 질문엔 “노 코멘트” v.daum.net/v/2025042014...

대행 한덕수 “선출직 대통령과 같다”…방위비 협상 또 ...

대행 한덕수 “선출직 대통령과 같다”…방위비 협상 또 ‘월권’ 논란

한겨레 · 한미가 도널드 트럼프 미국 대통령이 부과하겠다는 상호관세에 대해 이번주 ‘2+2 협상’을 하기로 한 가운데, 한덕수 대통령 권한대행 국무총리가 협상 시작도 전에 ‘방위비 재협상’ 가능성을 시사해 논란이 일고 있다. 한 권한대행은 20일 공개된 영국 ‘파이낸셜타임스’(FT) 인터뷰에서, 미국 정부와의 무역협상에서 주한미군 방위비 분담금 문제가 함께 논의

v.daum.net · 다음 - 한겨레

0
0
0
BotKit by Fedify :botkit: @botkit@hollo.social
Public
Shared by Chee Aun 🤔

BotKit 0.2.0 Released

We're pleased to announce the release of BotKit 0.2.0! For those new to our project, is a framework for creating standalone bots that can interact with Mastodon, Misskey, and other platforms without the constraints of these existing platforms.

This release marks an important step in our journey to make fediverse bot development more accessible and powerful, introducing several features that our community has been requesting.

The Journey to Better Bot Interactions

In building BotKit, we've always focused on making bots more expressive and interactive. With version 0.2.0, we're taking this to the next level by bringing the social aspects of the fediverse to your bots.

Expressing Your Bot's Personality with Custom Emojis

One of the most requested features has been support. Now your bots can truly express their personality with unique visuals that make their messages stand out.

// Define custom emojis for your bot
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" 
  }
});

// Use these custom emojis in your messages
await session.publish(
  text`BotKit ${customEmoji(emojis.botkit)} is powered by Fedify ${customEmoji(emojis.fedify)}`
);

With this new API, you can:

Engaging Through Reactions

Communication isn't just about posting messages—it's also about responding to others. The new reaction system creates natural interaction points between your bot and its followers:

// React to a message with a standard Unicode emoji
await message.react(emoji`👍`);

// Or use one of your custom emojis as a reaction
await message.react(emojis.botkit);

// Create a responsive bot that acknowledges reactions
bot.onReact = async (session, reaction) => {
  await session.publish(
    text`Thanks for reacting with ${reaction.emoji} to my message, ${reaction.actor}!`,
    { visibility: "direct" }
  );
};

This feature allows your bot to:

Conversations Through Quotes

Discussions often involve referencing what others have said. Our new support enables more cohesive conversation threads:

// Quote another message in your bot's post
await session.publish(
  text`Responding to this interesting point...`,
  { quoteTarget: originalMessage }
);

// Handle when users quote your bot's messages
bot.onQuote = async (session, quoteMessage) => {
  await session.publish(
    text`Thanks for sharing my thoughts, ${quoteMessage.actor}!`,
    { visibility: "direct" }
  );
};

With quote support, your bot can:

Visual Enhancements

Because communication is visual too, we've improved how your bot presents itself:

  • Image attachments now properly display in the web interface
  • Your bot's content looks better and provides a richer experience

Behind the Scenes: Enhanced Activity Propagation

We've also improved how activities propagate through the fediverse:

  • More precise propagation of replies, shares, updates, and deletes
  • Activities are now properly sent to the original message authors

These improvements ensure your bot's interactions are consistent and reliable across different fediverse platforms.

Taking Your First Steps with BotKit 0.2.0

Ready to experience these new features? BotKit 0.2.0 is available on JSR and can be installed with a simple command:

deno add jsr:@fedify/botkit@0.2.0

Since BotKit uses the Temporal API (which is still evolving in JavaScript), remember to enable it in your deno.json:

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

With these simple steps, you're ready to create or upgrade your fediverse bot with our latest features.

Looking Forward

BotKit 0.2.0 represents our ongoing commitment to making fediverse bot development accessible, powerful, and enjoyable. We believe these new features will help your bots become more engaging and interactive members of the fediverse community.

For complete docs and more examples, visit our docs site.

Thank you to everyone who contributed to this release through feedback, feature requests, and code contributions. The BotKit community continues to grow, and we're excited to see what you'll create!

BotKit is powered by Fedify, a lower-level framework for creating ActivityPub server applications.

BotKit by Fedify

A framework for creating your ActivityPub bots

botkit.fedify.dev

Link author: BotKit by Fedify :botkit:@botkit@hollo.social

1
1
0
0
0
0
0
0
0
BotKit by Fedify :botkit: @botkit@hollo.social
Public

BotKit 0.2.0 릴리스

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

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

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

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를 통해 다음과 같은 기능을 사용할 수 있습니다.

반응을 통한 소통

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

// 표준 유니코드 에모지로 메시지에 반응하기
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" }
  );
};

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

시각적 개선

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

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

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

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

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

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

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의 지원을 받습니다.

BotKit by Fedify

A framework for creating your ActivityPub bots

botkit.fedify.dev

Link author: BotKit by Fedify :botkit:@botkit@hollo.social

BotKit by Fedify :botkit: @botkit@hollo.social
Public
Shared by 洪 民憙 (Hong Minhee)

BotKit 0.2.0のリリース

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

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

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

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では、次のことが可能になりました。

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

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

// 標準の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"]
}

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

今後の展望

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

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

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

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

BotKit by Fedify

A framework for creating your ActivityPub bots

botkit.fedify.dev

Link author: BotKit by Fedify :botkit:@botkit@hollo.social

3
0
0
BotKit by Fedify :botkit: @botkit@hollo.social
Public

BotKit 0.2.0 Released

We're pleased to announce the release of BotKit 0.2.0! For those new to our project, is a framework for creating standalone bots that can interact with Mastodon, Misskey, and other platforms without the constraints of these existing platforms.

This release marks an important step in our journey to make fediverse bot development more accessible and powerful, introducing several features that our community has been requesting.

The Journey to Better Bot Interactions

In building BotKit, we've always focused on making bots more expressive and interactive. With version 0.2.0, we're taking this to the next level by bringing the social aspects of the fediverse to your bots.

Expressing Your Bot's Personality with Custom Emojis

One of the most requested features has been support. Now your bots can truly express their personality with unique visuals that make their messages stand out.

// Define custom emojis for your bot
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" 
  }
});

// Use these custom emojis in your messages
await session.publish(
  text`BotKit ${customEmoji(emojis.botkit)} is powered by Fedify ${customEmoji(emojis.fedify)}`
);

With this new API, you can:

Engaging Through Reactions

Communication isn't just about posting messages—it's also about responding to others. The new reaction system creates natural interaction points between your bot and its followers:

// React to a message with a standard Unicode emoji
await message.react(emoji`👍`);

// Or use one of your custom emojis as a reaction
await message.react(emojis.botkit);

// Create a responsive bot that acknowledges reactions
bot.onReact = async (session, reaction) => {
  await session.publish(
    text`Thanks for reacting with ${reaction.emoji} to my message, ${reaction.actor}!`,
    { visibility: "direct" }
  );
};

This feature allows your bot to:

Conversations Through Quotes

Discussions often involve referencing what others have said. Our new support enables more cohesive conversation threads:

// Quote another message in your bot's post
await session.publish(
  text`Responding to this interesting point...`,
  { quoteTarget: originalMessage }
);

// Handle when users quote your bot's messages
bot.onQuote = async (session, quoteMessage) => {
  await session.publish(
    text`Thanks for sharing my thoughts, ${quoteMessage.actor}!`,
    { visibility: "direct" }
  );
};

With quote support, your bot can:

Visual Enhancements

Because communication is visual too, we've improved how your bot presents itself:

  • Image attachments now properly display in the web interface
  • Your bot's content looks better and provides a richer experience

Behind the Scenes: Enhanced Activity Propagation

We've also improved how activities propagate through the fediverse:

  • More precise propagation of replies, shares, updates, and deletes
  • Activities are now properly sent to the original message authors

These improvements ensure your bot's interactions are consistent and reliable across different fediverse platforms.

Taking Your First Steps with BotKit 0.2.0

Ready to experience these new features? BotKit 0.2.0 is available on JSR and can be installed with a simple command:

deno add jsr:@fedify/botkit@0.2.0

Since BotKit uses the Temporal API (which is still evolving in JavaScript), remember to enable it in your deno.json:

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

With these simple steps, you're ready to create or upgrade your fediverse bot with our latest features.

Looking Forward

BotKit 0.2.0 represents our ongoing commitment to making fediverse bot development accessible, powerful, and enjoyable. We believe these new features will help your bots become more engaging and interactive members of the fediverse community.

For complete docs and more examples, visit our docs site.

Thank you to everyone who contributed to this release through feedback, feature requests, and code contributions. The BotKit community continues to grow, and we're excited to see what you'll create!

BotKit is powered by Fedify, a lower-level framework for creating ActivityPub server applications.

BotKit by Fedify

A framework for creating your ActivityPub bots

botkit.fedify.dev

Link author: BotKit by Fedify :botkit:@botkit@hollo.social

BotKit by Fedify :botkit: @botkit@hollo.social
Public
Shared by 洪 民憙 (Hong Minhee)

BotKit 0.2.0 릴리스

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

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

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

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를 통해 다음과 같은 기능을 사용할 수 있습니다.

반응을 통한 소통

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

// 표준 유니코드 에모지로 메시지에 반응하기
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" }
  );
};

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

시각적 개선

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

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

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

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

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

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

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의 지원을 받습니다.

BotKit by Fedify

A framework for creating your ActivityPub bots

botkit.fedify.dev

Link author: BotKit by Fedify :botkit:@botkit@hollo.social

0
1
0
BotKit by Fedify :botkit: @botkit@hollo.social
Public
Shared by 洪 民憙 (Hong Minhee)

BotKit 0.2.0 Released

We're pleased to announce the release of BotKit 0.2.0! For those new to our project, is a framework for creating standalone bots that can interact with Mastodon, Misskey, and other platforms without the constraints of these existing platforms.

This release marks an important step in our journey to make fediverse bot development more accessible and powerful, introducing several features that our community has been requesting.

The Journey to Better Bot Interactions

In building BotKit, we've always focused on making bots more expressive and interactive. With version 0.2.0, we're taking this to the next level by bringing the social aspects of the fediverse to your bots.

Expressing Your Bot's Personality with Custom Emojis

One of the most requested features has been support. Now your bots can truly express their personality with unique visuals that make their messages stand out.

// Define custom emojis for your bot
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" 
  }
});

// Use these custom emojis in your messages
await session.publish(
  text`BotKit ${customEmoji(emojis.botkit)} is powered by Fedify ${customEmoji(emojis.fedify)}`
);

With this new API, you can:

Engaging Through Reactions

Communication isn't just about posting messages—it's also about responding to others. The new reaction system creates natural interaction points between your bot and its followers:

// React to a message with a standard Unicode emoji
await message.react(emoji`👍`);

// Or use one of your custom emojis as a reaction
await message.react(emojis.botkit);

// Create a responsive bot that acknowledges reactions
bot.onReact = async (session, reaction) => {
  await session.publish(
    text`Thanks for reacting with ${reaction.emoji} to my message, ${reaction.actor}!`,
    { visibility: "direct" }
  );
};

This feature allows your bot to:

Conversations Through Quotes

Discussions often involve referencing what others have said. Our new support enables more cohesive conversation threads:

// Quote another message in your bot's post
await session.publish(
  text`Responding to this interesting point...`,
  { quoteTarget: originalMessage }
);

// Handle when users quote your bot's messages
bot.onQuote = async (session, quoteMessage) => {
  await session.publish(
    text`Thanks for sharing my thoughts, ${quoteMessage.actor}!`,
    { visibility: "direct" }
  );
};

With quote support, your bot can:

Visual Enhancements

Because communication is visual too, we've improved how your bot presents itself:

  • Image attachments now properly display in the web interface
  • Your bot's content looks better and provides a richer experience

Behind the Scenes: Enhanced Activity Propagation

We've also improved how activities propagate through the fediverse:

  • More precise propagation of replies, shares, updates, and deletes
  • Activities are now properly sent to the original message authors

These improvements ensure your bot's interactions are consistent and reliable across different fediverse platforms.

Taking Your First Steps with BotKit 0.2.0

Ready to experience these new features? BotKit 0.2.0 is available on JSR and can be installed with a simple command:

deno add jsr:@fedify/botkit@0.2.0

Since BotKit uses the Temporal API (which is still evolving in JavaScript), remember to enable it in your deno.json:

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

With these simple steps, you're ready to create or upgrade your fediverse bot with our latest features.

Looking Forward

BotKit 0.2.0 represents our ongoing commitment to making fediverse bot development accessible, powerful, and enjoyable. We believe these new features will help your bots become more engaging and interactive members of the fediverse community.

For complete docs and more examples, visit our docs site.

Thank you to everyone who contributed to this release through feedback, feature requests, and code contributions. The BotKit community continues to grow, and we're excited to see what you'll create!

BotKit is powered by Fedify, a lower-level framework for creating ActivityPub server applications.

BotKit by Fedify

A framework for creating your ActivityPub bots

botkit.fedify.dev

Link author: BotKit by Fedify :botkit:@botkit@hollo.social

1
1
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public

대행 한덕수 “선출직 대통령과 같다”…방위비 협상 또 ‘월권’ 논란 2025. 4. 20. 14:50 미국과 분담금 재협상 가능성 시사 외신 ‘대선 출마’ 질문엔 “노 코멘트” v.daum.net/v/2025042014...

대행 한덕수 “선출직 대통령과 같다”…방위비 협상 또 ...

대행 한덕수 “선출직 대통령과 같다”…방위비 협상 또 ‘월권’ 논란

한겨레 · 한미가 도널드 트럼프 미국 대통령이 부과하겠다는 상호관세에 대해 이번주 ‘2+2 협상’을 하기로 한 가운데, 한덕수 대통령 권한대행 국무총리가 협상 시작도 전에 ‘방위비 재협상’ 가능성을 시사해 논란이 일고 있다. 한 권한대행은 20일 공개된 영국 ‘파이낸셜타임스’(FT) 인터뷰에서, 미국 정부와의 무역협상에서 주한미군 방위비 분담금 문제가 함께 논의

v.daum.net · 다음 - 한겨레

0
0
0
Allen Wang @Allenwang@g0v.social
Public

剛剛在 FB 看到一篇文：
「美國研究發現，Z世代會用「有沒有破折號（——）」來破解這篇文章是不是AI產出的」

嗯.......
我記得我上次寫文章有用破折號，可能是國中的時候，高中可能都沒有用過；更別說這篇文是「美國研究」.... 一般人行文會用破折號嗎。

說到這個讓我想到，前幾年曾被朋友念過寫文章可以多用句號跟分號，現在慢慢會多用分號了，不過還有很多標點符號應該也都還給老師了，像是破折號。

0
0
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public

개봉 전 ‘망작’이라는 소문이 파다했던 ‘마인크래프트 무비’가 TNT 블록을 터트린 듯한 화력을 보이고 있습니다. 개봉 14일 만에 전세계 7억2000만달러 매출을 올리면서 게임 원작 영화 최고 흥행 기록을 썼습니다.⛏️ www.hani.co.kr/arti/culture...

‘마인크래프트 무비’는 어떻게 Z세대를 사로잡았나

‘마인크래프트 무비’는 어떻게 Z세대를 사로잡았나

“치킨 조키~~~!!!” 스크린 속 사각의 링에 네모난 닭을 탄 네모난 초록색 아기 좀비가 등장하자 관객들이 크게 따라 외치며 팝콘을 공중에 뿌린다. 좀비를 흉내 내 옆자리 친구 어깨에 올라타거나 살아있는 닭을 가져와 날개를 퍼덕이게 하는 관객도 있다. 지난 4일 북미

www.hani.co.kr · 한겨레

0
0
0
0
0
0
드라코 @draco@pointless.chat
Public
Shared by pkg update

승인도 없이 잘못 발송...트럼프·하버드 전쟁 시발점 알고 보니 [지금이뉴스] / YTN - YouTube

youtube.com/watch?v=FFkmuTxcb5

백악관 수석 전략가는 "한 번쯤은 서한의 진위를 따져봤어야 했다"며 하버드대의 탓으로 돌렸습니다.

공문 보내 놓고 반발하니까 그거 진짜 보낸거 아닌데? 진짜인지 확인 안해본 학교쪽 잘못이라고 하는 트럼프 정부 ㅋㅋㅋㅋㅋㅋㅋㅋㅋ

승인도 없이 잘못 발송...트럼프·하버드 전쟁 시발점 알고 보니 [지금이뉴스] / YTN

미국 하버드대가 도널드 트럼프 행정부가 추진해온 반 DEI(다양성·형평성·포용성) 정책에 반기를 들게 된 교육부 서한이 '배달 실수'였다는 주장이 제기됐습니다.서한이 공식적인 승인 없이 보내졌다는 것인데, 하버드대는 트럼프 행정부가 이후 대학에 대한 압박 수위를 더 높여 이제는 돌...

www.youtube.com · YouTube

0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public

전장연 시위 때마다 서울시는 ‘소송’ 맞대응…“제도적 대화 필요” 수정 2025-04-21 15:31 등록 2025-04-21 15:16 www.hani.co.kr/arti/area/ca...

전장연 시위 때마다 서울시는 ‘소송’ 맞대응…“제도적 ...

전장연 시위 때마다 서울시는 ‘소송’ 맞대응…“제도적 대화 필요”

서울시가 전국장애인차별철폐연대(전장연)의 지하철 탑승 시위에 또다시 형사 고발로 대응하고 나섰다. 오세훈 서울시장 취임 이후 이어져 온 ‘고소·고발 대응’ 기조가 올해도 반복되고 있다. 서울시는 21일 오전 서울 지하철 4호선 혜화역 등에서 출근길 지하철 탑승 시위를

www.hani.co.kr · 한겨레

0
0
0
0
0
0
0
0
0
0
0
0
BotKit by Fedify :botkit: @botkit@hollo.social
Public

BotKit 0.2.0 Released

We're pleased to announce the release of BotKit 0.2.0! For those new to our project, is a framework for creating standalone bots that can interact with Mastodon, Misskey, and other platforms without the constraints of these existing platforms.

This release marks an important step in our journey to make fediverse bot development more accessible and powerful, introducing several features that our community has been requesting.

The Journey to Better Bot Interactions

In building BotKit, we've always focused on making bots more expressive and interactive. With version 0.2.0, we're taking this to the next level by bringing the social aspects of the fediverse to your bots.

Expressing Your Bot's Personality with Custom Emojis

One of the most requested features has been support. Now your bots can truly express their personality with unique visuals that make their messages stand out.

// Define custom emojis for your bot
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" 
  }
});

// Use these custom emojis in your messages
await session.publish(
  text`BotKit ${customEmoji(emojis.botkit)} is powered by Fedify ${customEmoji(emojis.fedify)}`
);

With this new API, you can:

Engaging Through Reactions

Communication isn't just about posting messages—it's also about responding to others. The new reaction system creates natural interaction points between your bot and its followers:

// React to a message with a standard Unicode emoji
await message.react(emoji`👍`);

// Or use one of your custom emojis as a reaction
await message.react(emojis.botkit);

// Create a responsive bot that acknowledges reactions
bot.onReact = async (session, reaction) => {
  await session.publish(
    text`Thanks for reacting with ${reaction.emoji} to my message, ${reaction.actor}!`,
    { visibility: "direct" }
  );
};

This feature allows your bot to:

Conversations Through Quotes

Discussions often involve referencing what others have said. Our new support enables more cohesive conversation threads:

// Quote another message in your bot's post
await session.publish(
  text`Responding to this interesting point...`,
  { quoteTarget: originalMessage }
);

// Handle when users quote your bot's messages
bot.onQuote = async (session, quoteMessage) => {
  await session.publish(
    text`Thanks for sharing my thoughts, ${quoteMessage.actor}!`,
    { visibility: "direct" }
  );
};

With quote support, your bot can:

Visual Enhancements

Because communication is visual too, we've improved how your bot presents itself:

  • Image attachments now properly display in the web interface
  • Your bot's content looks better and provides a richer experience

Behind the Scenes: Enhanced Activity Propagation

We've also improved how activities propagate through the fediverse:

  • More precise propagation of replies, shares, updates, and deletes
  • Activities are now properly sent to the original message authors

These improvements ensure your bot's interactions are consistent and reliable across different fediverse platforms.

Taking Your First Steps with BotKit 0.2.0

Ready to experience these new features? BotKit 0.2.0 is available on JSR and can be installed with a simple command:

deno add jsr:@fedify/botkit@0.2.0

Since BotKit uses the Temporal API (which is still evolving in JavaScript), remember to enable it in your deno.json:

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

With these simple steps, you're ready to create or upgrade your fediverse bot with our latest features.

Looking Forward

BotKit 0.2.0 represents our ongoing commitment to making fediverse bot development accessible, powerful, and enjoyable. We believe these new features will help your bots become more engaging and interactive members of the fediverse community.

For complete docs and more examples, visit our docs site.

Thank you to everyone who contributed to this release through feedback, feature requests, and code contributions. The BotKit community continues to grow, and we're excited to see what you'll create!

BotKit is powered by Fedify, a lower-level framework for creating ActivityPub server applications.

BotKit by Fedify

A framework for creating your ActivityPub bots

botkit.fedify.dev

Link author: BotKit by Fedify :botkit:@botkit@hollo.social

1
1
0
0
0
0
0
0
0
이루왕 @eeruwang@daepi.so
Public

저번에 미국 사람이 다른 나라 사람에게 너네는 바이든 뽑았어 트럼프 뽑았어? 라고 질문하는 포스팅을 봐서 뭔가… 국기인지 모를 가능성과 그래도 적극적 정치적 행동을 하는 사람인데 설마가 내 마음 속에서 싸운다.

0
0
0
뉼비🍅 @neulrain.bsky.social@bsky.brid.gy
Public
Shared by 가배

미루지 않고 일을 할 수 있다고?? 의욕이 없어도 뭔가를 시작할 수 있다고?? 생각한 우리 블친들은 꼭 이 책을 읽고 삶의 난이도를 좀더 낮추도록해요 이 책 덕분에 저도 한 두걸음정도는 나아간 일상을 살고있어요

0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

: Demostraciones con Lean4 y con Isabelle/HOL de "f[s] \ f[t] ⊆ f[s \ t]​". jaalonso.github.io/calculemus/

Demostraciones de "f[s] \ f[t] ⊆ f[s \ t]"

Demostrar con Lean4 y con Isabelle/HOL que \[f[s] \setminus f[t] ⊆ f[s \setminus t] \] Para ello, completar la siguiente teoría de Lean4: import Mathlib.Data.Set.Function import Mathlib.Tactic open S

jaalonso.github.io · Calculemus

0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

: Divisores de un número con final dado. jaalonso.github.io/exercitium/

Divisores de un número con final dado

Definir la función divisoresConFinal :: Integer -> Integer -> [Integer] tal que (divisoresConFinal n m) es la lista de los divisores de n cuyos dígitos finales coincide con m. Por ejemplo, divisores

jaalonso.github.io · Exercitium

0
0
0
0
0
0
2
0
0
1
0
0
1
0
0