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

Federated Timeline

:hosimiya_mion::star_stroke: bioを読め@hos1miya@misskey.0sakana.xyz (2026-02-23 10:50:58)
今のメモリって2年保証とかなんだ…しょぼいな(昔は永久保証が当たり前だったので)
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-02-23 10:35:52)
グレゴリオ歴の日付を形式的に扱うためのAgdaのライブラリの開発が一区切りついたのでGitHubに公開した。
型で閏年から月ごとに日数の違い、そして日付の隣接関係を扱えているのですごい。
コンパイルした時点で日付のバグ発生しないといえるように設計できた。

とくに Day 型の構造がうまくできていて、「月末」を型として完全に表現できるようになっている。

https://github.com/tojoqk/gregorianum/tree/main
---Attachments---
image: https://mastodon.tojo.tokyo/system/media_attachments/files/116/117/358/014/620/043/original/efd6233ef1c1f79b.png
image: https://mastodon.tojo.tokyo/system/media_attachments/files/116/117/358/019/064/779/original/16c43c11c4c1ff83.png
image: https://mastodon.tojo.tokyo/system/media_attachments/files/116/117/358/020/537/171/original/fdf250f4e05ee9be.png
:hosimiya_mion::star_stroke: bioを読め@hos1miya@misskey.0sakana.xyz (2026-02-23 09:55:51)
​:ohayo:​
Rikuoh Tsujitani@riq0h@letter.mystech.ink (2026-02-23 09:55:34)
大絶滅展、爆混みすぎたので一旦諦め(・へ・)
Reply to @riq0h@letter.mystech.ink
Rikuoh Tsujitani@riq0h@letter.mystech.ink (2026-02-23 09:35:09)
いや、むっちゃ暑いわ(・_・;;) 今日は全裸でもいい。
Rikuoh Tsujitani@riq0h@letter.mystech.ink (2026-02-23 08:28:57)
完全に春剥き出しの格好で出てきちゃったけど本当に暑くなるんか？(・_・;)
Reply to @astro@c3d2.social
silverpill@silverpill@mitra.social (2026-02-23 04:47:11)
@astro Opened an issue: https://github.com/astro/buzzrelay/issues/136
Izuru Yakumo (八雲イズル)@yakumo_izuru@misskey.m544.net (2026-02-23 03:08:11)
@tak4@mstdn.y-zu.org 久しぶりですね

「irc.nishi.boats #general」をチェックしてよね
:hosimiya_mion::star_stroke: bioを読め@hos1miya@misskey.0sakana.xyz (2026-02-23 00:53:04)
コントスメーラ
:hosimiya_mion::star_stroke: bioを読め@hos1miya@misskey.0sakana.xyz (2026-02-23 00:47:26)
タブレット(閉塞)
:hosimiya_mion::star_stroke: bioを読め@hos1miya@misskey.0sakana.xyz (2026-02-23 00:44:39)
イラスト用ペンタブ
お盆用ペンタブ
Reply to @risahana@mstdn.jp
たかし@tak4@mstdn.y-zu.org (2026-02-23 00:19:39)
@risahana ありがトン
Reply to @tak4@mstdn.y-zu.org
@risahana@mstdn.jp (2026-02-23 00:19:13)
@tak4 こん！たかしさん✨
素敵な夜を✨✨

🦋 🦋 🦋 　🦋 🦋 🦋 　🦋 🦋 🦋 🎀🍀
:hosimiya_mion::star_stroke: bioを読め@hos1miya@misskey.0sakana.xyz (2026-02-23 00:18:03)
コワーキングスペース
ヤサシーキングスペース
たかし@tak4@mstdn.y-zu.org (2026-02-23 00:17:53)
コマンドプロンプト。クソデカマンドプロンプト。
たかし@tak4@mstdn.y-zu.org (2026-02-23 00:17:11)
コルーチン。クソデカルーチン。
たかし@tak4@mstdn.y-zu.org boosted:
@Yohei_Zuho@mstdn.y-zu.org (2026-02-22 15:50:57)
コワーキングスペース
クソデカワーキングスペース
Reply to @tak4
たかし@tak4 (2026-02-23 00:07:44)
間違って移動した場合に「戻る」を押すことで状態を復元したいならbeforeunloadに何も割り当ててはいけない。
文書から離脱した際にメモリを解放したいならbeforeunloadに空の関数を割り当てる。sessionStorageなどに最小限のデータのみ保存することも可能。
:onmyou:‮:vc:‭Charlie Root‬@relay@mastodon.hakurei.win (2026-02-23 00:04:45)
共産党プロパガンダ名曲 3選
https://m.youtube.com/watch?v=jD9XIM7C7UM
https://m.youtube.com/watch?v=1Xj6kl74FrU
https://m.youtube.com/watch?v=iliVQEhnIGw
たかし@tak4 (2026-02-23 00:01:02)
jsを使った文書から別の文書に移動した後で「戻る」を押すとjsの変数などが復元される場合とされない場合とがあって不思議に感じて居た。
beforeunloadにevent-listenerを割り当てると復元されなくなる様だ(履歴用のcacheに保存されなくなる)
SASANO Takayoshi@uaa@social.mikutter.hachune.net (2026-02-22 23:35:03)
問題のあるオブジェクトを洗い出すために…gcc-13でビルドしたものと、gcc-14でビルドしたものを混ぜてリンクしてどうなるか、というのを見てみるか。

何が起こっているかを調べる前に、どこに問題があるかが分からないと追いようが無い…余計に分からなくなるだけという可能性も当然あるっちゃあるけど。
Reply to @haturatutaro@mstdn.jp
たかし@tak4 (2026-02-22 23:32:59)
楽しいですねー! 良いものができます様に
ハツラツ太郎@haturatutaro@mstdn.jp (2026-02-22 23:30:48)
外でたいし、酒飲みに行きたいけど開発が楽しすぎてまともに外に出れません
たかし@tak4@pixelfed.tokyo (2026-02-22 23:25:59)
jsグラフィック。ブロック単位で地形を表示。
---Attachments---
image: https://pixelfed.tokyo/storage/m/_v2/913455706248965777/fbedcc803-0ec729/A72auOzbpRMQ/zhtmTaSw0DgyJzeV6R71uXidkD7vVNOth9b8jMht.png
:hosimiya_mion::star_stroke: bioを読め@hos1miya@misskey.0sakana.xyz (2026-02-22 23:20:49)
エルフィンを摂取
:hosimiya_mion::star_stroke: bioを読め@hos1miya@misskey.0sakana.xyz (2026-02-22 23:05:05)
そこまでしなくても水風船で
:hosimiya_mion::star_stroke: bioを読め@hos1miya@misskey.0sakana.xyz (2026-02-22 23:00:26)
松戸で待つどw
:hosimiya_mion::star_stroke: bioを読め@hos1miya@misskey.0sakana.xyz (2026-02-22 22:06:16)
いやこの2TBは容量詐欺だろ………
https://twitter.com/OSU_PC_SHOP_PAW/status/2025435745939587323?t=Ci2K9WcBOERrZ91G-U6n_g&s=19
ハツラツ太郎@haturatutaro@mstdn.jp (2026-02-22 21:36:10)
自動バックアップ、Vol 0で停止しないようにするオプション追加

Release v1.3.23 · haturatu/ViMusic - https://github.com/haturatu/ViMusic/releases/tag/v1.3.23
ハツラツ太郎@haturatutaro@mstdn.jp (2026-02-22 21:35:17)
Release Release 0.0.26 · haturatu/puremania - https://github.com/haturatu/puremania/releases/tag/v0.0.26
Older Notes