Federated Timeline

Home | Notifications | New Note | Local | Federated | Search | Logout

Federated Timeline


にせねこ@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の自動翻訳みたいなことやるんだ


諏訪子@suwako@sns.076.moe (2026-04-22 21:27:27)
プログラミングを始めたばかりの人から、よくこんな質問を受ける
「本物の知識って何？ 偽物の知識って何？」って

本物の知識とは、例えば線形代数、ソフトウェアがハードウェアとやり取りし、其れが更に電気と繋がる仕組み、CPU・GPU・メモリをどう制御するか、といった事だ
偽物の知識とは、フレームワークやエンジンの使い方、ソースコードのスタイルの整え方、デザインパターン、AIの使い方等の事だ

残念な現実として、今日では偽物の知識を教える学習教材が圧倒的に多く、本物の知識を教えてくれる物は非常に少ないなのだ


ささきち@ssk_chi@misskey.io boosted:
@lvetica@misskey.io (2026-04-22 19:06:25)
これ #ミスキー来た頃の絵
---Attachments---
image: https://media.misskeyusercontent.com/misskey/ce492f33-72dc-42a6-a03c-a20981843daf.png?sensitive=true


ささきち@ssk_chi@misskey.io (2026-04-22 21:12:31)
トモコレ体験版で架空のペットつくった:petthex:
---Attachments---
image: https://media.misskeyusercontent.com/io/webpublic-def9d7e4-345a-4546-b013-62fb3db3f69c.webp


にせねこ@nixeneko@nixeneko.info (2026-04-22 20:49:47)
#まいにちハングル講座 激音と語頭の平音ってどうやって区別してるんだろと思ったら、子音としての区別はあまりなくて、語頭のピッチで区別してるとのこと


にせねこ@nixeneko@nixeneko.info (2026-04-22 20:31:39)
Noteの自動翻訳機能がスタートするのか（オプトアウトになる）


aqz/tamaina :futatsume:@aqz@p1.a9z.dev (2026-04-22 19:45:16)
[ アドブルー、容器ひっ迫で店頭消失 | LOGISTICS TODAY ]
https://www.logi-today.com/941888この問題の本質は広く語られる「枯渇」ではなく、供給経路の分断にあるとわかった。


博多市@hakatashi@pawoo.net (2026-04-22 19:31:46)
ビブリア古書堂アニメ化、めでたい
というか逆にまだアニメ化されてなかったのか


るべちか@lvetica@misskey.io (2026-04-22 19:06:25)
これ #ミスキー来た頃の絵
---Attachments---
image: https://media.misskeyusercontent.com/misskey/ce492f33-72dc-42a6-a03c-a20981843daf.png?sensitive=true


CyberRex@cyberrex_v2@misskey.io (2026-04-22 19:06:18)
岩手の太平洋側で1年越しに山林火災
NHKと民放が置いている地上デジタルテレビ送信所、ドコモの基地局、auの基地局の設備に火の手が回っていて、設備の焼損や光ファイバーの切断の危険性が高まっている
https://news.web.nhk/newsweb/na/nb-6040029695


Reply to @Coro@mstdn.maud.io
Coro@Coro@mstdn.maud.io (2026-04-22 18:37:12)
2026年就任のウクライナ国防相、35歳なのか。
---
ミハイロ・フェドロフ - Wikipedia

https://ja.wikipedia.org/wiki/%E3%83%9F%E3%83%8F%E3%82%A4%E3%83%AD%E3%83%BB%E3%83%95%E3%82%A7%E3%83%89%E3%83%AD%E3%83%95


Coro@Coro@mstdn.maud.io (2026-04-22 18:34:31)
> 機関銃を装備した1台の地上ロボットがロシア軍の進撃を45日間にわたって阻止したと述べた。その間に必要な作業は、2日ごとの軽い整備とバッテリー充電だけだったという。(...)現時点での目標は今年中に歩兵の3分の1をドローンとロボットに置き換えることだ。(...)この領域での優位性獲得を大きく加速させたのは、ミハイロ・フェドロウ氏の国防相就任だ。フェドロウ氏はそれまでデジタル変革相を務め、同国のドローン戦争プロジェクトを統括していた。1月に国防相となってからの方針として、「ロシアに和平を強いる」ための戦争計画を掲げている。技術とデータに大きな重点を置く戦略で、数百社の企業が政府主導のドローン開発、製造プロジェクトに参加するという内容だ。

「ロボットは血を流さない」 ウクライナ軍、歩兵の代わりに無人兵器を投入 戦場で優位に - CNN.co.jp

https://www.cnn.co.jp/world/35246752.html


にせねこ@nixeneko@nixeneko.info (2026-04-22 18:21:01)
悪意のあるインフルエンサー「タケノコ好きな人、庭に孟宗竹植ゑてみて！　好きなだけタケノコ食べられるし食費の節約にもなるよ！」


にせねこ@nixeneko@nixeneko.info (2026-04-22 18:17:37)
レバノンのキリスト教って宗派どこなんだろ
アルメニア使徒教会とかの可能性もある


Coro@Coro@mstdn.maud.io (2026-04-22 18:08:13)
電子ペーパーでわざわざ 7 セグ風の数字フォンを採用するの、利点を捨ててて残念。


にせねこ@nixeneko@nixeneko.info (2026-04-22 17:50:12)
過激派のユダヤ人からしたらキリスト教とかいふぽっと出の宗教の存在は許せないのだらうか

Older Notes