Glojure:基于 Go 的 Clojure 解释器,具有可扩展的互操作性支持

2024-12-04

Glojure 是一个基于 Go 语言的 Clojure 解释器,旨在提供便捷访问 Go 库的方式,类似于 Clojure 访问 Java 框架。Glojure 仍处于早期开发阶段,存在 bug、功能缺失和性能有限等问题。它成功用于一些爱好项目,并运行 Clojure 核心库的很大一部分(转换后)。Glojure 与其他 Go 实现的 Clojure 不同,它是一种“托管”语言,所有 Go 值都可用作 Glojure 值,反之亦然。

阅读更多
未分类

范畴论入门

2024-12-04

本文旨在提供范畴论的入门指南,涵盖了范畴、函子、自然变换、单子、对偶、极限、colimit等核心概念,并结合集合论、类型论、函数式编程等领域进行了深入浅出的解释,强调了范畴论的哲学思想和数学本质。文章鼓励读者通过绘图和思考来理解这些抽象概念,并推荐了一些学习资源。

阅读更多
未分类

电子管计算机

2024-12-04

本文讲述了作者Mike建造电子管计算机的经历。他使用1950年代的电子管,设计了一个现代的8位架构计算机,用于运行简单的飞艇模拟器和斐波那契数列计算。文中详细描述了计算机的结构、功能以及建造过程中的挑战和乐趣,并分享了作者的家庭故事和人生感悟。

阅读更多
未分类

EstyJs:基于JavaScript的Atari ST模拟器

2024-12-04

EstyJs是一款使用纯JavaScript编写的Atari ST模拟器,最初由Darren Coles开发,2.0版本后由Kai Eckert维护。该模拟器专注于运行游戏和旧软件的演示,但并非完全模拟,存在一些限制,例如不支持写入软盘、键盘/鼠标/操纵杆支持不完整等。用户可以使用“Browse”按钮加载软盘镜像,并使用方向键和Ctrl键模拟操纵杆。

阅读更多
未分类

优化之旅:使用 Rayon(或不使用 Rayon)将并行 Rust 工作负载速度提高 10 倍

2024-12-04

作者在之前的文章中使用 Rayon 并行化 Rust 循环计算,但只获得了 2 倍的加速。本文记录了作者的优化之旅,最终实现了 10 倍的加速。作者首先使用 strace 和 perf 等分析工具找出性能瓶颈,发现 Rayon 的 futex 系统调用和 sched_yield 调用过多。然后,作者通过构建一个针对特定场景的 Rayon 替代方案,手动管理线程池并进行 CPU 绑定,减少了系统调用和 CPU 迁移带来的开销。此外,作者还实现了工作窃取机制,解决了负载不均衡的问题,进一步提升了性能。

阅读更多
未分类 Rayon

联邦贸易委员会对 Gravy Analytics 和 Venntel 公司非法出售消费者敏感位置数据采取行动

2024-12-04

美国联邦贸易委员会(FTC)对 Gravy Analytics 及其子公司 Venntel 提起诉讼,指控其非法追踪和出售用户的敏感位置数据,包括消费者访问医疗保健场所和宗教场所的数据。拟议的和解令禁止这两家公司出售、披露或使用敏感位置数据,并要求其建立敏感数据位置程序。FTC 的投诉称,Gravy Analytics 和 Venntel 违反了 FTC 法案,未经用户同意收集和使用位置数据,并出售了包含健康状况、政治活动和宗教信仰等敏感特征的数据。该命令还要求公司删除所有历史位置数据,并通知客户删除已接收的数据。

阅读更多
未分类

关于 Skia Canvas

2024-12-04

Skia Canvas 是一个用于 Node.js 的无浏览器 HTML Canvas 绘图 API 实现,基于 Google 的 Skia 图形引擎,渲染结果与 Chrome 的 元素非常相似。该库适用于桌面硬件加速图形渲染和服务器端输出各种图像格式。它不仅提供对标准 API 的可靠模拟,还在许多领域进行了扩展,以利用 Skia 的高级图形功能,例如:快速、紧凑的 GPU 渲染;渲染到窗口并提供类似浏览器的 UI 事件框架;生成光栅和矢量图像格式;多线程异步渲染和文件 I/O;创建多页 PDF 或图像序列;简化贝塞尔路径操作;提供 3D 透视变换;支持自定义标记的线条绘制;支持 CSS 滤镜图像处理操作;丰富的排版控制,包括多行文本、字距调整、可变字体等。

阅读更多
未分类 Canvas Skia

IMG_0001

2024-12-04

