异步 IO:下一个十亿美元的错误?

2024-09-07

文章探讨了异步 IO 的优缺点,并将其与多线程进行了比较。作者认为,尽管异步 IO 在处理高并发场景中具有优势,但其复杂性也增加了开发难度。作者提出,如果将过去几十年投入异步 IO 的资源用于改进操作系统线程的效率,或许能提供更简单、高效的解决方案。然而,由于现有操作系统的线程成本较高,异步 IO 仍然是目前处理高并发场景的必要选择。

阅读更多
未分类 异步IO

KLEE 符号执行引擎

2024-08-28
KLEE 符号执行引擎

KLEE 是一个基于 LLVM 编译器基础设施构建的符号虚拟机,它包含两个主要组件:核心符号虚拟机引擎,负责执行包含符号值的 LLVM 位码模块;以及面向 uClibc 的 POSIX/Linux 仿真层,支持符号化部分操作系统环境。KLEE 还提供了一个简单的库,用于在本地代码上重放计算的输入,以及一个更复杂的基础设施,用于重放为 POSIX/Linux 仿真层生成的输入。

阅读更多
68
未分类 符号执行

更快更强的 SuperSplat:性能提升与 PWA 支持

2024-05-23
更快更强的 SuperSplat:性能提升与 PWA 支持

PlayCanvas 发布了开源 3D 高斯斑点编辑和优化工具 SuperSplat 的最新版本 0.17.1,该版本专注于性能提升和 PWA 支持。SuperSplat 现在 GPU 速度提高了 2 倍以上,这得益于 PlayCanvas 引擎 v1.71.0 版本对 GPU 处理斑点的方式进行了全面改进。此外,SuperSplat 还新增了 PWA 支持,用户可以将其安装到主屏幕或桌面,享受类似原生应用程序的体验,并能够直接在工具中打开 PLY 文件。

阅读更多
未分类 PWA 开源工具

Reclaim the Stack 文档

2024-09-09
Reclaim the Stack 文档

Mynewsdesk 团队耗时 7 个月,基于 Kubernetes 构建了一个平台以替代 Heroku,用于其 SaaS 产品。结果是成本降低了 90%,性能提高了 30%,部署时间缩短,工具更快、更容易访问,从而显著改善了开发体验。现在,团队开源了整个堆栈,旨在帮助其他开发者在几天内实现同样的目标。

阅读更多
未分类

为何Wordfreq不再更新

2024-09-19
为何Wordfreq不再更新

Wordfreq数据集是截止到2021年各种在线资源中语言的快照,但它将不再更新。主要原因是生成式人工智能的滥用污染了数据,导致难以获取可靠的人类语言使用信息。此外,推特和Reddit等重要数据源也已关闭或不再提供免费的公共数据访问。作者对生成式人工智能及其对自然语言处理领域的影响表示担忧,并拒绝参与其中。

阅读更多
57
未分类 数据污染

红色维也纳的遗产

2024-11-11
红色维也纳的遗产

本文评论了Richard Cockett的著作《维也纳:理念之城如何创造现代世界》。作者Jenny Uglow认为Cockett成功地从20世纪早期维也纳错综复杂的历史中梳理出若干线索,并展示了它们是如何融入西方文化和政治的。文章重点探讨了1919年至1934年社会主义维也纳的“批判理性主义”和多元合作精神,以及其知识分子和规划者如何影响了现代世界的诸多方面,涵盖了公共卫生、住房、哲学、数学、经济学、心理学和艺术等领域。文章也探讨了红色维也纳的兴衰,以及维也纳学派对二战后世界政治、经济和文化思潮的深远影响。

阅读更多

在 Debian 中放弃 bcachefs-tools

2024-08-31

本文讲述了作者在 Debian 中打包和维护 bcachefs-tools 的经历和遇到的挑战。bcachefs 是一款 Linux 文件系统,其用户空间工具 bcachefs-tools 的依赖关系管理给 Debian 的打包工作带来了很大的困扰。作者最终选择放弃维护 bcachefs-tools,并建议用户在生产环境中谨慎使用 bcachefs。

