GrahLnn

モナドを使って手続き型のようなコードに戻るのではなく圏（射・関手・自然変換）だけで済ませる書き方を模索した記事。モナドは Kleisli で Category として扱い、さらに一般化 data ProKleisli m p a b = ProKleisli p a (m b) することでモナド変換子を圏変換子として扱う marcosh.github.io/post/2026/05/0…

@qqqqqf_ 自适应这一块

时常不理解一件事是为什么有些人可以忍受非常非常脏的眼镜？特别是在学校中尤为明显，带上同学的眼镜之后堪比白内障

@ColorfulToilet 不是我不想付费，而是国内产品拿我当猴耍，vip, svip, ssvip，不守承诺是常态让我怎么付费

大家都说国人的付费意识很差 但是在推特上买蓝标的咋都那么多 上了推特就脱离国籍了？？？

@lanhubiji 我不喜欢钱，我对钱不敢兴趣

加密圈的又一大奇闻：一共5笔转账，共107枚BTC，转向了销毁地址。超过800多万美元的BTC就这样被永久销毁。 转入的销毁地址是著名的地址：1111111111111111111114oLvT2 目前上面躺着807.23892159枚BTC，价值超6100多万美元。 发送者地址来自2014/15年的休眠老钱包。 为什么这么做？ 似乎不太可能是误操作，5笔交易是独立的，金额加起来正好是107枚BTC，很难想象，一个人连续5次都手抖打错地址。 至于真实原因是什么，只有发送者知道。

@mizorewww 很真实了

@GrahLnn 配置1k，节点4k

跑起来了，实际上加上节点配置有5k行

@mizorewww 哦，你这家店有点贵，我看我这家店现在是3.8k

@mizorewww 涨价了，我是4k买的

左：人体工学椅，又贵又没意思，居然要5000？ 右：电动轮椅，酷毙了，还可以飙车改装带着到处跑，还只要1500 我已经准备好高考完买轮椅了！简直是梦中情椅！

@mizorewww 我也是全套singbox！我直接singbox挂路由器上

因为surge感觉不太好用，我想要在全平台上的翻墙软件都用一个配置，所以转向了singbox,但写singbox配置的人真的是json仙人，一个代理软件的配置能写一千多行🤦

@mizorewww @yoshino_2333 我想自己造一个合成器

@yoshino_2333 我也想，然后改装。用轮椅飙车顺便学一下嵌入式🤓

想买个电动轮椅，感觉好酷

@txyyss {}, {{}}, {{{}}{}}, {{{{}}{}}{{}}{}}

但凡学过那么一点点数学，知道从空集出发怎么构造自然数，就不会这么莫名惊诧…… 我看这推特气数是尽了。

@iiifreespirit 我记得好像有个视频讲过，这个玩意toc不赚钱，主要是tog

我一直好奇一个问题：高德地图到底是怎么挣钱的？ 高德地图没有会员，也没看到什么广告，我们用它导航又不用花钱，它到底靠啥赚钱啊？

@mizorewww 惊，这下不得不看了

怪不得我看了那么多村上春树🫪

@YuLin807 因为现在是末法世界，绝天地通了

坐地铁看到一个站点「常熟路」 为什么我还没有看到「长生路」

I kind of like this approach, also seems closer to categorial semantics. A single variable, the context is the type of that variable, functions do not capture the context, but you have pairing instead.

@mizorewww WindowsWindowsWindowsWindowsWindowsWindows！

目前让agent来操控电脑的方案好像都是面向macos的，各种agent应用都优先支持macos 我想找个能让ai操控linux gui的工具都找不着 apple又躺着成为最大赢家了🫪

@lidangzzz 这不调包侠吗

这就是为什么我告诉你们，不要跟这种交叉专业的臭鱼烂虾一起玩。 交叉专业的臭鱼烂虾：我们也学C语言，我们也写Python，我们导师教我们用个开源的neural network识别图片，所以我们也是CS，我们和CS交叉上了。 典型一门专业课没上过，写作业灌水paper用python搬个砖，开源模型调个参，就自称CS专业。 这种交叉专业的孩子们，最可怕的一点是，他们连自己不知道什么都不知道，这种属于典型的unknown unknown。 这种状态是非常可怕的，因为他们连差距都看不到，连自己知识和技能缺失的板块都看不见，天天沉浸在教授和辅导员们描绘的“我们是交叉专业，我们也写代码，我们就是CS”的虚幻泡影里。

@mizorewww 7买了都没咋玩，最近就送快递跑完了

文明7 听说更新了，然后这个游戏还是被很多人骂

26%==100% 哈哈哈，哈哈哈，哈哈哈，哈哈哈，能不能认真一点啊tmd，fk ms