#奇思妙想 我觉得作为人最重要的事是寻找或者设立目标。实现不重要，但同时实现也很重要。找到了每步要证明什么引理，证明就已经基本完成了；想好了用什么中间表示，实现编译器就只剩下体力话。所谓设计，就是在无穷多个可行解里通过添加中间目标，比如想要对称性，想要结构化，想要易于变换，想要 robust ，想要简洁，最终得到一个只有唯一若干个解的问题。对，是要得到问题，而不是结果。结果很重要，但仅当你的结果编码了你找到的每个中间目标——如果一个预言机只是告诉你 P=NP 是真的，那也是没什么用的。
如果缺乏问正确问题的能力，那即使是面对真的预言机，你得到的回答只会是 QB 给你实现的愿望那般，精准在你以为在意但又没足够在意的地方加夭蛾子。什么，听说你要优化人均寿命？亲亲这边可以给您优化成 NaN 哦，绝对不小于任何历史数据。
Forwarded from 知乎大巴扎
怎么让老百姓敢花钱？ | 原文
Telegraph
怎么让老百姓敢花钱？
“养懒汉”。 不养懒汉是很多人的思想钢印，实际上，这种观念在如今非常有害。 大学那会儿过五一，学校让我们去南区（校区新扩建）挖土。我们全班挖了一上午，工程量没完成一半，最后班头儿给旁边挖掘机师傅递了根烟，挖掘机过来舀了几铲子——比全班一上午挖的土都多。 那时起，我心中隐隐有了一个想法：人类在物质上的生产力已经非常强大了。 多年以来，见证了载人飞船上天，见证了一机能顶两百人的棉花收割机，见证了炒菜机器人，见证了ai生文生图生视频……我猜想：人类目前的生产力，已经足以让每一个人都过上小康生活。 唯一需要解决的问题是：分配。…
https://www.youtube.com/watch?v=II2QF9JwtLc
这个算不算咕果使用垄断地位不当竞争
这个算不算咕果使用垄断地位不当竞争
YouTube
Google is killing authentic websites & I made it worse 😔
Google delisted my business for almost a year. Professional SEO couldn't fix it, creating a new site didnt help. What finally worked was having AI rewrite my authentic content into corporate-friendly bunk. I hate that it worked.
This video took me a month…
This video took me a month…
杀一个只会用 llm 而没有办法体现任何自己智能性的东东算杀人吗？包括不会编辑/编写或以任何方式变换 prompt 和/或 llm 输出结果，输入是 copy 来的，输出也是直接 copy 到别的地方去。
Anonymous Poll
35%
若此物为生物，在生物学上算人种那就算杀人
12%
仅当此物为生物，且能产生人类后代或有人类祖先才算杀人
31%
无论如何都不算杀人
23%
会用 llm 即可说明此物+llm 拥有人类智能，所以无论如何都算人
Forwarded from ᴊᴜsᴛ ᴀ ᴘᴇᴇᴋ
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Hacker News
Four Column ASCII (2017) (❄️ Score: 154+ in 2 days)
Link: https://readhacker.news/s/6MLmq
Comments: https://readhacker.news/c/6MLmq
Link: https://readhacker.news/s/6MLmq
Comments: https://readhacker.news/c/6MLmq
Forwarded from dram :: Channel (dram🎀)
太阳从西边出来了，6202 年 nixos 正在被写进 fhs
> Therefore, this MR aims to license all three widely used filesystem layouts: split /usr, merged ‘/usr’, and the Nix/Guix layout, which I’m calling “store-based.” To that end, it introduces the concept of “installation directories,” which are build-time variables that can be set either directly to an absolute path, or relative to an “installation prefix.”
https://gitlab.freedesktop.org/FHS/fhs-spec/-/merge_requests/4
> Therefore, this MR aims to license all three widely used filesystem layouts: split /usr, merged ‘/usr’, and the Nix/Guix layout, which I’m calling “store-based.” To that end, it introduces the concept of “installation directories,” which are build-time variables that can be set either directly to an absolute path, or relative to an “installation prefix.”
https://gitlab.freedesktop.org/FHS/fhs-spec/-/merge_requests/4
GitLab
Begin drafting FHS 4 by introducing concepts of profiles and installation directories, and stripping out many obsolete requirements…
Last y’all heard from me, I was saying I thought there should be FHS 3.5 that minimally addressed the outstanding issues. Then I disappeared for two months and...
Forwarded from &'a ::rynco::UntitledChannel (Rynco Maekawa)
知乎专栏：Vibe Coding 和赌博的神经机制完全一致
https://zhuanlan.zhihu.com/p/2007648525140374617
https://zhuanlan.zhihu.com/p/2007648525140374617