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

2024-12-12

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

阅读更多

使用 DBOS 在 Postgres 中运行持久工作流

2024-12-10

DBOS 是斯坦福大学和麻省理工学院联合研究项目,利用 Postgres 数据库构建了一个持久工作流引擎,并与 Supabase 集成。文章介绍了 DBOS 的设计理念和工作原理,它允许开发者使用 Python 或 TypeScript 编写 serverless 函数,并使用装饰器定义工作流步骤。DBOS 将工作流状态存储在 Postgres 中,实现类似游戏“保存点”的功能,即使程序中断也能从上次检查点恢复执行。相比其他工作流引擎,DBOS 具有性能优势、精确一次执行和幂等性等特点,并且可以利用 Postgres 的各种工具和特性。

阅读更多
未分类 DBOS 工作流引擎

极简虚拟计算机SVC16:挑战你的编程极限

2024-12-15

SVC16是一个极简的16位虚拟计算机,其设计目标是极致的简洁性。它没有CPU寄存器,所有操作都在一块内存中进行,指令集极其精简,没有花哨的功能,例如声音、可变屏幕大小等。开发者需要自行编写机器码和编译器,挑战在于用最简单的工具创造出令人惊叹的作品。该项目提供了一个模拟器,用户可自行编写程序并在模拟器中运行,甚至可以尝试编写游戏。这是一个适合学习计算机底层原理以及锻炼编程能力的绝佳项目。

阅读更多

台积电N2工艺:纳米片晶体管开启芯片新时代

2024-12-15

台积电在IEEE国际电子器件会议上展示了其下一代N2(2纳米)工艺,这是其首次采用纳米片晶体管架构。相比N3工艺,N2工艺速度提升15%,能效提升30%,密度提升15%。这种新型架构具有更高的灵活性,允许在同一芯片上制造不同宽度的纳米片,从而优化不同逻辑单元的性能,尤其在SRAM方面表现突出。英特尔的研究则进一步证明了纳米片架构的可扩展性,他们制造出了6纳米栅长的高性能晶体管,为未来芯片技术发展指明了方向,预示着摩尔定律的延续。

阅读更多

IncludeOS:零开销的云端应用运行环境

2024-12-17

IncludeOS 是一款轻量级操作系统,允许开发者在云端运行应用程序,无需传统操作系统。它将操作系统功能集成到应用程序中,从而创建高性能、安全且资源高效的虚拟机。IncludeOS 应用程序启动速度极快(数十毫秒),内存和磁盘占用极低(几兆字节)。开发者可以使用简单的命令行工具进行构建和部署,并提供了丰富的示例和文档,帮助开发者快速上手。

阅读更多

驯服大型语言模型:开源软件实用指南

2024-12-12

本书《驯服大型语言模型》深入探讨了构建基于大型语言模型(LLM)的应用过程中工程师和技术产品经理面临的关键局限性和实现陷阱。它并非只关注LLM的能力,而是着重于实际问题,例如处理非结构化输出、管理上下文窗口以及控制成本等。书中提供了可复现的Python代码示例和经过实战检验的开源工具,帮助读者理解并解决这些问题,从而更好地利用LLM的强大功能,避免其固有局限性。

阅读更多

历史上对第四范式 (4NF) 的解释不必要地令人困惑

2024-12-07

文章探讨了关系数据库中第四范式 (4NF) 的解释及其历史渊源。作者认为,传统的 4NF 解释方式,即先展示一个三列的“组合”表设计,再将其“分解”成两个两列的 4NF 表,是不必要的且令人困惑的。文章指出,这种“组合”设计在实际中并不实用,开发者通常会直接设计成两个两列的表。作者认为,4NF 的核心在于使用两列的链接表来表示多对多关系,例如用 (developer_id, project_id) 来表示开发者和项目之间的关系。文章还解释了“多值依赖”的概念,认为它本质上就是一个 ID 列表,例如员工可掌握的语言列表。最后,作者呼吁教育者直接将 4NF 解释为独立的两列表,而跳过传统的“组合”设计和“分解”步骤。

阅读更多

QEMU 性能提升十倍的奇技淫巧

2024-12-17

