Clay:一款强大的UI布局库

2024-12-19

Clay是一款用于构建响应式和可访问UI界面的轻量级UI布局库。它提供了一套简洁直观的API,让开发者可以轻松地创建复杂的布局,同时保持代码的可维护性和可读性。Clay注重性能和可访问性,通过精简的代码和合理的架构,确保页面快速加载并对所有用户友好。无论是简单的页面布局还是复杂的交互式应用,Clay都能胜任,帮助开发者更高效地构建高质量的UI界面。

阅读更多

arXivLabs:与社区协作者共建arXiv新功能

2025-06-10
arXivLabs:与社区协作者共建arXiv新功能

arXivLabs是一个实验性平台,允许开发者与arXiv社区合作,直接在arXiv网站上开发和分享新功能。参与者必须认同arXiv的开放、社区、卓越和用户数据隐私等价值观。你有好的想法能提升arXiv社区价值吗?快来了解arXivLabs吧!

阅读更多
开发

曼哈顿神秘的Eruv:守护逾越节的无形边界

2025-06-08
曼哈顿神秘的Eruv:守护逾越节的无形边界

每逢周四和周五凌晨,拉比莫舍·陶伯都会驱车巡视曼哈顿岛上近乎隐形的Eruv(犹太教规定的界线)。这根环绕曼哈顿大部分地区的细线,是遵守安息日规定的犹太教徒的必需品,它象征性地连接了社区中的许多私人空间,允许人们在安息日携带物品。任何断裂都将使Eruv失效,因此陶伯的巡视至关重要。他及时的维修工作,保证了社区成员在安息日遵守宗教戒律的同时,依然可以进行日常活动,体现了社区凝聚力和互助精神。

阅读更多
杂项

AI编码工具:生产力提升与信任危机

2025-06-12
AI编码工具:生产力提升与信任危机

Qodo公司的一项调查显示,虽然AI编码工具极大地提高了软件开发人员的生产力,但对其输出结果的信任度却不足。许多开发者依然选择手动检查AI生成的代码,这抵消了一部分生产力提升。调查发现,经验丰富的开发者受益最多,而大多数开发者则获得中等程度的提升,部分开发者甚至未能有效利用AI工具。尽管约60%的开发者表示AI提高了代码质量,但76%的开发者仍然不会在没有人工审查的情况下提交AI生成的代码。开发者最希望改进的是AI的上下文理解能力、减少幻觉和提高代码质量。Qodo的CEO建议,通过提供更详细的信息,例如产品需求、规范和代码风格等,来提高AI生成的代码质量。

阅读更多
开发

在GitHub容器注册表发布Microsoft Edit的Docker容器

2025-06-22
在GitHub容器注册表发布Microsoft Edit的Docker容器

作者在Apple Silicon Mac上运行Microsoft新发布的终端文本编辑器Edit,由于官方没有提供该平台的编译版本,作者创建了一个Docker镜像并在GitHub容器注册表发布。文章详细介绍了构建过程,包括使用多阶段Docker构建以减小镜像大小,以及使用GitHub Personal Access Token将镜像推送到GitHub容器注册表。最终,任何拥有Apple Silicon Mac和Docker的用户都可以通过简单的命令运行Edit。

阅读更多

Adobe Project Indigo:挑战手机摄影极限的AI相机应用

2025-06-23
Adobe Project Indigo:挑战手机摄影极限的AI相机应用

Adobe推出了一款名为Project Indigo的iPhone相机应用,由前谷歌Pixel相机团队成员打造。该应用结合了计算摄影技术和AI功能,提供专业级手动控制和自然影像效果,避免了过度处理。它通过组合多达32张照片,并进行轻微的色调映射和锐化,实现高画质输出,还具备AI驱动的“去除反光”等功能。目前仅支持iPhone 12 Pro及以上机型,Android版本即将推出。

阅读更多
科技

IBM CEO:全球贸易并非已死,AI是工具而非灵丹妙药

2025-03-12
IBM CEO:全球贸易并非已死,AI是工具而非灵丹妙药

IBM CEO克里希纳在SXSW大会上表示,尽管特朗普政府攻击全球化,但全球贸易并未消亡,反而认为拥抱国际商品交换是美国增长的关键。他认为,全球贸易与吸引海外人才密切相关,呼吁美国成为国际人才中心。他还对AI的潜力表示认可,但认为其并非万能药,预测未来AI最多编写20%-30%的代码,并不会取代程序员,而是提高他们的生产力。他将AI比作计算器和Photoshop,认为其是提升质量的工具,并预测其能耗将大幅降低。最后,他更看好量子计算在推动科学发现方面的潜力,认为AI只能学习已有的知识,无法创造新的知识。

阅读更多
科技

