Phoenix LiveView 1.0.0 发布，这是一个重要的里程碑，距离首次提交 LiveView 代码已经过去了六年。LiveView 的目标是创建无需编写 JavaScript 的动态服务器端渲染应用程序，从而避免 JavaScript 带来的复杂性。LiveView 通过将模板分解为静态和动态部分，实现了高效的差异引擎，只更新客户端实际更改的内容。它还支持实时双向通信、可复用组件 (HEEx)、交互式上传、流式处理和异步操作等功能，提供更流畅的用户体验和更简单的开发流程。LiveView 的性能优于许多 SPA 应用，并且易于扩展。
阅读更多
两位程序员耗时两周开发出一款名为Droste's Lair的奇幻编程环境游戏。游戏中，玩家通过拖拽、放置等直观操作来构建和计算数学结构，并运用“amb”机制实现分支执行和递归调用。游戏以剑与魔法为主题，玩家需完成一系列挑战，例如反转列表元素、生成所有扑克牌花色组合以及计算多米诺骨牌覆盖棋盘的方法数。Droste's Lair巧妙地结合了编程和游戏元素，为学习编程和数学概念提供了一种新颖有趣的途径。
阅读更多
Tig是一款基于ncurses库的文本模式Git界面，它主要用作Git仓库浏览器，但也可以辅助进行分块提交暂存更改，并充当各种Git命令输出的分页器。Tig提供便捷的安装和使用说明，以及版本发布说明，方便用户获取最新功能和错误修复。用户可以通过官网、GitHub、Gitter和Stack Overflow等渠道获取更多信息、报告问题或提出功能请求。
阅读更多
Steel是一个开源浏览器API，旨在简化构建与Web交互的AI应用和代理。它提供了一个生产就绪的容器化浏览器沙盒，可以部署在任何地方。Steel具备内置的隐身功能、文本到Markdown的会话管理、用于查看/调试会话的UI，以及通过Puppeteer、Playwright和Selenium等标准自动化框架进行全面浏览器控制。它提供REST API用于控制、运行和管理浏览器环境，包括浏览器实例、会话和页面管理、代理支持、扩展支持、调试工具、反检测和资源管理等功能。
阅读更多
作者克里斯·阿纳德以其独特的视角，通过观察美国各地麦当劳餐厅，揭示了美国社会底层人民的真实生活。从特朗普在麦当劳的政治作秀，到麦当劳成为精神疾病患者的避风港，以及麦当劳作为社区中心的功能，作者指出，麦当劳超越了快餐的意义，它反映了美国社会中人与人之间的联系，以及人们对归属感的渴望。精英阶层往往忽视这种底层社区的价值，而作者强调，这些自发形成的社区是美国社会韧性的体现。
阅读更多
本文介绍了如何在 Proxmox 或 QEMU 虚拟机中安装 ChromeOS Flex，无需使用物理机或 U 盘。文章详细讲解了创建虚拟机、挂载 ChromeOS Flex 镜像以及设置 VirGL 显卡驱动等关键步骤，并提供了一些实用技巧，例如取消预注册密钥选项以避免启动错误。
阅读更多
Modelica协会致力于推广Modelica语言及其相关工具，Modelica是一种面向对象的建模语言，用于构建和模拟复杂系统，尤其擅长对基于数学方程的、可重用的组件进行非因果连接建模。该协会提供语言规范、工具、库以及社区支持，助力用户高效地进行系统建模。
阅读更多
Andy Konwinski发起了一项名为K奖的百万美元竞赛，旨在推动开源AI代码能力的进步。该竞赛基于一个改进版的SWE-bench基准测试，该版本去除了测试集污染，以更准确地评估AI模型的真实编码能力。Konwinski受到Netflix Prize的启发，相信竞赛能够促进AI研究发展，并吸引全球顶尖人才参与。
阅读更多
一位名叫Trey的程序员为一家3G电信初创公司工作。他编写了一个自动化支付测试程序，本意是进行小额测试交易，却因程序中三个Bug导致程序每五分钟向测试账户注入100美元。由于缺乏存活性检查，一个网关故障导致程序持续运行数小时，最终累积了巨额款项。第二天早上，Trey面临着安全团队的质询，直到部门主管解释清楚才化险为夷，但测试账户余额也被清零。
阅读更多
Leslie Lamport的著作《并发程序的科学》即将由剑桥大学出版社出版。最终版PDF版本现已发布，同时提供的还有支持材料，其中包含书中许多示例的TLA+规范以及如何使用它们的说明。该PDF版本受版权保护，未经作者或出版商事先书面许可，不得出于商业目的或个人使用以外的任何目的进行复制或分发。
阅读更多
kapa.ai是一家帮助科技公司构建AI支持和引导机器人的公司，目前正在招聘软件工程师、客户经理和应用AI研究工程师。kapa.ai已获得Initialized Capital、Y Combinator等知名投资机构的投资，其产品已被OpenAI、Mixpanel等150多家领先的初创公司和企业使用，服务超过75万开发者。
阅读更多
加拿大首个针对盗版IPTV服务GoldTV的网站封锁令在本周到期。权利人Bell和Rogers等公司未申请延期。尽管如此，许多目标域名仍然在线。此举可能与成本和优先事项变化有关。该封锁令在2018年获得批准，2021年上诉法院驳回了互联网服务提供商TekSavvy的上诉。虽然封锁令对打击盗版起到了作用，但权利人最终决定不再延长，转向了针对体育赛事直播等更广泛的动态封锁措施。
阅读更多
英国信息专员办公室（ICO）将发布新指南，以应对智能家居设备数据隐私问题。此前，Which？的一份报告发现，一些空气炸锅等智能设备会将用户个人数据发送到中国服务器。ICO表示，消费者感觉家用产品收集了过多的信息，并且对信息的用途和共享方式感到无力控制。新指南将于2025年春季发布，将涵盖如何征求同意、提供隐私信息以及用户行使权利所需的工具等方面。
阅读更多
本文探讨了Go语言中联合类型的引入和零值问题。作者认为，理想的联合类型需要支持非空类型，以强制处理空值，避免错误。Go语言目前的零值机制和非空类型的缺失，使得联合类型的引入变得复杂。即使引入支持零值的联合类型，其作用也可能仅限于节省内存，而无法实现像选项类型那样更强大的功能。作者认为，鉴于Go开发者对零值机制的保留态度，Go语言不太可能引入强大的联合类型。
阅读更多
本文介绍了如何使用Minecraft游戏实验性地估算四个不同的数学常数：√2、π、欧拉数e和阿培里常数ζ(3)。文章首先简要介绍了每个常数的历史及其在数学中的应用，然后解释了如何利用Minecraft的机制来估算这些常数。文章的目标不在于获得最精确的近似值，而是激发人们在学习各种数学主题的同时享受乐趣。
阅读更多
作者在11月进行了一项挑战，将家庭网络切换到纯IPv6环境，并记录了遇到的问题和解决方案。挑战初期，纯IPv6环境下很多设备和服务无法正常工作，例如游戏主机、部分网站等。随后，作者引入了NAT64、DNS64和CLAT等过渡技术，解决了大部分兼容性问题。作者还介绍了IPv6-mostly的概念，即在双栈网络中，设备优先使用IPv6，仅在必要时使用IPv4，并认为这是一种更平滑的过渡方案。最终，作者推荐家庭网络用户部署IPv6-mostly，并鼓励软件和硬件开发者在纯IPv6环境下测试产品。
阅读更多
出生于1947年的日本艺术家永井宏以其多产的波普风格绘画而闻名，他的作品成为20世纪70年代末80年代日本城市流行运动的背景。永井宏深受美国波普艺术和英国波普艺术家（如大卫·霍克尼）风格的影响，专注于对20世纪50年代美国风景的想象，并将这种风格与日本城市流行音乐的兴起相结合，为许多城市流行音乐专辑设计封面，他的艺术风格可以说是对整体美学最大的贡献之一。如今，他的作品又被蒸汽波运动所吸收，这种现代场景基于怀旧美学，并大量借鉴日本过去的泡沫时代。
阅读更多
本文探讨了在Go语言中实现类似Rust的Result类型或Option类型的复杂性，特别是在实现类似联合类型（Union Type）的特性时。作者指出，简单的结构体模拟无法达到真正的联合类型效果，因为Go的垃圾回收机制需要知道内存区域的数据类型。在没有编译器和运行时支持的情况下，Go的垃圾回收器无法区分指针和整数，这使得实现真正的联合类型变得困难。虽然可以使用接口类型或unsafe.Pointer，但这可能导致额外的堆分配，效率较低。此外，向Go添加联合类型不仅需要修改编译器，还需要调整垃圾回收、内存分配系统等，因此Go不太可能添加联合类型。
阅读更多
本文讲述了软件工程师James Mackey创办法律科技公司LawStar，并一年后将其出售的经历。LawStar旨在解决法律引文格式繁琐的问题，特别是针对蓝皮书引文标准。Mackey通过调查发现法律系学生对自动化引文工具有强烈需求，于是开发了LawStar网站和Chrome扩展程序，方便学生从法律研究网站一键生成引文。虽然初期推广遇到困难，但通过改进产品并积极在法学院推广，用户数量逐渐增长。Mackey最终选择将LawStar出售，因为他认为自己已经积累了足够的经验，并希望转向更有挑战性的项目。
阅读更多
本文作者通过编写代码和使用工具rsqlite来探究SQLite数据库的底层存储机制。文章以创建名为planets的数据库为例，展示了数据库文件内部结构，并通过hexdump和rsqlite的输出结果进行对比分析。作者深入探讨了数据库更新和vacuum操作的实现方式，例如，数据库如何处理数据更新导致的溢出，以及vacuum如何重新组织数据以减少磁盘空间占用和碎片。此外，文章还讨论了SQLite中使用的变长编码数字（varint）和有限的原生数据类型集，并提出了一些关于索引、宽行处理、元数据管理和类型效率等方面的未来研究问题。
阅读更多
Gliimly是一种用于Web服务的编程语言，它具有面向服务、建模、声明式、函数式和静态类型等特性。Gliimly非常简单、内存安全、高性能，使用行业标准的免费开源库，可扩展，并基于Apache 2免费开源许可。该网站提供了Gliimly的安装方法、文档和GitHub源码链接，以及一系列博客文章，内容涵盖版本更新、功能介绍、示例代码等，例如用200行代码实现多租户SaaS应用。
阅读更多
Bluesky官方宣布，在过去的一天里，有超过100万人加入了Bluesky社交平台。官方对此表示欢迎和感谢。该平台是一个高度交互的Web应用程序，需要JavaScript才能运行。
阅读更多
本文以图解的方式介绍了阿兹特克神殿，作者从儿时观看动画片《神秘的黄金之城》开始对南美和中美洲文明产生兴趣，并对阿兹特克众神进行了研究。文章解释了阿兹特克神像的象征意义，以及如何通过这些象征识别不同的神祇。作者还提到了历史研究的困难，特别是由于阿兹特克人摧毁了竞争对手的资料，以及西班牙征服者和基督教传教士对阿兹特克社会和作品的破坏。文章最后列出了一些重要的研究资料和网站，并感谢了在研究过程中提供帮助的人。
阅读更多
这篇文章列举了世界上最大的Shell程序，并对它们进行了简要的描述。文章指出，这里的“最大”指的是程序的实质内容，而非单纯的行数。所列举的程序均为手写的Shell脚本，使用了数据结构和算法，代码行数通常超过5000行。文中提到的程序包括：ble.sh（Bash行编辑器）、bashdb（Bash调试器）、testssl.sh（测试SSL/TLS的脚本）、Simplenetes（用Shell编写的Kubernetes）、rkhunter（Rootkit猎手）、powerlevel10k（ZSH主题）、neofetch（显示系统信息的脚本）、nb、distrobox、acme.sh、inxi、bashforth、bash-funk、Relax-and-Recover以及abcde等。此外，文章还列举了一些较小的程序和Shell类语言/DSL。
阅读更多
开发者Drew McCormack发布了新的Swift框架Forked，用于简化共享数据的处理，无论是单设备还是多设备协作。Forked灵感来源于Git的合并机制，它允许在单个文件中支持分支和合并，实现最终一致性。无需完整变更历史，只需保留足够版本以进行三方合并。Forked使用结构体而非类，支持Codable，并可与iCloud等云服务同步。它甚至能解决并发访问导致的竞态条件，并支持自定义合并逻辑或内置CRDT算法。通过简单的几行代码，即可轻松实现CloudKit同步。
阅读更多
历时十年的Java Valhalla项目正进入收尾阶段。该项目旨在修复Java类型系统中类和原始类型之间的裂痕。通过引入“像类一样编码，像int一样工作”的值类，Valhalla实现了扁平且紧凑的内存布局。Devoxx 2024上，Java语言架构师Brian Goetz介绍了该项目的最新进展，包括值类、空限制类型、增强的确定赋值分析和严格初始化等关键特性。
阅读更多
Neomacs是一个基于结构化编辑的计算环境，目标是成为树形结构的Emacs。目前，它是一个可用的Lisp IDE和键盘驱动的浏览器。它提供预构建的x64 Linux二进制文件、在线文档和本地构建说明。Neomacs依赖于Electron，在某些Linux发行版上可能存在权限问题，并提供了解决方法。它带有两个内置主题，并鼓励用户通过问题、讨论或PR贡献。
阅读更多
本文研究了基于输入优化计算流程的动态执行技术，旨在识别可以用更少资源解决的简单问题。讨论的技术包括深度网络的提前退出、语言模型的推测性采样和扩散模型的自适应步骤。实验结果表明，这些动态方法可以显著提高延迟和吞吐量，而不会影响质量。结合量化等基于模型的优化，动态执行提供了一种强大的多管齐下的AI推理优化策略。文章还介绍了将这些技术集成到英特尔性能库和Huggingface Optimum中的案例，以提高其易用性和采用率。
阅读更多