阅读更多

微软必应搜索和 Copilot 遭遇宕机,用户报告问题

2024-05-23
微软必应搜索和 Copilot 遭遇宕机,用户报告问题

微软的搜索引擎必应搜索和 AI 聊天机器人 Copilot 遭遇全球范围内的宕机,许多用户无法访问。根据 Downdetector.com 的数据,宕机报告出现在几个小时前,但微软尚未说明原因和恢复时间。用户报告称,访问 Bing.com 时遇到错误信息、灰色网页或加载错误。此次宕机似乎也影响了必应图片生成器等服务。

阅读更多
未分类 宕机 必应搜索

别让你的域名成为“坐以待毙的鸭子”

2024-08-01

新的研究发现,由于许多大型网络托管提供商和域名注册商的身份验证存在漏洞,超过一百万个域名(包括许多财富 100 强公司和品牌保护公司注册的域名)很容易被网络犯罪分子接管。这些域名被称为“坐以待毙的鸭子”,因为它们的 DNS 记录配置错误,允许攻击者在无需访问真实所有者帐户的情况下控制域名。

阅读更多
未分类 DNS漏洞

智能战舰遭遇软件故障:美军“约克城”号瘫痪始末

2024-07-23
智能战舰遭遇软件故障:美军“约克城”号瘫痪始末

1997年9月21日,美国海军“约克城”号巡洋舰在演习中因软件故障瘫痪近三个小时。该舰在现代化改造中引入了“智能舰船”系统,但数据库应用程序中的除零错误导致舰船控制系统崩溃。尽管故障最终排除,“约克城”号事件暴露了软件开发、系统设计和项目管理中的缺陷,引发了对智能舰船计划的质疑。

阅读更多
77
未分类 智能舰船

微软推出CoPilot+、Team CoPilot等新产品

2024-05-22
微软推出CoPilot+、Team CoPilot等新产品

微软发布了一系列AI产品更新,包括:面向开发者的Azure AI Studio和Copilot Studio平台升级;面向团队协作的Team CoPilot,集成在Microsoft Teams等软件中;面向PC用户的CoPilot+,搭载特殊AI芯片和新功能,如记忆功能Recall、Windows CoPilot Runtime和Phi-3模型等;以及由GPT-4o驱动的对话式网站功能。

阅读更多
未分类

英国科技大亨Mike Lynch及其女儿Hannah被发现遇难

2024-08-22
英国科技大亨Mike Lynch及其女儿Hannah被发现遇难

据报道,英国科技大亨、Autonomy公司前首席执行官Mike Lynch和其女儿Hannah的尸体在其失事游艇Bayesian的残骸中被找到。意大利潜水员称在沉船的一个船舱内发现了这对父女。此前,Lynch的游艇在意大利西西里岛附近海域遭遇风暴后失踪,船上共有22人,目前其他失踪人员的搜救工作仍在进行中。

阅读更多

UNIX管道纸牌游戏

2024-07-23
UNIX管道纸牌游戏

这篇文章介绍了一款名为“UNIX管道纸牌游戏”的教育类纸牌游戏。该游戏旨在帮助儿童学习如何通过管道组合UNIX命令,并提供了详细的游戏规则、任务示例以及卡牌样式。此外,文章还推荐了其他几款类似的教育类纸牌游戏,涵盖了编程、算法、计算机体系结构等方面的知识。

阅读更多
74

国会就一系列安全漏洞质询微软总裁

2024-06-13
国会就一系列安全漏洞质询微软总裁

由于微软一系列安全漏洞导致联邦官员的电子邮件账户遭到黑客攻击,美国国会众议院国土安全委员会对微软总裁布拉德·史密斯进行了质询,质疑微软作为主要政府承包商的可靠性。网络安全审查委员会在一份报告中指出,这些事件是由于一系列“本可避免的错误”和“需要彻底改革”的安全文化造成的。史密斯在听证会上承认了微软的责任,并表示将致力于改进安全措施。

