kusakabeyoujiのｱﾝﾃﾅ - はてなｱﾝﾃﾅ

▽檜山正幸のｷﾏｲﾗ飼育記
●05/16 19:11
2025-05-15ｱﾚﾚ､ﾌﾟﾛ関手の方向がぁ雑記／備忘上下左右ﾌﾟﾛ関手 $`\mathcal{C}^{\mathrm{op}}\times \mathcal{D} \to \mathbf{Set}`$ の方向を｢$`\mathcal{C}`$ から $`\mathcal{D}`$｣とするか､はたまた｢$`\mathcal{D}`$ から $`\mathcal{C}`$｣とするかは好みの問題でその選択は恣意的です｡僕は､｢$`\math…ｱﾚﾚ､ﾌﾟﾛ関手の方向がぁ

▽Haskell - HaskellWiki
●05/11 17:05
11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2025)(affiliated to FSCD 2025)2025-07-20, Birmingham, UK

▽Planet Scheme
●05/07 21:12
Tuesday, May 6, 2025spritely.instituteHoot 0.6.1 released!We are excited to announce the release of Hoot 0.6.1! Hootis a Scheme to WebAssembly compiler backend for Guile, as well as a general purposeWebAssembly toolchain. In other words, Scheme in the browser!This small patch release contains bug fixes and a few new featuresto play.Codeberg thatyou can clone. It takes care of all the b

▽2005年 11月 (3)｡
●05/06 05:58
May. 2025Last Modified: Mon May 5 07:35:18 UTC 2025気がついたら 2025-05-05 [Mon] 16:00また1ヶ月たってた｡正直､ここにLLMの愚痴ばっかり書きたくないのだが…LinkedInなぞを見ていると (そんなもん見るな! そもそも)｢AI Apologetics｣とでも言う人々がこれほど多いのにおどろく｡そしてまた謎が多い｡｢AIで生産性が爆上がりした!｣って言ってる人々のうち､AIを使って(単なるﾃﾞﾓでない)実際の業務をしているのを見たことがない｡もちろん業務上の秘密があるからそんなことはそうそうできるはずないのだが､新山はより大きな理由は｢それを見せてしまうと大したことないのがﾊﾞﾚるから｣だと思っている｡思うに｢AIによる生産性向上｣ってのは､中学生にとっての◯◯◯みたいなもんだ｡誰もがそれに対