QB64 搜索技巧 核手提箱 文字记录 海洋云增白 开源地图 Bliss AI 搜索答案 深海沉船 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 团队 世界 PostgreSQL AI工具 证券 DirectX 防溢 DrawingPics Zulip 儿童读物 化学 连续滚动 代码审查 三菱电机 更多

Clojure 中使用 core.async 实现简单的任务系统 (blog.janetacarr.com)

本文介绍了如何使用 Clojure 的 core.async 库构建一个简单的异步任务系统。作者首先解释了选择轻量级方案的原因,并介绍了任务的数据模型和状态机。然后,文章详细讲解了如何使用函数表示状态机,以及如何使用 core.async 的线程和通道来处理任务。最后,作者展示了如何启动、重启和加载任务,并强调了 core.async 在多线程环境下共享状态的特性。

太阳能工业革命:史上最大投资机遇 (caseyhandmer.wordpress.com)

文章认为太阳能价格下降,将带来巨大的工业变革和投资机会。太阳能电力可以用于制造业、农业、交通等各个领域,并催生新的技术和商业模式。作者列举了太阳能应用的多个领域,如海水淡化、水泥生产、化工、采矿、航空等,并预测这些领域的未来发展趋势。

HackNote:AI 加持的智能记事本 (hacknote.co)

HackNote 是一款本地优先的纯文本编辑器,具有实时 CRDT 同步功能,并借助 ChainReactions 使用 AI 模型增强,适用于头脑风暴、代码审查、语言翻译、博客写作和快速阅读等场景。

ESP32 Wi-Fi 驱动逆向工程:未来之路 (esp32-open-mac.be)

本文是 ESP32 Wi-Fi 网络堆栈逆向工程系列文章的第五篇,目标是构建开源 MAC 层。作者回顾了该项目的目标:对 ESP32 的 Wi-Fi 堆栈进行逆向工程,以构建开源 Wi-Fi 堆栈,从而实现当前闭源 ESP32 Wi-Fi 实现所不具备的功能,例如 802.11s 网状网络,并提高代码的可审计性。作者介绍了当前面临的挑战,即硬件初始化过程复杂,需要逆向分析大量外设寄存器访问操作。作者计划逐步替换初始化函数,并测试连接和通信功能。此外,作者还展望了 MAC 堆栈的实现,计划参考 FreeBSD 的 802.11 代码,并逐步实现扫描 AP、身份验证、关联、速率和发射功率调整等功能。

signalfd 弊端 (ldpreload.com)

这篇文章批判了Linux中signalfd机制的弊端。作者指出,signalfd虽然试图简化信号处理,但并未解决信号处理机制的核心问题,如信号合并、子进程继承信号掩码等。作者认为,即使使用signalfd,开发者仍然需要面对信号处理的复杂性,并提出了可能的改进方案。

AlmaLinux 操作系统 - Samba 文件服务器 (blog.while-true-do.io)

本文介绍如何在 AlmaLinux 操作系统上设置 Samba 文件服务器,实现家庭网络文件共享。文章详细讲解了 Samba 的安装配置、用户和组的创建、目录权限设置、SELinux 上下文配置以及防火墙设置等步骤,并提供了测试 Samba 共享的方法。

优化你的论点 (rachelbythebay.com)

文章批评了一些程序员的论调,认为“不应该写垃圾代码”、“不应该雇佣糟糕的程序员”等观点是不现实的,因为现实世界中程序员都会犯错,代码质量参差不齐。作者认为与其强调这些不切实际的观点,不如承认现实世界代码质量的复杂性,并努力提高自身的编程能力。

Don Knuth 的 MIP 问题,64 年后的今天 (nathanbrixius.wordpress.com)

本文讲述了计算机科学家高德纳在 1960 年提出的一个整数规划模型,用于最小化 IBM 650 的内存访问延迟。
作者回顾了该问题在过去 64 年里的求解历程,从高德纳使用 Gomory 算法求解未果,到 Alevras 使用 CPLEX 软件成功求解,再到今天使用开源求解器 SCIP 和 Gurobi 能够在不到一秒钟内找到最优解。
最后,作者赞叹了运筹学技术的惊人进步。

书签:跳出思维定式 (www.bookmarked.club)

本文讲述了哥伦布在第四次新大陆航行遭遇困境时,如何利用知识和创造性思维化解危机的经历。1503年,哥伦布的船只在牙买加搁浅,船员面临饥饿威胁。他从航海书籍中得知即将发生的月食,利用当地土著对月食的恐惧,成功获得了食物补给,支撑到救援到来。

将思科7609路由器改造成啤酒机 (blog.jonasbengtson.se)

本文讲述了作者与朋友如何将一台退役的思科7609路由器改造成一台啤酒机的过程。他们克服了许多技术挑战,例如重建LED指示灯、解决电气噪声问题以及设计和打印3D部件以安装光纤和LED灯带。最终,他们成功地将这台路由器改造成了一个功能齐全的啤酒机,并在活动中使用它售卖啤酒,获得了成功。

为什么游戏开发者不写单元测试 (www.pixelatedplaygrounds.com)

