Sqawk:基于SQL的命令行工具,轻松处理分隔符文件

2025-05-26
Sqawk:基于SQL的命令行工具,轻松处理分隔符文件

Sqawk 是一款基于 SQL 的命令行工具,它受到经典 awk 命令的启发,能够高效地处理 CSV、TSV 等分隔符文件。它将数据加载到内存表中,使用 SQL 查询进行处理,并将结果写入控制台或文件。Sqawk 支持多种 SQL 操作,包括 SELECT、INSERT、UPDATE 和 DELETE,以及各种过滤、排序和聚合函数。它还支持多表操作、自定义分隔符和数据类型推断,并提供安全操作模式,防止意外修改文件。无论是数据清洗、转换还是分析,Sqawk 都能提供强大的功能和便捷的操作体验。

阅读更多
开发

联邦数据消失危机:民间组织联手抢救

2025-02-13
联邦数据消失危机:民间组织联手抢救

自特朗普政府上任以来,数百个联邦数据集和政府网站悄无声息地关闭,有些网站改头换面,有些则彻底消失。为应对这一危机,民间组织积极行动,例如哈佛大学图书馆创新实验室已发布16TB的data.gov存档数据。2月13日下午3点(东部时间),MuckRock将举办一场特别活动,邀请互联网档案库和哈佛大学图书馆创新实验室分享哪些数据面临最大风险,以及公众如何参与数据抢救和利用工作。

阅读更多
科技 政府数据

Hirundo 的偏见消除技术成功降低 DeepSeek-R1 模型偏差

2025-01-29
Hirundo 的偏见消除技术成功降低 DeepSeek-R1 模型偏差

Hirundo 公司利用其独特的偏见消除技术,成功地减少了 DeepSeek-R1-Distill-Llama-8B 大型语言模型中的偏差。该模型在推理任务上表现出色,但在种族、国籍和性别方面存在显著偏差。Hirundo 的技术在不影响模型性能的情况下,将偏差降低了高达 76%,为更安全可靠的 AI 部署提供了强有力的证明。这项技术将在 Hirundo 平台上发布,并已将处理后的模型上传至 Hugging Face。

阅读更多

三星Exynos安全平台H-Arx逆向分析:模块化设计与Rust的应用

2025-03-13

本文深入探讨了三星Exynos手机处理器中基于虚拟化的安全平台H-Arx的逆向工程分析。H-Arx是一个模块化设计的安全平台,由核心组件harx.bin和可加载插件(如uh.bin)组成,并部分采用Rust语言编写。文章详细分析了H-Arx的加载过程、插件加载机制以及核心与插件间的通信方式,揭示了其利用Hypervisor Call(HVC)和Secure Monitor Call(SMC)进行不同权限级别调用和通信的细节。此外,文章还介绍了RKP(实时内核保护)、KDP(内核数据保护)和HDM(虚拟机设备管理器)等关键安全功能,以及它们在H-Arx架构中的作用。通过逆向分析,文章为理解三星Exynos的安全机制提供了宝贵的参考。

阅读更多

GPU渲染透明度排序的革新算法

2025-05-20

传统3D渲染中,透明物体的绘制顺序依赖于CPU根据相机位置排序,效率低下。本文提出一种预计算透明物体排序的新方法,通过分析面片与相机位置的关系,预先确定部分面片的绘制顺序,从而减少运行时排序的次数。该方法时间复杂度为O(n²)但只需计算一次,适用于透明物体位置变化不大的场景。算法通过将面片分割成两面,利用面片之间的空间关系确定绘制顺序,并在某些情况下回退到CPU排序。该方法在一定程度上解决了3D渲染中透明物体排序的难题,提高了渲染效率。

阅读更多

钙钛矿太阳能电池的循环再利用:经济与环境效益分析

2025-02-23
钙钛矿太阳能电池的循环再利用:经济与环境效益分析

