从成功的Rust重写项目中汲取的经验教训

2024-10-30

作者回顾了一个C++项目到Rust的增量式重写过程,总结了Rust的优势和遇到的挑战。优势包括简化代码、提升性能、更容易发现代码bug、方便的跨平台编译和内置测试框架。劣势主要集中在与C/C++交互时,`unsafe`代码块易引入未定义行为,Miri和Valgrind的局限性,内存泄漏问题,跨平台编译和Cbindgen工具的不足,不稳定的ABI,缺少自定义内存分配器的支持,以及Rust本身和FFI相关的复杂性。作者认为Rust在纯Rust项目中表现出色,但在与C/C++交互时仍存在很多问题,并表示未来可能会考虑使用Zig进行类似的重写工作。

阅读更多
未分类

细胞营养与身份的新联系或将改善免疫疗法

2024-12-12

Salk研究所的科学家发现,乙酸盐到柠檬酸盐的营养转换在决定T细胞命运,即从活跃的效应细胞转变为耗尽的细胞的过程中起着关键作用。该研究发表在《科学》杂志上,表明不同的营养物质可以改变细胞的基因表达、功能和身份,为免疫疗法提供了新的治疗靶点,可能有助于T细胞保持活跃,对抗慢性疾病。这一发现表明,细胞的功能与其营养直接相关,为治疗慢性疾病提供了新的思路。

阅读更多

美国30年期抵押贷款平均利率升至6.79%

2024-11-09

美国30年期抵押贷款平均利率连续第六周上升,达到6.79%,为7月初以来的最高水平。15年期抵押贷款利率也上升至6%。抵押贷款利率上升增加了借款人的成本,降低了购房者的购买力。利率上升受多种因素影响,包括美国10年期国债收益率,以及对通货膨胀和经济的乐观报告。尽管美联储在9月下调了主要利率,但抵押贷款利率的上升抑制了一些潜在购房者的积极性,抵押贷款申请连续六周下降。

阅读更多
15
未分类 美国房地产

Microsoft Teams 的工单服务

2024-10-24

这是一款名为“Ticketing As A Service”的微软Teams应用,它是一个直观易用的工单系统,旨在帮助企业高效处理服务请求和事件。该应用提供多种功能,包括自定义表单、自动化、电子邮件转工单、服务级别协议 (SLA)、仪表板、API 等,适用于人力资源、客户服务、ITIL 服务、错误跟踪、事件管理等多种应用场景。

阅读更多

Netflix直播故障激怒泰森-保罗之战观众

2024-11-16

2024年11月15日晚,Netflix在直播迈克·泰森对阵杰克·保罗的比赛时出现严重串流故障,引发大量观众不满。超过8.8万用户向Down Detector报告了问题,抱怨画面滞后、卡顿、缓冲以及直播中断等。许多用户错过了联合主赛凯蒂·泰勒对阵阿曼达·塞拉诺的比赛。Barstool Sports的Dave Portnoy在X上发帖称Netflix对如此大规模的直播毫无准备。部分用户对Netflix获得如此大型赛事直播权表示质疑,认为其服务质量令人失望。

阅读更多
11

或可探测引力子

2024-10-31

长期以来,探测引力子被认为是不可能完成的任务。一篇新论文提出了一种新的实验方案,结合对引力波和量子技术的理解,可以在实验室环境下探测与引力子相关的量子事件。该实验涉及将铍棒冷却至接近绝对零度,使其处于基态,然后等待来自太空的引力波与其相互作用。虽然该实验并不能直接证明引力子的存在,但它可以为量子引力的研究打开一扇窗,并引发后续更深入的实验。

阅读更多
未分类 引力子

编程时你在想什么?

2024-10-18

本文探讨了程序员在编程时的思维可视化过程。作者认为,高效的编程很大程度上依赖于建立正确的心理模型,并在解决问题时将代码可视化。文章列举了系统设计、数据库模式设计、代码优化、算法编写等不同编程任务,并详细介绍了每种情况下作者推荐的可视化工具和技巧,例如ER图、火焰图、树状图等。作者鼓励读者积极尝试不同的可视化方法,找到最适合自己的思维方式,从而提高编程效率。