与软件开发不同,游戏开发很少使用单元测试,因为游戏的乐趣难以量化和预测。文章以一个计算游戏为例,说明游戏设计需求的不断变化,如移除数字5、引入团队和颜色概念,甚至加入火焰喷射器等元素,导致单元测试的维护成本过高,得不偿失。

Unleashed Chat:一键部署您自己的聊天机器人 (unleashed.chat)

Unleashed Chat 是一款注重隐私的人工智能聊天机器人服务,允许用户一键部署自己的聊天机器人。该平台支持 Nostr 数据实时查询、高级上下文嵌入、大型数据文件学习以及比特币闪电网络支付。Unleashed Chat 采用最新的开源模型,包括 Mistral 7B、WizardLM 33B 和 Synthia 70B 等,并提供无审查的聊天体验。

使用 Arc Search 的全新“呼叫 Arc”功能,通过电话搜索网络 (www.macrumors.com)

浏览器公司 Arc Search 推出了一项名为“呼叫 Arc”的新功能,允许用户通过模仿打电话的手势进行搜索。要使用此功能,请打开 Arc Search,将 iPhone 举到耳边,然后提出问题。将 iPhone 举到耳边的手势会激活搜索选项,并口头提供答案,因此,整个基于语音的搜索体验看起来就像您只是在打电话一样。

Email.ML:极简临时邮箱 (email.ml)

Email.ML 是一款极简主义的临时邮箱服务,注重隐私保护,有效期为 1 小时,屏蔽广告,并完全运行于 Cloudflare 网络。

百思买和极客小队成为2023年诈骗分子最常冒充的对象 (www.theregister.com)

根据美国联邦贸易委员会 (FTC) 的数据,百思买、亚马逊和PayPal 是 2023 年诈骗分子最常冒充的三家公司。其中,百思买及其维修业务极客小队的被冒充次数最多,达到 5.2 万次。尽管冒充次数众多,但这并不意味着诈骗成功率更高。微软冒充者的诈骗金额最高,达到 6000 万美元。

优化测试函数和数据集 (www.sfu.ca)

本文列举了一些用于测试优化算法的常用函数和数据集,并将它们按物理特性和形状进行分类,包含Ackley函数、Bukin函数、Rastrigin函数等,并提供了每个函数或数据集的信息以及MATLAB和R语言的实现。

Kobo Clara Colour 评测:现在,以貌取书更有乐趣 (www.engadget.com)

Kobo Clara Colour 是一款彩色电子阅读器,它采用了 E Ink 的 Kaleido 3 面板,能够显示约 4,000 种颜色。与前代产品相比,Clara Colour 的处理器更快,翻页速度更快,浏览书籍和查看预览也更快。Kobo 与 OverDrive 的深度集成让您可以借阅当地图书馆提供的任何图书。Kobo Clara Colour 的一大优势是支持第三方电子书商店购买的图书,而 Kindle 则只能阅读亚马逊商店购买的图书。

JetBrains 推出 Rust 开发专用 IDE:RustRover (www.infoworld.com)

JetBrains 发布了名为 RustRover 的 Rust 专用 IDE,该 IDE 整合了 Rust 工具链,并通过可选插件和订阅提供 AI 辅助功能。RustRover旨在简化 Rust 编码体验,提供实时反馈、代码建议、简化的工具链管理和团队协作功能。它提供付费商业许可证和免费非商业许可证两种选择。

递归、延续性和蹦床 (eli.thegreenplace.net)

文章探讨了递归,尤其是尾递归在编程中的应用。文章首先解释了尾递归的概念,以及它与普通递归的区别,并以阶乘和斐波那契数列为例进行了说明。然后,文章介绍了尾调用优化(TCO) 的概念,以及为什么某些语言(如Python)不支持TCO。之后,文章深入探讨了延续性和延续性传递风格(CPS)的概念,并展示了如何使用CPS将任意函数转换为尾递归形式。最后,文章介绍了蹦床的概念,以及如何使用蹦床来避免尾递归调用中的堆栈溢出问题。

巨型野生金鱼威胁五大湖生态系统 (www.pbs.org)

新闻报道了五大湖地区面临的一种新型入侵物种——野生金鱼。这些金鱼最初是被人们作为宠物饲养,但被随意放生到湖泊后,由于食物充足且缺乏天敌,体型迅速生长,对当地生态系统造成严重威胁。它们不仅与本地鱼类争夺资源,还搅动湖底沉积物,导致水体浑浊,阻碍水生植物生长。为解决这一问题,科学家呼吁公众不要随意放生宠物金鱼,并建议将它们送到专门的收容机构,例如伊利动物园的“最后机会泻湖”。

ICQ即时通讯软件在运营近28年后关闭 (www.bleepingcomputer.com)

曾经风靡一时的即时通讯软件ICQ将于6月26日关闭,标志着这款备受喜爱的通讯应用程序的终结。ICQ成立于1996年,早于AOL即时通讯软件,因其易用性、一对一或群组聊天以及与世界各地的人进行实时免费交流的能力而备受喜爱。在其鼎盛时期,ICQ平台拥有超过1亿用户。2010年,ICQ被Mail.ru(现在的VK)收购。如今,ICQ宣布将于6月26日关闭,并建议用户切换到VK Messenger和Workspace。

