搜索技巧 核手提箱 海洋云增白 Bliss AI 搜索答案 深海沉船 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 世界 PostgreSQL AI工具 证券 DirectX 防溢 DrawingPics 儿童读物 化学 连续滚动 代码审查 KDE 游戏测试 多动症 超级计算机 植物学 三菱电机 更多

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

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

Android放弃RISC-V内核 (www.androidauthority.com)

Android Authority报道,谷歌已放弃为Android开发基于RISC-V的内核。该公司曾计划将RISC-V作为现有基于ARM架构的替代方案,但RISC-V在性能和兼容性方面存在问题,导致谷歌放弃了这一计划。尽管RISC-V社区仍在继续开发,但谷歌不再参与其中。

Kedify 宣布其功能强大的 KEDA 驱动公共测试版正式启动 (kedify.io)

该博文宣布 Kedify 公测版的正式启动,Kedify 是一款由 KEDA 驱动的事件驱动的无服务器平台。该平台为企业提供了打造和部署无服务器应用程序所需的工具和资源。它提供各种功能,包括自动弹性扩展、无服务器计算、与 KEDA 的无缝集成以及对云原生技术的支持。该平台旨在帮助企业通过提高敏捷性、降低成本和简化运营来实现数字化转型。

F*:面向证明的编程语言 (www.fstar-lang.org)

F* 是一种通用的面向证明的编程语言,支持纯函数式和效果式编程。它结合了依赖类型的表达能力和基于 SMT 求解和基于策略的交互式定理证明的证明自动化。F* 程序默认编译为 OCaml。F* 的各种片段也可以通过名为 KaRaMeL 的工具提取到 F#、C 或 Wasm,或使用 Vale 工具链提取到汇编。F* 是在 F* 中实现的,并使用 OCaml 引导。F* 在 GitHub 上开源,由微软研究院、Inria 和社区积极开发。

256字节的微型W8奇幻控制台介绍 (github.com)

文章介绍了一个名为Encounter的256字节的微型W8奇幻控制台介绍,它试图在有限的空间内带来电影般的体验。该项目使用了WebAssembly和CurlyWAS语言,通过精心编写的代码实现了水波、光影等视觉效果。作者还提供了视频演示和代码注释,方便读者理解其工作原理。

Truffle ISLISP (arvyy.github.io)

Truffle ISLISP是基于GraalVM的Truffle框架实现的ISLISP2007标准。ISLISP是一种类似于CommonLisp-lite的语言:通过泛型方法实现特设多态;动态和词法作用域;过程宏。通过Truffle框架实现的优势包括:快速的性能;C FFI;工具支持,例如通过DAP或Chrome工具进行调试;与其他Truffle实现(如Java、Python、JavaScript、LLVM等)的互操作性。

旅行者1号:太阳系最遥远的探测器 (spectrum.ieee.org)

该网站由IEEE频谱杂志运营,重点关注旅行者1号任务。它提供关于旅行者1号及其开创性发现的最新新闻、文章和视频。该网站还涵盖了其他空间探测任务,例如旅行者2号和卡西尼-惠更斯号。

IndexedDB 作为向量数据库 (paul.kinlan.me)

本文介绍了作者使用 IndexedDB 构建向量数据库的实验,该数据库名为“Vector IDB”,旨在替代 Pinecone 等向量搜索服务。作者详细介绍了 Vector IDB 的 API 和使用方法,并指出该数据库目前缺乏索引优化、预过滤和后过滤等功能。作者希望通过这个项目,探索在浏览器中直接存储和查询 Open AI 等 API 生成的嵌入向量,而无需依赖托管解决方案。

三大运营商支付 1000 万美元来解决虚假无限制广告的索赔 (arstechnica.com)

美国三大无线运营商同意共同支付 1000 万美元来解决对他们虚假广告无限制数据计划的指控。根据联邦贸易委员会、司法部门和 51 个州和地区总检察长的联合执法行动,AT&T、T-Mobile 和 Verizon 将分别支付 325 万美元、375 万美元和 300 万美元。这些公司被指控误导消费者,称他们的手机计划提供无限数据,但实际上对数据使用进行了限制和节流。

Linux基金会宣布成立高性能软件基金会 (www.linuxfoundation.org)

Linux基金会宣布成立高性能软件基金会 (HPSF),旨在构建、推广和推进用于高性能计算 (HPC) 的可移植核心软件栈。HPSF得到了众多行业巨头的支持,包括亚马逊云科技、惠普企业、劳伦斯利弗莫尔国家实验室和桑迪亚国家实验室等。HPSF将设立技术咨询委员会,管理负责各种HPC主题的工作组。HPSF的首批开源技术项目包括Spack、Kokkos、Viskores、HPCToolkit、Apptainer和E4S。