阅读更多
未分类

“重返办公室”的谎言

2024-11-23

作者抨击了公司要求员工重返办公室的做法,认为这并非出于所谓的“协作”或“社交”需求,而是为了证明昂贵的办公空间的价值。作者指出,其工作内容完全可以通过线上完成,在家办公更高效且更能兼顾生活。尤其对于像作者这样的残障人士来说,在家办公更是不可或缺的。作者还批评了公司在员工辛勤工作后不发放奖金,并威胁要取消在家办公的福利,认为这是不公平且歧视性的。

阅读更多

理解 Lambda 演算之抽象、规约和替换

2024-11-10

本文以程序员视角解释了 Lambda 演算的核心概念,包括抽象(函数定义)、应用(函数调用)、柯里化(多参数函数处理)、规约(求值过程)、替换(变量重命名)以及等价性等。作者以通俗易懂的语言和示例,阐明了 α-、β- 和 η- 规约/替换/等价的区别,并解释了如何运用这些概念理解 Lambda 表达式。

阅读更多
14
未分类 编程语言理论

我的太阳能自托管网站

2024-10-18

本文介绍了作者如何利用太阳能电池板、锂电池和树莓派搭建一个自托管网站的经历。作者详细介绍了硬件选择、网络配置、监控系统搭建等方面的技术细节,并探讨了太阳能网站的优势、挑战以及对未来可持续发展的思考。

阅读更多
(dri.es)
25
未分类

深入理解可插拔认证模块并在 Python 中创建自定义模块

2024-10-19

这篇文章深入探讨了可插拔认证模块 (PAM) 的复杂性,探讨了它的架构、模块和控制标志。文章解释了 PAM 如何将身份验证过程与单个应用程序分离,提供一种集中式和标准化的身份验证方法。此外,文章还演示了如何使用 Python 开发自定义 PAM 模块,展示了如何创建扩展系统身份验证功能的模块,以及如何实现自定义身份验证逻辑以满足特定需求。

阅读更多
未分类 PAM

如何实现分布式锁

2024-10-20

这篇文章批判了Redis中Redlock算法的安全性,认为它不适合用于对正确性要求高的分布式锁场景。作者指出Redlock算法依赖于同步系统模型的假设,容易受到时钟跳跃、进程暂停和网络延迟的影响,导致锁失效。作者建议对于效率优化的锁,使用简单的单节点Redis锁即可;而对于正确性至关重要的锁,应该使用ZooKeeper等共识系统,并结合fencing token机制来保证安全性。

阅读更多
未分类 Redlock

苹果M1/M2 GPU驱动更新

2024-11-01

Alyssa Rosenzweig在2024年X.Org开发者大会上介绍了苹果M1/M2 GPU开源驱动的最新进展。该驱动已实现OpenGL 4.6和Vulkan 1.3标准的兼容,并通过软件模拟方式克服了硬件Tessellation的限制。Rosenzweig还展示了该驱动在运行AAA游戏上的进展,通过结合DXVK、Wine、FEX-Emu以及一个运行4KB页面内核的虚拟机,成功在M1/M2 Mac上运行了Portal 2、The Witcher 3、Cyberpunk 2077等游戏。

阅读更多
18
未分类 苹果M1/M2

两种前所未见的工具,来自同一组织,感染了隔离设备

2024-10-13

安全公司ESET的研究人员发现,一个据信来自俄罗斯的国家级黑客组织使用了两种复杂的工具集来窃取存储在隔离设备上的敏感数据。隔离设备是指那些被故意从互联网或其他网络中隔离出来以防止恶意软件攻击的设备。其中一套定制工具集从2019年开始被用于攻击白俄罗斯的一个南亚国家大使馆。三年后,由同一威胁组织创建的另一套截然不同的工具集感染了一个欧盟政府组织。

阅读更多
未分类

机器人如何从福岛核反应堆中提取燃料

2024-10-08

