The men's Paris-Roubaix just started, so I'm not able to do much else today.

I'm surprised so many of the cycling pundits give Wout Van Aert the chances to win, unlike last week when it was almost unanimous for Pogacar, or van der Poel.

Completeness of decreasing diagrams for the least uncountable cardinality (in Isabelle/HOL). ~ Ievgen Ivanov. https://www.isa-afp.org/entries/Completeness_Decreasing_Diagrams_for_N1.html #ITP #IsabelleHOL #Math #SetTheory

ペリカンタウン以外の感情がない

​​ (モバイルデータでも80近く出るんだ​​)

Fetching remote #ActivityPub objects or actors often involves handling #WebFinger lookups, content negotiation, and then parsing potentially untyped JSON.

With #Fedify, it's much simpler: use Context.lookupObject(). Pass it a URI (e.g., https://instance.tld/users/alice) or a handle (e.g., @alice@instance.tld), and Fedify handles the lookup and content negotiation automatically.

The real power comes from the return value: a type-safe Activity Vocabulary object, not just raw JSON. This allows you to confidently access properties and methods directly. For example, you can safely traverse account moves using .getSuccessor() like this:

let actor = await ctx.lookupObject("@alice@instance.tld");
while (isActor(actor)) {
  const successor = await actor.getSuccessor();
  if (successor == null) break;
  actor = successor;
}
// actor now holds the latest account after moves

This is readily available in handlers where the Context object is provided (like actor dispatchers or inbox listeners).

Focus on your app's logic, not protocol boilerplate!

Learn more: https://fedify.dev/manual/context#looking-up-remote-objects

#fedidev

Fetching remote #ActivityPub objects or actors often involves handling #WebFinger lookups, content negotiation, and then parsing potentially untyped JSON.

With #Fedify, it's much simpler: use Context.lookupObject(). Pass it a URI (e.g., https://instance.tld/users/alice) or a handle (e.g., @alice@instance.tld), and Fedify handles the lookup and content negotiation automatically.

The real power comes from the return value: a type-safe Activity Vocabulary object, not just raw JSON. This allows you to confidently access properties and methods directly. For example, you can safely traverse account moves using .getSuccessor() like this:

let actor = await ctx.lookupObject("@alice@instance.tld");
while (isActor(actor)) {
  const successor = await actor.getSuccessor();
  if (successor == null) break;
  actor = successor;
}
// actor now holds the latest account after moves

This is readily available in handlers where the Context object is provided (like actor dispatchers or inbox listeners).

Focus on your app's logic, not protocol boilerplate!

Learn more: https://fedify.dev/manual/context#looking-up-remote-objects

#fedidev

Fetching remote #ActivityPub objects or actors often involves handling #WebFinger lookups, content negotiation, and then parsing potentially untyped JSON.

With #Fedify, it's much simpler: use Context.lookupObject(). Pass it a URI (e.g., https://instance.tld/users/alice) or a handle (e.g., @alice@instance.tld), and Fedify handles the lookup and content negotiation automatically.

The real power comes from the return value: a type-safe Activity Vocabulary object, not just raw JSON. This allows you to confidently access properties and methods directly. For example, you can safely traverse account moves using .getSuccessor() like this:

let actor = await ctx.lookupObject("@alice@instance.tld");
while (isActor(actor)) {
  const successor = await actor.getSuccessor();
  if (successor == null) break;
  actor = successor;
}
// actor now holds the latest account after moves

This is readily available in handlers where the Context object is provided (like actor dispatchers or inbox listeners).

Focus on your app's logic, not protocol boilerplate!

Learn more: https://fedify.dev/manual/context#looking-up-remote-objects

#fedidev

色付き

RE: https://misskey.io/notes/a6izgvpinotw0eoj

Endlich hat mal ein Wollschweber stillgehalten!
#silentsunday
https://de.m.wikipedia.org/wiki/Gro%C3%9Fer_Wollschweber

🎵 신인류 - 일인칭 관찰자 시점
http://song.link/i/1805116249

오늘 차타고 집으로 돌아올 때 라디오랑 팟캐스트만 계속 듣다가 이 노래를 듣고 너무 기분이 좋아졌어요

A special day, for those of us who hold Neil in our hearts all year

Recap of CloudFest hackathon

When you hear ‘CloudFest’, many people associate it with a business-to-business event, which it is, but the hackathon in the run-up to it still has a certain degree of community character. On the initiative of Andreas Heigl (@heiglandreas@andreas.heigl.org) and the support of Matthias Pfefferle (@pfefferleMatthias Pfefferle), this year’s hackathon provided the resources and space for an exchange of ideas around ‘federated events’.

Our group was one of the largest and very diverse. We used the first day primarily to exchange ideas about our goals and the status quo. Afterwards, we reviewed and improved existing features and developed prototypes and concepts for new ones.

For me as a developer of the WordPress plugin Event Bridge For ActivityPub, the best thing about these days was to finally get to know the entire WordPress/Automattic team involved with ActivityPub in person (greetings to @mattwiebe and @obenlandKonstantin Obenland’s ).

I would like to emphasise a few achievements in particular, without neglecting the achievements of all:

• Matthias Heigl took the time to take an intensive look at the FEP-8a8e. His many years of experience with the development of calendar features and iCal provided important suggestions for making the specification even more far-sighted.
• Laura (https://working-directory.com/) helped to reduce the barriers new developers face when experimenting with the interaction of Gancio/Mobilizon and WordPress and others.
• Finally, many thanks to Cloudfest for the great organisation and hosting!

Links:

• https://codeberg.org/cfh25-fce
• https://hackathon.cloudfest.com
• https://fedivents.blog/

#Hackathon #Fedivents #WordPress #CloudFest

#CloudFest #Fedivents #Hackathon #WordPress

やっぱ特に面白みもセンスもない人が新しい技術使っても良いものなんか出てこないよなと感じることが増えてる

昔行ったベトナム料理屋、ベトナム人のシェフに「ノーパクチー」言ったら
「ノーパクチー！？　おー、ノーノーノーノー！　ノーパクチー、ノ～～～～。パクチー、ヘルシー、カラフル、OK？」
って倍量のパクチーぶち込まれたことある。

@syuilo@misskey.io　様

お世話になっております。
添付画像のとおり、PIXIV FANBOXでの支援額が1,000円を超えましたので、miバッジ付与の手続き方お願い申し上げます。

다이소 쌀 계량컵
아무튼 비슷한(?) 용도니까 좋았스

도시바에서 새로 나온 무선 턴테이블, 바이닐을 꽂아둘 수 있는 홈이 있는게 좋네요. 오디오 테크니카의 비슷한 턴테이블인 사운드버거처럼 배터리 내장형이고 블루투스 연결도 된다고 해요.

https://youtu.be/zYBP29jpUos
https://aurex.jp

米軍だけ思いやる日本政府

다이소 쌀 계량컵
아무튼 비슷한(?) 용도니까 좋았스

current status: Renaming APIs because my dictation provider keeps writing "Peak" when I say "Peek"

落書きハゲ

働くかしら

みんな今日働いてる 働いてないの私だけ

Born in 1914, Hedy Lamarr was a famous American actress who pioneered the technology that would lead to WiFi, GPS, cell phones & Bluetooth communication.

Lamarr was brilliant. Among many fascinating inventions, she developed a new communication system with composer George Antheil that used “frequency hopping” among radio waves.

Once called the “most beautiful woman in the world," Lamarr is now remembered as "the mother of Wi-Fi."

https://www.smithsonianmag.com/smithsonian-institution/thank-world-war-ii-era-film-star-your-wi-fi-180971584/ #science #history

#HamburgWerbefrei - Städte für Menschen, nicht für Marken.

⏳ noch 10 Tage bis zum #Sammelstart - Briefeintragung ist offen

https://www.hamburg-werbefrei.de/

#Volksbegehren #Hamburg #Werbefrei

Werbung Werbung? Mors Mors!

#Moin #MoinMoin #Hamburg #Volksbegehren #Demokratie

#なんでそんな画像持ってんだ選手権

怎麼就五點了，我以為才三點多說

おっ…緒山っ…!!ママっ!!ママーっ!!!!

Darktable 써 보고 있는데 Rawtherapee보다 느리긴 해도 나름대로 강점이 확실히 있네.

요즘 시대에는 DT가 더 나을지도 모르겠다.

社会が勝手にインフラとして使っているだけで会社としては認めていないのでセーフ

拿到劉俊謙

#HamburgWerbefrei - Städte für Menschen, nicht für Marken.

@tesaguri@fedibird.comtesaguri 🦀🦝 サーバーに負荷がかかってそうでキャッシュできそうなものはGETに対応しつつありますね

노트북 하나, 태블릿 하나, 파일 다운중인 오드로이드 하나로 이정도 전력 선에서 끊을 수 있구만..

うああ

HTTP를 다룬 RFC 중 2022년에 9110과 9112가 나오면서 1999년에 나온 2616과 2014년에 나온 7230은 쓸모없어졌다고 한다.

丸ノ内線、冷房かかってさみゅい。

Misskey APIも全部`POST`の流儀だように記憶していたけど、`/api/server-info`のようにパラメタを取らないものは`GET`なのか。しかしその他のパラメタを取るAPIはついてはやはり、安全な操作だろうがパラメタをJSONとして`POST`する形になっている

like, my mastodon

입력 2025-04-13 13:33 수정 2025-04-13 16:49 잔해 인양 작업을 위해 대형크레인 대기 인근 지역 돌풍·비… 날씨 변화 관찰도 실종 근로자 1명 지하 40m 지점 위치 추정 김동연 “여건 갖춰지는대로 최선…” 지시 www.kyeongin.com/article/1735...

[현장르포] 신안산선 붕괴현장 구조작업 사흘째… 궂은 ...

If someone is hotter than you, then you are cooler than them.

-Thermodynamics-

推上怎么写 bio，要求正式点

Bin grad in #weinheim bei bobo, da ist heute bis 17 Uhr das Team von miso miso.

Ich bin letztes Jahr beim veganen Weihnachtsmarkt von denen angefixt worden & seit dem vielleicht ein bisschen süchtig ☺️

Und das meiste hier ist #vegan 🎉

📦 New Pull Request: "fix(federation-test): replace bind target into misskey"
https://github.com/kokonect-link/cherrypick/pull/589

Was haben wir von der #Neuausschreibung der Exklusivverträge für Werbung im öffentlichen Raum zu befürchten, die der Senat gerade hinter verschlossenenen Türen mit den Betreibern verhandelt?

Noch mehr digitale Werbung. Eine Bindung der Stadt für weitere 15 Jahre an Konzerne, die aus ihr eine Dauerwerbesendung machen.

Ein schwebender #Volksentscheid kann diese Pläne durchkreuzen. Darum ist es wichtig, jetzt für #HamburgWerbefrei zu unterschreiben!