数字文化与娱乐每日洞察:音乐与歌词 | Dirt (dirt.fyi)

本文来自Dirt媒体公司,提供了关于数字文化和娱乐的见解,探讨了音乐和歌词之间的关系。文章标题暗示了对音乐和歌词之间的比较或对比的分析,可能深入探讨了它们各自在数字娱乐领域中的作用和重要性。

谁想买赫兹的3万辆二手特斯拉? (nymag.com)

租车公司赫兹在疫情期间购买了大量特斯拉汽车,但由于电动汽车需求下降,公司正试图出售这些车辆。然而,买家发现这些二手特斯拉存在各种问题,包括电池损坏和高昂的维修费用。赫兹的困境反映了电动汽车市场正在发生变化,新车销量停滞不前,消费者对电动汽车的兴趣下降。

新型声子材料或将推动无线设备小型化和高性能化 (phys.org)

亚利桑那大学和桑迪亚国家实验室的研究人员开发了一种新型声子材料,该材料可产生巨大的非线性声子相互作用,为制造更小、更高效、更强大的无线设备开辟了可能性。这种材料将半导体材料和压电材料结合在一起,通过声波的非线性效应改变频率和编码信息,其效率比传统材料高出数百甚至数千倍。这项技术有望将手机等无线设备缩小100倍,并带来更长的电池续航时间和更佳的信号覆盖范围。

汤姆·塞德曼的弗洛伊德野兔故事 (publicdomainreview.org)

本网站收集了汤姆·塞德曼为西格蒙德·弗洛伊德 1905 年版的《笑话及其与无意识的关系》一书所作的插图。这些插图以弗洛伊德精神分析理论中的概念为基础,并带有幽默和讽刺的意味。

neuviemeporte 的日志 | 16 位逆向工程的误解、编程 WTF 和关于 IT 行业的吐槽 (neuviemeporte.github.io)

这是一篇关于逆向工程 F-15 SE2 游戏的博客文章。作者详细介绍了如何使用 Ghidra 等工具对游戏进行反汇编和反编译,以及在处理混合语言链接、远调用等问题时遇到的挑战。作者还分享了一些关于编译器和 16 位编程的见解。

专业的偷工减料 (blog.ometer.com)

本文将软件开发比作传统家具制作,强调专业开发者应像老练的工匠一样,懂得在不影响最终产品质量的前提下,巧妙地“偷工减料”。作者认为,开发者应该勇于承担技术决策的责任,深入理解客户需求,并避免因懒惰而偷工减料,最终以高效的方式交付高质量的软件产品。

Sonos称其备受争议的应用程序改版需要“勇气” (www.theverge.com)

Sonos公司对用户对其新应用程序的反馈做出了回应,承认新应用程序存在功能缺失、本地音乐库管理问题以及辅助功能受损等问题。Sonos公司表示,他们正在努力解决这些问题,并坚称新应用程序是未来发展的必要基础,尽管目前缺少一些功能。Sonos公司承诺将在未来几个月内重新引入缺失的功能,并进行其他改进。

新研究扩展了计算的热力学理论 (www.santafe.edu)

圣菲研究所的最新研究扩展了计算的热力学理论,引入了新的数学方程式,揭示了依赖随机性的计算过程的能量成本。该研究为不可预测运行时间和不可逆问题的能量成本等棘手问题提供了见解。通过结合统计物理学和计算机科学的方法,研究人员推导出新的数学方程式,揭示了依赖随机性的计算过程的最小和最大预测能量成本。该框架提供了一种直接的方法来计算这些情况下能量成本的下限,并可能带来更高效的计算机芯片架构。

亚当·柯蒂斯谈自我表达的危险 (thecreativeindependent.com)

本文是记者亚当·柯蒂斯关于自我表达的危险的采访记录。柯蒂斯认为自1970年代以来,自我表达被视为一种新的政治形式,但它无法真正挑战权力结构,因为整个世界都建立在自我表达的基础之上。他认为,这种过度强调个人主义的自我表达方式实际上是一种新的整合形式,它使激进分子无法真正改变世界。柯蒂斯主张重新审视权力的概念,并探索集体行动在推动社会变革中的作用。

自行车滚动阻力测试 (www.bicyclerollingresistance.com)

本文提供了一个自行车轮胎滚动阻力测试的汇总。它列出了各种品牌和型号的公路自行车、山地自行车、CX/Gravel自行车、旅行/电动自行车和胖胎自行车的滚动阻力瓦特数。它还包括指向文章、评论和测试信息链接,如最佳公路自行车轮胎、轮辋宽度测试、不同轮胎压力下的湿抓地力以及无内胎密封剂滚动阻力。

微软或将面临欧盟对其 Teams 软件的反垄断指控 (www.ft.com)

