Federated Timeline

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

Federated Timeline


きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-04-13 20:14:25)
Agda で開発していた日付ライブラリの Gregorianum、一旦ここで開発を完了していいかと思い始めた。
https://github.com/tojoqk/gregorianum

今後は本来の目的である、org-mode 上で Agda のコードを文芸的に記述し、睡眠記録の入力を Agda のコンストラクタの追加で実現するという目的の実現へと移ろう。そのために、時刻を扱う必要があるけどそこはそんなに一般的な感じにならないからライブラリにはしないでいいやっていう感じ。


Reply to @nixeneko@nixeneko.info
にせねこ@nixeneko@nixeneko.info (2026-04-13 20:04:52)
工場で使ふ燃料ってなると重油なんかな


にせねこ@nixeneko@nixeneko.info (2026-04-13 19:58:51)
まあ優先順位の付け方はブラックボックスよね


にせねこ@nixeneko@nixeneko.info (2026-04-13 19:57:36)
豆腐って重油からつくってるの


にせねこ@nixeneko@nixeneko.info boosted:
@theoria@wug.fun (2026-04-13 18:52:56)
下水処理場とか医療用X線フィルムとか優先してってのは分かるんだけどその並びに豆腐事業者が入るの納得いかんのよなあ
https://x.com/takaichi_sanae/status/2040332877225992399
---Attachments---
image: https://media.wug.fun/media_attachments/files/116/396/778/564/381/274/original/790efa69475ea1cf.jpeg


warabi餅@w4rabimochi@misskey.io boosted:
@shiroiyoru@misskey.io (2026-04-12 21:48:15)
🦊
---Attachments---
image: https://media.misskeyusercontent.com/io/webpublic-77f02f3a-88fd-41d7-a22d-13b7be819f6d.webp?sensitive=true


warabi餅@w4rabimochi@misskey.io (2026-04-13 18:57:08)
:nyuuyoku_kanryou::blobcappa_bath:


ておりあ👐@theoria@wug.fun (2026-04-13 18:52:56)
下水処理場とか医療用X線フィルムとか優先してってのは分かるんだけどその並びに豆腐事業者が入るの納得いかんのよなあ
https://x.com/takaichi_sanae/status/2040332877225992399
---Attachments---
image: https://media.wug.fun/media_attachments/files/116/396/778/564/381/274/original/790efa69475ea1cf.jpeg


諏訪子@suwako@sns.076.moe (2026-04-13 18:23:06)
「[CLA-11-03] CLA – C Certified Associate Programmer」試験を合格しました。
https://www.credly.com/earner/earned/badge/1476bd0b-3f09-4ac4-95a3-1593427e0e62


Reply to @mug@mstdn.maud.io
博多市@hakatashi@pawoo.net (2026-04-13 16:52:05)
@mug 夢を、追いかけている


Reply to @hakatashi@pawoo.net
sh-mug@mug@mstdn.maud.io (2026-04-13 16:43:38)
@hakatashi 何かは、あなたを追いかけていますか？


たかし@tak4 (2026-04-13 15:52:10)
静的サイトの作り方を指南する良質なサイトが沢山ある。
その多くは既にサイトを持つ人々を萎縮させる論調をして居る。
私はサイトをイチから書き直さずに改善する方法論を知りたい(考へたい)


ささきち@ssk_chi@misskey.io boosted:
@lvetica@misskey.io (2026-04-10 11:43:55)
:kao_ga_ii:
---Attachments---
image: https://media.misskeyusercontent.com/io/5084a2e0-c6fc-4aa2-b349-ed0621766db7.webp


博多市@hakatashi@pawoo.net (2026-04-13 14:57:10)
ここ数日、見えない何かがずっと追いかけているような気分だ


にせねこ@nixeneko@nixeneko.info (2026-04-13 13:06:42)
構造化文書としてXMLが持て囃されてたこともあったけど、まあなんか、今はカジュアルにはJSONとか使ってるよな


