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