Linus Heckemann 在调试 NixOS 测试套件时,发现 QEMU 虚拟机中复制数据耗时过长(超过 2 小时)。通过使用 perf 工具进行性能分析,他发现 QEMU 的 9p 服务器在查找文件时使用了效率低下的链表结构(O(n) 复杂度)。他将查找结构改为了 glib 提供的哈希表(O(1) 复杂度),从而将测试时间缩短到 7 分钟,并成功将此优化贡献到 QEMU 开源项目。

阅读更多
开发 9p协议

Go语言错误处理:从混乱到秩序的架构之路

2024-12-18

本文讲述了作者如何解决Go语言项目中日益增长的错误处理问题。起初,简单的错误处理方式随着代码库的膨胀变得混乱不堪,日志充斥着难以追踪的错误信息。为了解决这个问题,作者设计并实现了新的错误处理框架,该框架采用集中式、结构化的系统,使用命名空间代码使错误具有意义,易于追踪。该框架的核心是集中定义错误代码,每个服务层只返回自己的命名空间代码,并使用上下文信息丰富错误细节。文章详细介绍了框架的设计决策、实现方式、经验教训以及迁移策略,为读者提供了宝贵的实践经验。

阅读更多
开发

ytp

2024-12-10

本文介绍了如何使用CycL表达知识,并给出了两个例子。第一个例子表达了“所有人类都是哺乳动物”这个事实,使用`(isa Human Mammal)` 表示。第二个例子定义了一条规则:“如果某物是人类,那么它是有生命的生物”,使用`(implies (isa ?X Human) (isa ?X LivingOrganism))` 表示。CycL是一种用于人工智能应用的结构化知识和规则表示语言。

阅读更多
(2ro.co)
4
未分类 CycL 知识表示

二维语法

2024-12-10

本文介绍了Racket编程语言中的一种二维语法扩展#2d。它允许开发者使用ASCII艺术风格的网格来编写表达式,例如条件表达式和模式匹配。#2d语法在读取阶段将网格转换为带括号的表达式,然后在解析阶段进行求值。它支持单元格合并以简化某些表达式。文章还介绍了DrRacket编辑器中用于编辑#2d表达式的快捷键以及相关的库函数,例如2dcond、2dmatch、2dtabular等,并解释了如何使用这些函数构建和操作二维表达式。

阅读更多
未分类 二维语法

三年创业失败,创始人开源所有代码

2024-12-17

Dylan Huang的开发者工具创业公司Konfig,历经三年,最终以失败告终。Konfig专注于简化API集成,主要产品是SDK生成器,还提供API文档和测试工具。尽管获得了一些早期客户,但由于难以签署合同和定价过低,公司未能实现高速增长。随后尝试转向B2B SaaS AI领域,但同样未能找到足够的市场吸引力。如今,Huang决定开源Konfig的全部代码,包括核心产品、失败的迭代版本、各种脚本、部署配置等,希望能帮助其他开发者。这段创业经历虽然以失败告终,但却让他收获了宝贵的经验和教训。

阅读更多

Starlink在津巴布韦供不应求,引爆互联网市场

2024-12-17

由于津巴布韦传统互联网速度慢、可靠性差且价格昂贵,SpaceX的Starlink卫星互联网服务在该国推出几周内便销售一空。 强劲的需求导致Starlink在哈拉雷等城市地区迅速售罄,甚至蔓延到尼日利亚和肯尼亚等非洲其他国家。 尽管Starlink的价格高于当地运营商,但其无限数据和高速连接使其对许多人更具吸引力,迫使当地运营商下调价格。 虽然目前主要城市Starlink供应紧张,但其在农村和欠发达地区的潜力巨大,也促进了当地相关产业的增长,如Starlink安装和配件销售。

阅读更多
科技 津巴布韦

网络安全新利器:让入侵者迷失在“地狱网络”中

2024-12-17

芬兰奥卢大学SensorFu团队开发了一套创新的网络安全防御系统,灵感源于LaBrea tarpit技术。该系统通过拦截ARP请求和延迟SYN-ACK响应,在网络中创建大量虚拟设备,迷惑入侵者,使其在识别真实设备时耗费大量时间,从而为管理员赢得宝贵的时间来修补漏洞。测试结果显示,该系统可将扫描时间延长至数小时甚至更长,极大降低了攻击成功率。这套轻量级、高效的系统易于部署,为各种规模的组织提供了强大的网络安全防护能力。

阅读更多

法院命令Automattic恢复WP Engine对WordPress.org的访问权限