这项研究提出了一种高效的钙钛矿太阳能电池循环再利用方法,涵盖了从电池组件各个层面的材料回收,包括钙钛矿层、空穴传输层(spiro-OMeTAD)和电极。通过分层回收和多轮循环利用,该方法实现了高达96.8%的电极回收率。研究还进行了全面的生命周期评估(LCA),分析了不同回收频率对环境影响和经济效益的影响,并计算了平准化发电成本(LCOE)。结果表明,回收利用显著降低了环境影响,并提高了钙钛矿太阳能电池的经济竞争力。

阅读更多

在仅支持物理SIM卡的设备上使用eSIM:9eSIM卡测评

2025-01-20
在仅支持物理SIM卡的设备上使用eSIM:9eSIM卡测评

本文介绍了如何使用9eSIM SIM卡在仅支持物理SIM卡的Android和Linux设备上使用eSIM。作者购买了9eSIM套装,包括SIM卡、读卡器和适配器。初始设置略显复杂,需要将SIM卡与原包装一起使用才能与读卡器正确连接。通过Android应用或Linux命令行工具lpac(以及其GUI EasyLPAC),可以轻松添加、切换和删除eSIM配置文件。作者还测试了免费的测试eSIM配置文件和付费的LycaMobile eSIM,并成功在Linux笔记本电脑上实现了eSIM连接。

阅读更多

AI赋能Anki:医学学习的革命性工具

2024-12-28
AI赋能Anki:医学学习的革命性工具

AnkiAIUtils是一个利用AI增强Anki记忆卡片的工具套件。它通过结合ChatGPT、DALL-E和Stable Diffusion等AI模型,自动为学习者提供解释、记忆技巧、插图和自适应学习功能。该工具能够根据学习者的学习情况,动态匹配最相关的例子,并生成个性化的记忆技巧,支持多种LLM提供商和模型。目前该项目尚处于早期阶段,但已展现出巨大的潜力,有望彻底改变医学学习和其他领域的学习方式。

阅读更多

全球幸福曲线逆转:年轻人不再是最快乐的群体

2024-12-29
全球幸福曲线逆转:年轻人不再是最快乐的群体

一项令人震惊的全球研究发现,长期以来被认为呈U型曲线的幸福感与年龄的关系发生了逆转。过去,中年时期幸福感最低,而如今,年轻人成为了最不快乐的群体。这项研究分析了82个国家的数百万数据,发现自2017年左右,年轻人的幸福感急剧下降,尤其以年轻女性更为显著。这种变化不仅仅体现在幸福感上,还反映在焦虑、抑郁等负面情绪的上升以及自杀率的提高。研究人员指出,这种现象并非局限于美国,而是全球性的,其原因有待进一步研究。

阅读更多

AI产品团队需要AI质量负责人?

2025-01-25
AI产品团队需要AI质量负责人?

Help Scout的成功案例表明,在AI产品团队中设立“AI质量负责人”至关重要。该职位负责弥合领域专业知识和AI开发之间的差距,通常由具备领域专业知识的人员担任,然后学习提示工程和评估等生成式AI技巧。其职责包括审查生产数据、定义评估标准、管理测试数据集、改进提示以及培训团队成员等。此角色能够加快产品上市速度,提高对性能指标的信任度,并缩短反馈循环。即使没有生成式AI专业知识,具备客户需求理解能力、系统化解决问题能力和良好沟通能力的领域专家也能胜任此职位。

阅读更多

扎克伯格:AI将取代Meta中层工程师

2025-01-13
扎克伯格:AI将取代Meta中层工程师

Meta CEO马克·扎克伯格近日表示,AI将在2025年取代公司中层软件工程师的工作。他预测,AI将能够胜任编写代码等任务,从而降低Meta的运营成本。这一言论引发了广泛关注,许多人担心AI的崛起将导致大规模失业。与此同时,Meta还计划用社区审核取代第三方事实核查,并削减多元化和包容性倡议。

阅读更多
科技

用C语言编写WebAssembly虚拟机:一个六个月的个人项目总结

