Home | Notifications | New Note | Local | Federated | Search | Logout
Federated Timeline
コシヌケ1040@ksnk@pawoo.net (2026-01-08 00:58:37)
エアライダーって面白い…か…？
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-08 00:39:19)
Cubical Agda の勉強中で今日は Partial のあたりを勉強していた。とにかく Cubical Agda は i1 を特別扱いしているということを認識しているところ。。。
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-08 00:37:11)
4.4系のままMastodonを最新にした。一応なんか今日はセキュリティアップデートのはずだし早めにということで。
なんかやる気がなかったがそろそろ4.5に上げたいところ。
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-08 00:01:22)
今日来ちゃった…
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 23:46:47)
結婚させてほしい
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 23:45:31)
どうしたらけっこんできるのかわからない
Reply to @tak4
たかし@tak4 (2026-01-07 23:41:55)
テキストエリアに A B C の順に初期入力しておきユーザが A C B に直して送信するとその通りにソートされるの。
たかし@tak4 (2026-01-07 23:38:42)
ウェブシステムのuiで項目の並びをかへるにはjsでドラッグドロップする方法もある。
テキストエリアに項目名 (slugとか) を列挙してこれを編集させればjsが要らない。
Reply to @ksnk@pawoo.net
コシヌケ1040@ksnk@pawoo.net (2026-01-07 23:06:11)
有機EL版のジョイコンでスプラやってたら1年持たなかった気がするんで、あんまりジョイコンでスプラやりたくないんだよなぁ。
この2年半使ってきたプロコンは中古の割に頑張ってくれたけど、もう左スティックがポンコツになってゐるし、そもそもSwitch2の電源を入れられない。
プロコン2を買ふとき…か？
コシヌケ1040@ksnk@pawoo.net (2026-01-07 22:48:20)
2年半プロコンでやってたスプラ3をジョイコン2でやったら全然思ひ通りに操作できない。
Rikuoh Tsujitani@riq0h@letter.mystech.ink (2026-01-07 22:31:01)
疲れすぎて疲れたすになった。
Reply to @shorty@fedibird.com
たかし@tak4@mstdn.y-zu.org (2026-01-07 22:11:59)
@shorty 静的サイト、楽しいですよね!
どうぶつの森の家を作る様な感覚です。
本番環境にコピーすればローカルで試したものがそのまま反映されるので手軽。
コシヌケ1040@ksnk@pawoo.net (2026-01-07 22:00:51)
ん？ いまNHKのニュース終るの数秒遅れた気がする。
Jack@watson554@misskey.gg (2026-01-07 21:52:38)
180円 カレーパン
コシヌケ1040@ksnk@pawoo.net (2026-01-07 21:40:51)
原子力関係者が業務用のスマホをなぜチャイナに…？
コシヌケ1040@ksnk@pawoo.net (2026-01-07 21:16:46)
「夏子の酒」、面白いなぁ。ちまちま文庫版あつめて読まう。
Coro@Coro@mstdn.maud.io boosted:
@K0eKaN@mstdn.maud.io (2026-01-07 19:13:23)
雑誌「Mac Fan」定期刊行を終了へ 1993年の創刊から32年、「新しい形」に - ITmedia NEWS
マイナビ出版は1月7日、雑誌「Mac Fan」の定期刊行を3月27日発売の5月号をもって終了すると発表した。今後はWebメディアやコミュニティ、不定期刊行のムック、書籍を組み合わせた新しい形のメディアブランドにするという。
https://www.itmedia.co.jp/news/articles/2601/07/news133.html
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-07 20:27:38)
ぷよぷよには「なぞぷよ」という詰めぷよぷよが存在するのか。これにACL2を例えるのはかなりいい説明になりそうだけど、自分自身がそんなにぷよぷよ強くない問題があるから、ぷよぷよをやるか。。。
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 20:00:01)
わしも3ビット草粥食いたいな
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 19:59:32)
草
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org boosted:
@yakitama@mstdn.yakitamago.info (2026-01-07 19:57:52)
% echo $(openssl rand -hex 1024)草粥
c7a2d04b2201d2cb328c676c2034a882b22aba3bea81b2085474d64f3f2a1ce9972f05d078fc6b0476e02c5fbeb4c46667577494247638fe312ec61d7b0af0efa1ddfd73fa94da8948d3b0438ae1f3af7b82a8530e04f21ce13ea6eeeaaecc529f269df6207cc1abdd526109e6ad26622701187b38ea4db385bbbd72cd196619ae4665b278f44ca32494d79bd275fdf25aa37e220064a644de1dbe673d48b3349b2a487c5779ac589f2e05819271384711977bbbc54695aff687a9437cc7fdb7781e78d6199767ea1cf5fef227e7ca6ace1b0858a6541cc70fa4e4473c9c6e....f2a2d3da96草粥
Reply to @tyatsumi@mstdn-jp.site
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 19:58:38)
@tyatsumi そうなのかもしれない…時代の進歩によって16ビット草粥が…
Reply to @Yohei_Zuho@mstdn.y-zu.org
ちゃつみ@tyatsumi@mstdn-jp.site (2026-01-07 19:56:32)
@Yohei_Zuho
2^n - 1 草だったんですかあれ‥。
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 19:50:59)
$(openssl rand -hex 1024)草粥！？
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 19:50:21)
65535草粥食わないと…
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 19:25:38)
二郎系食べたいわね
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 19:25:20)
飯作らないといけない
K0e@K0eKaN@mstdn.maud.io (2026-01-07 19:13:23)
雑誌「Mac Fan」定期刊行を終了へ 1993年の創刊から32年、「新しい形」に - ITmedia NEWS
マイナビ出版は1月7日、雑誌「Mac Fan」の定期刊行を3月27日発売の5月号をもって終了すると発表した。今後はWebメディアやコミュニティ、不定期刊行のムック、書籍を組み合わせた新しい形のメディアブランドにするという。
https://www.itmedia.co.jp/news/articles/2601/07/news133.html
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 16:41:36)
仕事に集中できねえ
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-07 16:23:17)
昨日の地震が怖くて仕事中NHK FM流してる
Older Notes