核手提箱 可扩展服务 policy 颈挂空调 计算机硬件 极端主义 PostgreSQL AI工具 儿童读物 化学 即时消息 代码审查 反向工程 KDE 数据安全 效率工具 超级计算机 植物学 分析化学 插图 Three.js 泄露 大会 初创 Verizon 海水淡化 GPT-3 数字革命 加速器项目 更多

Chromium (issues.chromium.org)

Chromium 是一个开源浏览器项目,旨在构建一个更安全、更快、更稳定的网络浏览方式。

xecrets:本地化.NET控制台或桌面应用程序 (blog.axantum.com)

本文介绍了一种本地化.NET应用程序的解决方案,该方案利用了.po文件格式和gettext工具生态系统。作者介绍了如何使用POTools从.resx文件中提取可翻译字符串,并使用Loco等翻译工具进行翻译。然后,作者展示了如何使用Karambolo.PO库创建一个POStringLocalizer实现,将翻译后的.po文件与.NET应用程序集成。

添加sysctl以禁用Nagle算法 (marc.info)

这篇文章讨论了是否应该在OpenBSD系统中禁用Nagle算法。Nagle算法旨在通过合并小数据包来提高网络效率,但它也会增加延迟。文章探讨了该算法的优缺点,并指出一些应用程序已经选择禁用它。作者建议添加一个sysctl选项,允许在系统范围内禁用Nagle算法。

分段链 (www.catch22.net)

本文介绍了分段链(Piece Chains)这种用于文本编辑的数据结构,并详细解释了其在Neatpad文本编辑器中的实现方式。文章探讨了分段链的设计原理,包括其如何通过双向链表组织文本片段(Span),以及插入、删除、替换文本的操作如何在分段链上进行。文章还讨论了分段链的优点,如支持无限次撤销和重做、内存效率高等,以及其相对于其他数据结构(如二叉树)的优缺点。

Typewise招募产品设计师 (www.ycombinator.com)

Typewise是一家瑞士-美国深度科技初创公司,致力于通过解码人类思想让日常生活更轻松。该公司正在招聘一名产品设计师,负责将产品和品牌提升到一个新的水平。应聘者需具备4年以上设计复杂应用程序的经验,熟悉用户研究方法,精通Figma等原型设计工具,并对数据分析和A/B测试有深入了解。

微软人工智能发展威胁其气候目标:碳排放增长30% (www.bnnbloomberg.ca)

微软公司四年前承诺在2030年前实现碳负排放,但其最新可持续发展报告显示,公司碳排放量比2020年增加了30%。人工智能产品的能源需求导致微软数据中心扩张,加剧了碳排放。微软承认人工智能发展与减排目标存在冲突,但强调将致力于提高能源效率、投资绿色技术和可持续航空燃料,并呼吁政府加快电网建设以支持可再生能源的使用。

风险投资人不是你的朋友 (www.openvc.app)

文章指出,风险投资家并非如他们所说那样是创业者的朋友,而更像是精明的商人。他们通过细微的信号,比如演示文稿的日期,来筛选大量项目,并以追求最大回报为目标。文章建议创业者应将风险投资家视为销售目标,展现出最佳状态,才能获得投资。

地球自转限制了 IBIS 的性能,最高可达 6.3 档 (thecentercolumn.com)

文章探讨了相机内置防抖系统 (IBIS) 的性能极限。作者指出,地球自转会对 IBIS 产生影响,理论上限制其最高只能达到 6.3 档防抖效果。文章详细解释了地球自转如何导致相机旋转,以及 IBIS 如何试图抵消这种旋转。文章还探讨了相机制造商可能采取的两种方法来克服地球自转带来的限制,并对 CIPA 防抖测试标准提出了质疑。

增强R语言:Jan Vitek的MaintainR项目的愿景和影响 (www.r-consortium.org)