2025-02-03

作者耗时六个月,利用业余时间用C语言编写了一个WebAssembly虚拟机“Semblance”。这个项目帮助作者摆脱了之前频繁更换小项目的低效状态,并让他深入学习了WebAssembly核心规范。文章详细介绍了项目的架构,包括模块解码、导入解析、模块实例化和指令执行等步骤,并分享了作者在项目中遇到的挑战和收获,最终成功运行了一个简单的“Hello, World!”程序。这个项目不仅提升了作者的技能,也让他对WebAssembly有了更深入的理解,为未来参与工业级运行时贡献打下基础。

阅读更多
开发

告别「氛围编程」:AI辅助编程的正确打开方式

2025-05-30
告别「氛围编程」:AI辅助编程的正确打开方式

近年来,「氛围编程」盛行,开发者依赖AI工具快速生成代码,却忽略了基础知识和安全风险。文章批判这种“只求快,不求稳”的编程方式,指出它可能导致严重的安全漏洞,例如暴露API密钥。作者倡导AI辅助编程,强调在使用AI工具的同时,仍需掌握编程基础知识,进行充分的规划和测试,确保代码质量和安全性。唯有如此,才能充分发挥AI的效能,构建稳定可靠的应用程序。

阅读更多
开发

90s.dev:一个在浏览器中运行的复古游戏制作器

2025-05-20

90s.dev是一个新颖的基于浏览器的游戏制作平台,它提供了一个320x180像素的画布,允许用户创建并分享游戏和应用。它受到Pico-8、Tic-80等复古游戏制作器的启发,但又具备一些独特的创新,例如基于ref的GUI系统和强大的组件化能力,支持从GitHub或NPM导入模块。用户可以创建像素绘画、精灵制作和地图编辑器等工具,并通过iframe或链接分享自己的作品。90s.dev旨在打造一个充满活力的社区,鼓励用户共同创造和分享游戏及相关工具。

阅读更多
游戏

地方社会支出如何缓解经济困境对政治不满的影响?

2025-02-27

这项研究调查了荷兰经济困难对政治不满的影响,以及地方社会支出是否能起到缓解作用。研究使用了荷兰纵向生命历程研究的数据,结果表明经济困难确实会加剧政治不满,但高水平的地方社会支出能够减轻这种影响,尤其对长期经济困难的人群有效。这可能归因于获得物质福利的感激之情或对政府响应能力的积极评价。研究也指出,持续的经济困境和更多经济问题的积累会加剧政治不满。

阅读更多

深度学习逆向设计复杂纳米粒子异质结构

2024-12-26
深度学习逆向设计复杂纳米粒子异质结构

研究人员利用深度学习和异质图神经网络,对具有生物传感、超分辨率显微镜和3D打印应用前景的上转换纳米粒子(UCNPs)进行了逆向设计。他们创建了一个包含6000多个UCNP发射光谱的大型数据集,并利用该数据集训练了一个GNN模型。通过基于梯度的优化,该模型识别出预测发射率比训练集中任何UCNP高6.5倍的结构,为UCNP的设计提供了新的原理,也为基于深度学习的纳米材料逆向设计提供了新的方向。

阅读更多

科技圈涌现的家庭教育热潮:精英主义还是另类生存策略?

2025-01-14
科技圈涌现的家庭教育热潮:精英主义还是另类生存策略?

文章探讨了科技行业人士热衷于家庭教育的现象。作者以自身被家庭教育的经历为引子,指出家庭教育不再是宗教人士或学霸的专属,如今已成为一种高地位象征。文章分析了家庭教育的优缺点,认为其背后的驱动力是科技人士渴望“逃离平庸”,避免与“普通人”互动,从而培养孩子成为能够改变世界的人才。然而,作者也表达了担忧,这种做法可能导致孩子缺乏社会经验和同理心,难以与社会真正融合。最终,作者选择让孩子继续在学校接受教育,并认为适度的压力有助于孩子的成长。

