Framework 推出双 M.2 接口适配器,扩展 Framework Laptop 16 存储空间

2024-12-16

Framework 公司推出了一款新的双 M.2 接口适配器,用于升级 Framework Laptop 16 笔记本电脑。该适配器允许用户安装两个额外的 M.2 模块(尺寸从 2230 到 2280),最多可增加 16TB 的存储空间。安装需要一个显卡模块连接器和更新的 BIOS(3.05 或更高版本)。该适配器售价 39 美元,目前缺货。

阅读更多
硬件 存储升级

FaCT:Python 中的时序敏感分析

2024-11-17

本文探讨了如何在 Python 中进行时序敏感分析,特别是针对加密等对时间一致性要求严格的应用场景。文章使用了 FaCT DSL 定义具有可预测执行时间的函数,以防止时间泄露。文中通过模拟排序、搜索等不同计算复杂度的函数,并测量其执行时间,演示了如何评估和控制代码的执行时间稳定性。代码示例展示了如何创建一个排序随机数组的函数,并通过引入可选的延迟来模拟时间不一致性,进而测量执行时间,最终绘制了不同输入大小下执行时间一致性的图表。

阅读更多

玩具太多:美国家庭的玩具过剩现象

2024-11-22

本文探讨了美国家庭玩具过剩的现象。玩具数量过多不仅给父母带来整理的压力,也让孩子不知所措,反而不利于创造性玩耍。文章分析了玩具过剩的原因,包括玩具价格下降、线上购物便利、二手交易平台兴起、玩具广告增多以及学校的生日礼物政策变化等。专家建议,家长应关注那些具有“社会意义”的玩具,例如可以与其他孩子一起玩耍的玩具,以及那些开放式、需要想象力和创造力的简单玩具,例如积木等。

阅读更多

埃隆·马斯克的政府改革尝试:一场与官僚体系的较量

2024-12-15

本文探讨了埃隆·马斯克等试图改革政府低效的尝试。作者认为,民主党并未优先解决政府低效问题,马斯克的介入并非解决问题的良方,反而可能加剧问题。政府内部人士对马斯克的改革持观望态度,他们认为即使是亿万富翁也难以撼动根深蒂固的官僚体系。文章指出,冗长的法律程序和利益集团的阻挠是改革的巨大障碍,而法院在加剧这一问题上也扮演了重要角色。最终,作者呼吁重新审视政府改革的策略,并对改革的难度和复杂性有清醒的认识。

阅读更多

GitHub - specfy/stack-analyser:从任何代码库中提取500多项技术

2024-11-23

Stack Analyser是一个开源库,可以从代码库中提取500多种技术信息,包括依赖项、语言、基础设施、SaaS、数据库等。它支持多种编程语言和技术栈,例如Docker、NodeJS、TypeScript、PHP、Github Actions等,并通过读取package.json、docker-compose.yml、go.mod等文件来识别技术。该库还可以确定文件夹和服务之间的关系,并输出依赖项、服务及其之间链接的完整列表。Stack Analyser提供CLI和编程接口,并可用于GitHub Actions。

阅读更多
未分类 依赖项

小型脑网络的力量超乎想象

2024-11-25

神经科学家Marcella Noorman对果蝇等小型动物的研究表明,小型脑网络比我们想象的更强大。果蝇大脑中仅有约14万个神经元,却能完成类似保持方向感等复杂任务。Noorman团队在《自然-神经科学》上发表的研究发现,果蝇脑中一个仅有约50个神经元的环形吸引子网络可以精确地表征头部方向。模型研究显示,即使只有四个细胞也能形成环形吸引子网络,完成这项任务。这一发现表明,即使是小型的脑网络也能进行复杂计算,这可能会对人工智能研究产生影响。

阅读更多
6
未分类 脑网络

开源本身并非大型科技公司的替代品

2024-10-27

文章指出,仅仅依靠开源软件并不能替代大型科技公司。虽然开源软件是免费的,但要将其转变为企业级服务,还需要大量的额外工作,例如支持、培训、迁移和托管等。作者以欧洲议会使用Nextcloud的实验为例,说明了在没有足够支持的情况下,开源软件难以在大型组织中取得成功。文章强调,要使开源软件成为真正的替代方案,需要投入与大型科技公司相当的资金和精力,用于支持开源软件的开发和维护,并提供相应的服务。