实验性Python编辑器跨平台兼容性差异

2025-05-25

一款实验性的Python编辑器在Windows和MacOS上运行良好,但在Linux系统上的兼容性则取决于LibreOffice的安装方式。通过软件包管理器安装的LibreOffice版本可以正常工作;而通过snap包或Flatpak安装的版本则可能需要额外安装Flatpak软件包才能支持该编辑器。详情请参考LibrePythonista Flatpak Editor Wiki。

阅读更多

CheerpJ 4.1发布:提前支持Java 17,赋能浏览器端Java应用

2025-05-28
CheerpJ 4.1发布:提前支持Java 17,赋能浏览器端Java应用

Leaning Technologies 宣布发布 CheerpJ 4.1,该版本比预期提前支持 Java 17(预览版),并提升了 Java 11 的稳定性,同时优化了性能、网络栈和移动端兼容性。CheerpJ 是一个基于 WebAssembly 的 JVM,允许在浏览器中直接运行未修改的 Java 字节码,支持大型 Swing/AWT 应用和 Java 库的集成(Library Mode)。CheerpJ 4.1 还引入了对 JNI WebAssembly 模块的支持,使得运行如 Minecraft 等依赖原生代码的 Java 应用成为可能。未来 CheerpJ 5.0 将带来稳定的 Java 17 支持和 NPM 支持等更多功能。

阅读更多
开发 CheerpJ

lsof 命令详解:窥探进程文件描述符

2025-06-06

这段代码使用 `lsof -p $(echo $$)` 命令列出了当前 zsh 进程的所有打开文件。输出显示了进程 ID、用户、文件描述符、文件类型、设备、文件大小和路径等信息,直观地展示了进程与哪些文件系统资源发生交互。对于理解进程行为、排查文件句柄泄漏等问题非常有用。

阅读更多
开发

Rivulet:一种以书法为灵感的编程语言

2025-06-23
Rivulet:一种以书法为灵感的编程语言

Rivulet 是一种独特的编程语言,它抛弃了传统的关键词,转而采用类似书法作品的视觉风格。代码以流畅的线条书写,其逻辑不同于大多数编程语言,更像是自然语言的演变。演讲者将介绍 Rivulet 以及其他几种从自然语言和人工语言的鲜为人知方面汲取灵感的编程语言,展示其模糊性和表达力。Rivulet 代码将数字零以七种不同的“线段”方式展现,这些线段的组合构成“字形”。其视觉风格受到迷宫、Anni Albers 的作品以及空间填充算法的启发。

阅读更多
开发

Julia语言中的借用检查器:一个实验性API

2025-01-18
Julia语言中的借用检查器:一个实验性API

BorrowChecker.jl是一个Julia包,通过宏系统模拟Rust的内存所有权和借用语义,在开发和测试阶段进行运行时检查以标记内存安全问题。它不保证绝对的内存安全,但有助于编写更安全的代码。该库通过`@own`、`@move`、`@clone`等宏管理对象所有权,并使用`@lifetime`块管理引用生命周期,同时提供`@managed`块自动执行借用检查。虽然它不完美,但能有效辅助开发者提升代码的内存安全。

阅读更多
开发

OrioleDB:PostgreSQL 的高性能存储扩展

2025-07-19
OrioleDB:PostgreSQL 的高性能存储扩展

OrioleDB 是一个 PostgreSQL 存储扩展,它作为默认 Heap 存储引擎的替代品,显著提升了 PostgreSQL 的性能。通过重新设计 MVCC、页面缓存和检查点等核心组件,OrioleDB 改善了事务型工作负载的吞吐量和可预测性,同时保持了 PostgreSQL 的用户体验。最新的版本增加了对非 B 树索引类型、表空间和 fillfactor 的支持,并对查询和索引性能进行了优化。基准测试结果显示,与 PostgreSQL 默认的 Heap 存储引擎相比,OrioleDB 在 TPC-C 和 sysbench 工作负载下,吞吐量有了显著提升,例如在 go-tpc 测试中,tpmC 提升了数倍。

阅读更多
开发

数据库一致性:超越基础知识

2025-06-02
数据库一致性:超越基础知识

本文探讨了在高并发环境下数据库事务一致性的问题。作者通过一个Spring Boot案例,演示了如何在处理大量销售数据时,使用默认分页和幂等性检查如何导致数据不一致(丢失行或重复更新)。文章深入分析了数据库隔离级别(READ UNCOMMITED、READ COMMITED、REPEATABLE READ、SERIALIZABLE)和乐观锁/悲观锁策略,最终通过使用REPEATABLE READ隔离级别和乐观锁,有效解决了数据不一致问题,并显著提升了性能。

阅读更多
开发

fang:Cobra 命令行工具的增强套件