阅读更多

自制Web编程环境:告别Glitch,拥抱个性化开发

2025-02-13

厌倦了依赖Glitch的局限性,作者打造了自己的Web编程环境。后端采用Django,项目文件保存在本地目录,域名通过Let's Encrypt的通配符证书实现。它支持模板复用、实时预览、自动保存、Makefile构建,甚至集成了Elm包安装和shell命令执行功能。作者还添加了Git集成,使用Jujutsu简化了版本控制流程,并利用Forgejo的create-on-push特性实现无缝推送。目前已拥有80个项目,涵盖实验性作品和日常工具。

阅读更多
开发

Google DeepMind发布Gemini Robotics:赋能下一代机器人

2025-03-12
Google DeepMind发布Gemini Robotics:赋能下一代机器人

Google DeepMind发布了基于Gemini 2.0的两个新AI模型:Gemini Robotics和Gemini Robotics-ER,它们能够让机器人执行更广泛的现实世界任务。Gemini Robotics是一个先进的视觉-语言-动作模型,能够直接控制机器人;Gemini Robotics-ER则具有先进的空间理解能力,允许机器人专家使用Gemini的具身推理能力运行他们自己的程序。这两个模型都具有通用性、交互性和灵活性,能够处理各种任务和环境,并与人类更好地协作。DeepMind还发布了一个新的数据集ASIMOV,用于评估和改进具身AI和机器人的语义安全性,并与Apptronik等公司合作开发下一代人形机器人。

阅读更多

TMSU:基于标签的虚拟文件系统,告别文件系统层次结构的烦恼

2025-01-23

TMSU 是一款用于文件标记的工具,它提供了一个简单的命令行工具来应用标签,以及一个虚拟文件系统,允许你从任何其他程序中获得基于标签的视图。TMSU 不会更改你的文件,它维护自己的数据库,并基于你设置的标签提供额外的视图。你可以使用命令行工具标记和查询文件,并挂载和浏览虚拟文件系统。它支持基本的逻辑运算符,允许你进行复杂的查询。此外,TMSU 还提供了一个虚拟文件系统,允许你通过创建和删除目录来管理标签。

阅读更多

增强型顶点块下降法:实时物理模拟的突破

2025-06-21

研究人员提出了一种名为增强型顶点块下降法(AVBD)的全新物理模拟方法,它在保证无条件稳定性和高度并行化的同时,显著提升了收敛速度和对复杂约束的处理能力。AVBD能够高效处理刚体堆叠、摩擦、关节约束以及刚柔体交互等复杂场景,并在GPU上实现了实时性能,即使面对数百万个物体间的碰撞和交互也能保持稳定。与现有方法相比,AVBD在性能、收敛性和稳定性方面展现出显著优势,并提供了一个在线2D演示。

阅读更多
开发

代码审查新技巧:问问工程师“你觉得你的作品怎么样?”

2025-01-06

一位工程师在进行复杂的UI改动代码审查时,作者没有直接审核,而是先询问工程师“你觉得你的作品怎么样?”。工程师的回应促使他发现并修复了几个bug,甚至放弃了一个有问题的需求。这简单的提问,让工程师对自己的作品进行更深入的思考和改进,最终提高了代码质量。作者认为,定期询问工程师对自身作品的感受,是一个值得尝试的有效技巧。

阅读更多
开发

Dillo浏览器:25年风雨兼程,涅槃重生

2024-12-16

Dillo网页浏览器,自1999年诞生以来,经历了25年的风雨洗礼。它曾数次停滞,却始终顽强生存。最初由Jorge Arellano Cid领导开发,历经GTK和FLTK两个主要阶段,期间核心开发者几经更迭,项目也几度沉浮。2024年,Rodrigo Arias Mallo接手项目,在社区的帮助下,成功发布了3.1.1版本,将这款老牌浏览器带回了人们的视野。Dillo的故事,是开源精神的最佳诠释,也是技术传承与创新的传奇篇章。

