Dropbox CEO Drew Houston宣布公司将裁员约20%，即528名员工。裁员原因是公司处于转型期，核心业务需求疲软，宏观经济逆风，以及组织结构过于复杂，导致效率低下。公司将进行更扁平化的团队结构调整，并将资源集中于新产品Dash等发展方向，以应对市场竞争。受影响员工将获得遣散费、股权、过渡金、医疗保健、设备保留、以及职业安置等支持。
阅读更多
美国加州地区法官乔恩·蒂加（Jon Tigar）驳回了开发者对 GitHub Copilot 提出的多项诉讼请求，其中包括一项关键的 DMCA 版权主张。开发者声称 Copilot 非法复制其代码，但法官认为 Copilot 建议的代码与开发者受版权保护的作品“不够一致”，因此 DMCA 1202(b) 条款不适用。目前该案中只剩下两项指控：一项是违反开源许可证的指控，另一项是违反合同的指控。
阅读更多
Era3D是一种新的多视图扩散方法，可以从单张图像生成高分辨率的多视图图像。它解决了现有方法存在的相机先验失配、低效和低分辨率问题。Era3D 首先使用基于扩散的相机预测模块来估计输入图像的焦距和仰角，从而生成无形状失真的图像。然后，它采用了一种简单而高效的注意力层，称为行注意力，以在多视图扩散中加强对极几何约束，从而实现高效的跨视图信息融合。
阅读更多
本文探讨了状态空间模型（SSM）在构建大型语言模型（LLM）方面的表达能力。研究发现，尽管SSM在架构上类似于循环神经网络（RNN），但其表达能力与Transformer相似，无法表达复杂度超过TC^0的计算，例如排列组合。这意味着SSM无法解决简单的状态跟踪问题，例如跟踪国际象棋的移动、评估代码或跟踪长篇叙述中的实体。实验证明，Mamba风格的SSM在状态跟踪方面确实存在困难。因此，尽管SSM具有循环公式，但其“状态”只是一种错觉，其表达能力的局限性可能会从根本上限制其解决现实世界状态跟踪问题的能力。
阅读更多
本文批评了欧盟过于严苛的科技监管政策，指出这些政策正在扼杀欧洲科技行业的创新和发展。文章列举了苹果、Meta、X (前Twitter) 和英伟达等公司在欧盟面临的监管挑战，指出欧盟的监管措施过于抽象、缺乏明确的规则，并且罚款过高，可能导致科技公司选择退出欧洲市场。作者认为，欧盟需要反思其对科技行业的监管策略，否则将面临沦为“网络滞留区”的风险。
阅读更多
ClickPy是一个基于ClickHouse的Python包分析平台，提供对超过70万个PyPI包和超过1.17万亿次下载的分析数据，每日更新。它展示了热门包、新兴包以及需要更新的包，并提供了过去三个月下载量等指标。例如，propcache在过去三个月下载量达8200万次，而urllib3的总下载量高达180亿次，但最后更新时间为2024年2月18日。
阅读更多
互联网档案馆是一个非营利性数字图书馆，提供免费访问海量的数字化内容，包括书籍、电影、音乐和网站存档。用户可以免费借阅电子书，浏览历史网站，观看经典电影和收听各种音乐。
阅读更多
本文介绍了JavaScript库uuidv7，它实现了UUID版本7的生成。uuidv7库提供生成UUID v7和v4的功能，支持命令行界面，并提供了详细的字段和位布局说明。该库还支持生成表示为16字节数组的对象，并提供了一个V7Generator原语，允许使用独立于全局生成器的计数器状态。此外，文章还介绍了相关项目Uuid25，它提供UUID与其他文本表示形式之间的转换。
阅读更多
Korvus 是一款开源 RAG 搜索 SDK，基于 Postgres 构建，可将整个 RAG 流程整合到单个数据库查询中。它支持 Python、JavaScript、Rust 和 C 等多种编程语言，并提供嵌入生成、向量搜索、重新排序、文本生成等功能，所有操作都通过高效的 SQL 查询在 Postgres 数据库中执行，具有高性能、可定制化和易于扩展等优点。
阅读更多
本文揭露了外卖平台DoorDash利用自身系统漏洞，低价销售披萨，并以高价从餐厅购买，从中牟利的“套利”行为。作者通过朋友的亲身经历，详细描述了这一过程，并对DoorDash以及Grubhub等平台利用技术手段“劫持”餐厅谷歌列表、使用虚假电话号码等不道德行为进行了揭露和批判。作者指出，外卖平台的商业模式存在严重问题，平台亏损，餐厅、骑手和顾客利益受损，整个行业发展畸形，呼吁人们关注外卖平台的乱象。
阅读更多
美国最大的太阳能电池板制造商First Solar在阿拉巴马州投资11亿美元建立了一家新的垂直整合薄膜太阳能工厂，该工厂将为美国增加3.5 GW的太阳能产能，预计将创造800多个就业岗位。First Solar的独特之处在于，它是一家完全垂直整合的薄膜光伏太阳能电池板制造商，严重依赖美国本土的材料，如玻璃和钢铁。
阅读更多
本文利用ChatGPT中断事件，研究了投资者是否依赖生成式人工智能（GAI）执行交易相关任务，以及其对股票价格信息含量的影响。研究发现，ChatGPT中断期间，股票交易量显著下降，尤其是在中断发生之前或期间发布了公司新闻的公司。同时，短期价格影响、回报率波动和买卖价差也出现类似下降，这与中断期间知情交易减少相一致。最后，研究人员利用中断期间的交易量变化构建了公司层面的GAI辅助交易强度指标，并为GAI辅助交易对长期股票价格信息含量的积极影响提供了初步证据。
阅读更多
瑞士通过了名为《联邦电子政务法》（EMBAG）的立法，强制要求所有公共部门使用开源软件 (OSS)。 该法律规定，除非涉及第三方权利或安全问题，否则所有公共机构必须公开其开发或为其开发的软件的源代码。这一举措旨在提高政府运营的透明度、安全性，和效率。
阅读更多
这篇文章探讨了商业营销中过度使用和滥用某些词汇的问题，例如“真实”、“解决方案”、“创新”等。作者认为，这些词汇已经被过度使用，失去了其原本的意义，变成了陈词滥调。作者建议，企业应该用更具体、更生动的语言来描述产品和服务，例如使用数据、案例、客户评价等来证明产品的价值，而不是简单地使用空洞的形容词。
阅读更多
本文阐述了人工智能模型的训练和使用方式，以及如何制定有效的监管政策。文章重点讨论了加州SB 1047法案，该法案旨在规范人工智能，但由于缺乏对技术细节的理解，可能阻碍开源人工智能的发展，并最终损害人工智能安全。作者建议将监管重点从发布模型转向部署系统，并强调开源人工智能在安全和创新方面的关键作用。文章还讨论了人工智能模型的双重用途，以及如何平衡安全与创新的关系。
阅读更多
该文章是用户对iTerm2软件3.5.0版本中集成ChatGPT功能提出的质疑和反对意见。用户担心隐私泄露和安全风险，希望软件提供不含ChatGPT功能的版本，并认为终端程序的首要任务是接收用户输入并将其提交给系统，而非进行远程通信或运行大型语言模型。
阅读更多
sgrep是一个命令行工具，它使用词嵌入技术对文本输入执行语义搜索。它旨在查找与查询在语义上相似的匹配项，超越了简单的字符串匹配。其体验被设计成类似于 grep。该工具提供了诸如可配置的相似性阈值、上下文显示、彩色编码输出以及从文件或标准输入读取等功能。
阅读更多
本文介绍了一种名为xLSTMTime的新型长期时间序列预测模型，该模型改进了现有的扩展LSTM（xLSTM）架构。xLSTMTime利用指数门控和改进的记忆结构，在多个真实数据集上超越了Transformer等现有模型。研究结果表明，改进后的循环架构在长期时间序列预测任务中可与基于Transformer的模型相媲美，为时间序列预测领域提供了新的可能性。
阅读更多
Raspberry Pi 基金会发布了新款 2GB 版本 Raspberry Pi 5，售价 50 美元，比 4GB 版本便宜 10 美元。该版本采用成本更低的 Broadcom BCM2712C1 SoC 芯片，性能与之前版本相同，但制造成本更低。新款 Pi 5 速度更快，连接选项更丰富，适合预算有限的用户和各种应用场景，例如复古游戏模拟器和轻量级服务器应用。
阅读更多
Wealthfolio 是一款简单易用的桌面投资追踪软件，可以安全地将您的财务数据存储在您的电脑上，无需电子表格，无需订阅费，也无需担心 SaaS 服务会盗用您的数据。它提供账户聚合、账户绩效追踪、持仓概览、收入追踪以及目标追踪等功能，帮助您全面管理您的投资。
阅读更多
Neosync是一个开源工具，旨在帮助开发者进行数据匿名化、生成合成数据并同步环境，以提升测试、调试和开发体验。它可以用于安全地测试代码、轻松复现生产环境错误、修复损坏的测试环境、减少合规范围以及为开发数据库提供种子数据等。Neosync 提供了基于声明式 GitOps 配置的完整异步管道，并支持多种数据源和自定义转换器。
阅读更多
贝尔实验室，20世纪科技创新的摇篮，其辉煌成就离不开其独特的历史环境和科技体制。作为AT&T的子公司，贝尔实验室受益于母公司的垄断地位和对研发的巨额投入，得以进行长期、广泛的科学研究，并吸引了大量顶尖人才。然而，随着科技的进步，贝尔实验室赖以生存的垄断体制逐渐被瓦解，其研发成果也逐渐被其他公司所利用。如今，尽管诺基亚贝尔实验室依然存在，但昔日的辉煌已难以重现。
阅读更多
这篇文章是关于作者开发的一款名为Grooved的应用程序的描述。作者首先批评了当下流行的文案风格，认为过于刻意追求幽默，缺乏真诚。随后，作者介绍了Grooved这款应用，它可以帮助用户校准黑胶唱片机的转速，并强调该应用不收集任何用户数据，使用简单方便。最后，作者还批评了一些应用程序要求用户提供电话号码才能下载的做法，认为这种做法很不合理，并鼓励用户直接扫描二维码下载Grooved。
阅读更多
CHERI项目致力于解决内存安全漏洞问题，通过扩展传统硬件指令集架构，实现细粒度内存保护和高度可扩展的软件隔离。CHERI架构已在CHERI-MIPS、CHERI-RISC-V和Morello等原型中实现，并进行了广泛的软件移植。为了确保CHERI架构的安全性，研究人员使用了严格的工程方法，包括基于模型的测试生成和机器检验的数学证明，以验证其关键安全属性，例如可达能力单调性，确保软件无法伪造能力或提升权限。
阅读更多
Mp3tag 是一款功能强大且易于使用的音频文件元数据编辑器，支持批量编辑 ID3v1、ID3v2、MP4、WMA 等多种音频格式的标签。它还支持从 Discogs、MusicBrainz、freedb 等在线数据库查找标签信息，并自动下载专辑封面。此外，Mp3tag 还提供文件名批量重命名、字符替换、播放列表创建等实用功能。
阅读更多
ModRetro创始人Palmer Luckey宣布推出Chromatic，这是一款致敬Game Boy®掌机的终极设备。Chromatic拥有蓝宝石屏幕、定制LCD、镁铝合金外壳等配置，并完美兼容所有Game Boy®游戏。Luckey强调Chromatic不仅是玩游戏的设备，更是艺术品。他还宣布ModRetro回归，将专注于高质量游戏，并计划推出全新游戏和经典游戏复刻。
阅读更多
这篇文章介绍了Estuary Flow如何克服将流数据高效写入Parquet文件的内存限制挑战。由于流数据是基于行的，而Parquet是列式存储格式，因此直接写入会导致内存问题。文章详细介绍了Estuary Flow采用的“两阶段写入”解决方案：首先将数据以较小的行组写入临时文件，然后在第二阶段将这些小行组合并成更大的行组，最终生成内存效率高的Parquet文件。
阅读更多
这篇文章是对Hans Peter Luhn于1953年发表的“一种新的信息记录和搜索方法”论文的注释/解释版本。 Luhn的方法使用标识词或“标准”集来描述文档，从而预见了诸如关键字搜索和相关性排名之类的现代搜索概念。 Luhn认识到，使用非常具体的术语来描述主题可能会导致记录信息与搜索信息之间不匹配，因为不同的人可能会对同一概念使用不同的特定术语。 为此，他提出了一种反直觉的方法：使用更广泛，更笼统的术语，并使用更多术语，即使到了冗余的地步。
阅读更多
Ares Industries 正在研发一种新型低成本反舰巡航导弹，目标是以现有巡航导弹十分之一的成本和尺寸，提供美军所需的作战能力。他们认为，在与中国潜在的台海冲突中，美军现有的昂贵且庞大的反舰导弹库存不足，无法有效应对中国大量的小型舰艇和无人水面舰艇。Ares Industries 开发的低成本、小型化巡航导弹旨在填补这一空白，增强美军的反舰作战能力。
阅读更多