2011年日本福岛第一核电站事故发生十三年后,运营商东京电力公司(TEPCO)终于接近从该核电站提取第一批熔毁燃料。由于提取路线的开发延迟和障碍,提取工作本应在2021年开始,但遭遇了困难;冠状病毒的流行也减缓了工作进度。TEPCO计划使用一个特殊的伸缩机器人装置,从2号机组中回收一小部分燃料碎片,并在将其转移到容器中进行初步测试后,将其转移到附近的日本原子能机构设施进行详细分析。

阅读更多
未分类

URAvatar:通用可重光高斯编解码器化身

2024-11-07

URAvatar是一种新的创建逼真可重光头部化身的方法,只需使用手机扫描即可,无需特定光照条件。该方法直接建模可学习的辐射传输,并结合全局光传输,实现实时渲染。它使用3D高斯模型构建通用可重光化身模型,并通过数百个高质量多视角人脸扫描数据进行训练。用户可以使用手机扫描创建URAvatar,并在各种光照条件下对其进行重光照,还可以根据目标表情驱动URAvatar。

阅读更多

HashML-DSA被认为是有害的

2024-11-10

本文讨论了数字签名方案中的预哈希范式及其问题。作者认为,将协议问题推到基元层导致了HashML-DSA和HashSLH-DSA等不必要的变体,这些变体增加了复杂性且并未带来实际收益。作者提出了更好的替代方案,包括利用公钥依赖的message identifier以及在协议层定义数据哈希方式。对于ML-DSA,可以使用SHAKE256(SHAKE256(pk, 64) || 0x00 || 0x00 || m)进行预哈希。对于SLH-DSA等多通道签名方案,则需要更高级的协议设计。作者强调,应在协议层而非基元层处理预哈希问题,并建议在标准化过程中预先明确API和属性。

阅读更多
未分类 预哈希

Typeset:用于网页排版的 HTML 预处理器

2024-10-27

Typeset 是一款 HTML 预处理器,为网页提供传统精美印刷中使用的排版功能,这些功能在浏览器布局引擎中尚不可用。Typeset 可以实现真正的悬挂标点、视觉边距对齐、小型大写字母检测、软连字符插入、标点符号替换等功能。它不需要任何客户端 JavaScript,并且使用的 CSS 代码不到 1KB,可以在 Internet Explorer 5 及更高版本中运行。

阅读更多
未分类

Tor网络防御:缓解针对Tor的IP欺骗攻击

2024-11-09

2024年10月末,Tor目录服务器、中继运营商和Tor项目系统管理员团队收到了来自其提供商的多起关于端口扫描的滥用投诉。这些投诉可追溯到一次协调的IP欺骗攻击,攻击者伪造非出口中继和其他Tor相关IP,触发滥用报告,目的是扰乱Tor项目和Tor网络。在Tor社区、InterSecLab和GreyNoise团队的共同努力下,这些欺骗数据包的来源已于2024年11月7日被识别并关闭。此次事件对Tor用户没有影响,但对Tor网络造成了有限的影响,一些中继暂时离线,并给许多必须处理这些投诉的中继运营商带来了不必要的压力和不便。

阅读更多
未分类

TypeSchema

2024-10-24

TypeSchema 是一种用于描述数据模型的 JSON 规范。它支持多种编程语言,可以生成简洁易用的数据传输对象(DTO)。TypeSchema 可以处理继承、多态和泛型等高级概念,并可以使用反射机制将任何类转换为 TypeSchema 规范。

阅读更多
未分类

C++ 的两大阵营

2024-11-25

本文探讨了C++社区中存在的两大阵营:现代C++阵营和遗留C++阵营。现代C++阵营通常是大型科技公司,他们拥有先进的工具和基础设施,能够进行大规模代码重构和现代化改造。而遗留C++阵营则受限于旧代码、缺乏现代工具和流程,难以进行代码升级。文章指出,C++标准委员会为了保持向后兼容性,优先考虑遗留C++阵营的需求,这导致了一些旨在提高C++安全性和性能的提案难以推进。这种分裂导致C++的发展面临挑战,未来可能出现更剧烈的分裂。