阅读更多
22
未分类 软件服务

Codeberg社区讨论是否应更新其使用条款以应对开源人工智能定义的变化

2024-10-27

Codeberg社区正在讨论是否应该更新其使用条款,以应对开源计划(OSI)即将发布的“开源人工智能定义”(OSAID)。OSAID允许用于训练人工智能系统的训练数据集(通常是复制该系统所必需的)是专有的,这与Codeberg目前要求所有代码库内容都使用FSF或OSI批准的许可证相冲突。一些社区成员建议明确OSAID不适用于Codeberg的使用条款,而另一些成员则建议要求代码库内容同时获得FSF和OSI的许可证批准。

阅读更多
未分类

Go-Taskflow:一个类似Taskflow的Go通用任务并行编程框架

2024-11-16

Go-Taskflow是一个受taskflow-cpp启发的Go通用任务并行编程框架,集成了可视化工具和分析器。它利用Go的原生并发模型和简单的编程接口,简化了复杂任务依赖管理。该框架支持静态任务、条件节点、嵌套子流程和循环流程,并提供优先级任务调度。内置的可视化和分析工具有助于调试和优化。适用于数据流水线、工作流自动化和并行任务等场景。

阅读更多
11
未分类

SQLToy:通过构建 JavaScript 数据库学习 SQL

2024-09-08

这篇文章介绍了 SQLToy,一个通过 JavaScript 实现简单 SQL 数据库的项目。SQLToy 提供一系列 JavaScript 方法来模拟 SQL 操作,例如 SELECT、JOIN 等,用户可以通过调用这些方法执行 SQL 查询。文章展示了 SQLToy 如何处理复杂查询的示例,并与 PostgreSQL 的语法进行了比较,最终结果相同。

阅读更多
72
未分类

Voyage-3和Voyage-3-lite:新一代小型但强大的通用嵌入模型

2024-11-24

Voyage AI发布了新的通用嵌入模型Voyage-3和Voyage-3-lite。Voyage-3在检索质量上平均优于OpenAI v3 large 7.55%,同时成本降低2.2倍,嵌入维度缩小3倍。Voyage-3-lite的检索精度比OpenAI v3 large高3.82%,成本降低6.5倍,嵌入维度缩小6倍。这两种模型都支持32K token的上下文长度,是OpenAI的4倍。Voyage-3系列模型在多个领域(包括代码、法律、金融、多语言和长上下文)的检索任务中表现出色,并具有显著的成本和延迟优势。

阅读更多

Bruin:一款用SQL和Python构建数据管道的工具

2024-12-17

Bruin是一款强大的数据管道工具,它集数据摄取、SQL和Python数据转换以及数据质量检查于一体。它支持主流数据平台,可在本地机器、EC2实例或GitHub Actions上运行。Bruin具有数据摄取、SQL和Python转换、数据质量检查、Jinja模板、端到端验证和多环境支持等功能,通过简单的pipeline.yml文件配置即可构建高效的数据管道。

阅读更多
开发

Meta 推出量化 Llama 模型:速度更快,内存占用更低

2024-10-24

Meta发布了首批轻量级量化 Llama 模型,这些模型体积小、性能高,可以在许多流行的移动设备上运行。这些模型采用与原始 1B 和 3B 模型相同的质量和安全要求,同时速度提高了 2-4 倍,模型大小平均减少了 56%,内存使用量平均减少了 41%。Meta 使用了两种量化技术:注重精度的 LoRA 适配器量化感知训练和注重可移植性的尖端训练后量化方法 SpinQuant。

阅读更多
未分类 量化模型

Vapi招聘创始高级工程师(基础设施)

2024-10-25

Y Combinator支持的初创公司Vapi正在招聘创始高级工程师,负责构建和扩展其基础设施。该职位要求应聘者具备构建和维护复杂分布式系统、云原生架构和DevOps实践的经验。作为创始团队成员,该工程师将在塑造公司的技术方向和文化方面发挥关键作用。