本文介绍了Jan Vitek的MaintainR 2021项目,该项目旨在支持和更新R生态系统的关键组件。文章指出,R语言的持续发展需要维护和修复其庞大的软件生态系统,包括R解释器、核心库和CRAN。项目重点是解决核心库中C代码的潜在问题,并开发了CheckR工具来识别可能导致崩溃的错误代码。MaintainR项目通过资金支持核心团队成员Tomas Kalibera的工作,确保R语言的长期稳定性和可靠性。

世界上最北端的铁路 (gelio.livejournal.com)

本文介绍了世界上最北端的铁路——位于俄罗斯亚马尔半岛的“奥布斯卡亚-卡尔斯卡亚”铁路。这条铁路全長572公里,始于拉贝特南吉市的奥布斯卡亚站,止于博瓦年科沃油气田的卡尔斯卡亚站,全线位于北极圈内,由俄罗斯天然气工业股份公司于2011年建成。铁路的建设克服了极地气候和永久冻土的挑战,采用了特殊的施工技术,例如使用泡沫聚苯乙烯和土工布保护地面,以及使用热稳定器来调节温度,确保了铁路的稳定运行。这条铁路对于亚马尔半岛的油气资源开发至关重要,全年为油气田运输人员、设备和建筑材料。

关于Rust、可变别名和形式验证的一些笔记 (graydon2.dreamwidth.org)

这篇文章探讨了Rust语言在形式验证方面的优势,特别关注了其对可变别名的限制如何支持局部推理,从而使得形式验证工具更容易分析Rust代码。文章解释了Rust的借用检查器如何通过确保引用生命周期短于所引用对象的生命周期来实现内存安全,以及“共享-异或-可变”规则如何支持局部推理。文章还将Rust的借用检查器与垃圾回收进行了比较,并讨论了Rust的早期版本如何使用类型状态系统和写时复制来支持形式验证。

NetBSD基金会宣布新开发政策:允许使用大型语言模型生成的代码 (mastodon.sdf.org)

NetBSD基金会宣布了一项新的开发政策,允许在NetBSD操作系统中使用由大型语言模型(LLM)生成的代码。该政策引发了开源社区的广泛讨论,开发者们对LLM生成代码的质量和版权问题表示关注。

Swift是否真的不适合Web服务? (wadetregaskis.com)

本文回顾了Axel Roest发布的Web服务器性能比较测试,该测试引发了关于Swift是否适合Web服务的讨论。作者深入分析了测试结果,发现Swift框架Vapor的性能受到第三方BigInt库性能的影响,同时macOS内核的TCP套接字bug也导致了测试结果不准确。通过优化BigInt库和解决内核bug,Vapor最终展现出优于其他框架的性能。文章还强调了基准测试中选择负载的重要性,以及对结果进行深入分析的必要性。

电池制造需要大量锂,其中一部分可能来自废水 (www.pitt.edu)

美国匹兹堡大学的一项新研究表明,美国电池制造所需的锂,近一半可以来自宾夕法尼亚州的废水。研究人员分析了来自马塞勒斯页岩气井的废水,发现其中锂含量很高,如果能完全提取,可以满足美国40%的需求。目前,美国大部分锂来自智利,然后运往中国加工。研究人员表示,从废水中提取锂是一个有益的利用,可以减少对国外进口的依赖。下一步将进行环境影响评估和试点工厂建设,以开发提取技术。

麻省理工学院学生利用以太坊区块链漏洞,在 12 秒内盗取 2500 万美元 (arstechnica.com)

美国司法部周三公布的起诉书显示,两名受过高等教育的兄弟在短短 12 秒内,通过篡改以太坊区块链,在一个前所未见的加密货币计划中窃取了 2500 万美元。这两位兄弟安东和詹姆斯·佩雷拉-布埃诺分别为 24 岁和 28 岁,于周二被捕,被控共谋实施电汇欺诈、电汇欺诈和共谋洗钱。据称,该计划始于 2022 年 12 月,由曾在麻省理工学院学习的兄弟俩在数月的策划后发起。这对兄弟似乎利用了他们的“专业技能”和加密货币交易方面的专业知识,以欺诈手段获得了区块链上“待处理的私人交易”的访问权限,然后“利用该访问权限改变某些交易并获得受害者的加密货币”。