本文介绍了一个名为IMG_0001的项目,该项目收集了2009年至2012年间iPhone用户上传至YouTube的视频。这些视频保留了原始文件名IMG_XXXX,展现了用户生活中未经编辑的片段。作者受Ben Wallace启发,创建了一个机器人程序,从YouTube上收集了500万个此类视频,并在网站上随机展示。

阅读更多
5
未分类

无NAT十一月:我的纯IPv6网络体验

2024-12-04

作者在11月进行了一项挑战,将家庭网络切换到纯IPv6环境,并记录了遇到的问题和解决方案。挑战初期,纯IPv6环境下很多设备和服务无法正常工作,例如游戏主机、部分网站等。随后,作者引入了NAT64、DNS64和CLAT等过渡技术,解决了大部分兼容性问题。作者还介绍了IPv6-mostly的概念,即在双栈网络中,设备优先使用IPv6,仅在必要时使用IPv4,并认为这是一种更平滑的过渡方案。最终,作者推荐家庭网络用户部署IPv6-mostly,并鼓励软件和硬件开发者在纯IPv6环境下测试产品。

阅读更多
未分类 NAT64

BonBook测试版

2024-12-04

BonBook 是一款正在内测阶段的航班查询工具,用户可以通过发送邮件或使用网站提供的输入框来查询航班信息,例如搜索从旧金山到洛杉矶的航班。该工具承诺在 15 秒内给出回复,并提供了使用示例、航班真实性解释以及使用说明等信息。目前用户需要申请访问权限才能使用。

阅读更多

GitHub - athina-ai/rag-cookbooks:检索增强生成(RAG)系统高级技术大全

2024-12-04

该GitHub仓库athina-ai/rag-cookbooks提供了一系列用于检索增强生成(RAG)系统的先进技术。它涵盖了从简单的朴素RAG到混合RAG、Hyde RAG等多种技术,并提供了清晰的实现和说明。每个技术都包含了使用LangChain、Pinecone、Chromadb等工具的示例,以及如何评估其性能。该仓库旨在帮助研究人员和开发人员在项目中应用先进的RAG技术,并提供现成的实现和评估指南。

阅读更多
未分类

面向高中生的粒子物理学课程简介

2024-12-04

本文介绍了CERN为高中生开发的粒子物理学在线课程。该课程包含16个章节,涵盖了粒子、模型、相互作用、标准模型、粒子加速器和探测器等核心概念,并配有视频、测验和家庭实验。课程设计注重学习进阶,并避免引入量子物理和自旋等过于抽象的概念。学生完成所有章节并正确回答测验问题后,可获得数字证书。课程也收集学生反馈,以改进和扩展内容。

阅读更多
未分类

无私的工程

2024-12-04

作者探讨了软件工程团队中普遍存在的组织障碍,指出职能划分过细、团队间缺乏合作、个人主义等问题会导致效率低下和冲突。作者以亲身经历为例,讲述了如何在一个初创公司中,通过打破团队壁垒,鼓励跨职能合作,最终提升了团队效率和产品交付能力。作者提倡“领域专家而非领域所有者”的理念,鼓励专家分享知识,帮助他人提升技能。此外,作者还强调了给予团队成员足够的自由时间和权限,以促进学习、合作和创新。

阅读更多
未分类 组织管理

OpenTTD 14.1 版本发布

2024-12-04

开源模拟游戏 OpenTTD 发布了 14.1 版本,修复了多人游戏不同步的错误以及一些与新船舶寻路和解包功能相关的边缘问题。此前发布的 14.0 版本是 OpenTTD 发布20周年之际的重要版本,包含大量更新和改进。14.0 版本新增了暂停时间的功能,并修复了大量错误。

阅读更多
未分类

英特尔发布支持 Linux 的 Arc B 系列“Battlemage”独立显卡

2024-12-03

英特尔发布了新一代 Arc B 系列“Battlemage”独立显卡,首批产品将于下周上市。该系列显卡采用 Xe2 图形架构,与 Lunar Lake 集成显卡类似,并在性能和功耗方面进行了改进。Arc B580 和 B570 是首批发布的型号,分别拥有 20 个和 18 个 Xe 核心,面向 1440p 游戏市场。B580 性能比 Arc A750 提升 24%,比 NVIDIA GeForce RTX 4060 高 10%。B580 售价 249 美元起,B570 售价 219 美元起。Linux 6.12 内核和最新的 Mesa 图形驱动程序将支持新显卡。

阅读更多
未分类 Battlemage

安然公司在破产二十年后,以加密货币公司的身份回归?

