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.

한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public
Shared by 잇창명 EatChangmyeong💕🦋

서울시가 전국장애인차별철폐연대(전장연)의 지하철 탑승 시위에 또다시 형사 고발로 대응하고 나섰습니다. 오세훈 서울시장 취임 이후 이어져 온 ‘고소·고발 대응’ 기조가 올해도 반복되고 있습니다. 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
、、、 @dampuzakura@fedibird.com
Public

万博、高齢者に冷たい？　　予約も地図もスマホ頼み(時事通信)
news.yahoo.co.jp/articles/f40a

今回の万博はそういうテーマだからね
スマホの使い方が分からないのではなく学ぶ気がないだけでは？

万博、高齢者に冷たい？　　予約も地図もスマホ頼み（時事通信） - Yahoo!ニュース

　大阪・関西万博ではデジタル化やペーパーレス化の方針が掲げられ、スマートフォンを通じてパビリオンを予約したり、「デジタルマップ」でお目当てのパビリオンを検索したりすることが想定されている。 　ただ

news.yahoo.co.jp · Yahoo!ニュース

0
0
0
은열쇠🥨 :ivory_boost: @Silverkey027@mastodon.social
Public

“트럼프의 파월 해임 시도, 연준 신뢰 무너뜨릴 것”

트럼프 대통령이 파월 연준 의장의 해임 가능성을 언급하자, 시카고 연은 총재는 연준의 독립성과 신뢰를 훼손할 수 있다고 경고했다. fortunekorea.co.kr/news/articl

“트럼프의 파월 해임 시도, 연준 신뢰 무너뜨릴 것”

Sydney Lake & 김다린 기자 · 도널드 트럼프 미국 대통령이 “제롬 파월 연준 의장의 해임은 하루라도 빨리 이뤄져야 한다”고 밝히며 연방준비제도(Fed∙연준)를 둘러싼 논란이 커지고 있다. 이에 오스턴 굴스비 시카고 연방은행 총재가 “연준의 신뢰성을 훼손할 수 있다”며 우려의 목소리를 냈다.이번 갈등은 파월 의장이 트럼프의 ‘관세 폭탄’ 정책을 두고 공개적으로 경고하면서 촉발됐다. 파월은 시카고 경제클럽 연설에서 이렇게 지적했다. “최근 발표된 관세 인상 수준은 예상을 훨씬 웃돌며, 그 경제적 영향 또한 예상보다 크다. 인플레이션 상승과 성장 둔화로 이어질 가능성

www.fortunekorea.co.kr · 포춘코리아 디지털 뉴스

0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
MJ+ @voyager@g0v.social
Public

其實我知道最佳解是請別人上來洗冷氣，但相比要付錢，我覺得約時間跟讓別人進屋子裡才是最麻煩

於是還是自己洗，結果我很快就後悔了。我現在連自己都洗了一遍

為了獎勵自己，晚點隔塵網乾掉我就開冷氣 :raised_eyebrow_cat_2:

0
0
0
0
0
0
curse of ezra :neocat_flag_androgyne: @ezra@wetdry.world
Public

there's gotta be a sport out there that trans people regardless of direction just have a physical advantage over cis people in

transing one's gender oughtta have at least one thing it makes them more capable of but what? gymnastics? ping pong? kerplunk?

0
0
0
0
0
0
0
0
0
0
0
0
Nicholas Whyte @nwhyte@wandering.shop
Public

Interesting piece about AI development in China, including two photos taken at the conference I attended in Beijing last month. I don’t think people in the West realise just how far ahead in the game China has got.

theguardian.com/world/2025/apr

Humanoid workers and surveillance buggies: ‘embodied AI’ is reshaping daily life in China

China’s leaders see artificial intelligence as key to upgrading military strength, solving problems created by a shrinking workforce, and a source of national pride

www.theguardian.com · the Guardian

0
0
0
0
0
0
가배 @icekave@serafuku.moe
Public

메달리스트를, 이제서야 끝까지 다 봤어요.