使用StringScanner构建快速分词器 (tenderlovemaking.com)

文章介绍了如何利用Ruby的StringScanner工具优化GraphQL解析器中的分词器性能。作者通过合并空白和注释检查、将next_token方法拆分为获取token和获取token值两个方法、使用标点符号查找表和完美哈希表等技巧,将分词器的速度提高了两倍,并将对象分配从20k减少到2个。

大公司 vs. 初创公司 (danluu.com)

本文探讨了在大公司和初创公司工作的利弊,涵盖了收入、工作内容、学习和经验等方面。作者认为,大公司薪酬更高,工作稳定,且有更多资源支持研究项目。而初创公司则更具灵活性,员工更容易对公司产生影响,但收入存在较大不确定性。作者建议读者根据自身情况和职业目标,权衡利弊,选择适合自己的公司类型。

Netflix 挑战谷歌和亚马逊,构建自己的广告服务器 (techcrunch.com)

Netflix 在其 Upfronts 演示会上宣布,将在进入广告业务仅一年半后推出自己的广告技术平台。此举使其与谷歌、亚马逊和康卡斯特等拥有广告服务器的其他行业巨头展开竞争。Netflix 将不再依赖微软开发的广告技术,而是转向内部解决方案,以期完全控制其广告未来,并为其 2.7 亿用户创造有针对性、个性化的广告体验。Netflix 还计划在今年夏天扩展其购买能力,并将 The Trade Desk、Google Display & Video 360 和 Magnite 作为合作伙伴。

美国联邦监管机构批准对美国电网进行重大改革 (www.npr.org)

美国联邦能源监管委员会(FERC)批准了对美国电力线规划、建设和资金筹措方式的重大改革。此举旨在解决美国电网不堪重负的问题,随着电力需求激增,数据中心、人工智能革命以及清洁技术设施的涌现,电网面临着巨大的压力。新规要求各州的电力公司制定20年计划,提前解决投资和成本分摊问题,以确保电网能够满足不断增长的需求。

原型继承 (crockford.com)

这篇文章探讨了JavaScript中原型继承的概念,作者主张抛弃传统的类继承模式,全面拥抱原型继承。文章介绍了如何使用`object`函数来实现真正的原型继承,通过创建一个空的新对象来继承旧对象的属性和方法。作者认为原型继承比类继承更强大、更具表现力,并鼓励开发者采用这种模式来构建大型、复杂、高效的程序。

大型语言模型不适合头脑风暴 (piaoyang0.wordpress.com)

这篇文章认为,大型语言模型(LLM)不适合用于真正的头脑风暴。作者指出,LLM主要训练目标是模仿人类产生的语料库中现有的模式,而不是被教导如何“头脑风暴”。因此,LLM倾向于趋同于现有数据中的共识,而不是提出真正具有创新性的想法。文章还提出了一些潜在的解决方案,例如创建包含优质头脑风暴示例的微调数据集,以及使用RLAIF等方法迭代地批判LLM在创造力方面的回应。

布拉格天文钟模拟器 (github.com)

该项目是一个布拉格天文钟的模拟器,该钟最初安装于1410年,至今仍在运行。真实的钟表被设计成在布拉格的特定纬度(约50°N)运行。而该模拟器可以设置在地球上的任何位置,可以显示当前时间,也可以设置特定时间来查看时间是如何显示的。模拟器的指针、小时刻度盘、太阳、月亮和黄道轮的定位默认使用计算机时钟和现代天文计算,但也可以模拟机械钟计时。

亚利桑那州指控亚马逊存在不公平、欺骗性的商业行为 (www.courthousenews.com)

亚利桑那州总检察长克里斯·梅斯对亚马逊提起两项诉讼,指控其违反了亚利桑那州消费者欺诈法和亚利桑那州统一州反托拉斯法。梅斯指责亚马逊的Prime会员取消流程故意设置得混乱且具有误导性,目的是留住客户并最大化利润。此外,梅斯还声称亚马逊的“购买框”算法偏向于亚马逊自营产品和使用亚马逊物流服务的卖家,损害了其他第三方卖家的利益,并导致消费者无法获得最优惠的价格。