2024-12-03

曾因财务造假而破产的能源巨头安然公司,二十多年后以加密货币公司的身份重新出现。该公司的新网站Enron.com于近日上线,宣称致力于解决全球能源危机,并暗示将创建某种代币或加密货币以支持能源可持续性。然而,新公司的具体业务信息模糊不清,其网站的使用条款中甚至提及“受保护的模仿、行为艺术和娱乐目的”。这引发了人们对该公司真实意图的质疑,尤其考虑到加密货币行业与安然公司曾经的炒作氛围存在相似之处。

阅读更多
未分类 安然 能源危机

DuckDuckGo向Perl和Raku基金会捐赠2.5万美元

2024-12-03

在“Giving Tuesday”当天,Perl和Raku基金会(TPRF)宣布收到来自DuckDuckGo的2.5万美元捐款。DuckDuckGo自2011年以来已累计捐赠超过600万美元,用于支持与其“提高在线信任标准”愿景一致的组织。TPRF致力于通过开源开发、社区参与和推广来推进Perl和Raku编程语言的发展,确保其持续增长、相关性和可访问性。这笔捐款将帮助TPRF资助Perl核心开发、社区重要项目以及其他社区支持工作。

阅读更多
未分类

网络钓鱼者为何偏爱.shop、.top和.xyz等新顶级域名

2024-12-03

Interisle Consulting 的一项研究发现,网络钓鱼攻击在截至 2024 年 8 月的一年中增加了近 40%,其中很大一部分增长集中在少数几个新的通用顶级域名(gTLD)上,例如 .shop、.top 和 .xyz,这些域名以极低的价格和毫无意义的注册要求吸引了诈骗者。 这些新的 gTLD 虽然仅占新域名市场的 11%,但在 2023 年 9 月至 2024 年 8 月期间报告的网络犯罪域名中约占 37%。 诈骗者之所以被这些新 gTLD 吸引,是因为它们的注册商往往提供廉价或免费注册,几乎没有账户或身份验证要求。 与此同时,负责监管域名行业的非营利实体 ICANN 正在推进引入大量新 gTLD 的计划,这可能会进一步扩大网络犯罪的温床。

阅读更多
未分类

穿越永恒之旅:但丁《神曲》的世界

2024-12-03

本文探讨了但丁《神曲》经久不衰的魅力及其当代意义。文章分析了这部作品的复杂韵律、结构和丰富的典故,以及其对政治、历史、哲学和神学主题的深刻探讨。作者认为,尽管需要一定的背景知识才能理解,但《神曲》引人入胜的故事、鲜明的人物和对人性的深刻洞察力使其持续吸引读者。文章还介绍了但丁的生平、创作背景以及《神曲》对后世文化的影响,强调了这部作品的艺术成就和普世价值。

阅读更多

最后的翠绿之音

2024-12-03

本文是作者Bruce Sterling对翠绿设计运动的告别总结。他回顾了运动历程,并阐述了在物质文化、使用价值、伦理以及物质与想象力之间关系的新思考。他鼓励人们重新审视与物品的关系,关注日常用品的设计,并提倡拥有高质量的日常用品。最后,他分享了自己新的研究方向——探索想象力与物质文化的关系,并计划创作一本名为《想象小工具用户指南》的书籍。

阅读更多
未分类 物质文化

韩国总统尹锡悦宣布戒严

2024-12-03

2024年12月3日,韩国总统尹锡悦宣布全国戒严。尹锡悦称,戒严令旨在阻止“反国家势力”剥夺韩国公民的自由和幸福,并将尽快清除这些势力以恢复国家正常运转。他将矛头指向反对党控制的国会,指责自由派政治对手制造政治僵局,阻碍国家法院运作,威胁法官,弹劾检察官,并试图罢免内政部长、广播监管机构负责人、审计监察委员会主席和国防部长等。他还批评反对党削减2025年国家预算4万亿韩元(约合28亿美元)的举动,称反对党利用国家预算来瘫痪政府。尹锡悦称拥有300个席位中国民主党占170席的国会为“罪犯温床”。

阅读更多
未分类 尹锡悦

1Password 加入 Rails 基金会

2024-12-03

1Password 正式加入 Rails 基金会,成为核心成员,将为 Rails 生态系统提供资金、时间和技术支持。1Password 选择 Rails 的原因有三:Rails 代表未来方向,拥有强大的社区,并且充满挑战。1Password 的 Extended Access Management 平台取得了巨大成功,而该平台的核心组件 Kolide 就是基于 Rails 构建的。1Password 认为 Rails 框架能够吸引更多志同道合的工程师,并重视安全,这与 1Password 的理念相符。加入 Rails 基金会也让 1Password 能更好地与社区交流,分享安全领域的专业知识,并共同应对未来的挑战。