2025-06-19
fang:Cobra 命令行工具的增强套件

fang是一个轻量级的实验性库,旨在为基于Cobra的命令行应用程序提供开箱即用的增强功能。它提供丰富的特性,包括全样式的帮助和使用页面、样式化的错误信息、自动版本号设置、man手册生成(使用mango)、shell命令补全、主题定制以及静默的使用输出。只需简单的几行代码,即可将fang集成到你的Cobra项目中,极大提升用户体验。

阅读更多
开发 Cobra

CSV格式:被低估的数据序列化利器

2025-03-26
CSV格式:被低估的数据序列化利器

一篇博文为CSV格式唱赞歌,反驳了CSV即将过时的说法。文章指出,CSV简单易懂,无需专用软件即可读取和编辑;其开放性、可追加性以及动态类型特性使其在许多场景下都具有优势,尤其是在处理大型数据集时,CSV的逐行读取能力和低内存占用使其表现出色。此外,CSV的逆序读取特性也使其成为高效恢复中断进程的理想选择。

阅读更多
开发

实验考古学:用科学还原史前技术

2025-01-07
实验考古学:用科学还原史前技术

肯特州立大学的实验考古学家Metin Eren及其团队,通过实践操作,复原和检验史前技术,例如打制石器、制作陶器和使用投枪器等。他们不仅进行严谨的科学实验,还将研究成果发表在学术期刊上。Eren的团队还参与了与狩猎相关的实验,例如使用克洛维斯尖状器屠宰野牛,以及对子弹跳弹痕迹进行法医分析。Eren认为,实验考古学是考古学未来的方向,因为它能弥补考古发现的不足,帮助我们更深入地理解古代文明和技术。

阅读更多
科技 史前技术

B-2隐形轰炸机:40小时不间断飞行背后的秘密

2025-06-22
B-2隐形轰炸机:40小时不间断飞行背后的秘密

本文揭秘了美军B-2隐形轰炸机执行40小时超长飞行任务的惊人细节。B-2机组人员如何在狭小的机舱内轮流休息,利用简易的折叠床、微波炉和化学厕所维持作战能力?文章详细描述了一次从密苏里州到利比亚再返回的超长飞行任务,以及机组人员在空中加油、执行轰炸任务和应对突发事件中的经历。此外,文章还对比了B-1、B-2和B-52三种轰炸机的机组休息设施和任务特点,并探讨了B-2飞行员的严格选拔和培训过程。B-2的成功,不仅在于其先进的隐形技术,更在于其对机组人员人因工程的重视。

阅读更多
科技

WireGuard个性化密钥生成器:wireguard-vanity-keygen

2025-05-19
WireGuard个性化密钥生成器:wireguard-vanity-keygen

wireguard-vanity-keygen是一个命令行工具,用于生成WireGuard的个性化公钥。它支持多核心处理、大小写敏感搜索、正则表达式搜索以及多个前缀的搜索。用户可以指定搜索前缀、线程数和结果限制,工具会计算概率和估计运行时间。该工具旨在简化WireGuard密钥生成过程,并允许用户根据自己的需求生成更易于记忆和管理的密钥。

阅读更多
开发

全栈工程师Jake Gaylor的惊人履历:从AI到DevOps,无所不能

2025-05-05

Jake Gaylor是一位经验丰富的全栈工程师和产品创始人,拥有15年以上的大规模产品构建和交付经验。他的履历令人印象深刻,涵盖了AI工程、云基础设施、CI/CD和DevOps等多个领域。他曾领导Cloaked Inc.的AWS EKS迁移,构建了基于LangChain的自主AI代理,并为Inception Health架构了符合HIPAA标准的患者护理微服务。此外,他还拥有丰富的创业经验,曾拥有并管理一家年收入50万美元的牛排餐厅。他的技能组合非常全面,从编程语言到分布式系统,几乎无所不包,并且拥有多个成功的开源项目。Jake的经历证明了技术与商业的完美结合,堪称技术领域的一位传奇人物。

阅读更多
开发

谷歌“关于你的结果”工具更新:更便捷的个人信息移除

2025-02-26
谷歌“关于你的结果”工具更新:更便捷的个人信息移除

谷歌于2022年推出,并在2023年更新的“关于你的结果”工具,旨在帮助用户管理其在线个人信息。近日,谷歌宣布了该工具的最新更新,包括重新设计的中心页面和更新过时搜索结果的功能。用户现在可以直接在搜索结果中提交移除请求,并能够刷新搜索结果以获取最新信息。虽然此次更新并非革命性改变,但它提升了用户体验,方便用户管理个人信息。值得注意的是,该工具目前并非全球可用。

阅读更多
科技

阿西莫夫1982年对AI的预言:合作而非竞争