阅读更多
未分类

五分钟内为任何网站添加 Bluesky 支持的评论

2024-11-25

作者Cory Zue厌倦了Disqus缓慢且隐私性差的评论系统,转而使用Bluesky构建了一个开源评论组件。他将该组件打包成npm包bluesky-comments,方便用户快速集成到自己的网站。文章详细介绍了如何使用该npm包,包括添加样式表、React依赖以及初始化评论组件的步骤,并以Jekyll为例展示了具体集成方法。

阅读更多

真的需要Redis吗?如何仅使用PostgreSQL就能实现

2024-11-04

本文探讨了如何利用PostgreSQL替代Redis在其最常见的Web服务和应用支持架构中的作用。文章指出,PostgreSQL 9.5版本以后提供的SKIP LOCKED选项可以实现类似Redis的作业队列功能,避免多个后台worker处理同一任务。此外,PostgreSQL的advisory locks可以实现分布式锁功能,而LISTEN和NOTIFY语句则可以实现类似Redis的Pub/Sub功能,用于客户端事件推送。文章承认Redis在缓存和处理临时数据方面仍有优势,但对于许多应用场景,PostgreSQL足以胜任,从而简化架构并降低运营成本。

阅读更多
未分类

北卡州立大学教员、“How Stuff Works”网站创始人马歇尔·布雷恩逝世

2024-11-24

北卡罗来纳州立大学教员兼热门网站“How Stuff Works”的创始人马歇尔·布雷恩于周三在其办公室去世。北卡州立大学警方表示,已停止调查,未发现他杀嫌疑。消息人士透露,布雷恩死于自杀。布雷恩曾为WRAL.com撰稿多年,并著有《末日之书:人类最大威胁背后的科学》。

阅读更多
未分类 How Stuff Works

TokenFormer:用模型参数标记化重塑Transformer缩放

2024-11-01

TokenFormer 是一种新型可缩放架构,利用注意力机制处理输入标记和模型参数之间的交互,从而增强架构灵活性。通过将模型参数视为标记,它用标记-参数注意力层取代了 Transformer 中的所有线性投影,其中输入标记充当查询,模型参数充当键和值。这种方法允许模型通过递增添加新的键值参数对,从 1.24 亿个参数扩展到 14 亿个参数,在大大减少训练成本的同时,实现与从头训练的 Transformer 相当的性能。

阅读更多
18
未分类 模型缩放

VLTI拍摄的恒星WOH G64图像

2024-11-22

这张图像是由欧洲南方天文台甚大望远镜干涉仪(ESO的VLTI)上的GRAVITY仪器拍摄的恒星WOH G64。这是第一张银河系外恒星的特写照片,这颗恒星位于大麦哲伦星云中,距离地球超过16万光年。图像中心明亮的椭圆形是一个包裹着恒星的尘埃茧。周围较暗的椭圆环可能是尘埃环的内缘,但需要更多观测来证实这一特征。

阅读更多

与侵权者谈判:创意专业人士的更佳选择

2024-12-16

创意专业人士的版权受到侵犯时,诉讼并非唯一途径。本文作者,一位律师,建议考虑与侵权者谈判。谈判比诉讼更快、更便宜,且可能带来超出金钱赔偿的额外收益,例如推广和合作机会。作者指出,大多数侵权行为并非恶意,而是疏忽导致,通过谈判,可以将对手转变为合作伙伴,实现长期成功。当然,如果谈判失败,诉讼仍是最后的选择。

阅读更多

雪花勒索案黑客可能是美国士兵

2024-11-27

据Krebs on Security报道,一名代号为Kiberphant0m的黑客参与了多起针对使用云数据存储公司Snowflake的公司的勒索事件。调查显示,Kiberphant0m可能是一名驻扎在韩国的美国士兵。Kiberphant0m在多个网络犯罪论坛和聊天频道中销售从Snowflake客户那里窃取的数据,并在同伙被捕后发布了据称是美国政府官员的通话记录等敏感信息。通过对Kiberphant0m在Telegram和Discord等平台上的活动轨迹进行分析,发现其与Buttholio、Reverseshell、Proman557和Vars_Secc等多个网络犯罪身份存在关联,这些身份都指向一名熟悉计算机和网络技术的美国士兵。虽然Kiberphant0m否认了这些指控,但调查仍在进行中。

