热门标签：
Mac 多显示器 显示器扩展 requests patch 并发 Alpine Linux BSD Linux 电动汽车 全部标签

拼接鸭子和大象的DNA：DuckDB与Postgres扩展的结合

2024-08-18
拼接鸭子和大象的DNA：DuckDB与Postgres扩展的结合

本文介绍了 pg_duckdb，一个将 DuckDB 分析引擎嵌入 Postgres 的开源 Postgres 扩展，它允许用户在他们喜欢的关系型数据库中进行快速分析查询。Postgres 擅长创建、查找和定位单个行，但在分析查询方面速度较慢，而 DuckDB 是一种进程内 OLAP 数据库，使用矢量化查询引擎来一次处理大块数据，这使得它非常适合回答有关数据分析的问题。pg_duckdb 将 Postgres 和 DuckDB 结合在一起，提供了一个强大的关系型数据库，同时具备出色的分析能力。

阅读更多
(motherduck.com)
61
未分类

Loop：让窗口管理更优雅

2024-06-20
Loop：让窗口管理更优雅

Loop 是一款 macOS 应用，可简化窗口管理。它允许用户使用简单的按键触发径向菜单，轻松选择窗口方向，并根据个人喜好自定义颜色和设置。用户只需点击几下即可移动、调整大小和排列窗口，从而节省宝贵的时间和精力。

阅读更多
(github.com)
97
未分类

医疗行业公司起诉证书颁发机构，试图阻止证书吊销

2024-07-31

美国医疗行业公司 Alegeus Technologies 因其数百个客户的系统无法在24小时内完成证书更新，起诉证书颁发机构 DigiCert，要求法院阻止 DigiCert 吊销其有问题的证书。
DigiCert 此前发现其域名验证流程存在问题，可能导致证书被错误颁发，因此通知客户将吊销相关证书。根据 CA/Browser Forum 的规定，证书颁发机构必须在 24 小时内吊销存在问题的证书。
Alegeus 认为，根据与其客户签订的协议，他们需要更长的通知时间才能完成证书更新。此次诉讼引发了关于证书吊销时限和安全问题的讨论。

阅读更多
(www.hezmatt.org)
79
未分类 医疗行业

高山无垠的诱惑

2024-06-17
高山无垠的诱惑

文章探讨了人类对高山的迷恋，以英国登山家乔治·马洛里攀登珠穆朗玛峰的故事为主线，探讨了人们攀登的原因、高山文化以及人类与自然的关系。文章认为，高山不仅是挑战和征服的对象，也是一种精神寄托，是现代人寻求超越和逃避现实的象征。

阅读更多
(www.noemamag.com)
95
未分类 高山 人类与自然

“电子邮件即身份验证”模式

2024-09-08

这篇文章探讨了一种常见的但存在安全隐患的登录方式：用户点击“忘记密码”，通过电子邮件重置密码，并设置一个容易忘记的一次性密码。作者认为，这种行为模式根深蒂固，用户并未意识到其风险。文章呼吁设计更安全便捷的系统，引导用户改变这种习惯，以提升网络安全意识和实践。

阅读更多
(rubenerd.com)
73
未分类 行为模式

使用LLVM/Clang构建更好的固件

2024-07-27
使用LLVM/Clang构建更好的固件

本文介绍了如何在嵌入式开发中使用LLVM/Clang编译器工具链来构建更好的固件。LLVM/Clang相比GCC的优势在于模块化架构、丰富的静态分析功能以及跨平台编译能力。文章详细介绍了如何将基于GCC的ARM Cortex-M项目迁移到LLVM/Clang, 并利用Clang的静态分析工具scan-build检测内存泄漏、死锁等问题。此外，文章还介绍了Clang线程安全分析器，用于检测多线程应用中的竞态条件。最后，文章总结了LLVM/Clang在嵌入式开发中的优势，并鼓励开发者尝试使用。

阅读更多
(interrupt.memfault.com)
70
未分类 LLVM

CrowdStrike：阻止安全漏洞，推动业务发展

2024-07-19

CrowdStrike Falcon 是一个由人工智能驱动的网络安全平台，提供针对各种威胁（包括云安全、身份攻击和下一代SIEM）的全面保护。它拥有业界领先的检测时间和覆盖范围，在 MITRE Engenuity ATT&CK 评估中表现出色。CrowdStrike 还提供专家见解、创新解决方案和行业领先的威胁情报，帮助企业主动防御网络攻击。

