Home | Notifications | New Note | Local | Federated | Search | Logout
Federated Timeline
にせねこ@nixeneko@nixeneko.info (2026-04-13 23:09:29)
兎にも角煮も
にせねこ@nixeneko@nixeneko.info (2026-04-13 22:25:50)
農家とナウカって似てるよねみたいな
にせねこ@nixeneko@nixeneko.info (2026-04-13 22:17:16)
異世界 #のんびり農家 2みる
ぐまから こうもりさん組@gumakara@misskey.io (2026-04-13 22:00:08)
でかもちもちイチゴちゃん
---Attachments---
image: https://media.misskeyusercontent.com/io/webpublic-f32be305-5167-4fc3-b1d0-ef554bab8f20.webp?sensitive=true
にせねこ@nixeneko@nixeneko.info (2026-04-13 21:39:46)
セルシスの勢ひが衰へて悲しい
ジエンP@gientoP@social.mikutter.hachune.net boosted:
@Kingu@sakurajima.moe (2026-04-06 02:41:08)
---Attachments---
image: https://media.sakurajima.moe/media_attachments/files/116/353/326/421/982/640/original/23f849d0ba5a888c.png
にせねこ@nixeneko@nixeneko.info (2026-04-13 21:30:07)
作務衣着たら寒っ、ええ…
にせねこ@nixeneko@nixeneko.info (2026-04-13 21:15:31)
風呂キャンセル界隈（TOTOユニットバス）は笑った
にせねこ@nixeneko@nixeneko.info (2026-04-13 21:13:25)
定期的な収入のある身分、普通に羨ましいな
にせねこ@nixeneko@nixeneko.info boosted:
@k8i_chan@misskey.io (2026-04-13 20:49:58)
テストと学力／光永 悠彦｜岩波新書 - 岩波書店
https://www.iwanami.co.jp/book/b10166257.html
「世の中はテストだらけ。各種資格試験から入学試験のような「人生の関門」もある。テストの成績に始まり「学歴」までついてまわる。大人は子どもになぜテストを受けさせるのか？ そもそもテストで何が測れるのか？ テストを作る専門家がテスト作成の舞台裏から、テストの質と限界、社会でのテストの賢い利用法までを伝える。」
黒居シミ@k8i_chan@misskey.io (2026-04-13 20:49:58)
テストと学力／光永 悠彦｜岩波新書 - 岩波書店
https://www.iwanami.co.jp/book/b10166257.html
「世の中はテストだらけ。各種資格試験から入学試験のような「人生の関門」もある。テストの成績に始まり「学歴」までついてまわる。大人は子どもになぜテストを受けさせるのか？ そもそもテストで何が測れるのか？ テストを作る専門家がテスト作成の舞台裏から、テストの質と限界、社会でのテストの賢い利用法までを伝える。」
warabi餅@w4rabimochi@misskey.io boosted:
@harignaeshinshi@misskey.io (2026-04-13 20:22:46)
#あなたのみどり色の作品を見せてください
---Attachments---
image: https://media.misskeyusercontent.com/io/webpublic-0fb1197c-fab5-41a2-b340-2071e06d6b7a.webp?sensitive=true
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-04-13 20:26:34)
org-roam と lagda.org で自分のデータを整合的に管理するのがいま一番やりたいことであって、Gregorianumについて解説する記事は一番やりたいことではない…。いたしかたなし。。。
針金紳士@harignaeshinshi@misskey.io (2026-04-13 20:22:46)
#あなたのみどり色の作品を見せてください
---Attachments---
image: https://media.misskeyusercontent.com/io/webpublic-0fb1197c-fab5-41a2-b340-2071e06d6b7a.webp?sensitive=true
きゅーけー@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
Older Notes