Home | Notifications | New Note | Local | Federated | Search | Logout
Federated Timeline
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 16:23:17)
昨日の地震が怖くて仕事中NHK FM流してる
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 16:21:25)
どうにもやる気というか効率が出ない
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 14:10:39)
仕事がしたくないという思いがあります
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 13:59:15)
結婚したいなあ
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 12:44:30)
スマイルッ
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 12:33:02)
ほげ〜
Coro@Coro@mstdn.maud.io boosted:
@cannorin@misskey.cannorin.net (2026-01-03 18:32:12)
Linux からこんにちは〜
---Attachments---
https://misskey-cdn.cannorin.net/media/226640a5-92e8-4742-b07b-831792afb238.webp
コシヌケ1040@ksnk@pawoo.net (2026-01-07 08:24:45)
すげぇ。メモリの高騰マジでゑぐいなぁ。
コシヌケ1040@ksnk@pawoo.net boosted:
@jubako@fedibird.com (2026-01-07 08:02:17)
6月に8,000円台で買ったDDR4の16GB*2枚が4万超えてんの草
---Attachments---
https://s3.fedibird.com/media_attachments/files/115/850/640/442/036/877/original/76d538341862a347.png
jubako@jubako@fedibird.com (2026-01-07 08:02:17)
6月に8,000円台で買ったDDR4の16GB*2枚が4万超えてんの草
---Attachments---
https://s3.fedibird.com/media_attachments/files/115/850/640/442/036/877/original/76d538341862a347.png
コシヌケ1040@ksnk@pawoo.net (2026-01-07 05:19:48)
スマホのストレージ利用がいつの間にか90%超えてる。大半が画像と動画。一旦整理しないとなぁ。
コシヌケ1040@ksnk@pawoo.net (2026-01-07 05:03:43)
本当に毎日読み続けなきゃいけないサイトやSNSって別にない気もする。
コシヌケ1040@ksnk@pawoo.net boosted:
@rasetsu001@pawoo.net (2026-01-07 03:23:07)
#２０２６年 #午年 #ゴルシ
あけましておめでとうございます！
今年もちょこちょこ描いていければなーと思っています。。 #pixivSketch https://sketch.pixiv.net/items/1746604385535880026
---Attachments---
https://img.pawoo.net/media_attachments/files/115/849/546/090/561/066/original/62191d4b91855f50.png
rasetsu001@rasetsu001@pawoo.net (2026-01-07 03:23:07)
#２０２６年 #午年 #ゴルシ
あけましておめでとうございます！
今年もちょこちょこ描いていければなーと思っています。。 #pixivSketch https://sketch.pixiv.net/items/1746604385535880026
---Attachments---
https://img.pawoo.net/media_attachments/files/115/849/546/090/561/066/original/62191d4b91855f50.png
コシヌケ1040@ksnk@pawoo.net boosted:
@zuizo@misskey.design (2026-01-06 20:09:47)
近くにおいしい食べ物屋もたくさんあることだし
#ごぞんじゲーム部 #一次創作 #漫画
---Attachments---
https://file.misskey.design/post/ef214efe-78e9-4055-a232-8c2abc79b843.webp
Reply to @aaa
🦉@aaa (2026-01-07 02:08:01)
著作権から解放されるために著作権的な効力が必要わねん…
🦉@aaa (2026-01-07 01:57:56)
著作権表示なんかもいらないけど免責とか曖昧さとかでやっぱりオープンソースはMIT/BSD/ISCを使うべきなんだな
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 01:01:34)
結婚したくて暴れてる
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-06 23:25:33)
去年のベストバイはヒートポンプ（ドラム式洗濯機）でしたね。
Rikuoh Tsujitani@riq0h@letter.mystech.ink (2026-01-06 22:56:03)
法的手続きに則っている脳はこの件を非難しているが、革命でできている筋肉の方は違う意見を持っているかもしれない。
gadget.phileweb.com/post-116456/
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 22:51:37)
等式に方向があるのはACL2のメリットだと前から思ってはいたんだよなあ
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-06 22:44:21)
食洗機で圧力鍋洗えるの革命すぎる
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 22:26:53)
ACL2で証明した定理をそのまま移植するなら普通のAgdaじゃなくてCubical Agdaのほうが良さそう
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 22:21:28)
ACL2は、ぷよぷよの連鎖がどこで止まったか教えてくれて連鎖を始める前に戻して何度でも盤面を調整してやり直せるイメージ
諏訪子@suwako@sns.076.moe (2026-01-06 22:17:48)
一部ウェブ・ソフト開発時代のソースコードを再公開した（C言語＝５個、Go言語＝１個）
https://github.com/TechnicalSuwako?tab=repositories
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 22:12:33)
等式を計算とみなす考え方を学ぶ前から既に体得してたの面白すぎるな。
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 21:39:37)
これは完全にトレードオフだな。危険だけど大連鎖の爽快感を楽しみたいなら ACL2 のほうがいいけど、緻密にかつ安全に進みたいなら Cubical Agda のほうが良いという感じ。
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-06 21:32:13)
良識
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 21:27:36)
ACL2の記事書くならCubical Agdaをやってからのほうが良さそうだな。まだ理解に自信はないけど、おそらくACL2はぷよぷよで大連鎖を起こすようなスタイルで、Cubical Agdaは電車の線路を引くような感じで明示的に安全性が保証された連鎖を記述する感じなんだと思う。
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 21:01:11)
ACL2をヒューリスティックから型理論に昇華したもののような気がしてきた。
Older Notes