阅读更多
未分类 1Password

关于DuckDB疯狂语法特性的思考

2024-12-03

本文探讨了DuckDB允许用户通过扩展在运行时修改SQL语法这一特性。作者认为,对于一次性分析查询而言,这种语法扩展能力非常有吸引力。文章进一步探讨了通过解析表达式语法(PEG)实现这一特性的可能性,并提出了一个更深层次的想法:将语言按功能分解,每个功能都包含其语法和语义解析。作者还实现了一个简单的原型,演示了如何动态添加数组字面量到语言中,并讨论了这种方法的优缺点以及未来研究方向。

阅读更多
未分类 语法扩展

级联检索:融合稠密和稀疏检索与重排序

2024-12-03

Pinecone推出了级联检索功能,将稠密检索、稀疏检索和重排序统一到一个搜索管道中。该方法结合了语义理解和精确关键词匹配的优势,并通过重排序进一步优化结果。Pinecone引入了稀疏向量索引类型、稀疏向量嵌入模型pinecone-sparse-english-v0和重排序器,以提高检索性能和精度。pinecone-sparse-english-v0模型采用全词分词和无模型查询,在基准测试中表现优于BM25。

阅读更多

Retcon:轻松改写 Git 历史记录

2024-12-03

Retcon 是一款 macOS 应用,旨在简化 Git 历史记录的改写过程。它提供直观的拖放界面,支持撤销操作,并能清晰地展示代码演变过程。相比命令行或传统 GUI,Retcon 简化了 reword、fixup 等操作,并提供冲突解决、分支管理等功能,极大提高了效率。

阅读更多
未分类

韩国总统宣布紧急戒严,指责反对派从事反国家活动

2024-12-03

韩国总统尹锡悦宣布紧急戒严,指责反对派控制议会、同情朝鲜,并以反国家活动瘫痪政府。尹锡悦在电视讲话中做出这一宣布,誓言“铲除亲朝鲜势力,维护宪法民主秩序”。目前尚不清楚这些措施将如何影响韩国的治理和民主。自2022年上任以来,尹锡悦的支持率近几个月有所下降,他一直在努力推动他的议程,以对抗反对派控制的议会。尹锡悦的保守派国民力量党与自由派反对党民主党在明年的预算案问题上陷入僵局。他还驳回了对涉及他妻子和高级官员的丑闻进行独立调查的呼吁,这招致了政治对手的迅速而强烈的谴责。据报道,民主党在尹锡悦宣布这一消息后召开了议员紧急会议。

阅读更多
未分类 戒严

如何在15年内学会绝对音感

2024-12-03

作者讲述了自身学习绝对音感的漫长历程。他从5岁开始学习钢琴,中途曾学习单簧管,并发现自己对单簧管的音调有绝对音感,但对钢琴却没有。大学期间,他大量练习钢琴,最终获得了钢琴的绝对音感。之后,通过不断接触不同乐器、声乐和音乐类型,他的绝对音感逐渐扩展到其他领域,甚至可以识别非音乐的音调。作者认为绝对音感的学习是一个循序渐进的过程,并提出了一些学习建议,包括学习C调乐器、使用调音器、学习乐理和多听音乐等。

阅读更多

800%细节:调整特技岛30年历史的3D引擎

2024-12-03

本文介绍了如何修改1992年的飞行模拟游戏《特技岛》的渲染引擎,以提高游戏画面细节。作者详细记录了逆向工程的过程,包括使用DOSBox Debug、Ghidra进行调试和反编译,以及通过分析游戏文件和内存数据来定位和修改控制细节等级的代码。最终,作者成功地将细节等级提高到原版的8倍,并提供了补丁文件供其他玩家使用。

阅读更多

Kagi 搜索 API 文档

2024-12-03

本文档介绍了 Kagi 的搜索 API,该 API 提供了对 Kagi 高级搜索结果的可编程访问。目前,该 API 处于封闭测试阶段,仅对 Kagi 商业(团队)计划用户开放,费用为每月 19 美元加上每次搜索 2.5 美分。API 密钥需要在 Kagi 帐户设置中生成。文档中包含快速入门指南、定价信息、Python SDK、API 端点、搜索对象结构、示例查询及响应等详细信息。

阅读更多
未分类 搜索 API
1 2 34 35 36 38 40 41 42 513 514