阅读更多
未分类

美国联邦贸易委员会就“维修权”问题调查约翰迪尔

2024-10-19

美国联邦贸易委员会正在调查拖拉机制造商约翰迪尔,原因是该公司长期以来一直被指控难以维修其农业设备。多年来,约翰迪尔因其农业设备难以维修而臭名昭著。就像今天的汽车一样,约翰迪尔的农业设备也配备了许多计算机。当其拖拉机或脱粒机中的某个简单部件发生故障时,农民无法自行修理。即使农民具备进行简单维修的技术和机械知识,他们也常常不得不付出高昂的代价返厂维修。这是因为车载计算机将机器锁死,直到经过认证的迪尔技术人员进行操作才能解除。

阅读更多
未分类 农业设备

通往懒惰抢占的漫长道路

2024-10-19

Linux内核的CPU调度器目前提供了几种抢占模式,在系统吞吐量和响应时间之间取得平衡。2023年9月,关于调度的讨论引发了“懒惰抢占”的概念,它可以简化内核中的调度,同时提供更好的结果。懒惰抢占模式引入了一个新的标志TIF_NEED_RESCHED_LAZY,用于指示需要在某个时刻进行重新调度,但不一定马上进行。此模式下,大多数内核事件不会导致当前任务被抢占,从而提高了系统吞吐量。同时,它仍然允许在真正需要的时候(例如实时任务变得可运行)快速进行抢占。懒惰抢占的目标是最终用PREEMPT_LAZY和PREEMPT_FULL两种非实时模式取代现有的四种模式,并移除大量的cond_resched()调用,从而使内核更小、更简单,并在不需要在代码中添加大量调度相关调用的情况下提供可预测的延迟。

阅读更多
28
未分类 懒惰抢占

最大似然估计与损失函数的深层联系

2024-12-15

本文深入探讨了最大似然估计(MLE)与常用损失函数之间的内在联系。作者从MLE的基本概念出发,逐步解释了其与KL散度的紧密关系,并以均方误差(MSE)和交叉熵为例,详细推导了它们如何从MLE自然地导出,而非人为设定。文章清晰地阐述了,通过假设数据分布(例如线性回归中的高斯分布,逻辑回归中的伯努利分布),利用MLE最大化似然函数,最终得到MSE和交叉熵损失函数。这为理解损失函数的理论基础提供了清晰的路径,不再仅仅停留在直觉层面。

阅读更多

Fractional Jobs:新型灵活就业平台崛起

2024-12-15

Fractional Jobs是一个专注于兼职工作的招聘平台,为企业和求职者提供了一种新型的合作模式。平台汇集了各领域专家,提供按月付费的兼职服务,涵盖工程、市场营销、设计等多个职能。对于企业而言,这是一种灵活高效的用人方式,可以根据实际需求快速找到合适的专家,降低人力成本;对于求职者而言,这是一个拓展职业发展、提升收入的绝佳机会。

阅读更多

麻省理工学院1974年的铝制自行车项目

2024-11-28

本文讲述了麻省理工学院1974年独立活动期的一个铝制自行车项目。Marc Rosenbaum 和 Harriet Fell 等学生在 Shawn Buckley 教授的指导下设计并制造了超轻量铝制自行车车架。Marc 的设计目标是在不牺牲刚性的前提下实现极致轻量化,以获得加速优势,他的自行车成为了当时世界上最轻的场地自行车。Harriet 也制造了一个铝制车架,但未完成组装。后来,在 Cannondale 与 Klein 的专利诉讼案中,Harriet 的车架和 Marc 的设计被用作“现有技术”的证据,证明 Klein 的铝制车架专利无效。最终,Harriet 的车架被归还,并在多年后由其丈夫 Sheldon Brown 组装成完整的自行车。

阅读更多
未分类 铝制自行车
1 2 67 68 69 71 73 74 75 519 520