ささきち@ssk_chi@misskey.io (2026-04-13 12:58:08)
wip おでこﾁﾗ
---Attachments---
image: https://media.misskeyusercontent.com/io/5a74704f-4953-4f65-8bc9-d3a2ace93a07.png?sensitive=true


Coro@Coro@mstdn.maud.io boosted:
@Yohei_Zuho@mstdn.y-zu.org (2026-04-13 12:55:15)
すげえ、なんだこれ
---Attachments---
image: https://minio.zuiho.moe/media_attachments/files/116/395/377/447/281/585/original/e61c2303059885cd.jpeg


もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-04-13 12:55:15)
すげえ、なんだこれ
---Attachments---
image: https://minio.zuiho.moe/media_attachments/files/116/395/377/447/281/585/original/e61c2303059885cd.jpeg


ささきち@ssk_chi@misskey.io boosted:
@ovoip@mi.shiromaru.work (2026-04-12 22:27:01)

---Attachments---
image: https://mi-assets.shiromaru.work/drive/ad5dd9a2-e6e5-4779-a276-502722151c17.png


warabi餅@w4rabimochi@misskey.io boosted:
@mumunyan@misskey.io (2026-04-04 21:32:51)
アカネと制服えっち♡
---Attachments---
image: https://media.misskeyusercontent.com/io/ba5e0f23-e359-4b27-9007-b28561f519a8.png?sensitive=true
image: https://media.misskeyusercontent.com/io/0bb9a0df-50e7-4342-8ac7-f17ed9c170ca.png?sensitive=true


warabi餅@w4rabimochi@misskey.io boosted:
@mumunyan@misskey.io (2026-03-28 21:30:24)
ダブピしながら見せてくれるコノカ
---Attachments---
image: https://media.misskeyusercontent.com/io/e111632f-f0cd-4a04-a76c-67e2a284b044.png?sensitive=true


warabi餅@w4rabimochi@misskey.io boosted:
@mumunyan@misskey.io (2026-03-22 00:14:29)
臨戦リオを後ろから♡
---Attachments---
image: https://media.misskeyusercontent.com/io/725dc96c-6936-46f9-a9a9-59cc33f49374.gif?sensitive=true


ささきち@ssk_chi@misskey.io (2026-04-13 12:19:38)
コミケの申込み受理されたってメールきた:mizumochi_yatta:


ささきち@ssk_chi@misskey.io boosted:
@teruisi@misskey.io (2026-04-12 18:23:21)
見つけてしまったケイちゃん:ba_key_facea_smile:
---Attachments---
image: https://media.misskeyusercontent.com/io/719690d7-93a5-436d-b0f5-61e0d8b625a0.webp?sensitive=true


Reply to @silverpill@mitra.social
チャノさん@japananon@mitra.anon-kenkai.com (2026-04-13 11:07:38)
@silverpill I see flohmarkt lists Mitra for compatibility, and I can follow a flohmarkt user, but do their listings/classifieds show up as posts when viewed from Mitra?


Coro@Coro@mstdn.maud.io (2026-04-13 09:54:01)
チャットLLM、他社の自分のログに相互にアクセスできたら面白そう。割と複数使うので。


にせねこ@nixeneko@nixeneko.info (2026-04-13 09:40:18)
真面目なやつほどバズらねーんだよな


にせねこ@nixeneko@nixeneko.info boosted:
@opanpan@mstdn.jp (2026-04-12 21:44:02)
なるほどね
https://x.com/i/status/2043227045124354402


たかし@tak4 (2026-04-13 09:35:18)
書籍『JavaScript: The Good Parts』では言語の悪い機能を避けて良い機能のみを使ふことが推奨されて居る。
これはプログラミング以外にも当てはまるかもしれない(既存のソフトウェアやwebサービスを使ふ時など)


にせねこ@nixeneko@nixeneko.info boosted:
@fuyu26@mstdn.beer (2026-04-13 08:31:35)
真面目な牧畜史の本だと思うがタイトルでふふってなった

https://www.iwanami.co.jp/book/b10166269.html

Older Notes