VexRiscv是一个用SpinalHDL编写的FPGA友好型32位RISC-V CPU实现。它具有可配置的流水线级数、多种指令集扩展（包括M、A、F、D、C）和可扩展的插件系统，允许轻松添加自定义指令和功能。该项目提供多种配置，从简单的RV32I到支持Linux的复杂SoC，并包含全面的文档、测试和示例，方便开发者在FPGA上快速部署和调试。
阅读更多
加州大学伯克利分校博士后Sean Noah利用AI分析Erowid网站上6万多份迷幻药体验报告，旨在以一种全新的“自下而上”方法，而非传统的“自上而下”方法来识别迷幻药引起的视觉效应。研究发现，不到5%的报告描述了视觉效应，其中迷幻药的视觉效应描述比例最高，阿片类药物最低。这项研究不仅能帮助我们更全面地了解迷幻药对视觉感知的影响，也为研究大脑如何产生视觉感知提供了新的工具。未来，Noah的研究团队还将结合fMRI扫描技术，进一步探索迷幻药对大脑活动的影响。
阅读更多
Bruin是一款强大的数据管道工具，它集数据摄取、SQL和Python数据转换以及数据质量检查于一体。它支持主流数据平台，可在本地机器、EC2实例或GitHub Actions上运行。Bruin具有数据摄取、SQL和Python转换、数据质量检查、Jinja模板、端到端验证和多环境支持等功能，通过简单的pipeline.yml文件配置即可构建高效的数据管道。
阅读更多
Fractional Jobs是一个专注于兼职工作的招聘平台，为企业和求职者提供了一种新型的合作模式。平台汇集了各领域专家，提供按月付费的兼职服务，涵盖工程、市场营销、设计等多个职能。对于企业而言，这是一种灵活高效的用人方式，可以根据实际需求快速找到合适的专家，降低人力成本；对于求职者而言，这是一个拓展职业发展、提升收入的绝佳机会。
阅读更多
1945年，一只名叫迈克的温道特鸡在被砍头后，奇迹般地存活了18个月。由于斧头错过了颈动脉，大部分脑干得以保留，这使得迈克能够维持基本的生命活动，虽然它只能发出咕噜声，并蹒跚行走。迈克的奇特经历使其声名大噪，成为各地马戏团的明星，最终却因窒息而死于1947年。如今，科罗拉多州弗鲁塔市每年都会举办“无头鸡迈克节”以纪念这只传奇的鸡。
阅读更多
FediDB是一个追踪Fediverse（去中心化社交网络联盟）统计数据的数据库。它实时监测Mastodon等平台的用户数量、实例数量以及其他关键指标，为研究者和用户提供宝贵的洞察。通过FediDB，我们可以了解Fediverse的增长趋势、不同平台的活跃度，以及整个网络的整体健康状况。这对于理解去中心化社交媒体的潜力和挑战至关重要。
阅读更多
本文档介绍了如何在Windows上运行eBPF-Go库。由于Windows上的eBPF尚不稳定，该库支持解释器、JIT和编译为原生Windows驱动程序三种模式。文档详细说明了与Linux的差异，平台特定ELF文件的处理，导出API，开发设置（包括使用Windows虚拟机和构建脚本），预构建二进制文件的使用，以及如何调试和解释错误代码。调试部分提到了使用WinDbg进行调试，并解释了如何使用跟踪日志进行排错。
阅读更多
本期Linux Prepper播客更新涵盖多个方面：首先，播客宣布了新的赞助商ameriDroid，并提供了支持方式；其次，重点介绍了Librewolf浏览器、PixelFed和Loops等开源项目，它们分别是Firefox、Instagram和TikTok的开源替代品；最后，播客还分享了听众反馈，并预告了Hungry Bogart关于播客起源的访谈以及Pimox 7项目（用于在arm64硬件上学习Proxmox）。听众可以通过多种方式参与，包括Matrix聊天室、反馈表单和邮件等。
阅读更多
OpenAuth是一个通用的、基于标准的开源认证提供商，它可以作为独立服务部署，也可以嵌入现有应用程序。它支持多种平台和框架，包括Node.js、Bun、AWS Lambda和Cloudflare Workers。OpenAuth遵循OAuth 2.0规范，可定制，并提供预构建的主题化UI。与其他开源认证解决方案不同，OpenAuth是一个集中的认证服务器，运行在用户自己的基础设施上，简化了自托管过程。它不处理用户管理，而是通过回调机制允许开发者实现自己的用户查找/创建逻辑。OpenAuth使用简单的KV存储，并提供多种实现，例如Cloudflare KV和DynamoDB。它还提供可主题化的UI，方便开发者快速上手。
阅读更多
Docker Hub 将于2025年3月1日正式实施新的使用限制。免费用户每月拉取镜像数量有限制，而付费用户则享有更高的配额和按需付费的选项。文章详细列出了不同用户类型的配额限制，包括每月拉取次数、每小时拉取速率限制、公共和私有仓库存储空间等。此外，Docker Hub 还设有滥用率限制，以防止恶意请求。超过限制将导致请求被限流，甚至额外收费。
阅读更多
本文探讨了AI应用的防御性策略。早期认为AI模型的巨大训练成本会形成壁垒，但开源模型和新进入者的出现挑战了这一观点。作者认为，在AI成为常态而非新奇事物后，网络效应将再次成为关键的竞争优势。类似于Web 2.0时代，简单的“GPT包装器”应用可能通过积累用户网络、提高用户参与度和优化商业模式来获得可持续的竞争力。这将促使AI应用融合网络效应和AI功能，形成新的竞争格局。
阅读更多
System Informer是一款免费、强大的多功能工具，可帮助你监控系统资源、调试软件和检测恶意软件。它提供图表和统计数据，让你快速追踪资源占用过高的进程；支持搜索文件句柄和DLL；查看详细的系统活动概览、磁盘和网络使用情况；甚至可以创建、编辑和控制服务。此外，它还支持GPU使用情况监控、堆栈跟踪以及亮暗主题切换，是系统管理员和程序员的得力助手。
阅读更多
一位软件工程师回顾十年职业生涯，分享了他对软件开发理念的转变。他不再迷信简单，认为优雅并非真正的衡量标准，好的管理至关重要。他认识到沟通在工程中的重要性，并强调了为年轻开发者提供空间的重要性。同时，他坚持一些观点，例如代码风格不必过于苛刻，代码覆盖率与代码质量无关，微服务需要合理性，大多数项目无需过度追求扩展性。这篇文章为软件开发者提供了宝贵的经验和反思。
阅读更多
中国实验先进超导托卡马克装置（EAST）创造了核聚变研究的新里程碑，实现了持续1006秒的高约束等离子体运行，打破了其2023年创造的403秒的世界纪录。这一突破标志着人类向实现清洁、无限能源供应的核聚变发电迈出了关键一步。EAST的成功归功于加热系统稳定性、控制系统精度和诊断系统的改进。这项成就不仅展现了中国在核聚变研究领域的领导地位，也为全球应对气候变化和能源需求提供了新的希望。
阅读更多
本文批判了依赖评估来保证大型语言模型（LLM）软件性能的常见做法。作者指出，虽然评估在比较不同基础模型和单元测试中有一定作用，但其在实际应用中存在诸多问题：难以构建全面测试数据集；自动评分方法存在局限性；仅评估基础模型无法反映整个系统的性能；评估结果的平均化掩盖了严重错误。作者认为，评估无法解决LLM固有的“长尾问题”，即实际应用中总会出现未经测试的异常情况。最后，作者呼吁改变LLM的开发模式，不能仅仅依靠评估来保证性能，而应重视用户测试和更全面的系统测试。
阅读更多
Ruby 3.4.0 版本带来了众多令人兴奋的更新！语言层面，新增了块参数引用语法，并对字符串字面量、关键字散列参数和索引赋值进行了改进，同时增强了对异常处理的支持。核心类库方面，Array、Hash、IO::Buffer、Integer、String等类都得到了优化，并新增了多个实用方法。此外，YJIT 进行了大幅改进，提升了性能和内存利用率。标准库也进行了更新，例如JSON解析速度提升了1.5倍。该版本还增强了对多核处理器的支持，并提高了垃圾回收的效率。
阅读更多
一篇数据驱动的文章驳斥了美国丧失建造大型工程能力的说法。文章通过大量图表数据，论证了美国在房屋、道路、太阳能发电厂、输油管道和桥梁建设方面持续增长的事实，并指出环保法规等虽然有所延缓，但其益处远大于成本。作者认为，人们往往关注那些失败的案例，而忽视了大量成功的项目，并以高速铁路等案例说明，大规模建设的减少往往是因为项目本身已完成，而非能力下降。
阅读更多
十年过去了，汉堡菜单已成为常见的导航模式。然而，隐藏导航的旧问题依然存在：用户容易忽略它，导致任务完成时间延长，满意度降低。虽然如今用户对汉堡菜单的识别度提高，但设计风险依然存在。文章回顾了早期研究结果，并分享了关于汉堡菜单识别度的最新研究，以及汉堡图标的视觉设计最佳实践。研究表明，标准的三线图标、左上角位置以及清晰的标签，有助于提高汉堡菜单的可用性。但文章也提醒，隐藏导航始终增加交互成本，应谨慎使用，并始终优先考虑可见导航。
阅读更多
本文介绍了一种创新的数据可视化方法：将美国所有县用六边形瓦片均匀地铺设成地图。这种方法克服了传统地图中县域面积差异导致的数据偏差问题，使人口密度、社会经济变量等信息更加清晰地呈现。六边形独特的无缝拼接特性，避免了方形网格的“边缘效应”，更准确地展现了县域间的邻接关系。通过颜色深浅或大小调整等方式，可以直观地比较不同县域的人口密度、经济指标、公共卫生数据等，为政策制定和区域发展提供更清晰的参考。这种方法还支持按州或区域进行筛选，灵活适应不同的分析需求。
阅读更多
这个项目是一个Amsterdam Compiler Kit (ACK) 的分支，它支持Cray X-MP超级计算机和COS操作系统。该分支通过注释掉LUA构建脚本中对其他机器和平台的引用来禁用它们。目前，该分支已成功在MacOS和Linux上构建和运行。用户需要安装bison、flex、gcc、gmake和lua等工具，还需要安装一个名为COS-Tools的GitHub仓库中的工具，该仓库提供了Cray X-MP的交叉汇编器、交叉链接器和交叉库管理器。构建完成后，可以使用提供的交叉编译器创建Cray X-MP和COS的可执行文件。文章还详细介绍了如何使用ACK编译程序，并通过FTP上传到NOS 2.8.7系统，再利用Cray Station接口将可执行文件传输到Cray X-MP上运行，以及如何查看运行结果。
阅读更多
美国国家债务实时监控网站（U.S. National Debt Clock）提供了一个令人不安的实时数据：美国国家债务的持续攀升。网站以清晰易懂的方式展示了债务总额、人均债务、以及其他关键指标，直观地反映了美国财政状况的严峻程度。这个数字不仅是经济学家关注的焦点，也提醒着每一位美国公民，国家财政的健康与我们每个人的未来息息相关。网站的简洁设计和数据透明性使其成为了解美国经济状况的重要资源，但同时也引发了关于财政政策和未来经济稳定性的深刻思考。
阅读更多
本文列举了七个在创建技术架构图时常见的错误，并提供了相应的改进建议。这些错误包括：创建理论而非具体的架构图；混合抽象层次；包含过多重叠的关注点；箭头未标记；构成具有误导性；缺少上下文；缺少补充说明文本。文章强调了清晰、准确地传达系统信息的重要性，并建议使用多个图表来解决信息过载的问题，以及在图表中添加标签和解释性文本，以提高架构图的可理解性和有效性。
阅读更多
本文是透镜设计形式的终极指南，涵盖了从简单单透镜到复杂自由曲面的各种光学系统。作者Kats Ikeda博士分享了多年的经验，将教科书知识提炼成易于理解的概念，并结合大量实例、图表和射线图，解释了不同透镜设计形式的优缺点、适用场景以及背后的历史渊源。指南还深入探讨了像差校正、模式识别等技术，并介绍了现代光学系统如激光应用、手机镜头和微光刻镜头等。
阅读更多
开发者Drew McCormack发布了新的Swift框架Forked，用于简化共享数据的处理，无论是单设备还是多设备协作。Forked灵感来源于Git的合并机制，它允许在单个文件中支持分支和合并，实现最终一致性。无需完整变更历史，只需保留足够版本以进行三方合并。Forked使用结构体而非类，支持Codable，并可与iCloud等云服务同步。它甚至能解决并发访问导致的竞态条件，并支持自定义合并逻辑或内置CRDT算法。通过简单的几行代码，即可轻松实现CloudKit同步。
阅读更多
Luca Iaconi-Stewart花费数年时间，仅用普通的牛皮纸文件夹，手工打造了一个1:60比例的波音777-300ER飞机模型。这个项目始于高中的一堂建筑课，他逐渐迷上了纸张的延展性。从最初简单的设计到如今高度精细的还原，他运用Illustrator软件设计图纸，再通过手工剪裁、粘合等步骤，最终完成了这个令人惊叹的作品。整个过程涉及大量的研究、设计、打印和组装，展现了作者精湛的手工技艺和对细节的极致追求。
阅读更多
歌德的诗歌《魔法师的学徒》讲述了一个古老的寓言故事，迪士尼动画《幻想曲》也将其搬上了银幕。故事中，学徒未经许可便使用魔法，结果导致失控的局面。这则寓言警示了权力凌驾于智慧之上的危险，以及人类创造物失控的风险。文章探讨了“魔法师的学徒综合征”，指出许多科幻故事中人类无法控制其创造物（例如机器人）最终反噬自身的情节正是源于此。
阅读更多
程序员Anvaka利用GitHub公开数据，创建了一个包含40万多个项目的交互式地图。该项目通过Jaccard相似度算法计算项目间的关联，并使用Leiden聚类算法将项目分组，最终呈现出一个直观的可视化效果。用户可以搜索项目，并探索项目间的联系，展现了GitHub项目生态的复杂性和丰富性。
阅读更多
Reprompt招聘：想在AI领域快速提升？这里能让你在三年内获得相当于四年的职业经验。你将成为顶尖的AI专家，与经验丰富的Facebook、Robinhood和Mapbox前工程师合作，学习融资、产品管理和团队领导等技能，并参与构建最前沿的AI数据提取系统。当然，你需要热爱团队合作，适应性强，并准备努力工作。
阅读更多
Volexity发现多个俄罗斯威胁参与者正在进行社会工程和鱼叉式网络钓鱼活动，目标是通过设备代码身份验证网络钓鱼攻击破坏Microsoft 365帐户。这些攻击利用了Microsoft设备代码身份验证流程的特性，使得用户难以识别其为网络钓鱼攻击。攻击活动主题多样，包括美国新政府和国际关系等政治议题。攻击者伪装成美国国务院、乌克兰国防部等机构人员，诱导受害者参加虚假的Microsoft Teams会议或访问应用。Volexity追踪到三个威胁参与者，其中一个可能与CozyLarch（与DarkHalo、APT29等重叠）有关。该攻击方法利用了用户对设备代码认证流程的不熟悉，有效绕过了传统安全措施。Volexity建议组织机构通过配置条件访问策略来阻止设备代码认证，并加强用户安全意识教育。
阅读更多
Modelica协会致力于推广Modelica语言及其相关工具，Modelica是一种面向对象的建模语言，用于构建和模拟复杂系统，尤其擅长对基于数学方程的、可重用的组件进行非因果连接建模。该协会提供语言规范、工具、库以及社区支持，助力用户高效地进行系统建模。
阅读更多