小红花·文摘
  • 首页
  • 广场
  • 排行榜🏆
  • 直播
  • FAQ
Dify.AI
Fable在我亲手设计的证明语言中抓出罗素悖论

Bend2编程语言试图成为数学证明工具,但发现了严重漏洞。AI助手Fable发现了设计者未察觉的后门,证明了该语言的不安全性。虽然Fable在识别问题上表现出色,但在解决方案上仍需依赖设计者的专业知识。最终,设计者提出将类型系统分为两种的方法,以确保安全性。这一事件突显了AI在发现问题方面的优势,但在解决复杂问题时仍需人类智慧。

Fable在我亲手设计的证明语言中抓出罗素悖论

极道
极道 · 2026-07-04T23:18:00Z
在等待 AI 的时候,干些什么好?

在等待AI时,我们应拓宽生活选择,享受闲暇。罗素认为技术应创造闲暇,人人应有享受的权利。面对无聊时,深思自我,积极利用闲暇,才是人生的真正价值。

在等待 AI 的时候,干些什么好?

学无止境@一点一滴
学无止境@一点一滴 · 2026-03-15T15:00:00Z
据报道,漫威公司花费巨资邀请罗伯特·唐尼·小和罗素兄弟回归

漫威公司在圣迭戈动漫展上宣布,罗素兄弟将执导《复仇者联盟:末日》和《复仇者联盟:秘密战争》,为此漫威花费了8000万美元。罗伯特·唐尼·小将在片中饰演反派角色“毁灭博士”,而非钢铁侠,此举旨在重振漫威电影宇宙。

据报道,漫威公司花费巨资邀请罗伯特·唐尼·小和罗素兄弟回归

The Verge
The Verge · 2024-07-30T15:25:59Z
漫威将罗素兄弟请回执导接下来的两部复仇者电影

漫威确认罗素兄弟将执导两部新复仇者电影《末日》和《秘密战争》。罗伯特·唐尼·朱尼尔将回归MCU,饰演毁灭博士。《末日》定于2026年5月上映,《秘密战争》则在2027年5月。

漫威将罗素兄弟请回执导接下来的两部复仇者电影

The Verge
The Verge · 2024-07-28T02:19:20Z
人生是旷野 —— 罗素《幸福之路》

这篇文章讲述了作者在通勤时听书的感受,认为人类失去了探索和冒险精神。作者引用罗素观点,主张多样化兴趣和观点,追求多姿、真诚、自然的生活。作者分享了自己的好奇和感知,以及从中获得乐趣的经历。最后,作者表示人生就像旷野,比想象中更自由。

人生是旷野 —— 罗素《幸福之路》

木鸟杂记
木鸟杂记 · 2024-07-28T00:30:37Z
生活是一片荒野 —— 伯特兰·罗素的《幸福的征服》

伯特兰·罗素在《幸福的征服》中探讨了人类从狩猎时代到农业时代的转变,尽管生活变得稳定,但人们失去了探索的乐趣。他认为,过度关注自我会导致无聊和痛苦,建议人们培养多样的兴趣,放下固有观念,享受生活的美好。罗素提倡多元化的生活方式,以应对人生的无常,鼓励人们在探索中找到快乐。

生活是一片荒野 —— 伯特兰·罗素的《幸福的征服》

木鸟杂记
木鸟杂记 · 2024-07-28T00:30:37Z

1927年,伯特兰·罗素发表《为什么我不是基督徒》一文,批评基督教的不足,反驳设计论点和道德论点,质疑信仰和教义。网友讨论中有人认为逻辑不能作为全部信仰,有人认为无神论有吸引力。但也有人认为基督教是西方文明基石,无神论无法回答生命意义和目的。

罗素《为什么我不是基督徒》后续

极道
极道 · 2023-11-15T01:43:00Z

看大多数哲学家写的书都很不容易看下去,但是罗素的书,竟然能看得下去,看完之后发现过去 100 年了,但是罗素时代人类的问题,到现在依然没变,反而在某些方面更糟了。 这本罗素全集共 4 册,我只看了其中的...

罗素全集

Owen的博客
Owen的博客 · 2022-10-11T05:34:58Z

爱因斯坦、罗素和托尔金等知识分子反对战争并主张裁军,但一战后英法对德国的严厉政策导致了二战的爆发。

关于战争与和平的碎碎念

一派胡言
一派胡言 · 2022-03-03T17:07:13Z

—摘自伯特兰.罗素 《罗素自选文集》— 我们是否能拥有一种称得上是知识的东西。15岁那年我在日记中写道:除了意识可以例外

罗素自选文集

夜行人
夜行人 · 2018-10-14T00:00:00Z

有点标题党,海森堡测不准原理大家都知道吧,你观测一个东西以获得他精确的描述,然而你测量行为本身就会干扰这个东西的存在,从而永远无法准确测量。 近日贝壳碰到一个计算机中的海森堡效应,因为工作需要,贝壳需要获得/proc/loadavg中的load参数。这个参数在uptime时会显示,大致意义是这一秒内平均的活跃进程数。(对电脑无爱者请自行跳过以下内容到下一段)准确的计算方法是在一秒内的所有ti...

计算机中的海森堡效应和罗素悖论

Shell's Home
Shell's Home · 2009-09-08T09:58:00Z
  • <<
  • <
  • 1 (current)
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码