Borwein积分的迷思
2024-05-25
这篇文章介绍了Borwein积分，这是一系列由数学家David和Jonathan Borwein在2001年提出的数学公式。这些积分看似简单，但当引入sinc(x/15)因子时，结果会出乎意料地发生变化。文章引用了Hanspeter Schmid的解释，他认为这种现象并非软件错误，并提供了图形解释。
阅读更多
Xr0：一款针对 C 语言的静态调试器
2024-05-25
Xr0 是一款针对 C 语言的静态调试器，它可以在编译阶段分析程序，并显示每行代码的状态。与传统的运行时调试器不同，Xr0 不需要执行程序就能进行分析，因此可以发现程序在所有可能执行路径上的问题。Xr0 的目标是消除 C 语言中的未定义行为，目前支持 C89 的一个子集，但正在不断扩展。
阅读更多
(xr0.dev)
51
未分类
调试器
LuaRT：免费开源的Windows Lua编程框架
2024-05-25
LuaRT是一个免费开源的Windows Lua编程框架，旨在为开发者提供简单便捷的Lua编程环境，用于编写控制台或桌面应用程序。它具有易于使用、运行速度快、功能强大等特点，支持使用Lua 5.4.5 VM，并包含用于各种编程任务的模块和对象，以及针对Windows优化的运行时库，支持构建包含嵌入式内容的独立可执行文件。
阅读更多
53
GitHub - mistralai/mistral-finetune
2024-05-25
这篇文章介绍了Mistral-finetune，一个用于高效微调Mistral模型的轻量级代码库。它基于LoRA训练范式，该范式冻结大部分权重，仅训练少量额外权重作为低秩矩阵扰动。文章详细介绍了Mistral-finetune的安装步骤、数据集准备、训练配置、模型扩展以及常见问题解答等内容，为用户提供了一个简单易懂的Mistral模型微调入门指南。
阅读更多
59
未分类
Mistral
Clojure 中使用 core.async 实现简单的任务系统
2024-05-25
本文介绍了如何使用 Clojure 的 core.async 库构建一个简单的异步任务系统。作者首先解释了选择轻量级方案的原因，并介绍了任务的数据模型和状态机。然后，文章详细讲解了如何使用函数表示状态机，以及如何使用 core.async 的线程和通道来处理任务。最后，作者展示了如何启动、重启和加载任务，并强调了 core.async 在多线程环境下共享状态的特性。
阅读更多
52
太阳能工业革命：史上最大投资机遇
2024-05-25
文章认为太阳能价格下降，将带来巨大的工业变革和投资机会。太阳能电力可以用于制造业、农业、交通等各个领域，并催生新的技术和商业模式。作者列举了太阳能应用的多个领域，如海水淡化、水泥生产、化工、采矿、航空等，并预测这些领域的未来发展趋势。
阅读更多
未分类
投资机会
HackNote：AI 加持的智能记事本
2024-05-25
HackNote 是一款本地优先的纯文本编辑器，具有实时 CRDT 同步功能，并借助 ChainReactions 使用 AI 模型增强，适用于头脑风暴、代码审查、语言翻译、博客写作和快速阅读等场景。
阅读更多
62
未分类
ESP32 Wi-Fi 驱动逆向工程：未来之路
2024-05-25
本文是 ESP32 Wi-Fi 网络堆栈逆向工程系列文章的第五篇，目标是构建开源 MAC 层。作者回顾了该项目的目标：对 ESP32 的 Wi-Fi 堆栈进行逆向工程，以构建开源 Wi-Fi 堆栈，从而实现当前闭源 ESP32 Wi-Fi 实现所不具备的功能，例如 802.11s 网状网络，并提高代码的可审计性。作者介绍了当前面临的挑战，即硬件初始化过程复杂，需要逆向分析大量外设寄存器访问操作。作者计划逐步替换初始化函数，并测试连接和通信功能。此外，作者还展望了 MAC 堆栈的实现，计划参考 FreeBSD 的 802.11 代码，并逐步实现扫描 AP、身份验证、关联、速率和发射功率调整等功能。
阅读更多
48
未分类
signalfd 弊端
2024-05-25
这篇文章批判了Linux中signalfd机制的弊端。作者指出，signalfd虽然试图简化信号处理，但并未解决信号处理机制的核心问题，如信号合并、子进程继承信号掩码等。作者认为，即使使用signalfd，开发者仍然需要面对信号处理的复杂性，并提出了可能的改进方案。
阅读更多
50
未分类
signalfd
AlmaLinux 操作系统 - Samba 文件服务器
2024-05-25
本文介绍如何在 AlmaLinux 操作系统上设置 Samba 文件服务器，实现家庭网络文件共享。文章详细讲解了 Samba 的安装配置、用户和组的创建、目录权限设置、SELinux 上下文配置以及防火墙设置等步骤，并提供了测试 Samba 共享的方法。
阅读更多Don Knuth 的 MIP 问题，64 年后的今天
2024-05-25
本文讲述了计算机科学家高德纳在 1960 年提出的一个整数规划模型，用于最小化 IBM 650 的内存访问延迟。
作者回顾了该问题在过去 64 年里的求解历程，从高德纳使用 Gomory 算法求解未果，到 Alevras 使用 CPLEX 软件成功求解，再到今天使用开源求解器 SCIP 和 Gurobi 能够在不到一秒钟内找到最优解。
最后，作者赞叹了运筹学技术的惊人进步。
将思科7609路由器改造成啤酒机
2024-05-25
本文讲述了作者与朋友如何将一台退役的思科7609路由器改造成一台啤酒机的过程。他们克服了许多技术挑战，例如重建LED指示灯、解决电气噪声问题以及设计和打印3D部件以安装光纤和LED灯带。最终，他们成功地将这台路由器改造成了一个功能齐全的啤酒机，并在活动中使用它售卖啤酒，获得了成功。
阅读更多为什么游戏开发者不写单元测试
2024-05-25
与软件开发不同，游戏开发很少使用单元测试，因为游戏的乐趣难以量化和预测。文章以一个计算游戏为例，说明游戏设计需求的不断变化，如移除数字5、引入团队和颜色概念，甚至加入火焰喷射器等元素，导致单元测试的维护成本过高，得不偿失。
阅读更多
未分类
单元测试
Unleashed Chat：一键部署您自己的聊天机器人
2024-05-25
Unleashed Chat 是一款注重隐私的人工智能聊天机器人服务，允许用户一键部署自己的聊天机器人。该平台支持 Nostr 数据实时查询、高级上下文嵌入、大型数据文件学习以及比特币闪电网络支付。Unleashed Chat 采用最新的开源模型，包括 Mistral 7B、WizardLM 33B 和 Synthia 70B 等，并提供无审查的聊天体验。
阅读更多
45
未分类
使用 Arc Search 的全新“呼叫 Arc”功能，通过电话搜索网络
2024-05-25
浏览器公司 Arc Search 推出了一项名为“呼叫 Arc”的新功能，允许用户通过模仿打电话的手势进行搜索。要使用此功能，请打开 Arc Search，将 iPhone 举到耳边，然后提出问题。将 iPhone 举到耳边的手势会激活搜索选项，并口头提供答案，因此，整个基于语音的搜索体验看起来就像您只是在打电话一样。
阅读更多
63
Email.ML：极简临时邮箱
2024-05-25
Email.ML 是一款极简主义的临时邮箱服务，注重隐私保护，有效期为 1 小时，屏蔽广告，并完全运行于 Cloudflare 网络。
阅读更多
(email.ml)
97
百思买和极客小队成为2023年诈骗分子最常冒充的对象
2024-05-25
根据美国联邦贸易委员会 (FTC) 的数据，百思买、亚马逊和PayPal 是 2023 年诈骗分子最常冒充的三家公司。其中，百思买及其维修业务极客小队的被冒充次数最多，达到 5.2 万次。尽管冒充次数众多，但这并不意味着诈骗成功率更高。微软冒充者的诈骗金额最高，达到 6000 万美元。
阅读更多
56
未分类
百思买
优化测试函数和数据集
2024-05-25
本文列举了一些用于测试优化算法的常用函数和数据集，并将它们按物理特性和形状进行分类，包含Ackley函数、Bukin函数、Rastrigin函数等，并提供了每个函数或数据集的信息以及MATLAB和R语言的实现。
阅读更多
96
Kobo Clara Colour 评测：现在，以貌取书更有乐趣
2024-05-25
Kobo Clara Colour 是一款彩色电子阅读器，它采用了 E Ink 的 Kaleido 3 面板，能够显示约 4,000 种颜色。与前代产品相比，Clara Colour 的处理器更快，翻页速度更快，浏览书籍和查看预览也更快。Kobo 与 OverDrive 的深度集成让您可以借阅当地图书馆提供的任何图书。Kobo Clara Colour 的一大优势是支持第三方电子书商店购买的图书，而 Kindle 则只能阅读亚马逊商店购买的图书。
阅读更多
77
JetBrains 推出 Rust 开发专用 IDE：RustRover
2024-05-25
JetBrains 发布了名为 RustRover 的 Rust 专用 IDE，该 IDE 整合了 Rust 工具链，并通过可选插件和订阅提供 AI 辅助功能。RustRover旨在简化 Rust 编码体验，提供实时反馈、代码建议、简化的工具链管理和团队协作功能。它提供付费商业许可证和免费非商业许可证两种选择。
阅读更多
68
未分类
JetBrains
巨型野生金鱼威胁五大湖生态系统
2024-05-25
新闻报道了五大湖地区面临的一种新型入侵物种——野生金鱼。这些金鱼最初是被人们作为宠物饲养，但被随意放生到湖泊后，由于食物充足且缺乏天敌，体型迅速生长，对当地生态系统造成严重威胁。它们不仅与本地鱼类争夺资源，还搅动湖底沉积物，导致水体浑浊，阻碍水生植物生长。为解决这一问题，科学家呼吁公众不要随意放生宠物金鱼，并建议将它们送到专门的收容机构，例如伊利动物园的“最后机会泻湖”。
阅读更多
88
ICQ即时通讯软件在运营近28年后关闭
2024-05-25
曾经风靡一时的即时通讯软件ICQ将于6月26日关闭，标志着这款备受喜爱的通讯应用程序的终结。ICQ成立于1996年，早于AOL即时通讯软件，因其易用性、一对一或群组聊天以及与世界各地的人进行实时免费交流的能力而备受喜爱。在其鼎盛时期，ICQ平台拥有超过1亿用户。2010年，ICQ被Mail.ru（现在的VK）收购。如今，ICQ宣布将于6月26日关闭，并建议用户切换到VK Messenger和Workspace。
阅读更多
未分类
软件关闭
美国环保署为6种PFAS设定健康建议限值
2024-05-25
美国环保署近日发布了针对6种PFAS的健康建议限值，其中包括两种全球广泛存在的饮用水污染物PFOA和PFOS，其建议限值分别为0.004 ppt和0.02 ppt，远低于2016年建议的70 ppt。此外，EPA还首次发布了与GenX工艺相关的两种PFAS的健康建议限值，以及PFBS及其相关钾盐的限值。这些建议限值并非强制性标准，但为EPA后续行动奠定了基础。
阅读更多
54
未分类
饮用水安全
WePresent | 慢兄弟工作室如何手工打造电子游戏世界
2024-05-25
本文讲述了德国游戏工作室慢兄弟如何利用手工制作的模型和道具，打造出充满细节和奇幻色彩的电子游戏《哈罗德比目鱼》的世界。游戏背景设定在一艘名为费朵拉一号的巨型宇宙飞船上，该飞船在冷战时期逃离地球，寻找新的宜居星球。游戏画面精美，充满复古未来主义的设计风格，从上世纪中期先锋派建筑设计中汲取灵感。游戏团队花费数年时间，精心制作了游戏中的每一个场景和角色，并通过3D扫描技术将它们数字化，赋予其生命。
阅读更多.NET进军NES游戏机：dotnes开源项目详解
2024-05-25
dotnes项目利用.NET平台为NES游戏机开发游戏，可以直接将C#代码编译成6502汇编代码，并生成可运行的.nes文件。该项目提供类似C语言的API，开发者可以使用熟悉的语法编写游戏逻辑，并通过MSBuild或Visual Studio进行编译运行。
阅读更多
83
未分类
科技与人文的碰撞：一位父亲对AI、家庭和职业平衡的思考
2024-05-25
本文讲述了作者Darryl Kelly作为一名父亲和科技从业者，利用AI技术深入了解自己，并反思家庭、工作与生活平衡的故事。作者将11年的日记数据上传至GPT-4o，并与家人一起探索其中蕴藏的亲情和人生哲理。此外，作者还分享了他在职业生涯中所面临的挑战，包括如何平衡工作与家庭、如何应对ADHD带来的困扰以及如何利用科技改善生活等。
阅读更多
57
未分类
职业平衡
海军陆战队家属起诉鱼鹰倾转旋翼机：不安全、不适航
2024-05-24
2022年，一架MV-22鱼鹰倾转旋翼机在例行训练飞行中坠毁，造成四名海军陆战队员丧生。遇难者家属近日对飞机制造商波音、贝尔德事隆和发动机制造商罗尔斯·罗伊斯提起联邦诉讼，指控他们隐瞒了飞机的安全隐患，导致海军陆战队飞行员驾驶了“不安全且不适航的飞机”。诉讼称，鱼鹰的发动机和传动系统存在长期故障，但制造商一直未能解决问题或公开相关信息。原告方希望通过诉讼获得赔偿，并迫使军方和制造商公开更多关于鱼鹰安全性的信息。
阅读更多
66