阅读更多
未分类 国会听证会

戴尔案例研究:为什么戴尔的ThinOS运行在FreeBSD上

2024-05-22

戴尔科技集团选择FreeBSD作为其瘦客户端操作系统ThinOS的基础,看重其安全性和稳定性。ThinOS采用“安全设计”理念,提供封闭的桌面体验,保护敏感数据。FreeBSD的稳定内核和BSD许可证允许戴尔根据自身需求定制操作系统。未来,戴尔计划升级到FreeBSD 14,增强硬件支持,改进Linux应用程序兼容性和驱动程序可移植性,并引入更高级的安全功能。

阅读更多
未分类 ThinOS

Emacs五十键:为什么有些人应该选择Vim

2024-05-24
Emacs五十键:为什么有些人应该选择Vim

文章以鲍勃·迪伦的音乐风格类比Emacs编辑器,认为Emacs像是不完美但充满可塑性的音乐,需要用户不断调整和编程才能发挥其强大功能。作者建议不热衷于自定义编辑器的用户选择更易上手的IDE或Vim。文章随后介绍了Emacs的基本操作、快捷键和常用插件,并强调了Emacs的可编程性,鼓励用户根据自身需求和语言特性进行个性化配置,最终将Emacs打造成顺手的利器。

阅读更多
未分类

超级婴儿:拼凑基因的未来

2024-07-27
超级婴儿:拼凑基因的未来

本文探讨了利用基因技术创造“超级婴儿”的可能性,分析了当前的技术瓶颈和未来方向。作者首先介绍了多基因评分在预测个体特征方面的应用,然后探讨了胚胎选择、迭代胚胎选择和体外诱导减数分裂等技术在筛选和创造具有特定基因特征胚胎方面的潜力。文章还讨论了体外配子发生、基因编辑、超级SOX因子以及表观遗传印记等技术挑战,强调了在伦理和安全性得到充分保障之前,这些技术不能用于创造“超级婴儿”。

阅读更多

开源软件 Kinopio

2024-06-27
开源软件 Kinopio

在 Kinopio 五周年之际,开发者决定将其开源。Kinopio 是一款轻量级思维导图软件,用户可以在本地运行、修改和分享改进。开源有利于分担软件开发的工作量,但也存在一些风险,例如代码被盗用或维护成本增加。开发者期待看到开源后社区的贡献,并表示将继续维护和改进 Kinopio。

阅读更多
83
未分类 思维导图 Kinopio

华为发布自研编程语言“仓颉”

2024-06-21
华为发布自研编程语言“仓颉”

华为在2024年HDC开发者大会上发布了自研编程语言“仓颉”。华为称,“仓颉”语言具有原生智能、全场景、高性能和强安全等特点,并将集成到HarmonyOS生态系统中,为开发者提供友好的开发体验。“仓颉”采用AgentDSL框架,混合了自然语言和编程语言,支持函数式、命令式和面向对象编程风格。

阅读更多
未分类 仓颉

复发性乳腺癌新辅助溶瘤病毒疗法非常规病例研究

2024-09-09
复发性乳腺癌新辅助溶瘤病毒疗法非常规病例研究

本文报道了一例非常规的溶瘤病毒疗法治疗局部复发性乳腺癌的案例。患者是一位50岁的女性病毒学家,她在自己的实验室里制备了埃德蒙斯顿-萨格勒布麻疹疫苗株(MeV)和水泡性口炎病毒印第安纳株(VSV),并在肿瘤内多次注射。两个月后,肿瘤体积明显缩小,并且不再侵犯皮肤或肌肉,最终通过手术切除。切除后的肿瘤显示出强烈的淋巴细胞浸润,表明产生了适应性免疫反应。该患者在术后45个月时仍然健康且没有复发。

阅读更多

GitHub - quickjs-ng/quickjs: 下一代 JavaScript 引擎 QuickJS

2024-07-08
GitHub - quickjs-ng/quickjs: 下一代 JavaScript 引擎 QuickJS