2024年,干旱或将成为历史* (asteriskmag.com)

本文探讨了利用太阳能海水淡化技术解决美国西部地区水资源短缺问题的可行性。作者以加州萨尔顿海为例,提出建设太阳能海水淡化厂,从墨西哥湾引进海水进行淡化,并将产生的浓盐水用于提取锂、钠、镁等金属,最终实现水资源的充足供应、生态环境的恢复和经济的增长。

Remix与React Router合并 (remix.run)

Remix团队宣布将Remix与React Router合并,React Router v7将包含Remix的所有优秀功能。此次合并旨在让更多React项目受益于Remix的自动代码拆分、简化数据加载、表单操作、服务器操作、简化待处理状态、乐观UI、服务器渲染、静态预渲染和RSC等功能。Remix用户可以继续使用Remix,并在React Router v7发布时通过更改导入语句来切换。Remix团队对Remix包的未来充满期待,并将致力于打造更强大、更以服务器为中心的Remix。

澳大利亚医生Richard Scolyer在被诊断出患有绝症一年后,利用自己研发的革命性疗法成功战胜脑瘤 (nypost.com)

澳大利亚悉尼大学教授Richard Scolyer去年被诊断出患有晚期脑瘤,生命只剩下不到一年的时间。他与同事Georgina Long共同研发了一种结合免疫疗法和个性化疫苗的治疗方案,并在手术前后接受了这种疗法。一年后,Richard Scolyer的脑瘤没有复发,他现在感觉良好,并恢复了日常跑步的习惯。

高通Oryon LLVM补丁 (chipsandcheese.com)

高通最新笔记本电脑SOC Snapdragon X Elite (SDXE) 采用了来自Nuvia团队的定制ARM核心,名为Oryon。文章深入研究了最近上传的LLVM补丁,该补丁揭示了Oryon核心的结构布局。文章详细分析了Oryon核心的流水线描述、L1数据缓存、整数和向量调度器以及内存子系统,并将其与其他高性能核心(如Apple的Firestorm和Zen 4)进行了比较。分析表明,Oryon与Firestorm有许多相似之处,但两者之间也存在一些关键差异。

Hysata 宣布获得 1.11 亿美元 B 轮投资 (hysata.com)

澳大利亚绿色制氢电解槽制造商 Hysata 宣布获得 1.11 亿美元 B 轮投资,由 bp Ventures 和 Templewater 领投。Hysata 正在开发高效电解槽,目标是以更高的能源效率和更低的成本大规模生产绿色氢气。这笔资金将用于扩大其位于新南威尔士州卧龙岗的制造工厂的产能,并进一步发展其技术,因为该公司专注于实现吉瓦级制造。

量子互联网因纠缠记忆突破而临近 (www.newscientist.com)

为了构建安全的量子互联网,研究人员需要一种名为量子中继器的设备,而这种设备目前还不存在。两组研究人员表示,他们正致力于构建这种设备。量子网络使用量子比特来传输信息,量子比特依赖于一种称为纠缠的量子特性,在这种特性中,粒子可以被连接起来,无论它们相距多远,测量一个粒子都会立即影响另一个粒子的状态。量子中继器可以存储纠缠态并在网络中传输,以确保信号在长距离传输中不发生衰减。两组研究人员分别展示了量子网络中持续时间长的纠缠记忆,这是量子中继器所需的关键特性。

我们如何让Plane的自托管在超过10万次Docker部署和4.4万次Kubernetes部署中变得轻而易举 (plane.so)

文章介绍了Plane如何通过简化自托管流程,使其在超过10万次Docker部署和4.4万次Kubernetes部署中变得容易。文章详细解释了Plane如何通过提供预构建的Docker镜像、Helm Charts以及易于使用的CLI工具来简化部署过程,使用户可以轻松地在自己的服务器上部署和管理Plane。

1 2 4 6 7 8 9 98 99