▽田原悠西の日記
●04/18 17:08
2025-04-16_ [雑談]二十数年働かせてもらって不思議だなあと思うのは､この世界にちょうど自分が生きていけるだけの隙間があって､そこでお仕事を頂けていること｡大変ありがたいことだ｡なんとか家賃と食費を賄い続けることができれば､それ以上なにも望まないかなあ｡体が資本なので健康を維持して働いて家賃と食費が払えれば､それ以上望むものは特にないなあ｡衣はﾕﾆｸﾛGUのおかげで助かっている｡中国やﾍﾞﾄﾅﾑの縫製工場の人ありがとう｡[ﾂｯｺﾐを入れる]

▽萌えとかﾌﾟﾛｸﾞﾗﾐﾝｸﾞとか | reboot
●04/18 16:03
112,340 hits

▽haskell - HaHaHa!
●04/18 05:03
【復旧済み】人力検索はてなにつながりにくくなる障害が発生していました人力検索はてな 日記 (265)

▽檜山正幸のｷﾏｲﾗ飼育記
●04/17 22:18
2025-04-17n角形の対角線とﾍﾟｰｽﾃｨﾝｸﾞ図雑記／備忘ﾍﾟｰｽﾃｨﾝｸﾞ図は､2-圏や二重圏内に描かれた図式〈diagram〉です｡1-圏でも､射のあいだの等式を2-射とみなせば2-圏になります｡そして､1-圏のﾍﾟｰｽﾃｨﾝｸﾞ図は可換図式なのです｡圏論ではﾍﾟｰｽﾃｨﾝｸﾞ図（可換図式含む）を多用しますが､ﾍﾟｰｽﾃｨ…2025-04-16関手のﾃﾝｿﾙ積､米田拡張､位相実現〈幾何実現〉雑記／備忘｢関手のﾃﾝｿﾙ積（ｺｴﾝﾄﾞ） // あれれ｣において､関手のﾃﾝｿﾙ積と類似した状況があちこちで出現するけど何でだろう？ てなことを書いています｡これはおそらく､米田拡張やｺｴﾝﾄﾞ公式〈coend formula〉が色々な場面で使われる､ってことでしょう…2025-04-15面白い二重圏達雑記／備忘 ﾊﾌﾞ記事ﾀｲﾄﾙはﾀﾞﾌﾞﾙﾐｰﾆﾝｸﾞです｡ひとつは｢二重圏は面白いよなｰ｣とい

▽Planet Haskell
●04/17 21:58
April 17, 2025Tweag I/OFrontend live-coding via ghciA few months ago, I announced that the GHC wasmbackend added support for Template Haskell and ghci. Initially, theghci feature only supported running code in nodejs and accessing thenodejs context, and I’ve been asked a few times when ghci was going to work inbrowsers in order to allow live-coding the frontend. Sure, why not? I promisedit