캐릭터가 성장해나가는 부분이나 감정표현이 너무 좋았고... 마지막화는 정말 계속 울면서 본 것 같아요.

매화매화 끊는게 너무 절묘해서 몰아보기를 잘한 것 같기도...

1
0
0
0
0
0
Sdtk @sudatak@fedibird.com
Public
Shared by SparklingOutlaw🍉

↓まさにこのクダリ、80年代ロリコンブームから、90年代以降の萌えやロリエロをめぐる状況への変化についてつねづね感じてきたことだわさ。"まだ共有されていた「屈託」みたいなもの" の消滅。それ。

"70年代以降の日本のサブカルって、歴史や文脈から解放され、記号の戯れの中にうずくまっていたい……みたいな志向を抱えていたわけで。70～80年代頃にはそういう志向の中でまだ共有されていた「屈託」みたいなものが、90年代頃から薄れてきて、椎名林檎あたりでほぼ無くなってしまった……みたいな見立てができると思う"

bunshun.jp/articles/-/32093 [参照]

「ほうじ茶の喉ごしのような、すうーっとした印象」“右傾化”した椎名林檎の素朴すぎる語彙の正体 | 文春オンライン

サブカルチャー。この言葉を聞いて思い浮かべるものは、恐らく人によって様々だろう。ひとつの社会における主流文化に対して、その社会の一部の人々によって共有される副次的な文化……というような意味合いが、こ…

bunshun.jp · 文春オンライン

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

Non-circular trigonometric proofs of the pythagorean theorem in Lean4: A comparison. ~ Paul Pajo. researchgate.net/publication/3

(PDF) Non-Circular Trigonometric Proofs of the Pythagorean Theorem in Lean4: A Comparison

PDF | This paper compares two Lean4 formalizations of the Pythagorean theorem using trigonometric identities, inspired by a method from high school... | Find, read and cite all the research you need on ResearchGate

www.researchgate.net · ResearchGate

0
0
0
Sdtk @sudatak@fedibird.com
Public

↓まさにこのクダリ、80年代ロリコンブームから、90年代以降の萌えやロリエロをめぐる状況への変化についてつねづね感じてきたことだわさ。"まだ共有されていた「屈託」みたいなもの" の消滅。それ。

"70年代以降の日本のサブカルって、歴史や文脈から解放され、記号の戯れの中にうずくまっていたい……みたいな志向を抱えていたわけで。70～80年代頃にはそういう志向の中でまだ共有されていた「屈託」みたいなものが、90年代頃から薄れてきて、椎名林檎あたりでほぼ無くなってしまった……みたいな見立てができると思う"

bunshun.jp/articles/-/32093 [参照]

「ほうじ茶の喉ごしのような、すうーっとした印象」“右傾化”した椎名林檎の素朴すぎる語彙の正体 | 文春オンライン

サブカルチャー。この言葉を聞いて思い浮かべるものは、恐らく人によって様々だろう。ひとつの社会における主流文化に対して、その社会の一部の人々によって共有される副次的な文化……というような意味合いが、こ…

bunshun.jp · 文春オンライン

0
0
0
Hacker News 100 @hn100@social.lansky.name
Public

How encryption for Cinema Movies works

Link: serverless.industries/2024/05/
Discussion: news.ycombinator.com/item?id=4

How DCI Movie Delivery and Encryption works

Christian · The Cinema Industry is using its own standards for creating and distributing movies in a secure way. The DCI (Digital Cinema Initiatives) specification defines everything from file formats and encryption to the projection systems itself.

serverless.industries · Serverless Industries

0
0
0
:symbol_flag_joseon: 一般 Kyungmi Ahn ꉂꉂ(ᴖᗜᴖ*) @NAES@madost.one
Public

전략하여 을 개최할까요? 투표의 예가 3표 이상이 되면 그때부터 개최입니다.

기한: ~6.30. 월요일 자정 전까지 (23:59)
주제: 동화 (창작동화는 20세기 작품까지)
분야: 글/그림
참여방법: KyungmiAhn@proton.me 로 작품+주제(동화제목이나 인물명)를 보내주시고, 저에게 멘션으로 메일을 보냈음을 알려주세요.