阅读更多

Apache Iceberg:大数据分析的可靠表格格式

2025-01-26

Apache Iceberg是一个高性能的分析型大数据表格格式,它为Spark、Trino、Flink等多种引擎提供对同一张表的同时安全访问。Iceberg支持灵活的SQL命令,例如数据合并、行更新和目标删除,并能通过数据文件重写或增量更新来优化读写性能。此外,它还支持隐藏分区、时间旅行和回滚功能,方便用户进行高效查询和数据管理。

阅读更多
开发 表格格式

Krisp Server SDK:解决AI语音代理中的“抢话”难题

2025-03-29
Krisp Server SDK:解决AI语音代理中的“抢话”难题

AI语音代理的流畅对话体验常常受背景噪音干扰。Krisp推出了新的服务器端SDK,包含两个先进的AI模型BVC-tel和BVC-app,能有效消除背景噪音和多余声音,提升语音识别准确率和对话自然度。测试结果显示,Krisp BVC能够将VAD的误报率降低3.5倍,并将Whisper语音识别的错误率降低超过一倍。该SDK支持多种平台和音频采样率,为构建更自然的AI语音交互提供了强有力的解决方案。

阅读更多

Haskell:一个优秀的程序语言?

2025-01-19

本文挑战了Haskell的刻板印象,认为它是一个优秀的程序式语言。文章深入探讨了Haskell中副作用作为一等公民的特性,解释了`do`块的底层机制,并展示了如何使用`pure`、`fmap`、`liftA2`等函数操作副作用。文章还介绍了`sequenceA`、`traverse`等函数如何处理副作用的集合,以及如何利用这些特性进行高效的元编程。最终,文章通过一个复杂的例子展示了Haskell在处理状态管理和缓存等场景下的优势,并对比了其他语言的不足之处。

阅读更多
开发

Linux 社区:自由的堡垒还是排斥的牢笼?

2025-06-27

一篇博文引发了关于 Linux 社区包容性的激烈讨论。博主分享了一条充满傲慢和排斥性的评论,该评论批评博主使用“Linux”而不是“GNU/Linux”,并指责博主试图“简化”系统。博主反驳道,真正的“自由”不应该以牺牲弱势群体为代价,并指出 Linux 系统在可访问性方面存在严重缺陷。这引发了关于社区文化、包容性和可访问性重要性的讨论,以及对那些为改进系统做出贡献的人的尊重。

阅读更多
开发

蓝起源新格伦火箭首飞:NG-1任务详解

2025-01-13
蓝起源新格伦火箭首飞:NG-1任务详解

蓝起源公司即将进行其巨型可重复使用火箭“新格伦”的首飞任务NG-1。此次发射将从佛罗里达州卡纳维拉尔角空军基地36号发射场进行,搭载“蓝环探路者”有效载荷,并进行首次国家安全空间发射认证飞行。新格伦火箭一级将自主降落在几百英里外的海上平台,二级则将有效载荷送入中等地球轨道。这次发射标志着蓝起源在重型运载火箭领域迈出了重要一步,也预示着未来太空探索的新纪元。

阅读更多
科技 新格伦

马斯克:直奔火星,月球是干扰

2025-01-05
马斯克:直奔火星,月球是干扰

马斯克近期公开批评NASA的阿耳忒弥斯计划,认为其效率低下,更偏向于就业而非成果。他明确表示,SpaceX将直奔火星,月球只是个干扰。此言论引发广泛关注,考虑到马斯克在特朗普政府中的顾问角色以及对NASA新任署长的影响力,他的观点或将对美国太空政策产生重大影响。虽然阿耳忒弥斯计划可能不会被取消,但NASA或将采取新的策略,兼顾月球和火星探索,形成双线并行发展模式,SpaceX和Blue Origin等公司将分别在其中扮演重要角色。

阅读更多
科技
1 2 988 989 990 992 994 995 996 1084 1085