美国环保署为6种PFAS设定健康建议限值 (cen.acs.org)

美国环保署近日发布了针对6种PFAS的健康建议限值,其中包括两种全球广泛存在的饮用水污染物PFOA和PFOS,其建议限值分别为0.004 ppt和0.02 ppt,远低于2016年建议的70 ppt。此外,EPA还首次发布了与GenX工艺相关的两种PFAS的健康建议限值,以及PFBS及其相关钾盐的限值。这些建议限值并非强制性标准,但为EPA后续行动奠定了基础。

WePresent | 慢兄弟工作室如何手工打造电子游戏世界 (wepresent.wetransfer.com)

本文讲述了德国游戏工作室慢兄弟如何利用手工制作的模型和道具,打造出充满细节和奇幻色彩的电子游戏《哈罗德比目鱼》的世界。游戏背景设定在一艘名为费朵拉一号的巨型宇宙飞船上,该飞船在冷战时期逃离地球,寻找新的宜居星球。游戏画面精美,充满复古未来主义的设计风格,从上世纪中期先锋派建筑设计中汲取灵感。游戏团队花费数年时间,精心制作了游戏中的每一个场景和角色,并通过3D扫描技术将它们数字化,赋予其生命。

.NET进军NES游戏机:dotnes开源项目详解 (github.com)

dotnes项目利用.NET平台为NES游戏机开发游戏,可以直接将C#代码编译成6502汇编代码,并生成可运行的.nes文件。该项目提供类似C语言的API,开发者可以使用熟悉的语法编写游戏逻辑,并通过MSBuild或Visual Studio进行编译运行。

科技与人文的碰撞:一位父亲对AI、家庭和职业平衡的思考 (www.linkedin.com)

本文讲述了作者Darryl Kelly作为一名父亲和科技从业者,利用AI技术深入了解自己,并反思家庭、工作与生活平衡的故事。作者将11年的日记数据上传至GPT-4o,并与家人一起探索其中蕴藏的亲情和人生哲理。此外,作者还分享了他在职业生涯中所面临的挑战,包括如何平衡工作与家庭、如何应对ADHD带来的困扰以及如何利用科技改善生活等。

海军陆战队家属起诉鱼鹰倾转旋翼机:不安全、不适航 (taskandpurpose.com)

2022年,一架MV-22鱼鹰倾转旋翼机在例行训练飞行中坠毁,造成四名海军陆战队员丧生。遇难者家属近日对飞机制造商波音、贝尔德事隆和发动机制造商罗尔斯·罗伊斯提起联邦诉讼,指控他们隐瞒了飞机的安全隐患,导致海军陆战队飞行员驾驶了“不安全且不适航的飞机”。诉讼称,鱼鹰的发动机和传动系统存在长期故障,但制造商一直未能解决问题或公开相关信息。原告方希望通过诉讼获得赔偿,并迫使军方和制造商公开更多关于鱼鹰安全性的信息。

英国新法赋予监管机构无需法院批准即可对大型科技公司处以罚款 (www.theverge.com)

英国议会通过了《数字市场、竞争和消费者法案》(DMCC),赋予监管机构在没有法院介入的情况下执行规则的权力。该法案旨在促进数字市场竞争,并解决消费者保护问题,例如禁止虚假评论、强制公司提高订阅合同透明度等。CMA将负责确定具有“战略市场地位”(SMS)的公司,这些公司将面临更严格的监管,包括高达其全球收入10%的罚款。

GitHub - serverlessmaps/serverlessmaps:创建和托管无服务器地图 (github.com)

这篇文章介绍了serverlessmaps,一个在AWS上创建和托管高性能无服务器地图的项目。文章详细说明了serverlessmaps的架构,并提供了从本地设置项目到部署无服务器基础设施以及上传底图和示例网站到S3的详细分步指南。

美国券商资产转账系统ACATS大揭秘:便捷与风险并存 (www.bitsaboutmoney.com)

文章详细介绍了美国券商资产转账系统ACATS的运作机制,揭示了其便捷性与潜在风险。ACATS简化了证券账户资产转移流程,但由于其快速处理和有限验证的特点,也为欺诈行为提供了可乘之机。作者结合自身经历和行业案例,阐述了ACATS如何被利用进行欺诈,并探讨了券商和监管机构为应对这些挑战所采取的措施,例如 medallion guarantee 和监管通知等。

美国联邦监管机构对Waymo自动驾驶出租车展开进一步调查 (techcrunch.com)

美国国家公路交通安全管理局(NHTSA)对Waymo自动驾驶出租车展开进一步调查,新增9起事故报告。这些事故涉及Waymo自动驾驶出租车与大门、电线杆和停放的车辆相撞,在有迎面车辆的情况下驶入错误车道以及驶入施工区域等。NHTSA担心这些意外驾驶行为可能会增加碰撞、财产损失和人员受伤的风险。

1 2 238 239 240 242 244 245 246 362 363