Home | Notifications | New Note | Local | Federated | Search | Logout
Federated Timeline
Rikuoh Tsujitani@riq0h@letter.mystech.ink (2026-01-08 08:20:18)
＞レビット大統領報道官は6日、デンマーク自治領グリーンランドを獲得する目標の実現へ米軍の活用は「常に選択肢のひとつだ」と表明した。
最近はこういったニュースで慌てるよりも「もし本当にそうなっても、日本政府も国連もどうせ逆らえないだろうな……」というリアルな諦観の念の方が強い。
コシヌケ1040@ksnk@pawoo.net (2026-01-08 07:16:28)
地理ガバすぎて最近まで西日本と関西の区別がついてなかった。
:onmyou::vc:Charlie Root@relay@mastodon.hakurei.win (2026-01-08 06:57:55)
Mastodon v4.6.0-alpha.2
---Attachments---
https://mastodon.hakurei.win/system/media_attachments/files/115/856/052/056/304/054/original/7a4dc0b15f34002b.png
コシヌケ1040@ksnk@pawoo.net (2026-01-08 06:06:28)
あれ、もう確定申告フォーム動いてるっぽい…？
コシヌケ1040@ksnk@pawoo.net (2026-01-08 05:42:25)
Switch版の「VA-11 Hall-A」はダウンロードしたきりまだ遊んでないまま数年経ってしまったのだけど、そろそろ遊んでおくか。あれベネズエラのメーカーが作ってるのね。
コシヌケ1040@ksnk@pawoo.net (2026-01-08 05:27:22)
身のまはりのモノ整理したいんだよなぁ。結局この三年で本を沢山買ったのだけど、ほとんど読んでないんだよね。
コシヌケ1040@ksnk@pawoo.net (2026-01-08 04:55:33)
あ〜、H3の9号機は延期かぁ。まあそりゃさうだよな。
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-08 01:25:09)
あー、hcomp のところまで来て自分が Cubical Agda に抱いていたメンタルモデルがかなり間違っていることに気づいた。これパスでつなげるイメージを抱いたから線路的な的なもの組む感じになるのかと思ったけど全然そうじゃなくて高次立方体を構成していくことで等式の連鎖を実現する感じなのか
Coro@Coro@mstdn.maud.io (2026-01-08 01:22:58)
漫画より小説の方が記憶に残ってる気がする
コシヌケ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のニュース終るの数秒遅れた気がする。
David@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草粥
Older Notes