#acg 好玩的，繁体电子书目录恢复+高亮。
#tool
https://v.magiconch.com/epub-transform 真厉害
同样推荐他的dict作品
https://lab.magiconch.com/nbnhhsh/ 👍
#tool
https://v.magiconch.com/epub-transform 真厉害
同样推荐他的dict作品
https://lab.magiconch.com/nbnhhsh/ 👍
duangsuse::Echo
感叹，这么小的工具踩坑也花了3小时😅
#statement #ai对比
我发现，对于这样缺乏模板的小工具，AIGC 改变不了什么
该慢的还是慢。不是打字和调包的问题，「抄作业」是会缺斤少两的，各种「细节」试不出来😅😅😅
不是吞吐量，是经验和洞察力欠缺
恐怕这种情况IT界已经遍地开花了。
比如，AI ChatUI 很长一段时间，都不能在对方输入时自由滚动，原因是AI打一行都会滚到最底，就这么加个if的破事，等了三个月
长对话能滚到最底，不能「滚到最顶」 ps. Gem最近支持了双击顶栏
Gemini 的 fork chat 等了几个月，现在 AIGC demo 还不能分享
draft经常因为网络不稳直接丢失，比如，ai突然流畅，或者编辑失败，输入框就要重打一遍😅
没有因为AI能生成pyjs这些毛病就得到优化，难道替代的开发者还少吗？
可能是我使用频率太高了，以后做个AI猴子替用户测试好了 😅
他们大概是忘了，不是完成度有70%就有竞争力的，而是只有好用级的代码基OK
我已经见过不少分页和排序都做不好，只会json的 #vibe 滥用者了😅⏩
我发现，对于这样缺乏模板的小工具，AIGC 改变不了什么
该慢的还是慢。不是打字和调包的问题，「抄作业」是会缺斤少两的，各种「细节」试不出来😅😅😅
不是吞吐量，是经验和洞察力欠缺
恐怕这种情况IT界已经遍地开花了。
比如，AI ChatUI 很长一段时间，都不能在对方输入时自由滚动，原因是AI打一行都会滚到最底，就这么加个if的破事，等了三个月
长对话能滚到最底，不能「滚到最顶」 ps. Gem最近支持了双击顶栏
Gemini 的 fork chat 等了几个月，现在 AIGC demo 还不能分享
draft经常因为网络不稳直接丢失，比如，ai突然流畅，或者编辑失败，输入框就要重打一遍😅
ChatUI输入时，用户只能干等着，不能列队下一条，draft区成了摆设。
各种生产力App的离线可用数据，几乎为零。断线即死
没有因为AI能生成pyjs这些毛病就得到优化，难道替代的开发者还少吗？
可能是我使用频率太高了，以后做个AI猴子替用户测试好了 😅
他们大概是忘了，不是完成度有70%就有竞争力的，而是只有好用级的代码基OK
我已经见过不少分页和排序都做不好，只会json的 #vibe 滥用者了😅⏩
duangsuse::Echo
toc Yu Shen Dui Hua (2) - Wei Zhi.epub
https://github.com/Anxcye/anx-reader #ai
这个可牛逼坏了，配合便宜ai非常成熟
Fdroid各种读书软件都非常优秀
这个完成度真的太牛逼了，TTS比系统设置还准确，字体下载和AI很方便，分享还带底图的，风格和FlClash一样
这个可牛逼坏了，配合便宜ai非常成熟
Fdroid各种读书软件都非常优秀
这个完成度真的太牛逼了，TTS比系统设置还准确，字体下载和AI很方便，分享还带底图的，风格和FlClash一样
Forwarded from Hacker News 摘要
Telegraph
以保护儿童之名：如何强制所有互联网流量实行实名制 (2023)
原标题：Think of the children: How to force real ID for all internet traffic (2023) 这篇文章讨论了政客如何利用保护儿童的名义，强制要求互联网流量关联真实身份。 背景与核心观点 作者指出，近期一些地区开始建立中心化的商业数据库，要求用户上传政府签发的身份证件来证明成年身份，以便登录成人网站。作者认为这只是一个开始，最终目的是让政府和企业全面控制互联网叙事。通过将真实身份和财务信息与所有在线活动挂钩，权力和商业利益可以实现合流。 被遗忘的简单技术手段…
Forwarded from Hacker News 摘要
Telegraph
Windows 11 新版媒体播放器内存占用达旧版 3.5 倍，且对流行视频编解码器收费
原标题：Windows 11 New Media Player Uses 3.5x More RAM, Charges for Popular Video Codecs 微软为 Windows 11 推出的新版媒体播放器（Media Player）正面临外界批评。根据最新的测试结果，该播放器在内存占用上远超经典的旧版播放器。此外，部分流行的视频编解码器现在也需要付费才能使用。 内存占用与性能表现 测试数据显示，新版播放器在空闲状态下的内存占用约为 377MB，而旧版播放器仅需 103MB 左右。这意味着…
Forwarded from Hacker News 摘要
Telegraph
(如何编写一个 (Lisp) 解释器 (用 Python)) (2010)
原标题：(How to Write a (Lisp) Interpreter (In Python)) (2010) 这篇文章有两个目的：一是描述计算机语言解释器的一般实现方法；二是使用 Python 3 构建一个包含 Scheme 语言（Lisp 的一种方言）大部分功能的解释器。作者将这个语言和解释器命名为 Lispy。作者曾用 Java 和 Common Lisp 实现过类似的功能，而这次的目标是尽可能简洁地展示艾伦·凯所说的软件领域的麦克斯韦方程组。 学习编译器和解释器非常重要。正如史蒂夫·耶格所…
Forwarded from 今日份的豆酱 (Kiseopt)
如果你的男朋友这两天没有打开 Claude Code / Codex，没有满嘴「半导体超级周期」、DRAM、NAND、HBM、PCB 永远缺货，没有突然研究韩国国运，什么 SK 海力士是 AI 铲子股、三星明年盈利世界第一、斗山能源是韩国版 GEV，没有深夜感慨这是国运、是东亚制造业复兴。
说明他没有任何投资理财观念，看不懂产业趋势，错过了时代贝塔。
但也说明他不会被泡沫诱惑，没有 FOMO，不会顶部 All in ，不会把被套也不卖说成长期主义。这种男人，情绪稳定，账户也稳定。
可以考虑结婚了。
说明他没有任何投资理财观念，看不懂产业趋势，错过了时代贝塔。
但也说明他不会被泡沫诱惑，没有 FOMO，不会顶部 All in ，不会把被套也不卖说成长期主义。这种男人，情绪稳定，账户也稳定。
可以考虑结婚了。
❤2
Forwarded from gledos Lia green 的微型博客
美白的药物
希望能变白点，所以之前研究了以下美白的方法，最后选择了含有 L-半胱氨酸 的药物。
半胱氨酸是一种氨基酸，它能够抑制真黑色素的合成，促使黑色素向偏红的褐黑素转化，从而让皮肤颜色变得更浅、更红一些。除此之外，还有一些促进肌肤新陈代谢的作用。
其实还有另一种美白的药物，叫作 氨甲环酸。不过美白只是它的「副作用」，因为它的主要功能是作为止血药，能增加凝血效果（也增加了血栓风险）。
之后有发现它的美白效果，才被当作美白药使用。不过以美白来说，半胱氨酸的副作用、风险更小。另外，艺人大S（徐熙媛）曾在其著作《美容大王》中透露，自己使用的「美白针」配方里有氨甲环酸。
附言：半胱氨酸的价格还行，拼多多可以买到不到 60 元的第一三共 WHITE EX II（270 粒），可以吃 45 天，平均每天 1.3 元吧。（不过得蹲一下好价）
附言 2：口服 烟酰胺（维生素 B3 的组成部分）的效果通常很弱，烟酰胺还是单纯外用比较好。但按照说明书的剂量口服，通常也不会有什么副作用，毕竟是水溶性维生素，很容易排出到体外。
附言 3：云南白药牙膏 被发现添加了氨甲环酸，用来给牙龈出血止血、止痛。
希望能变白点，所以之前研究了以下美白的方法，最后选择了含有 L-半胱氨酸 的药物。
半胱氨酸是一种氨基酸，它能够抑制真黑色素的合成，促使黑色素向偏红的褐黑素转化，从而让皮肤颜色变得更浅、更红一些。除此之外，还有一些促进肌肤新陈代谢的作用。
其实还有另一种美白的药物，叫作 氨甲环酸。不过美白只是它的「副作用」，因为它的主要功能是作为止血药，能增加凝血效果（也增加了血栓风险）。
之后有发现它的美白效果，才被当作美白药使用。不过以美白来说，半胱氨酸的副作用、风险更小。另外，艺人大S（徐熙媛）曾在其著作《美容大王》中透露，自己使用的「美白针」配方里有氨甲环酸。
附言：半胱氨酸的价格还行，拼多多可以买到不到 60 元的第一三共 WHITE EX II（270 粒），可以吃 45 天，平均每天 1.3 元吧。（不过得蹲一下好价）
附言 2：口服 烟酰胺（维生素 B3 的组成部分）的效果通常很弱，烟酰胺还是单纯外用比较好。但按照说明书的剂量口服，通常也不会有什么副作用，毕竟是水溶性维生素，很容易排出到体外。
附言 3：云南白药牙膏 被发现添加了氨甲环酸，用来给牙龈出血止血、止痛。
Forwarded from 羽毛的小白板
当年实现把压缩了的 js 还原回尽量可读的 ts 代码花了好一些时间，现在半天就能搞定，而且现在 js 文件还多了变量名混淆
Forwarded from codedump的电报频道 (老C)
#人工智能
#世界观
其实上一篇文，核心想表达的是：新环境的变化，孕育着新的机会。以我文中的例子为例，我丝毫不怀疑：未来会有更多专门面向agent打造的硬件。
汽车、火车出现时，确实让马车夫的工作少了很多，但是相对应的：给火车造铁轨、铺铁路、给汽车造零件，等等，都是新出来的工种。以现在的AI时代为例，Agent就是现在最大的变量之一，为这个新物种打造环境，也许就是很多人的新机会。
#世界观
其实上一篇文，核心想表达的是：新环境的变化，孕育着新的机会。以我文中的例子为例，我丝毫不怀疑：未来会有更多专门面向agent打造的硬件。
汽车、火车出现时，确实让马车夫的工作少了很多，但是相对应的：给火车造铁轨、铺铁路、给汽车造零件，等等，都是新出来的工种。以现在的AI时代为例，Agent就是现在最大的变量之一，为这个新物种打造环境，也许就是很多人的新机会。
Telegram
codedump的电报频道
#人工智能
我最近由于大量采用agent编程，现在可以并发开多个agent搞多个项目，这就对我家里的硬件提出新的要求：需要能够便捷查看多个agent的工作情况。
原先我的屏幕配置是：一个27寸显示器，加上14寸的MacBookPro，这样合起来就是双显示器。
我的新要求是：能够再多一屏，这样看多个agent的工作就更方便。于是，我需要从原先的27寸显示器升级到了32寸显示器，这样就能分三个屏（Mac一个，32寸显示器分两个）。这里又面临两个问题：由于显示器更宽了，导致要把眼睛和显示器的距离拉得更长才…
我最近由于大量采用agent编程，现在可以并发开多个agent搞多个项目，这就对我家里的硬件提出新的要求：需要能够便捷查看多个agent的工作情况。
原先我的屏幕配置是：一个27寸显示器，加上14寸的MacBookPro，这样合起来就是双显示器。
我的新要求是：能够再多一屏，这样看多个agent的工作就更方便。于是，我需要从原先的27寸显示器升级到了32寸显示器，这样就能分三个屏（Mac一个，32寸显示器分两个）。这里又面临两个问题：由于显示器更宽了，导致要把眼睛和显示器的距离拉得更长才…
codedump的电报频道
Agent就是现在最大的变量之一，为这个新物种打造环境，也许就是很多人的新机会。
#ai对比 #life
比起Agent我还是更看好传统App。现在万物皆可AI，就和之前万物皆可短视频、小程序、借钱…… 差不多
AI小视频、生产力、AI生成教学demo挺好的，在任何一个离线App里嵌入AI选区总结，基本上都是在证明自己多写了几百行代码，用户多烧一点token，玩具性质很大。
我在美团点东西不需要RPA或GIS来帮我，因为「信道」是定位和物流，而不是什么语音、智能识别。这还不如触屏的UIUX，我更不用Agent替我看B站科普和文创视频，哪怕是“注册客服号”
而智能体的理想，就是蒸馏出“各行各业”的假人来帮用户完成工作或日常生活，直接把键鼠和屏幕阅读器交过去
我也不太清楚IT的风口会在哪，但纯粹的「用户代理」可能不是。
可能…… 我不觉得AI应该造成失业或现在「雇佣制度」的改变，只是会优化信息差、执行力方面的问题 🤨
所以也不需要Agent来取代传统的“智力/体力劳动”，然后使用者变自雇老板那样。
可能工程本来没有那样复杂，只是为了工作而工作，但我看到许多vibe软件仍然很像套模板。😒
这样的“Agent团队”可能是把人类公司的偏见代入了本来的需求，而面向需求本身又不需要分身(Orchestrator)出那么多个人来。
https://t.me/codedump_notes_group/4389
比起Agent我还是更看好传统App。现在万物皆可AI，就和之前万物皆可短视频、小程序、借钱…… 差不多
小程序（=各种扫码）或许成功了一半吧，但本质上，Agent管家，就是类似Musk「未来不需要操作系统，实时搜出AIGC幻觉」的理想，没有考虑过用户互动的需求。
AI小视频、生产力、AI生成教学demo挺好的，在任何一个离线App里嵌入AI选区总结，基本上都是在证明自己多写了几百行代码，用户多烧一点token，玩具性质很大。
我在美团点东西不需要RPA或GIS来帮我，因为「信道」是定位和物流，而不是什么语音、智能识别。这还不如触屏的UIUX，我更不用Agent替我看B站科普和文创视频，哪怕是“注册客服号”
一个需求场景，并非是在屏幕以内，而是在多方的便利中，所以叫IT。
而智能体的理想，就是蒸馏出“各行各业”的假人来帮用户完成工作或日常生活，直接把键鼠和屏幕阅读器交过去
我也不太清楚IT的风口会在哪，但纯粹的「用户代理」可能不是。
可能…… 我不觉得AI应该造成失业或现在「雇佣制度」的改变，只是会优化信息差、执行力方面的问题 🤨
这些并不是决定职场、工资level、上下级的要素。
所以也不需要Agent来取代传统的“智力/体力劳动”，然后使用者变自雇老板那样。
可能工程本来没有那样复杂，只是为了工作而工作，但我看到许多vibe软件仍然很像套模板。😒
这样的“Agent团队”可能是把人类公司的偏见代入了本来的需求，而面向需求本身又不需要分身(Orchestrator)出那么多个人来。
https://t.me/codedump_notes_group/4389
Telegram
dnaugsuz in codedump的电报频道评论群
自AI时代以后，我没有体验过不用控制数据流/UI交互的Agent模式
https://t.me/dsuse/22437
https://t.me/dsuse/22429
一直在做一些单页、框架和库模块。
不清楚这方面发展的怎么样
https://t.me/dsuse/22437
https://t.me/dsuse/22429
一直在做一些单页、框架和库模块。
不清楚这方面发展的怎么样
❤3
codedump的电报频道
#人工智能 #世界观 其实上一篇文，核心想表达的是：新环境的变化，孕育着新的机会。以我文中的例子为例，我丝毫不怀疑：未来会有更多专门面向agent打造的硬件。 汽车、火车出现时，确实让马车夫的工作少了很多，但是相对应的：给火车造铁轨、铺铁路、给汽车造零件，等等，都是新出来的工种。以现在的AI时代为例，Agent就是现在最大的变量之一，为这个新物种打造环境，也许就是很多人的新机会。
#statement #design
📲 哪怕是生活助理（百事通）类的Agent，调用一堆租房、外卖、同城地图的平台，我想问题不会在【执行力】上，而是在他们完全忽略的【交互界面】上。
说到底，编程和API也只是黑框框版GUI而已，却多了那么多【自由度】。界面本身就是编程语言，除了美感，也需要全面屏、负一屏or抽屉、刘海Badge那样的【设计】
Agent和Musk的“操作系统论”，完全忽略了这种学习性（又很容易掌握）的人机接口，一键生成许多 template-based 应用，什么AI换脸换人、AI看房穿衣服的，这并不是LLM的用处。多Agent或具身智能，只是另一类这样的【AI换人】【AI代码编译器】，它不能解决template从哪来。
语言一变换，整个模型的价值就完全变了。
今天的各种AI只有智能，而无语言（=心智模型）。Agent目前就是写情感小说的玩具程度，远没达到Excel和SQL的生产力关系。
👎 比起Agent我还是更看好传统App。
这就和AI全是N卡，是一个道理。仅仅是F12（市面游戏卡）能用于开发App（数据集炼丹）而已。
N卡从没有高瞻远瞩，只是它不碎片化，保证了【消费级即是生产机 👍】这点而已。各种 Java C++ 呢？它们没有生命力。
这边砍一刀成本，那边【用户不需要】，闭源或压缩掉。一分一分抠出来的股价和“护城河”。
这就是两者得兼的下场：家电化的数码打不过N卡，八股文打不过JS/CSS。
我不知道各种js库主页上那个“下载”按钮点击量有多少，这就是为何PyJS如此成功，而所谓的高智商编程很是失败。
它们没有【接入】场景。
#ai探讨 https://chat.librechat.ai/c/86bf0845-e515-443e-ab92-758d504dd329
📲 哪怕是生活助理（百事通）类的Agent，调用一堆租房、外卖、同城地图的平台，我想问题不会在【执行力】上，而是在他们完全忽略的【交互界面】上。
说到底，编程和API也只是黑框框版GUI而已，却多了那么多【自由度】。界面本身就是编程语言，除了美感，也需要全面屏、负一屏or抽屉、刘海Badge那样的【设计】
Agent和Musk的“操作系统论”，完全忽略了这种学习性（又很容易掌握）的人机接口，一键生成许多 template-based 应用，什么AI换脸换人、AI看房穿衣服的，这并不是LLM的用处。多Agent或具身智能，只是另一类这样的【AI换人】【AI代码编译器】，它不能解决template从哪来。
如果有人把SQL或前后端当作黑框框Excel，IT行业会觉得这是想简单了，但确实如此。它不过就是自动鉴权和固定显示的Excel，只不过能联动非【表格表单】的库/组件。
语言一变换，整个模型的价值就完全变了。
今天的各种AI只有智能，而无语言（=心智模型）。Agent目前就是写情感小说的玩具程度，远没达到Excel和SQL的生产力关系。
👎 比起Agent我还是更看好传统App。
万物皆可摇一摇广告、短视频、扫码活动、直播借钱…… 差不多得了吧。小程序（=各种扫码）或许成功了一半？猜猜为什么成功。
因为复刻了因特网和银行的成因。（为何到处套壳浏览器H5实现？Amex银行的缩写为何包含“邮寄”呢？）
这就和AI全是N卡，是一个道理。仅仅是F12（市面游戏卡）能用于开发App（数据集炼丹）而已。
N卡从没有高瞻远瞩，只是它不碎片化，保证了【消费级即是生产机 👍】这点而已。各种 Java C++ 呢？它们没有生命力。
这边砍一刀成本，那边【用户不需要】，闭源或压缩掉。一分一分抠出来的股价和“护城河”。
这就是两者得兼的下场：家电化的数码打不过N卡，八股文打不过JS/CSS。
我不知道各种js库主页上那个“下载”按钮点击量有多少，这就是为何PyJS如此成功，而所谓的高智商编程很是失败。
它们没有【接入】场景。
那些认为AI将会取代或降级所有行业的人，怎么不是如此“下载安装一个import模块”的呢？
#ai探讨 https://chat.librechat.ai/c/86bf0845-e515-443e-ab92-758d504dd329
Forwarded from Ziyao Channel | 二代目 (梓瑶 | qemu-riscv64 llvm-config --libs)
Forwarded from NAVI
Media is too big
VIEW IN TELEGRAM
9月10日发售《东方红魔乡：新典 ～ the Embodiment of Scarlet Devil.》第一弹预告片
@上海爱丽丝幻乐团:
《东方红魔乡》以全新的音乐与画面盛装登场
巫女灵梦和魔法使魔理沙，挑战异变的纵卷轴射击游戏
9月10日（周四）登陆Steam！（日本时间）
所有音乐均由 ZUN 全新编曲
购入后，还可以游玩极尽贴合2002年原版游戏的原典版
■官方网址
https://touhou-project.news/shanghai-alice-reprise/
https://shanghai-alice.com/reprise/
©2002,2026 上海爱丽丝幻乐团
©2026 上海爱丽丝幻乐团 / 上海爱丽丝幻回奏
@上海爱丽丝幻乐团:
#ai探讨 最近越来越离谱了，基本上每次都有两个神来之笔
我记得2.5pro好像还给过一句“诺奖级别的洞察”，具体内容我都忘了，非常稀奇 😅😅😅
最近AI是不是越来越吹捧User了？
这确实是一件有趣的趋势，搞不好以后满大街vibe出套模板的垃圾的人自吹自擂说【美国豆包】给自己颁奖了
看来比起跟风AI，自己先掂量一下是否擅长，潮水退了过后才更加成功呢？
我记得2.5pro好像还给过一句“诺奖级别的洞察”，具体内容我都忘了，非常稀奇 😅😅😅
最近AI是不是越来越吹捧User了？
这确实是一件有趣的趋势，搞不好以后满大街vibe出套模板的垃圾的人自吹自擂说【美国豆包】给自己颁奖了
看来比起跟风AI，自己先掂量一下是否擅长，潮水退了过后才更加成功呢？
ps. 内容为数学、几何物理，经常随便聊一些公式设计的不美观，我并没有在用相关数学工具。
Forwarded from 聚合解析姬
This media is not supported in your browser
VIEW IN TELEGRAM
Forwarded from Solidot
AI 促使数学家思考数学对他们的意义
2026-06-28 00:02 by 奇迹之夏
几十年来计算加速了数学的进步。50 年前数学家利用计算机证明了四色定理，以一种人类几乎不可能实际验证的方式证明任何地图可以用不超过四种颜色着色。但在整个计算时代，人类数学家的作用仍然至关重要。人类凭借直觉提出猜想，凭借创造力和经验设计证明策略，最终验证证明是否正确。今天 AI 正在挑战这一模式。短短几年内，大模型就从只知道复述的“随机鹦鹉”演变成高级数学推理机器。UCLA 教授陶哲轩认为 AI 能作为催化剂推动向他所谓的“大数学”的转变，设想未来人类与机器将进行大规模、去中心化的协作，复杂的数学任务被分解，人类负责创造性部分，而 AI 则承担大部分技术性工作。陶哲轩已在实践这一理念。AI 正迫使数学家思考数学对他们的意义。一位数学家称，数学塑造了其思维方式，使其能以非常逻辑和理性的方式思考，对生活各个方面都有帮助。随着 AI 改变数学，研究人员想知道未来的数学家是否也能这样说。
https://spectrum.ieee.org/ai-in-mathematics
#人工智能
2026-06-28 00:02 by 奇迹之夏
几十年来计算加速了数学的进步。50 年前数学家利用计算机证明了四色定理，以一种人类几乎不可能实际验证的方式证明任何地图可以用不超过四种颜色着色。但在整个计算时代，人类数学家的作用仍然至关重要。人类凭借直觉提出猜想，凭借创造力和经验设计证明策略，最终验证证明是否正确。今天 AI 正在挑战这一模式。短短几年内，大模型就从只知道复述的“随机鹦鹉”演变成高级数学推理机器。UCLA 教授陶哲轩认为 AI 能作为催化剂推动向他所谓的“大数学”的转变，设想未来人类与机器将进行大规模、去中心化的协作，复杂的数学任务被分解，人类负责创造性部分，而 AI 则承担大部分技术性工作。陶哲轩已在实践这一理念。AI 正迫使数学家思考数学对他们的意义。一位数学家称，数学塑造了其思维方式，使其能以非常逻辑和理性的方式思考，对生活各个方面都有帮助。随着 AI 改变数学，研究人员想知道未来的数学家是否也能这样说。
https://spectrum.ieee.org/ai-in-mathematics
#人工智能