代码高尔夫挑战:元胞自动机规则 30
本文介绍了代码高尔夫挑战,要求用尽可能少的代码生成元胞自动机规则 30 的前 32 行。规则 30 是一种特殊类型的元胞自动机,它展示了简单规则、混沌和随机性产生的复杂性,并且是不可计算约简的。
阅读更多
本文介绍了代码高尔夫挑战,要求用尽可能少的代码生成元胞自动机规则 30 的前 32 行。规则 30 是一种特殊类型的元胞自动机,它展示了简单规则、混沌和随机性产生的复杂性,并且是不可计算约简的。
阅读更多
本文回顾了Chandy-Lamport分布式快照协议,该协议用于记录分布式系统中程序的全局状态。文章解释了在缺乏全局时钟的情况下获取一致性快照的挑战,并详细介绍了该协议的工作原理,包括标记消息的使用和快照收集过程。此外,文章还列举了实际系统中使用该协议的例子,例如Hazelcast Jet和Apache Flink,并提供了一个使用TLA+规范语言编写的协议规范。
阅读更多
文章揭露程序化广告在传播虚假信息方面的问题,广告主为追求低价和精准投放,往往忽视了广告出现的网站内容,导致广告资金流向虚假信息网站,助长了虚假信息的传播。
阅读更多
文章回顾了近十年来,科学家尝试用电改造人体免疫系统的趋势和研究。科学家最初关注于用电刺激迷走神经来控制免疫反应,并投入了大量资金研发相关植入设备。然而,这种方法存在副作用,且疗效尚不明确。近年来,科学家开始探索用电直接操控皮肤、肾脏等部位的细胞,并取得了一些进展,例如研发出生物电绷带、治疗自身免疫性疾病的新方法等。未来,用电改造免疫系统的研究将更加注重细胞层面的操控,并需要更多资金和政策支持。
阅读更多
本文介绍了如何使用纯 HTML 和 CSS 创建一个具有“随机”电脑玩家的井字游戏。作者详细解释了游戏逻辑的实现,包括使用单选按钮和标签模拟按钮和状态、利用 CSS 的 has 操作符判断游戏状态、以及如何通过隐藏标签和动画实现随机选择。此外,文章还介绍了如何添加音频彩蛋和扩展计算器功能。
阅读更多
MultiArrayQueue是一种新的队列数据结构,它继承了基于数组的队列的优点,同时克服了其主要缺点:固定大小。该队列由多个对象数组支持,这些数组的大小呈指数级增长,所有数组都在使用中,但只有第一个数组(具有初始容量)是预先分配的。
阅读更多
Shodan是全球首个针对联网设备的搜索引擎,它可以帮助用户发现从发电厂、手机、冰箱到Minecraft服务器等各种设备。它不仅可以监控网络风险,提供网络安全视图,还能帮助用户了解各种产品的用户和发展趋势。Shodan拥有超过300万注册用户,包括财富100强企业、云服务提供商和高校等,为开发者提供了全面的API接口。
阅读更多
这篇文章回顾了20世纪60年代和70年代中文输入法的多样化发展历程,特别关注了那些完全摒弃QWERTY键盘的设计。文章介绍了叶瞻辉发明的IPX键盘,它利用120级“切换”功能,将近2万个汉字和其他符号整合到一个比QWERTY键盘稍大的界面中。其他系统包括具有256到2000个键的键盘,以及使用手写笔和触摸感应板,或围绕旋转圆柱形界面包裹的汉字网格等设计。文章还探讨了中国大陆在中文信息处理方面的进展,例如北京大学开发的中型键盘,该键盘结合了汉字和汉字部件,并采用“一键多用”的理念。最后,文章还介绍了英国研究人员设计的圆柱形中文键盘Ideo-Matic Encoder,该键盘将4356个按键的网格包裹在一个旋转的管状结构上。
阅读更多
本文回顾了人工义眼制作的历史,从古代使用焦油、动物脂肪和金线,到现代使用聚甲基丙烯酸甲酯(PMMA)等材料。文章重点介绍了眼科医师的作用,他们需经过多年培训,才能掌握制作逼真义眼的艺术。文中还讨论了义眼技术的发展,包括植入物改善眼球运动、3D打印技术的应用等。最后,文章指出,尽管技术不断进步,但手工制作依然是义眼制作的关键,未来人工义眼技术将继续发展,为更多患者带来福音。
阅读更多
本文探讨了“X 速度慢,但这是可以预料的,因为它需要做很多工作”这一说法。作者认为,这种说法常常忽略了对问题和解决方案的深入分析,并列举了 X 速度慢的几种可能原因,包括算法效率低下、实现不佳、未充分利用硬件、执行了不必要的任务以及问题框架不当等。作者强调,只有在对问题和解决方案进行全面分析和优化后,才能断言 X 的速度慢是合理的。
阅读更多
爱因斯坦和哥德尔是亲密的朋友,他们每天都会在普林斯顿高等研究院之间往返步行。爱因斯坦很珍惜与哥德尔在一起的时光,他们的对话涵盖政治、哲学和物理等多个领域。与爱因斯坦的超高人气不同,哥德尔并不为名声所扰。
阅读更多
Chess Twist 是一款设定在程序生成棋盘上的国际象棋变体游戏,直线弯曲,对角线分叉。规则相同,战场不同。新策略的机会隐藏在显而易见的地方。你能比对手先看到它们吗?
阅读更多
本文介绍了一个用于反汇编 Dalvik 字节码的小型库,该库可作为使用 Rust 构建 Android 应用程序和系统服务静态分析工具的基础。作者对比了 Bytecode Viewer 和 Ghidra 在反汇编 Dalvik 代码方面的优缺点,并介绍了自己开发 Dalvik 反汇编工具的原因和过程,该工具能够以图形化的方式展示代码的控制流程,尤其是在异常处理方面。
阅读更多
文章总结了六位来自不同背景的专家在过去一年中构建基于LLM的真实世界应用程序所获得的经验教训。文章分为战术、运营和战略三个部分,详细探讨了与LLM工作相关的各个方面,包括提示技巧、评估策略、检索增强生成、工作流程优化、数据处理、模型选择、产品设计、团队角色以及长期业务策略等。文章强调了理解LLM工作原理、关注数据质量、注重评估和监控、优先考虑产品需求以及团队协作的重要性,并提供了许多实用建议和真实案例。
阅读更多
本文介绍了Zig全新命令行进度条的实现原理和使用方法。该进度条旨在提供最佳用户体验,支持子进程进度显示,并能通过管道进行进程间通信。文章详细解释了线程安全、无锁API的设计,数据序列化和树形结构处理,以及终端绘制和进程间通信的细节。最后,文章还提供了一个Zig进度协议规范,允许其他编程语言也能参与进来。
阅读更多
本文研究了机构投资者是否进行有效投资的问题。作者利用包含超过 16,000 家初创公司(代表超过 90 亿美元的投资)的新数据集,结合机器学习方法来评估早期投资者的决策。研究发现,高达一半的投资是可以预测的糟糕投资——根据投资时已知的信息,预测的投资回报率低于现成的外部选择。这些糟糕投资的成本为 1,000 个基点,在我的数据中总计超过 9 亿美元。作者提供的证据表明,过度依赖创始人的背景是这些选择背后的一个机制。
阅读更多
文章讨论了 Rust 中面向对象编程的概念,特别关注了“对象安全”方法。作者认为,只有那些可以使用动态分派并在 trait 对象中使用的关联函数才应该被称为“方法”。文章解释了关联函数、接收器、泛型、静态分派和动态分派等概念,并通过示例代码演示了如何实现对象安全的方法。
阅读更多
苹果公司计划在其云服务中创建一个“虚拟黑匣子”,用于处理人工智能应用程序的数据。该系统被称为“数据中心中的苹果芯片”(ACDC),将只使用苹果的硬件进行人工智能处理,旨在通过控制硬件和软件来提高安全性,并防止数据被滥用或泄露,即使是苹果公司本身也无法访问这些数据。
阅读更多
本文介绍了作者为其 Lisp 编译器添加的一些优化,包括常量折叠与传播、死代码消除等,这些优化可以生成更小、运行速度更快的程序。文章详细介绍了这些优化的实现方法,以及如何通过 AST 变换来优化代码。此外,作者还分享了测试优化效果的经验,并计划在未来添加端到端测试套件。
阅读更多
尽管存在负面宣传,但加州的电动汽车销量正在快速增长,2024 年第一季度的新能源汽车销量创历史新高。加州目前是美国电动汽车和相关产品制造中心,拥有丰富的锂资源,为电池生产提供了保障。加州政府正在大力投资充电基础设施建设,并制定了严格的充电可靠性标准,以解决充电难题。加州的成功经验表明,环境可持续性和经济繁荣可以齐头并进,为全美乃至全球电动化转型提供了参考。
阅读更多
Chrome自动图片屏蔽器是一款轻量级浏览器扩展程序,可以根据自定义的时间表自动屏蔽网页上的图片,以减少干扰并加快页面加载速度。用户可以手动切换图片的显示或隐藏,并设置自动屏蔽的时间间隔。
阅读更多
这篇文章纪念了Frances Hesselbein女士传奇的一生,她是一位杰出的领导者,曾担任美国女童子军CEO,任期内扭转了组织颓势,并因其卓越贡献被授予总统自由勋章。作者赞扬了Frances Hesselbein的领导风格,她提倡“圆形管理”,强调包容性和多样性,以及“做需要做的事”的行动力。作者认为,像Frances Hesselbein这样低调务实、以身作则的领导者应该得到更多关注。
阅读更多
本文分析了美国社会普遍存在的睡眠不足问题,指出睡眠不足并非简单的个人习惯问题,而是与社会经济地位、健康状况密切相关。低收入地区、失业率高、健康状况差的人群更容易睡眠不足,而这又进一步加剧了社会不平等。文章呼吁社会关注睡眠问题,并提出改善医疗保健、收入支持、心理健康项目以及调整学校上课时间等措施来解决这一问题。
阅读更多
这篇文章介绍了塔比莎·斯坦莫尔的新书《狡黠的子民:实用魔法时代的生活》。这本书讲述了中世纪晚期和近代早期欧洲(大约 14 世纪到 17 世纪后期)“服务型魔法师”的故事,他们提供各种日常魔法帮助以换取报酬。作者还破除了关于这一时期的一些误解,比如并非所有使用魔法的人都被认为是女巫,以及中世纪的猎巫行动并不像人们想象的那么普遍。
阅读更多
一篇微信文章揭露,2000年代初期的中文互联网内容几乎完全消失,包括百度、网易、搜狐等门户网站以及大量个人网站的内容。作者何加盐认为,除了技术更迭和商业利益等因素外,中国官方对历史和舆论的政治控制也是重要原因。文章引发热议后很快被删除。
阅读更多
微软确认,从 Windows 11 24H2 开始,系统将不再默认包含 AC-3 编解码器(杜比数字)。这意味着用户将无法使用 Windows 11 的内置应用播放使用 AC-3 编码的音频文件。不过,用户仍可选择手动安装 AC-3 编解码器或使用第三方播放器(如 VLC、MPV)播放相关音频。
阅读更多
电动汽车初创公司Fisker正在濒临破产,其首款车型Ocean SUV存在诸多机械和软件问题,客户服务不佳,保修系统不完善,备件短缺。公司创始人Henrik Fisker和Geeta Gupta-Fisker夫妇的决策失误是导致公司走向崩溃的主要原因。他们追求酷炫的设计而忽视工程验证,拒绝建立完善的客户服务和保修体系,以及过度依赖代工厂导致备件不足等问题,最终导致公司陷入困境。
阅读更多