QuickJS-ng 是 QuickJS 的一个友好分支,专注于重振该项目。QuickJS 是一款强大JavaScript引擎。在 2023 年 10 月,@bnoordhuis 和 @saghul 决定 fork QuickJS 项目,目的是重振它。截至 2023 年 12 月,最初的目标已基本实现。@bellard 恢复了对该项目的开发,双方从那时起就一直在相互 pull 补丁。截至 2024 年初,双方都认为,正确的方向是合并这两个项目,并将工作结合起来。

阅读更多
74
未分类 QuickJS

宇宙有多少个洞?

2024-05-31
宇宙有多少个洞?

文章探讨了宇宙的形状问题,指出宇宙可能并非传统认为的球形、平面或马鞍形,而是一个更为复杂的结构,例如类似甜甜圈的多孔形态。研究人员通过分析宇宙微波背景辐射数据,发现宇宙中可能存在着巨大的环状结构,光线在其中传播最终会回到起点。文章进一步解释了这种环状结构的形成原理,并指出宇宙的形状与其起源和演化过程密切相关,对宇宙形状的研究有助于揭示宇宙诞生之初的奥秘。

阅读更多
未分类 宇宙形状

LLM推理后端性能基准测试:vLLM、LMDeploy、MLC-LLM、TensorRT-LLM 和 TGI

2024-07-06
LLM推理后端性能基准测试:vLLM、LMDeploy、MLC-LLM、TensorRT-LLM 和 TGI

本文对不同的LLM推理后端(vLLM、LMDeploy、MLC-LLM、TensorRT-LLM 和 Hugging Face TGI)进行了全面的基准测试,评估指标包括首个token时间(TTFT)和token生成速率。测试结果表明,对于Llama 3 8B模型,LMDeploy在所有用户负载下均表现出色,而vLLM则在低延迟场景中表现出色;对于Llama 3 70B Q4模型,LMDeploy在低延迟和高吞吐量方面均表现最佳,而TensorRT-LLM在吞吐量方面与LMDeploy相当。文章还分析了不同后端的优缺点,并为选择合适的推理后端提供了建议。

阅读更多
未分类 推理后端

ELIZA 重新解读:世界上第一个聊天机器人根本就不是聊天机器人

2024-06-28
ELIZA 重新解读:世界上第一个聊天机器人根本就不是聊天机器人

本文重新解读了 ELIZA,普遍认为是世界上第一个聊天机器人,由约瑟夫·魏岑鲍姆在 20 世纪 60 年代初编写。魏岑鲍姆并非有意发明聊天机器人,而是想构建一个平台,用于研究人机对话以及解释和误解的重要认知过程。由于 ELIZA 的诞生恰逢其时,以及它意外流传到外界,它的目的被掩盖了。本文提供了 ELIZA 诞生的丰富历史背景,证明了 ELIZA 是人工智能技术史上一些中心线索交汇的产物。

阅读更多
70
未分类 ELIZA

美国国家安全局推出播客节目,揭秘其使命、文化和人员

2024-09-04
美国国家安全局推出播客节目,揭秘其使命、文化和人员

美国国家安全局将于 9 月 5 日推出名为“No Such Podcast”的播客节目,旨在揭开这个曾经高度机密机构的神秘面纱。该节目将邀请高级领导、新员工等各级 NSA 员工分享他们的工作经历,并探讨网络安全、人工智能和前沿研究等话题。首期节目将解密 NSA 在追捕本·拉登行动中的信号情报贡献。

阅读更多
未分类

SKI组合子演算

2024-07-18

SKI组合子演算是一种组合逻辑系统和计算系统,可以被看作是一种编程语言,但它并不适用于编写软件。它在算法的数学理论中很重要,因为它是一种极其简单的图灵完备语言,类似于无类型λ演算的简化版本。所有λ演算中的操作都可以通过抽象消除编码为SKI演算中的二叉树,这些二叉树的叶子是三个符号S、K和I(称为组合子)中的一个。

阅读更多
1 2 17 18 19 21 23 24 25 1084 1085