GitHub - eliot-akira/waxolotl: 一种编译为WebAssembly文本格式的小型语言
waxolotl是一个编译为WebAssembly文本格式的小型语言。它结合了wax和wat-compiler的特点，能够在浏览器或服务器上构建独立的WASM二进制文件。
阅读更多Llama 3.1 发布: 开源大型语言模型的巨大意义
Meta 发布了新的开源大型语言模型 Llama 3.1 405B，作者认为这具有重大意义：首先，开源保证了数据安全，企业可以自行训练模型，无需担心数据泄露；其次，开源降低了使用成本，企业无需支付高昂的费用给模型提供商；第三，开源使企业更加独立，不再受制于模型提供商的政策变化；最后，开源使得模型可定制化，开发者可以进行更深入的研究和应用。
阅读更多
面向开源 Slack 的 AI 助手
该网站提供了一个开源的 Slack AI 助手，它是一个用于 Slack 应用程序的预先训练的对话式 AI 模型。该助手旨在通过提供有关编码问题的帮助、生成代码片段以及提供常见开发问题的答案来协助开发人员。该助手还支持多种语言，包括 JavaScript、Python、Java 和 Go。网站上还提供了关于如何将助手集成到 Slack 应用程序的说明。
阅读更多GitHub - jamiebuilds/the-super-tiny-compiler: ⛄ 可能是有史以来最小的编译器
这篇介绍了“超级小型编译器”项目，它是一个用JavaScript编写的简化编译器示例。该项目旨在帮助人们学习编译器的主要组成部分及工作原理，并破除编译器难以理解的迷思。
阅读更多三星电子工会宣布举行首次罢工
三星电子工会宣布将于6月7日举行一日罢工，这将是这家韩国科技巨头历史上首次出现工人罢工。此次罢工的导火索是持续数月的薪资谈判破裂，工会要求提高工资、增加假期和建立更透明的绩效奖金制度。分析人士指出，罢工可能会对三星电子的全球半导体供应链造成影响。
阅读更多
使用200行JavaScript代码实现虚拟DOM
本文介绍了如何用略多于200行的JavaScript代码实现一个功能齐全且性能足够的虚拟DOM库。文章详细解释了虚拟DOM的概念、作用以及实现原理，并通过代码示例展示了如何创建虚拟节点、进行虚拟DOM的差异比较以及将差异应用到真实DOM。此外，文章还介绍了如何处理事件监听器和状态管理，并提供了一个基于该库实现的TodoMVC应用示例。
阅读更多ClassySoftware() - 聊天分析
ClassySoftware() 的聊天分析工具可以分析过去一个月 Hacker News 上对特定短语的评论情绪。用户输入一个短语，工具会返回一个图表，显示该短语在过去一个月的情绪变化趋势，并随机抽取一些评论作为示例展示。 为了控制请求量，搜索被限制在 5000 个数据点以内，用户可以通过创建账户使用 API 进行无限制请求。
阅读更多美英韩三国指控朝鲜黑客窃取军事机密
美国、英国和韩国7月26日发表联合声明，指控朝鲜黑客发起全球网络间谍活动，窃取机密军事机密，以支持其核武器计划。据称，这些被称为“安达列尔”或“APT45”的黑客隶属于朝鲜侦察总局，该机构于2015年受到美国制裁。该组织的目标包括美国国家航空航天局、多家国防和工程公司，以及位于德克萨斯州的兰道夫空军基地和佐治亚州的罗宾斯空军基地。美国司法部指控一名嫌疑人林正赫（音译）参与了针对美国计算机网络的攻击和洗钱活动，并悬赏高达1000万美元，以获取能逮捕他的信息。
阅读更多我们塑造社交圈，社交圈塑造我们
本文探讨了社交圈对个人成长的影响。作者认为，我们不仅塑造着自己的社交圈，反过来，社交圈也在塑造着我们。文章以文化学习为切入点，指出人类通过观察和模仿周围的人来学习和适应文化，并强调了精心构建社交圈的重要性。作者将社交圈比作一个有向图，图中的节点代表着人、事物和思想，并指出通过改变这个图谱，我们可以改变自己。文章最后提出了“分布式学徒制”的概念，鼓励读者积极寻找合适的导师和榜样，有意识地构建自己的社交圈，从而实现个人成长。
阅读更多我钟爱的 Gleam 特性
本文探讨了 Gleam 语言语法特性，尤其是函数参数顺序与其他语言相比的独特性。作者从 Erlang 和 Python 的部分应用特性出发，解释了它们函数参数顺序的由来，并对比了 Haskell 的类似机制。Gleam 的管道操作符促使数据转换以更接近自然语言的顺序编写，而其“类方法”函数设计以及默认的模块限定导入，使得代码中每个函数的来源清晰可见，增强了代码的可读性和可发现性，这也是作者最为欣赏的 Gleam 特性。
阅读更多用 15 个滑翔机构建任意生命模式
这篇文章讲述了康威生命游戏中一项里程碑式的成就：使用 15 个滑翔机构建任意图案。作者详细介绍了实现这一目标背后的原理和发展历程，包括信息编码、通用构造器、Caber Tosser 设计、滑翔机合成、以及最终实现 15 个滑翔机构建目标的技术细节和代码量分析。
阅读更多独特性偏差：为何重要，如何抑制
本文探讨了“独特性偏差”，一种将决策视为独一无二的规划者和管理者倾向的行为偏差。研究首次将独特性偏差与现实世界项目投资决策中的预测准确性和绩效相关联。文章指出将项目视为独特的传统框架会导致项目绩效不佳，并通过对219个项目的样本进行测试，发现感知到的独特性与低绩效之间确实存在高度的统计学意义上的关联。最后，文章指出决策者可以通过“决策卫生”来减轻项目中的独特性偏差，特别是参考类别预测、事后分析、基于相似性的预测和噪音审计。
阅读更多向食堂捐赠数百把叉子
本文讲述了作者在大学食堂总是缺叉子的情况下，自费购买了180把叉子，并刻上自己和室友的首字母，然后在几个月的时间里分批将这些叉子放入食堂餐具桶的故事。作者虽然已经毕业，但他的善举却以一种意外的方式得到了回报：他在女友公寓使用的一把叉子上发现了自己刻的字母，这让他相信善有善报。
阅读更多测试编译器是一种怎样的体验？
本文介绍了作者作为 Kotlin/Native 团队的一名 QA 工程师，在编译器测试方面的经验和感悟。作者首先介绍了自己是如何进入编译器测试领域的，然后简要介绍了 Kotlin/Native 编译器以及测试编译器与测试其他软件产品的区别。作者还分享了测试编译器所面临的挑战，例如需要考虑各种语言结构、库链接、编译参数、垃圾回收器参数、互操作性、构建系统集成、不同版本 Xcode 的兼容性、不同操作系统的差异、性能、二进制文件大小等因素。作者详细列举了一些测试案例，包括语言特性测试、工具功能测试、编译器特性测试等，并介绍了测试过程中用到的工具和技术，例如控制台、bash 脚本、vim、IDE、Gradle、lldb 调试器、pict 工具等。
阅读更多PhotoDNA及其局限性
本文详细分析了图像识别算法PhotoDNA的工作原理及其局限性。作者指出，PhotoDNA通过将图像分割成网格并计算梯度来生成哈希值，但这种方法容易受到图像裁剪、颜色调整和特定区域修改的影响，从而导致误报和漏报。作者认为，PhotoDNA哈希值可以被逆向还原成可识别图像，并提出了利用暴力破解和神经网络进行逆向的方法。
阅读更多面向现代的安全漏洞扫描协调器OXO
OXO是一个安全漏洞扫描协调器，可以自动将各种工具绑定在一起，从而实现快速扩展。它可以自动化安全工作流程，用户可以使用OXO CLI轻松自定义或编写自己的代理以适合其用例。OXO还可以将各种工具组合起来执行网络、Web、移动、DNS暴力破解、恶意软件文件扫描等任务。
阅读更多TI-83 Plus 和 TI-84 Plus 免费游戏下载 - TI Wizard
TI Wizard 网站为 TI-83 Plus 和 TI-84 Plus 计算器用户提供免费游戏下载，用户可以选择下载包括超级玛丽、俄罗斯方块、水果忍者等在内的多款经典游戏，网站还提供了游戏下载排行榜和用户评论，方便用户选择。
阅读更多使用CLIP进行多模态检索和排序的套娃表征学习
这篇文章介绍了一种名为套娃表征学习 (MRL) 的技术，该技术允许在向量数据库中灵活调整嵌入大小，从而在效率和粒度之间取得平衡。通过 MRL，嵌入可以压缩成更小的维度，同时在检索和排序任务中保持性能。总而言之，MRL 在不影响多模态检索和排序任务性能的情况下实现了经济高效的灵活性。
阅读更多ARM发布下一代CPU和GPU内核：速度更快，效率更高
ARM发布了新一代CPU和GPU技术，以及一个新的完整解决方案，将所有功能集成在一个软件包中。新的ARM客户端计算子系统（CSS for Client）将最新的Cortex-X和A系列CPU内核与Immortalis图形以及ARM最新的Corelink系统互连和系统内存管理技术相结合。与上一代相比，新的CPU内核在单线程性能、AI性能和运行tiny-Lllama (Q4) AI模型时的速度方面均有显著提升。此外，新的GPU在整体性能、光线追踪性能和AI推理速度方面也有很大改进。
阅读更多Swift工具：Windows版本
本文详细介绍了在Windows平台上编写Swift代码的工具和生态系统。文章指出，Windows已成为成熟的Swift代码编写环境，Visual Studio Code (VS Code) 是首选的开发环境。文章详细介绍了VS Code中Swift开发体验的各个方面，包括编辑、构建、测试和调试代码，并列举了相关的工具和技术，例如Swift扩展、sourcekit-lsp、swift-format、Swift Package Manager、CMake、LLDB、WinDBG等。文章鼓励开发者尝试在Windows上进行Swift开发，并表示将持续改进开发者体验。
阅读更多如何建造一座价值200亿美元的半导体工厂
这篇文章详细介绍了建造一座现代半导体工厂所需的技术和成本。由于摩尔定律的驱动，半导体元件尺寸不断缩小，对制造环境的精度要求也越来越高。文章从半导体制造工艺的四个基本操作（ layering, patterning, doping, and heat-treating）出发，阐述了建造过程中需要克服的挑战，例如微粒污染、震动控制、电磁干扰等。文章还介绍了工厂的结构，包括洁净室、子晶圆厂、支持设施等，以及这些设施所需的特殊设备和严格的建造标准。最后，文章分析了半导体工厂成本不断上升的原因，包括设备成本、建筑成本、工艺复杂性增加等。
阅读更多炉边谈话：2024 年 5 月 10 日——关于帝国级歼星舰的军事学思考
本文探讨了《星球大战》中帝国级歼星舰的设计理念与其在帝国军事学说中的地位。作者认为，帝国级歼星舰的设计初衷并非为了成为高效的战斗机器，而是为了营造一种威慑力，以恐吓旧共和国的“诸侯”们（即各星球政府）。作者将旧共和国比作神圣罗马帝国，认为帝国的兴起是对克隆人战争的反应，旨在中央集权。帝国级歼星舰是这种集权努力的一部分，其巨大的尺寸和火力旨在使任何行星级海军都无法与之匹敌。
阅读更多科学家们发现了一种快速描述量子系统的办法
该网站详细介绍了量子纠缠现象及其数学描述，并探讨了该现象在量子计算机和量子通信等领域的潜在应用。文章深入探讨了量子态的张量网络表示，解释了这种表示如何使科学家能够高效地描述大型纠缠量子系统。
阅读更多Meltemi: 首个希腊语大型语言模型
本文介绍了Meltemi，第一个针对希腊语的大型语言模型（LLM）。文章详细介绍了如何使用llamafile格式运行Meltemi 7B Instruct v1.5模型，包括使用网页聊天机器人、命令行界面以及OpenAI API进行交互。此外，文章还提供了gguf格式模型以及使用llama.cpp进行模型加载和推理的说明。
阅读更多
打造LawStar：一位独立开发者为期一年的创业之旅
本文讲述了软件工程师James Mackey创办法律科技公司LawStar，并一年后将其出售的经历。LawStar旨在解决法律引文格式繁琐的问题，特别是针对蓝皮书引文标准。Mackey通过调查发现法律系学生对自动化引文工具有强烈需求，于是开发了LawStar网站和Chrome扩展程序，方便学生从法律研究网站一键生成引文。虽然初期推广遇到困难，但通过改进产品并积极在法学院推广，用户数量逐渐增长。Mackey最终选择将LawStar出售，因为他认为自己已经积累了足够的经验，并希望转向更有挑战性的项目。
阅读更多