2024-12-11

加州地区法院法官裁定,Automattic及其CEO Matt Mullenweg必须恢复WP Engine对WordPress.org(一个由Mullenweg拥有的主题和插件库)的访问权限。此前,Mullenweg公开抨击WP Engine,并禁止其访问WordPress.org。WP Engine提起诉讼,指控Automattic和Mullenweg勒索和滥用权力。该禁令导致WP Engine无法访问和更新其流行的Advanced Custom Field (ACF) 插件。法院命令Automattic恢复WP Engine对ACF的访问和控制权,并删除一个列出WP Engine客户的网站以及登录页面上的一个复选框。Automattic表示将继续抗辩此案,而WP Engine则表示,法院的命令将为WordPress生态系统带来稳定。

阅读更多
未分类

类GPT模型的长卷积:多项式、快速傅里叶变换和因果关系

2024-12-10

本文探讨了类GPT模型中长卷积的应用,并解释了其高效计算方法。文章将卷积运算与多项式乘法联系起来,并利用快速傅里叶变换(FFT)实现高效计算。同时,强调了因果关系在实现类似GPT模型中的单向性(从左到右预测)的重要性,并讨论了不同卷积操作(例如,使序列更长、截断或循环卷积)对序列长度和模型行为的影响。

阅读更多
未分类 长卷积

零方块:在装饰性边框中隐藏趣味信息

2024-12-06

作者在新年贺卡的装饰性边框中隐藏了一个二进制编码的彩蛋,指向一个复古迷你游戏。该编码信息由黑白方块组成,解码后得到游戏网址。作者详细介绍了边框生成器的技术细节,包括布局、位图绘制以及如何克服浮点数精度问题。此外,还介绍了游戏的开发过程和服务部署挑战,并分享了贺卡的最终反响和游戏高分。

阅读更多

EmacsConf 2024 线上会议

2024-12-04

2024 年 EmacsConf 线上会议将于 12 月 7 日和 8 日举行。会议主题是 GNU Emacs 和 Emacs Lisp 的乐趣,目前正在筹备中,欢迎大家参与并贡献力量。会议将继续使用完全由自由软件组成的基础设施和流媒体设置。此外,瑞士卢塞恩还有一个线下卫星活动,其他地区也可自行组织。更多信息可加入邮件列表、IRC 频道或访问官网。

阅读更多
未分类 EmacsConf

Go语言编写的高性能现代IRC服务器Ergo发布

2024-12-18

Ergo是一款用Go语言编写的现代IRC服务器,它易于设置和使用,集成了ircd、服务框架和跳板功能(集成帐户管理、历史记录存储和跳板功能)。它支持最新的IRCv3协议,并具有高度可定制性,可以通过可重新散列的YAML配置进行运行时重新加载。Ergo还集成了NickServ、ChanServ和HostServ等服务,支持TLS/SSL、SASL身份验证和LDAP,并具有高级安全和隐私功能。

阅读更多
开发 IRCv3

谷歌搜索引擎:质量下降引用户不满

2024-12-18

SEO专家Elie Berreby指出,谷歌搜索质量持续下降,引发用户广泛不满。通过分析YouTube评论等非官方渠道的用户反馈,他发现用户抱怨搜索结果质量下降、广告过度、AI概览窃取内容等问题。谷歌的策略似乎更注重盈利,忽视了用户体验,这可能导致用户转向其他搜索引擎。文章警告谷歌,若不改进,将面临严重后果。

阅读更多

树形演算

2024-12-10

树形演算是一种图灵完备的计算模型,其核心概念是通过操作无标签二叉树来实现计算。它具有简洁的抽象语法和精简的规约规则,能够进行程序分析、类型检查、编译和优化等操作,并且支持任意类型系统和渐进式类型化。树形演算可以轻松序列化任何值,包括程序本身,并且程序与其编码之间没有区别。它还可以用于建模和形式化规范,以及教育用途。由于其可移植性,可以轻松在任何平台或编程语言中编写解释器。

阅读更多
未分类 树形演算

拯救音乐,拯救档案馆!

2024-12-10