합작 공개: 7.2. 수요일

중복허용이니까 부담없이 오세요!

:symbol_flag_joseon: 一般 Kyungmi Ahn ꉂꉂ(ᴖᗜᴖ*) (@NAES)

걍 기간을 6개월정도로 넉넉하게 잡고 합작을 열면 한명정도는 참여해주지 않을까

madost.one · 마도스톤

0
0
1
lamikennel @lamikennel@toot.blue
Public
Shared by SparklingOutlaw🍉

【速報】「私は納得できないし残念」兵庫県知事選巡りSNSで“不適切投稿”の姫路市議が「議員続投」を表明「何をもっての辞職勧告なのかわからない」(MBSニュース)
news.yahoo.co.jp/articles/ae3b

斎藤支持者だけに斎藤と同じようなこと言う。言い張ったもの勝ちという恥知らずな風潮がまかり通っているのは、知事がそうなんだから、これからもっとそうなるだろう（その前に安倍という恥知らずがいた国だし）。

【速報】「私は納得できないし残念」兵庫県知事選巡りSNSで“不適切投稿”の姫路市議が「議員続投」を表明「何をもっての辞職勧告なのかわからない」（MBSニュース） - Yahoo!ニュース

SNSの不適切投稿を指摘され、辞職勧告決議案が可決された姫路市の高見千咲議員が会見を開き、職務の継続を表明しました。 （高見市議） 「報告書を読んで未だに何が悪いとされたのかが伝わってこなかった。

news.yahoo.co.jp · Yahoo!ニュース

0
0
0
0
0
0
0
0
0
阿南　記憶弱い者に断捨離は酷 @annan@songbird.cloud
Public
Shared by SparklingOutlaw🍉

「陰謀論」「カルト」「無知」「トンデモ」を通り越しとる…何なんだこりゃ………
語彙が見つからない😨

黒猫ドラネコ氏のX x.com/kurodoraneko15/status/19
“どうなる財務省解体デモ。どんどん「濃く」なっていく珍ブーム

書きました。現地がどんな様子なのか、何が叫ばれているのか知っていただけたらと思います。ぜひご覧ください”

※「自民党解体デモ」だけは必要かと思うが笑、
この面々と、この主催者(誰？)と、こんな主旨(主旨あんのか？)では、絶対にやってはいかん‼️

0
0
0
Gerry McGovern @gerrymcgovern@mastodon.green
Public

I came across information that the original quote in Futurism which said 99% electricity use was incorrect.
futurism.com/google-ceo-congre

The transcript says “3% to 9%”.
techpolicy.press/transcript-us

The larger point remains, though. AI and data center energy and water use is surging, and we are only at the beginning of this whole thing. For years, data centers energy use stayed below 1% and we were told not to worry. In countries like Ireland, data center energy use is now already over 20%

Former Google CEO Tells Congress That 99 Percent of All Electricity Will Be Used to Power Superintelligent AI

Billionaire tech tycoon Eric Schmidt told Congress that 99 percent of electricity will soon be used to power AI.

futurism.com · Futurism

0
0
0
阿南　記憶弱い者に断捨離は酷 @annan@songbird.cloud
Public

「陰謀論」「カルト」「無知」「トンデモ」を通り越しとる…何なんだこりゃ………
語彙が見つからない😨

黒猫ドラネコ氏のX x.com/kurodoraneko15/status/19
“どうなる財務省解体デモ。どんどん「濃く」なっていく珍ブーム

書きました。現地がどんな様子なのか、何が叫ばれているのか知っていただけたらと思います。ぜひご覧ください”

※「自民党解体デモ」だけは必要かと思うが笑、
この面々と、この主催者(誰？)と、こんな主旨(主旨あんのか？)では、絶対にやってはいかん‼️

阿南　記憶弱い者に断捨離は酷 @annan@songbird.cloud
Public
Shared by SparklingOutlaw🍉

そそ「インフルエンサー」たちは煽っといて責任取らない😱