阅读更多
未分类

计算机行业不关心性能:在家也能让程序跑得更快

2024-11-25

作者分享了其在性能优化方面的经验,强调了计算机行业对性能优化重视不足的现状。作者通过自研工具,成功将Uber应用启动速度提升30%,Android UI显示速度提升3倍,以及Lucene运行速度提升11%。这些成果的取得源于对代码中缓慢部分、粗粒度同步块以及动态方法调度的优化。作者认为,由于行业利益相关者的共同作用,很多性能优化潜力被白白浪费,并希望更多人关注性能优化领域。

阅读更多
未分类

M4 Mac无法虚拟化旧版macOS

2024-11-16

M4芯片的Mac电脑无法虚拟化13.4 Ventura之前的macOS版本。这影响了所有Apple silicon的macOS虚拟化软件,例如UTM。虚拟机会黑屏且无法启动,即使是在M4 Mac上构建的虚拟机也是如此。该问题似乎发生在内核启动的早期阶段,活动监视器中只有一个虚拟内核处于活动状态。目前,运行13.4 Ventura之前版本的macOS虚拟机的唯一方法是在M1、M2或M3芯片的Mac上运行。

阅读更多
未分类

论优秀的软件工程师

2024-10-28

优秀的软件工程师是值得信赖的团队成员,他们能够与团队合作,持续交付高质量的解决方案。他们具备优秀的沟通能力、对工作流程有深入了解,并能适应不同的组织文化和规范。他们积极主动地将质量融入工作,并根据实际情况调整方法。他们不断学习,寻求改进,并在团队中发挥积极作用,主动解决问题。

阅读更多
未分类 高质量交付

Grok TiddlyWiki 2.0 发布

2024-10-22

Grok TiddlyWiki 2.0 学习资源已更新,包含TiddlyWiki的最新功能,如procedures、functions、<% conditional expressions %>、custom widgets等。作者对内容进行了修正和改进,并提供了多种获取方式,包括网站、TiddlyHost账户克隆和GitHub源码。文章还讨论了Grok TiddlyWiki网站的新banner设计,包括logo选择、颜色搭配和文字排版等。

阅读更多

叙利亚古城出土最古老字母文字的证据

2024-11-24

约翰霍普金斯大学的研究人员在叙利亚一座古墓中挖掘出刻有文字的泥制圆柱体,这些文字可追溯到公元前2400年左右,比其他已知的字母文字早约500年。这一发现颠覆了考古学家对字母起源、传播以及对早期城市文明影响的认识。研究人员认为,字母文字的出现使得文字不再局限于皇室和社会精英,改变了人们的生活、思考和交流方式。

阅读更多

企鹅兰登书屋修改版权声明,强调人工智能领域版权保护

2024-10-19

全球最大的贸易出版商企鹅兰登书屋修改了其版权页面的措辞,旨在保护作者的知识产权不被用于训练大型语言模型(LLM)和其他人工智能(AI)工具。新措辞规定“本书任何部分均不得以任何方式用于训练人工智能技术或系统”。此举是为了应对美国一系列版权侵权案件以及科技公司被指控使用盗版书籍训练人工智能工具的报道。

阅读更多
未分类 企鹅兰登书屋

Ubitium宣布开发CPU、GPU、DSP和FPGA功能于一体的“通用”处理器

2024-11-24

RISC-V初创公司Ubitium宣布正在开发一款名为“通用处理器”的芯片,该芯片基于RISC-V架构,旨在将CPU、GPU、DSP和FPGA的功能集成到单个芯片和架构中。Ubitium称该处理器更小、更高效、成本更低,所有晶体管均可重复用于不同功能,无需专门的内核。该公司计划于2026年推出该处理器,目前已筹集370万美元用于原型开发和开发套件的创建,但要实现量产仍需更多资金。该项目面临的挑战包括资金不足和2026年这一雄心勃勃的发布日期。

阅读更多
未分类
1 2 103 104 105 107 109 110 111 548 549