2025-04-10
阿西莫夫1982年对AI的预言:合作而非竞争

本文回顾了科幻作家艾萨克·阿西莫夫在1982年的一次访谈,他将人工智能定义为执行以往仅与人类智能相关的任务的任何设备。阿西莫夫认为AI与人类智能是互补的,而非竞争的,两者合作能更快进步。他预见AI将解放人类从事无需创造性思考的工作,但同时也警告了技术进步可能带来的困难和挑战,并以汽车的出现为例,指出我们应该提前为AI时代做好准备,避免重蹈覆辙。

阅读更多

将二氧化碳变废为宝:加州理工学院研发出利用电能将CO2转化为塑料的突破性技术

2025-07-13
将二氧化碳变废为宝:加州理工学院研发出利用电能将CO2转化为塑料的突破性技术

加州理工学院的研究人员开发了一种创新的两步法系统,利用可持续能源的电力,将大气中的二氧化碳转化为有用的塑料。该系统首先通过电化学反应将CO2转化为乙烯和一氧化碳,然后将这些气体导入第二个催化循环,生成具有高强度和耐热性的聚酮塑料。这项突破有望为塑料生产提供一种更环保、更可持续的途径,减少对化石燃料的依赖。虽然该系统目前仍处于实验室阶段,但其高浓度产物(11%乙烯和14%一氧化碳)和对杂质的耐受性,展现了其巨大的应用潜力。

阅读更多

arXivLabs:与社区合作的实验性项目

2025-04-09
arXivLabs:与社区合作的实验性项目

arXivLabs是一个允许协作者直接在arXiv网站上开发和共享新功能的框架。参与arXivLabs的个人和组织都认同并接受了arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观,只与遵守这些价值观的合作伙伴合作。如果你有想法能为arXiv社区增值,那就了解更多关于arXivLabs的信息吧!

阅读更多
开发

日长变化:从黑夜到白昼的数学奥秘

2025-03-19

一位同事在挪威斯塔万格的办公室窗外,从漆黑一片到阳光明媚的转变,引发了作者对昼长变化速度的思考。文章通过交互式图表展示了不同纬度下昼长随时间的变化,并深入探讨了背后的数学原理,包括日出方程、太阳赤纬和大气折射等因素的影响。作者详细推导了昼长计算公式及其导数,并讨论了更精确计算昼长时需要考虑的太阳视圆面和大气折射等复杂因素。最终,文章揭示了昼长变化的精妙之处,以及不同因素对昼长计算的影响程度。

阅读更多
科技

跨越“低地位护城河”:拥抱笨拙,成就卓越

2025-07-05
跨越“低地位护城河”:拥抱笨拙,成就卓越

本文探讨了“低地位护城河”的概念,即人们因害怕暂时性的低地位而错失良机。作者以自身经历为例,包括学习唱歌、打扑克和进入新领域,阐述了“在做中学”的重要性。虽然过程中会经历尴尬和羞愧,但作者鼓励读者拥抱这种“笨拙”,并最终克服“护城河”,获得成长和成功。

阅读更多
杂项 克服恐惧

Abracadabra Finance遭黑客攻击,损失1300万美元加密货币

2025-04-08
Abracadabra Finance遭黑客攻击,损失1300万美元加密货币

去中心化金融平台Abracadabra Finance遭遇黑客攻击,损失约1300万美元的加密货币。攻击目标是该平台名为“cauldrons”的孤立借贷市场。黑客利用平台漏洞进行多次交易后才被发现。目前,Abracadabra Finance正与安全公司合作调查事件,并已向黑客提供20%的被盗资金作为赏金。部分安全公司将攻击与去中心化交易所GMX联系起来,但GMX否认受影响。调查显示,攻击者使用的资金可能来自Tornado Cash,该平台近期刚被美国财政部解除制裁。

阅读更多
科技 DeFi

逆向工程利器:LIEF库新增DWARF文件生成API及Ghidra/BinaryNinja插件

2025-05-28
逆向工程利器:LIEF库新增DWARF文件生成API及Ghidra/BinaryNinja插件

LIEF库新增了强大的API,用于创建DWARF调试信息文件,并提供了Ghidra和BinaryNinja插件,方便将逆向工程分析结果导出为DWARF格式。DWARF格式不仅用于存储原始源码调试信息,也适合存储逆向工程得到的结构、函数名等信息,实现不同逆向工程工具间的互通。该API支持Python、Rust和C++,并利用LLVM的DWARF后端生成最终文件。插件能够导出函数、变量等信息,甚至包括栈变量的偏移量,极大方便了协同逆向分析和代码理解。

阅读更多
开发 LIEF
1 2 869 870 871 873 875 876 877 1084 1085