“数々のアレなデモと決定的に違ったのは、Youtuberヒカルらの影響力だ。
彼らの発信で、日頃「利権がうんちゃら」「グローバリズムがどうたら」と言っているわけでもない若者たちまで「面白そうだから行ってみよう」となってしまった。
数十万規模のフォロワーを抱えるなどの大小さまざまな動画配信者らが再生数稼ぎでどんどん乗ってきた。”

→【解説】「財務省解体デモ」のすべて。有志もカルトもごった煮でインフルエンサーが煽った珍ブーム | 黒猫ドラネコ【トンデモ観察記】

kurodoraneko15.theletter.jp/po

【解説】「財務省解体デモ」のすべて。有志もカルトもごった煮でインフルエンサーが煽った珍ブーム

いったんまとめておきます

kurodoraneko15.theletter.jp

0
0
0
Kristof @iworx@infosec.exchange
Public

If you are using Cloudflared / Cloudflare Tunnels to expose some of your services today - have a look at Pangolin. I’m blown away by the ease of use and the fact that it is yours - not a ginormous entity with all keys to your kingdom.

github.com/fosrl/pangolin

Tunneled Reverse Proxy Server with Identity and Access Control and Dashboard UI - fosrl/pangolin

GitHub - fosrl/pangolin: Tunneled Reverse Proxy Server with Identity and Access Control and Dashboard UI

Tunneled Reverse Proxy Server with Identity and Access Control and Dashboard UI - fosrl/pangolin

github.com · GitHub

0
0
0
1
0
0
6
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 SparklingOutlaw🍉

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
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Enhancing AI trustworthiness through automated reasoning: A novel method for explaining deep learning and LLM reasoning. ~ Julia Connolly, Oliver Stanton, Sarah Veronica, Liam Whitmore. researchgate.net/publication/3

(PDF) Enhancing AI Trustworthiness Through Automated Reasoning: A Novel Method for Explaining Deep Learning and LLM Reasoning

PDF | On Apr 15, 2025, Julia Connolly and others published Enhancing AI Trustworthiness Through Automated Reasoning: A Novel Method for Explaining Deep Learning and LLM Reasoning | Find, read and cite all the research you need on ResearchGate

www.researchgate.net · ResearchGate

0
0
0
Vincent Perrot @VincentPerrot@piaille.fr
Public

: enseignant spécialisé en Gironde depuis plus de 20 ans, j’ai également vécu 3 ans à Mayotte. Je fais de la photographie sans rien y connaître, mais certains trouvent mes images sensibles. J’ai longtemps joué du saxophone, et j’envisage de m’y remettre un jour. J’ai pas tout dit, ce serait long. Mes silences ressemblent aux vôtres.

0
0
0
0
0
0
1
0
0
windyangel @windyangel.bsky.social@bsky.brid.gy
Public

참고로 팔레스타인 사람들은 팔레스타인 콜라를 먹는다고 하네요 그치!!!! 콜라 끊기 힘든거 나뿐만이 아니구나!!! 8ㅁ8 함 팔레스타인 콜라는 미국에서 안 팔지만 노브랜드나 코카콜라 브랜드 외의 콜라를 찾아서 마시고 있습니다(아 긑쎄 콜라를 끊으라고(힘들다고....

RE: https://bsky.app/profile/did:plc:mh4iq7mjiqqredsomhaqxcan/post/3lncktuigl22d

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

A formalisation of Aristotle’s assertoric syllogistic in Isabelle/HOL. ~ Angeliki Koutsoukou-Argyraki, Karol Wapniarski. link.springer.com/article/10.1

A Formalisation of Aristotle’s Assertoric Syllogistic in Isabelle/HOL - Topoi

We present a formalisation of Aristotle’s Assertoric Syllogistic in the proof assistant (interactive theorem prover) Isabelle/HOL and discuss the insights gained by the formalisation, as we demonstrate that the formal proofs and especially Isabelle’s automation can enhance the user’s understanding and facilitate metatheoretical explorations.

link.springer.com · SpringerLink

0
0
0