超过350名音乐人公开反对大型唱片公司起诉互联网档案馆,该诉讼旨在摧毁这个非营利性文化机构。音乐人们认为,音乐行业应该支持艺术家的遗产和未来,而不是股东利润。他们呼吁唱片公司、流媒体平台、票务机构和场馆立即调整目标,保护音乐遗产,投资在世的音乐人,并使流媒体服务支付公平的报酬。他们认为,音乐产业收入巨大,但音乐家们却难以生存,这源于LiveNation的垄断、Spotify不公平的流媒体收入模式以及大型唱片公司的诉讼。他们希望建立一个可持续的未来,让音乐人的福祉和尊严放在首位。

阅读更多
未分类 音乐人权益

丹麦研究:Ozempic药物增加严重眼疾风险

2024-12-17

两项来自南丹麦大学(SDU)的独立研究表明,使用Ozempic治疗2型糖尿病的患者,其患非动脉炎性前缺血性视神经病变(NAION)的风险增加,NAION会导致严重和永久性视力丧失。这两项基于丹麦注册数据的全球最大规模研究发现,Ozempic使NAION风险增加一倍以上。研究人员呼吁医生和患者讨论Ozempic的利弊,并建议如果发现一只眼睛患有NAION,应停止使用Ozempic。

阅读更多

Hooklistener:可视化Webhook调试与测试工具

2024-12-17

Hooklistener是一款在线Webhook调试和测试工具,它提供实时有效载荷检查、本地测试、自定义调度、可操作的警报和团队协作等功能。用户可以轻松设置端点,接收和分析Webhook,并通过计划任务自动化工作流程。Hooklistener提供免费和付费计划,满足不同用户的需求,帮助开发者更高效地管理和调试Webhook。

阅读更多
开发

Linux TCP SO_REUSEPORT:用法与实现

2024-12-04

本文讲解了Linux网络栈中一个相对较新的特性:SO_REUSEPORT套接字选项。该选项允许多个进程监听同一个端口,从而提高服务器性能,尤其是在多核系统中。文章首先介绍了TCP连接的基础知识,然后解释了SO_REUSEPORT选项的原理、用法和实现,并通过内核代码分析了连接如何在多个监听器之间分配。最后,通过基准测试和性能分析,展示了SO_REUSEPORT选项带来的性能提升。

阅读更多
未分类 SO_REUSEPORT

从零开始构建快速LLM推理引擎

2024-12-15

本文讲述了作者如何使用C++和CUDA从零开始构建一个LLM推理引擎,无需任何库。通过这个过程,作者深入学习了LLM推理的全栈知识,从CUDA内核到模型架构,并了解了各种优化如何影响推理速度。目标是创建一个程序,可以在单CPU+GPU服务器上加载常用开源模型的权重,进行单批推理,并迭代改进令牌吞吐量,最终超越llama.cpp。文章详细介绍了CPU和GPU上的优化步骤,包括多线程、权重量化、SIMD、内核融合以及KV缓存量化等,并分析了遇到的瓶颈和挑战。最终实现了接近最先进性能的本地LLM推理。

阅读更多
开发

Spark、DuckDB和Polars性能大比拼:小型到中型工作负载的最佳选择

2024-12-15

本文对Spark、DuckDB和Polars三种数据处理引擎进行了基准测试,比较了它们在处理10GB和100GB数据集时的性能、成本和开发难度。结果显示,对于大型数据集和ETL任务,Spark凭借其分布式计算能力和成熟的生态系统仍然占据优势,而DuckDB和Polars在小型数据集的交互式查询和数据探索方面表现出色。作者建议根据实际需求选择合适的引擎,并可以结合使用这三种引擎,例如使用Spark进行ETL,DuckDB进行交互式查询,Polars用于特定场景。

阅读更多

高效团队的秘密:跨记忆系统

2024-12-15

本文探讨了高效团队运作的基石——跨记忆系统。它并非指团队成员个体记忆力的强大,而是指团队如何有效地共享和利用成员间的知识和技能。文章介绍了三种团队记忆类型:工作记忆、长期记忆和跨记忆系统,并重点阐述了跨记忆系统如何提升团队绩效。文章指出,跨记忆系统包含两个要素:成员间的协作模式和每个成员的专业知识。通过构建跨记忆系统,团队能够充分发挥集体智慧,克服成员变动带来的影响。文章还推荐了例如能力梳理、团队手册和刻意练习等方法,帮助团队快速建立和完善跨记忆系统。

阅读更多
1 2 10 11 12 14 16 17 18 510 511