Home | Notifications | New Note | Local | Federated | Search | Logout
Federated Timeline
Reply to @rumisan@eth.rumiserver.com
佐々木@nounashi7298@social.nekokawa.net (2026-04-23 00:36:14)
@rumisan そっくりさんです
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-04-23 00:36:13)
Agdaの標準ライブラリにあるの同型の定義を使った。すばらしい。
https://github.com/tojoqk/gregorianum/commit/4beaa459cc1a27fce4982ca15e2b46efcf486454
Reply to @nounashi7298@social.nekokawa.net
:minahoshi_omotedero:¡るみ㌨Да!:minahoshi_omotedero:@rumisan@eth.rumiserver.com (2026-04-23 00:32:12)
@nounashi7298@social.nekokawa.net キュウイではないのか。。。
Reply to @rumisan@eth.rumiserver.com
佐々木@nounashi7298@social.nekokawa.net (2026-04-23 00:30:59)
@rumisan キュウイではない
:minahoshi_omotedero:¡るみ㌨Да!:minahoshi_omotedero:@rumisan@eth.rumiserver.com (2026-04-23 00:29:01)
？？？？ #トリッカル・もちもちほっぺ大作戦-trickcal-chibi-go-嘟嘟脸恶作剧-트릭컬_리바이브
---Attachments---
image: https://data.rumiserver.com/rumimisskey/file/original/c32e26b6-7c9a-4e46-9d44-3dba44adc9b5.webp
Reply to @rumisan@eth.rumiserver.com
佐々木@nounashi7298@social.nekokawa.net (2026-04-23 00:25:41)
@rumisan はい！
:minahoshi_omotedero:¡るみ㌨Да!:minahoshi_omotedero:@rumisan@eth.rumiserver.com (2026-04-23 00:25:07)
うん、知ってた
#トリッカル・もちもちほっぺ大作戦-trickcal-chibi-go-嘟嘟脸恶作剧-트릭컬_리바이브
---Attachments---
image: https://data.rumiserver.com/rumimisskey/file/original/a1ff056e-216b-411b-8a3f-41fb2b4a9fcc.webp
にせねこ@nixeneko@nixeneko.info (2026-04-23 00:03:42)
すごいな、光ファイバーを使ったセンシングってここまでできるんだ
にせねこ@nixeneko@nixeneko.info boosted:
@renem2185@mi.tsujigoya.net (2026-04-22 23:53:31)
通信データではなく、光ファイバー自体を振動センサーとして悪用し、周囲の音を盗聴するサイドチャネル攻撃を提案した研究報告だ。(中略) 実験では、生活音の分類や音源位置の特定に成功したほか、AIと組み合わせることで、2m離れた人間の会話を約80％の情報保持率で復元できたという。https://www.itmedia.co.jp/news/articles/2604/15/news029.html
GNOME@gnome@floss.social (2026-04-23 00:00:46)
Recently we celebrated Trans Day of Visibility, but words alone aren't enough. If you want to apply for GNOME Foundation membership you don't need to provide your legal name, you can use your actual name!
We recognise the cruel reality that many trans people's legal names are deadnames.
https://handbook.gnome.org/foundation/membership.html#becoming-a-member
🏳️⚧️🏳️⚧️🏳️⚧️
---Attachments---
image: https://cdn.masto.host/floss/media_attachments/files/116/448/955/286/167/300/original/00cc345c1a09869b.jpg
村雲るね☁つじごや@renem2185@mi.tsujigoya.net (2026-04-22 23:53:31)
通信データではなく、光ファイバー自体を振動センサーとして悪用し、周囲の音を盗聴するサイドチャネル攻撃を提案した研究報告だ。(中略) 実験では、生活音の分類や音源位置の特定に成功したほか、AIと組み合わせることで、2m離れた人間の会話を約80％の情報保持率で復元できたという。https://www.itmedia.co.jp/news/articles/2604/15/news029.html
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-04-22 23:49:38)
ほしいのこっちっぽいな。。。
_↔_ : Set a → Set b → Set _
A ↔ B = Inverse (≡.setoid A) (≡.setoid B)
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-04-22 23:45:20)
ようやく欲しい物をみつけた。Function.Bundles にあったのか。。。
_⤖_ : Set a → Set b → Set _
A ⤖ B = Bijection (≡.setoid A) (≡.setoid B)
:onmyou::vc:Charlie Root@relay@mastodon.hakurei.win (2026-04-22 22:56:13)
ここは事業でやってるわけじゃないし､そもそもアメリカ鯖なので届出なんてしてない
:onmyou::vc:Charlie Root@relay@mastodon.hakurei.win boosted:
@s3_odara@mastodon.hakurei.win (2026-04-22 13:40:46)
DM機能あっても事業者でなければ適用されないから気にしなくて良いって立て付けじゃないか？
にせねこ@nixeneko@nixeneko.info (2026-04-22 22:45:52)
AMD、290ドル程度になってるんだなあ
warabi餅@w4rabimochi@misskey.io boosted:
@w4rabimochi@misskey.io (2026-04-22 12:49:46)
トモコレはじめた
---Attachments---
image: https://media.misskeyusercontent.com/io/webpublic-22be1767-79ed-46f0-a2e4-6bcfba4ce0d1.webp
image: https://media.misskeyusercontent.com/io/webpublic-a2867719-ceeb-407a-b192-ca9f24690215.webp
image: https://media.misskeyusercontent.com/io/webpublic-df13368d-5cd4-4cba-a982-a917110fe8c1.webp
warabi餅@w4rabimochi@misskey.io (2026-04-22 22:38:24)
トモコレ:kami::blob_yannya:
---Attachments---
image: https://media.misskeyusercontent.com/io/webpublic-42ead384-22a5-4f95-bcf2-4808efe3497b.webp
image: https://media.misskeyusercontent.com/io/webpublic-121c50b3-5c96-4da1-8e14-db5e7d73cb19.webp
image: https://media.misskeyusercontent.com/io/webpublic-0c6cec00-744f-459d-a22d-e0165889792c.webp
image: https://media.misskeyusercontent.com/io/webpublic-88b60ca0-c721-40d5-95bc-2b66dec9fe1b.webp
image: https://media.misskeyusercontent.com/io/webpublic-b70c18c2-bb33-4097-a71b-98f27d77002b.webp
にせねこ@nixeneko@nixeneko.info (2026-04-22 22:35:12)
ナウカジャパンのセール、店頭だけっぽいので首の皮がつながった
にせねこ@nixeneko@nixeneko.info (2026-04-22 22:28:26)
わ、わぁ…
にせねこ@nixeneko@nixeneko.info boosted:
@kgmt@fedibird.com (2026-04-22 22:04:15)
ナウカ、セールやるってよ
https://x.com/i/status/2046801373996646603
にせねこ@nixeneko@nixeneko.info (2026-04-22 22:21:51)
大手はそんな問題を感じてなさげだな
にせねこ@nixeneko@nixeneko.info boosted:
@aqz@p1.a9z.dev (2026-04-22 19:45:16)
[ アドブルー、容器ひっ迫で店頭消失 | LOGISTICS TODAY ]
https://www.logi-today.com/941888この問題の本質は広く語られる「枯渇」ではなく、供給経路の分断にあるとわかった。
にせねこ@nixeneko@nixeneko.info boosted:
@cyberrex_v2@misskey.io (2026-04-22 19:06:18)
岩手の太平洋側で1年越しに山林火災
NHKと民放が置いている地上デジタルテレビ送信所、ドコモの基地局、auの基地局の設備に火の手が回っていて、設備の焼損や光ファイバーの切断の危険性が高まっている
https://news.web.nhk/newsweb/na/nb-6040029695
かげもと🍛@kgmt@fedibird.com (2026-04-22 22:04:15)
ナウカ、セールやるってよ
https://x.com/i/status/2046801373996646603
にせねこ@nixeneko@nixeneko.info (2026-04-22 22:02:38)
買って竹でも植ゑるか
にせねこ@nixeneko@nixeneko.info (2026-04-22 22:02:01)
これ、隣の家に売りつけるのが一番効率がいい気がする
にせねこ@nixeneko@nixeneko.info boosted:
@nmmg@d.kg-misskey.net (2026-04-22 14:45:51)
アホほどおもろい土地売ってた
https://suumo.jp/tochi/hokkaido_/sc_sapporoshitoyohira/nc_76949583/
---Attachments---
image: https://d-storage.kg-misskey.net/user/648bb2c1-90be-4f59-b9c6-0b5fc4615251.webp
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-04-22 21:44:47)
TypeScript の as const で定義して定数配列から Union 型を作るやつ、あれと同じこと Agda でやりたいけどやり方わからないなあ〜とずっと思っていたけど完全に解決した。
そもそも要素の重複のない長さnの配列というものは Fin n と同型であり、Agda でそれを実現するには Fin n で定義して、それぞれの要素にドメインに沿った別名をつければいいんだ。。。
そしてこれは既に Gregorianum ライブラリで曜日を定義するにあたってやってた。今後列挙する機会のあるユニオン型を定義したいときは最初から Fin n を使って定義しようと思う。
https://github.com/tojoqk/gregorianum/blob/main/src/Gregorianum/Date/Weekday.agda
にせねこ@nixeneko@nixeneko.info boosted:
@yamako@fedibird.com (2026-04-22 14:29:07)
世界中の読者に記事が届くように！5/27から自動での多言語対応をスタートします｜note公式
https://note.com/info/n/n7675e5d8c06d
noteもXの自動翻訳みたいなことやるんだ
Older Notes