阅读更多
(www.crowdstrike.com)
87
未分类

优步为降低最低工资标准，在纽约市高峰时段将司机拒之门外

2024-06-24
优步为降低最低工资标准，在纽约市高峰时段将司机拒之门外

由于纽约市一项规定要求网约车公司为司机在行程之间的空闲时间付费，优步公司开始在需求低谷时段将司机应用程序锁定，以降低最低工资标准。此举引发了司机们的强烈不满，他们表示收入因此减少了多达 50%，并且工作时间也被迫延长。优步将此归咎于竞争对手 Lyft 公司，称 Lyft 司机的工作效率较低拉低了行业平均水平，导致优步需要支付更高的工资。

阅读更多
(finance.yahoo.com)
87
未分类 优步 最低工资

颠覆传统思维：工程主管的意外反模式

2024-05-30
颠覆传统思维：工程主管的意外反模式

本文总结了Carta公司首席技术官Will Larson对于工程管理中常见反模式的见解。他认为工程主管需避免过度依赖传统领导力建议，并提出三个关键点：1. 不要害怕微观管理，深入细节才能做出明智决策；2. 不必追求完美指标，利用不完美指标也能推动学习和改进；3. 不要过度保护团队，让团队直面现实并参与决策。Larson主张工程主管应培养判断力，灵活运用规则，并通过持续学习和反思来提升领导水平。

阅读更多
(review.firstround.com)
102
未分类 反模式

Mooncake: 一种以 KVCache 为中心的 LLM 服务分解架构

2024-06-29
Mooncake: 一种以 KVCache 为中心的 LLM 服务分解架构

Mooncake 是 Moonshot AI 提供的一种领先的 LLM 服务 Kimi 的服务平台。它采用以 KVCache 为中心的分解架构，将预填充和解码集群分离，并利用 GPU 集群未充分利用的 CPU、DRAM 和 SSD 资源来实现 KVCache 的分解缓存。Mooncake 的核心是以 KVCache 为中心的调度程序，它在满足与延迟相关的服务水平目标 (SLO) 要求的同时，平衡了最大化整体有效吞吐量。实验表明，Mooncake 在长上下文场景中表现出色，与基线方法相比，在某些模拟场景中，Mooncake 的吞吐量提高了 525%，同时仍能遵守 SLO。

阅读更多
(github.com)
83
未分类 KVCache

Yi-1.5：性能更强的升级版Yi模型

2024-05-12
Yi-1.5：性能更强的升级版Yi模型

Yi-1.5是Yi的升级版本，经过5000亿token的高质量语料库持续预训练，并在300万个不同的微调样本上进行了微调。与Yi相比，Yi-1.5在编码、数学、推理和指令跟随能力方面表现更出色，同时仍然保持了在语言理解、常识推理和阅读理解方面的出色能力。Yi-1.5提供三种模型尺寸：34B、9B和6B。

阅读更多
(github.com)
96
未分类

美国政府无视TikTok安全改进方案

2024-06-02
美国政府无视TikTok安全改进方案

本文讲述了美国政府无视 TikTok 为解决国家安全问题而提出的重大让步，执意推进强制出售或禁用 TikTok 的法律。TikTok 提出的“德克萨斯项目”方案中包括让美国政府挑选其美国运营部门的董事会成员、赋予政府对每位新员工的否决权，以及聘请一家与国防部合作的美国公司监控其源代码等。然而，拜登政府拒绝了该方案，选择了一条可能引发漫长法律斗争的道路。

阅读更多
(www.yahoo.com)
59
未分类 美国政府

Daylight Computer：速度高达 60fps 的电子纸和无蓝光平板电脑

2024-05-23
Daylight Computer：速度高达 60fps 的电子纸和无蓝光平板电脑

Daylight Computer 推出了一款名为 DC-1 的 60fps 类纸平板电脑，主打护眼功能。它采用 Live Paper 显示屏，具有无蓝光、无频闪、哑光纸感等特点，即使长时间使用也感觉舒适。DC-1 还搭载了专为减少干扰而设计的 Sol:OS 操作系统，并提供舒适的阅读和笔记体验。

阅读更多
(daylightcomputer.com)
94
未分类 电子纸 平板电脑 护眼

利用 Pwndbg 恢复 GDB 中的调试信息