微软公司预计将面临欧盟对其 Teams 软件的反垄断指控。该指控主要针对微软将 Teams 软件与其 Office 产品捆绑销售的行为,欧盟竞争监管机构认为这种做法可能会扼杀市场竞争。

停车改革推动水牛城和西雅图新住房建设合法化 (www.sightline.org)

西雅图和水牛城的研究表明,停车规定是住房建设的约束性因素。在停车改革后,60%到70%的新住房得以合法建设,这些住房原本因停车规定而无法建造。虽然并非所有建筑都选择完全不提供停车位,但大多数新住房都受益于停车规定的灵活性,这表明停车改革对缓解住房短缺具有重要意义。

GitHub - paradedb/paradedb:dev 分支下的 pg_lakehouse (github.com)

pg_lakehouse是一个Postgres扩展,它将Postgres转换为一个分析查询引擎,可以处理S3等对象存储和Delta Lake等表格式。查询被下推到Apache DataFusion,它提供了出色的分析性能。支持以下对象存储、表格式和文件格式的组合。pg_lakehouse支持Postgres 14、15和16。即将支持Postgres 12和13。

布拉格天文钟模拟器 (orloj.org)

这是一个名为“Pražský Orloj - Prague Astronomical Clock Simulator”的网页,提供布拉格天文钟的模拟器。网页正在加载中,尚未显示模拟器内容。

可视化限速算法 (smudge.ai)

本文探讨了三种常见的限速算法:固定窗口、滑动窗口和令牌桶。固定窗口算法简单易懂,但允许在窗口结束时出现流量突发。滑动窗口算法通过逐渐恢复容量来解决这个问题,但实现起来资源密集。令牌桶算法允许流量突发,同时强制执行较低的长期平均请求速率。文章还讨论了与限速相关的其他考虑因素,例如创建持久存储、故障打开、可选的突发流量限制和选择合理的键。

DNA鉴定证实英国乡村存在大型猫科动物 (www.discoverwildlife.com)

英国湖区一只死亡绵羊的拭子中检测出了豹属大型猫科动物的DNA,这是首次在英国的动物尸体上发现大型猫科动物的DNA。该分析由华威大学Robin Allaby教授的实验室进行。Allaby教授表示,从动物尸体上提取DNA非常困难,但这次的结果毫无疑问。他还提到,12年前,在格洛斯特郡斯特劳德附近的一个小峡谷中发现了一具被食腐动物啃食过的狍子尸体,但只在上面发现了狐狸的DNA。这次发现的黑猫DNA被认为很可能是一只豹子,因为豹子是豹属中唯一拥有类似黑色形态的猫科动物。

Android防盗保护功能如何确保您的设备和数据安全 (blog.google)

文章介绍了Android新的防盗保护功能,这些功能可以在盗窃发生之前、期间和之后保护用户的设备和数据安全。升级后的出厂重置保护功能可以防止小偷在不知道用户凭据的情况下重置被盗设备。自动保护功能,如盗窃检测锁和离线设备锁,会在手机被盗时启动,锁定屏幕并保护数据。如果手机已经丢失,远程锁定功能可以使用用户的电话号码和安全挑战锁定屏幕,让用户有时间恢复帐户详细信息并访问“查找我的设备”选项。

页面去扭曲 (mzucker.github.io)

本文介绍了一种页面去扭曲方法,将弯曲页面图像展平。作者使用参数模型来描述页面的外观,并通过优化投影误差来确定模型参数。程序步骤包括:获取页面边界、检测文本轮廓、将文本组合成跨度、对跨度进行采样、创建参数估计、优化参数、重新映射图像和阈值处理。作者还分享了程序运行的统计数据和一些结果示例,并讨论了代码优化和样式检查工具的使用心得。

一家银行的出色升级是另一家银行的崩溃 (www.theregister.com)

文章讲述了作者在伦敦一家大型美国银行工作期间,路透社对市场数据格式进行了升级测试。作者在自己的系统上成功加载了新格式,并将其告诉了在另一家银行工作的朋友。这位朋友未经测试就在其系统上尝试加载新格式,结果导致系统崩溃。作者虽然是事件的起因,但由于是路透社提供的新格式,他并没有受到任何责备。

火狐浏览器新变化:洞察力更强,隐私依旧 (blog.mozilla.org)

Mozilla宣布了一种新的数据收集方法,用于更好地了解用户如何与Firefox互动,尤其是在搜索方面。 这种方法将搜索活动分类到高级类别,例如“旅游”或“健康”,但不收集特定搜索词或链接到个人身份的信息。 Mozilla强调,这种方法优先考虑用户隐私,并使用诸如OHTTP之类的技术来匿名化数据,确保其无法与用户IP地址连接。 用户可以选择不发送任何技术或使用情况数据,并且在使用Firefox的隐私浏览模式时不会收集类别数据。

1 2 189 190 191 193 195 196 197 274 275