2024-09-09
利用 Pwndbg 恢复 GDB 中的调试信息

Trail of Bits 的 Jason An 通过将 Pwndbg 与 Binary Ninja 整合，实现了从 Binary Ninja 同步符号、函数签名、堆栈变量偏移量等信息，从而恢复大部分调试体验，增强了 GDB+Pwndbg 在调试过程中的智能性。此外，他还创建了 go-dump 命令，利用 Go 编译器的源代码作为参考，实现了对 Go 所有内置类型的转储，包括整数、字符串、复数、指针、切片、数组和映射，方便开发者进行调试。

阅读更多
(blog.trailofbits.com)
68
未分类 GDB Pwndbg

D-Bot：基于大型语言模型的数据库诊断系统

2024-08-04
D-Bot：基于大型语言模型的数据库诊断系统

D-Bot是一个基于大型语言模型的数据库诊断系统，旨在帮助数据库管理员 (DBA) 更高效地管理和维护数据库。该系统能够自动从诊断文档中获取知识，并在可接受的时间内生成合理的诊断报告，包括识别根本原因和解决方案。D-Bot 的核心技术包括离线知识提取、自动提示生成、基于树搜索算法的根本原因分析以及针对具有多个根本原因的复杂异常的协作机制。

阅读更多
(arxiv.org)
79
未分类 诊断系统

麦当劳放弃植物肉汉堡McPlant

2024-06-28
麦当劳放弃植物肉汉堡McPlant

麦当劳高管表示，由于在旧金山和达拉斯的测试失败，公司没有计划重新推出植物肉汉堡McPlant。消费者对植物肉汉堡的需求不高，反而更青睐薯条、5美元套餐和新鲜的热三明治。麦当劳将专注于鸡肉产品，并推出5美元套餐和每周五免费薯条等促销活动来吸引顾客。

阅读更多
(qz.com)
89
未分类 促销活动

GitHub - roblillack/spot: 用于 Go 的类 React 桌面 GUI 工具包

2024-05-24
GitHub - roblillack/spot: 用于 Go 的类 React 桌面 GUI 工具包

Spot 是一个简单、跨平台、响应式的 Go 语言 GUI 工具包，在可用时使用原生小部件。它旨在易于使用，并在不同平台上提供一致的 API。Spot 使用原生小部件，并在编译时自动为您的运行平台选择最佳后端。目前，它提供了两种后端实现：一种基于使用 go-fltk 的 FLTK，另一种基于使用 gocoa 的 Cocoa。

阅读更多
(github.com)
95
未分类

乔姆斯基-许岑贝格尔枚举定理

2024-06-30

乔姆斯基-许岑贝格尔枚举定理是诺姆·乔姆斯基和马塞尔-保罗·许岑贝格尔推导出的关于由明确的上下文无关文法生成的给定长度的单词数量的定理。该定理提供了形式语言理论和抽象代数之间的一个意想不到的联系。该定理指出，如果一种语言可由明确的上下文无关文法生成，那么描述该语言中具有给定长度的单词数量的生成函数是满足特定多项式方程的代数函数。

阅读更多
(en.wikipedia.org)
87
未分类 形式语言理论 乔姆斯基-许岑贝格尔枚举定理

孟加拉国爆发反政府抗议，数十人死亡

2024-07-20
孟加拉国爆发反政府抗议，数十人死亡

孟加拉国爆发大规模反政府抗议活动，抗议者与警方发生暴力冲突，导致数十人死亡。抗议的导火索是政府重新实施一项政策，为“自由战士”后代保留政府工作岗位配额。抗议者认为该政策不公平，加剧了经济困境，要求政府取消该政策。总理哈西娜为政策辩护，但表示愿意降低配额比例。目前，政府已实施宵禁，切断移动互联网服务，并部署军队维持秩序。

阅读更多
(www.washingtonpost.com)
82
未分类 政府政策

Shuffdle 游戏玩法介绍

2024-07-28

Shuffdle 是一款文字滑动游戏。玩家需要将字母滑动到空白处，向下或向右滑动会增加字母顺序，向上或向左滑动会减少字母顺序。游戏目标是按顺序排列字母组成单词，单词只能从左到右或从上到下排列。

阅读更多
(www.shuffdle.com)
80
未分类
1 2 … 9 10 11 13 15 16 17 … 1084 1085