代码高尔夫挑战：元胞自动机规则 30
2024-06-01
本文介绍了代码高尔夫挑战，要求用尽可能少的代码生成元胞自动机规则 30 的前 32 行。规则 30 是一种特殊类型的元胞自动机，它展示了简单规则、混沌和随机性产生的复杂性，并且是不可计算约简的。
阅读更多
Andrew Kravchuk / cl-astar
2024-08-03
cl-astar 是一个经过高度优化且灵活的 A* 路径查找算法实现，采用 Common Lisp 语言编写，适用于游戏开发等领域。该项目托管在 GitLab 平台，提供详细的文档和示例代码。
阅读更多
71
布林肯将美国外交带入21世纪
2024-09-09
本文讲述了美国国务卿安东尼·布林肯如何领导美国外交进入21世纪。文章指出，布林肯面临着来自中国崛起、网络安全威胁、乌克兰战争等多方面的挑战，他致力于重振美国与盟友的关系，并积极应对网络安全、人工智能等新兴技术带来的挑战。布林肯强调了美国在全球领导地位的重要性，并表示美国将继续与盟友合作，维护共同的利益和价值观。
阅读更多
63
未分类
美国外交
克服 Postgres 逻辑解码的陷阱
2024-06-15
文章讨论了使用Postgres逻辑解码进行数据复制时可能遇到的常见问题及解决方案，包括复制槽增长、长事务、DDL变化支持、TOAST列复制、生成列支持、升级和故障转移时的持久性等，并介绍了PeerDB在解决这些问题方面的经验和优化措施。
阅读更多
84
ThinkCell 开发博客：关于 CppNow 2024 会议的游记
2024-05-10
ThinkCell 公司的开发团队参加了 CppNow 2024 会议，该会议是国际 C++ 开发人员社区的盛会。本文概述了会议亮点，包括软件工程现代化、错误处理和性能优化方面的演讲。
阅读更多
87
未分类
MicroPython 智能手表
2024-07-10
本文介绍了作者将MicroPython安装到廉价智能手表Colmi P8的过程，并推荐了WASP-OS操作系统。作者详细描述了所需的硬件和软件，以及安装和配置的步骤，包括如何使用DaFlasher、下载固件、以及解决屏幕颜色显示问题。
阅读更多
82
未分类
WASP-OS
难以解释：数学界证明了几何朗兰兹猜想，其复杂程度鲜有人能理解
2024-05-23
数学家们近期证明了“几何朗兰兹猜想”，这一猜想的证明长达1000页，被认为是数学界的一项重大成就。然而，证明过程极其复杂，即使是其他数学家也很难理解。几何朗兰兹猜想是朗兰兹纲领的一部分，该纲领旨在连接数学的不同领域，并被称为数学界的“大统一理论”。
阅读更多
90
Libadwaita：分离 GTK 和设计语言
2024-06-03
本文解释了为什么要将 GTK 和设计语言分离，并介绍了 Libadwaita 的由来、功能和优势。GTK 作为一个跨平台工具包，应该专注于提供通用的部件，而 Libadwaita 则作为 GNOME 桌面的平台库，提供符合 GNOME 人机界面指南的自定义部件和样式。文章还介绍了其他平台库，如 Granite 和 Libhelium，它们分别针对 elementary OS 和 tauOS 进行了优化。
阅读更多
56
企鹅有膝盖吗？以及其他常见问题的解答
2024-07-29
企鹅是一种不会飞但会游泳的鸟类，拥有鸟类的所有特征，包括骨骼结构。企鹅的膝盖隐藏在体内，而人们通常误认为是膝盖的部位其实是它们的脚踝。这种结构有利于企鹅在水中快速游泳，但也导致它们在陆地上行动缓慢笨拙。关于企鹅的进化起源，科学家们通过化石和DNA研究发现，企鹅可能与信天翁、军舰鸟和潜鸟等海鸟关系密切，其祖先可能是 Waimanu 属的古代企鹅。
阅读更多
未分类
企鹅
高通Oryon核心：漫长的研发之路
2024-07-11
高通于2024年7月9日发布了期待已久的Oryon CPU核心，用于其Snapdragon X Elite芯片。该核心源自高通于2021年收购的初创公司Nuvia的设计。Oryon是一款8宽核心，具有强大的乱序执行能力和大型缓存，旨在在笔记本电脑市场上与AMD和英特尔的芯片竞争。虽然基准测试显示Oryon在运行原生应用程序时表现出色，但它仍然面临着软件兼容性、平台碎片化和价格等挑战。
阅读更多
78
未分类
如何在Linux系统上使用Wine运行Adobe Photoshop 2024
2024-06-27
这篇文章提供了在Linux系统上使用Wine运行Adobe Photoshop 2024的详细步骤。由于Adobe Creative Cloud在Wine上无法正常工作，文章建议从Windows系统中复制安装文件到Linux Wine目录下。文章还列出了需要复制的DLL文件以及如何解决Photoshop无法使用OpenCL硬件加速的问题。
阅读更多
82
未分类
美国人仍然购买第三方杀毒软件，老年人更多
2024-07-02
调查显示，近一半的美国人使用第三方杀毒软件，其中付费用户最受欢迎的品牌是Norton、McAfee和Malwarebytes。老年人使用第三方杀毒软件的比例更高，这可能是因为他们成长在一个必须在电脑上安装杀毒软件的时代。
阅读更多
85
未分类
NASA公布在月球上建造磁悬浮机器人列车的计划
2024-05-11
美国国家航空航天局（NASA）正在推进一项在月球上建造磁悬浮列车的计划，该项目被称为“轨道上的灵活悬浮”（FLOAT）。FLOAT项目旨在开发一种可靠、自主和高效的月球货物运输系统，预计在2030年代投入使用。该系统将由磁悬浮机器人组成，在三层薄膜轨道上运行，以减少月球表面灰尘的磨损。安装在机器人上的货车将以约1英里/小时（1.61公里/小时）的速度移动，每天可以运送约100吨（90公吨）的材料。
阅读更多
91
未分类
MuxSystem：原版 MuxCraft 系统，v10
2024-06-03
MuxSystem 是一个功能丰富的 Minecraft 服务器插件，专为 MuxCraft 服务器设计。它包含商店、拍卖行、基地系统、反作弊、赌场、活动系统、权限管理、聊天管理、数据库支持等等。该系统旨在增强游戏体验，提供独特的玩法和管理工具。
阅读更多
89
用四个非零参数拟合大象
2024-07-14
这篇论文探讨了用四个参数拟合大象的问题。受费米对戴森模型的批评以及冯·诺依曼的名言“给我四个参数，我可以拟合一头大象，再加一个参数，我可以让它的鼻子动起来”的启发，该文首先明确了问题的定义，并在前人尝试的基础上，提出了一种新的拟合方法。
阅读更多
77
未分类
参数拟合
CrowdStrike 在全球 IT 崩溃后，用行动玩偶和感激之情向黑客示好
2024-08-11
在经历了全球IT系统崩溃事件后，网络安全公司CrowdStrike在黑帽安全大会上试图恢复常态。尽管公司提供了一些补偿措施，但此次事件仍然引发了人们对其产品可靠性的质疑，一些客户表示将考虑其他选择。
阅读更多
63
未分类
黑客大会
使用LLVM/Clang构建更好的固件
2024-07-27
本文介绍了如何在嵌入式开发中使用LLVM/Clang编译器工具链来构建更好的固件。LLVM/Clang相比GCC的优势在于模块化架构、丰富的静态分析功能以及跨平台编译能力。文章详细介绍了如何将基于GCC的ARM Cortex-M项目迁移到LLVM/Clang, 并利用Clang的静态分析工具scan-build检测内存泄漏、死锁等问题。此外，文章还介绍了Clang线程安全分析器，用于检测多线程应用中的竞态条件。最后，文章总结了LLVM/Clang在嵌入式开发中的优势，并鼓励开发者尝试使用。
阅读更多
未分类
LLVM
PySkyWiFi：在长途航班上实现完全免费且极其愚蠢的Wi-Fi
2024-07-09
本文介绍了作者如何利用航空里程账户的漏洞，在长途航班上实现免费上网的项目PySkyWiFi。作者详细描述了项目的技术细节，包括如何利用航空里程账户的姓名字段传输数据，以及如何将HTTP请求和响应压缩传输。作者还提供了一些技巧，例如使用base26编码信息以绕过航空里程账户的字符限制，以及使用多个账户字段来提高带宽。
阅读更多
78
未分类
航空里程
别做房间里最聪明的人，要做最善良的人
2024-06-16
作者认为，与其在会议中试图表现得最聪明，不如努力成为最善良的人。善良体现在：认真倾听他人发言、尊重不同的观点、对他人抱有同理心、积极寻求解决方案。作者坚信善良具有感染力，最终能让团队中的每个人受益。
阅读更多
92
未分类
善良
从原始 GPS 数据计算位置
2024-07-14
文章详细介绍了如何从原始 GPS 数据计算位置。首先介绍了WGS 84 ECEF坐标系、参考椭球体、大地水准面等基本概念，以及如何利用卫星轨道参数计算卫星位置。接着，文章解释了如何通过伪距测量、卫星时钟偏差校正和用户时钟偏差估计来计算用户与卫星之间的距离。文章还介绍了如何使用最小二乘法求解用户位置和时钟偏差，并通过分析位置估计的误差协方差矩阵引入了DOP的概念。最后，文章通过实验验证了算法的有效性，并讨论了电离层和对流层延迟对GPS信号传播的影响。
阅读更多
79
未分类
定位
英伟达与Mistral AI联手推出企业级桌面AI模型Mistral-NeMo
2024-07-18
英伟达与法国初创公司Mistral AI联合发布了一款名为Mistral-NeMo的新型语言模型，旨在为企业桌面带来强大的AI功能。该模型拥有120亿个参数和128,000个token的扩展上下文窗口，使其成为寻求在无需大量云资源的情况下实施AI解决方案的企业的强大工具。
阅读更多
80
未分类
ceLLama：使用本地大型语言模型进行细胞类型注释
2024-07-28
ceLLama是一个使用大型语言模型 (LLM) 进行细胞类型注释的自动化流程，该流程注重隐私和速度。它可以在本地运行，确保数据安全，并提供全面的分析，同时生成包含注释理由的自定义报告，是进行快速细胞类型初步检查的理想选择。
阅读更多
73
未分类
细胞类型注释
Jurigged：Python 热重载工具
2024-07-12
Jurigged 是一款 Python 热重载工具，它允许你在代码运行时对其进行更新。该工具使用简单，只需使用 jurigged 命令运行脚本即可。Jurigged 会监控代码文件的变化，并在你保存文件时将更新后的函数或方法热更新到正在运行的脚本中。Jurigged 还提供了一个名为 develoop 的终端界面，可以实现交互式开发环境，方便开发者实时调试代码。
阅读更多
76
未分类
热重载
GitHub - damn/core：游戏开发能否简单化？
2024-09-09
Core 是一个实验性的动作角色扮演游戏制作工具、引擎和属性编辑器，旨在简化游戏开发流程。它采用简单的组件系统，使用 Clojure 向量和映射来表示游戏实体和状态。游戏中的副作用被视为类似于 Datomic 结构的组件，例如 [:tx/foo param]。整个游戏状态存储在一个名为 app/state 的原子中，实体是该原子内的原子。所有应用程序内容都存储在 resources/properties.edn 中，并使用 Malli 模式进行验证，并可通过 GUI 进行编辑。
阅读更多
67
未分类
Sakuga-42M数据集：扩大卡通研究规模
2024-05-17
这篇论文介绍了Sakuga-42M数据集，这是一个包含4200万个关键帧的大规模卡通动画数据集，涵盖了各种艺术风格、地区和年代，并包含了视频文本描述对、动画标签、内容分类等语义注释。研究表明，大型数据集对理解和生成自然视频的模型（如CLIP、SVD和Sora）在卡通动画方面效果不佳，这是因为卡通动画的偏差与自然视频的分布不同。Sakuga-42M数据集的提出旨在将大规模数据应用于卡通研究，并通过微调Video CLIP、Video Mamba和SVD等基础模型，在卡通相关任务上取得出色性能，从而促进未来卡通应用的泛化和鲁棒性。
阅读更多
94
未分类
卡通动画
为什么科技公司不愿提高薪资留住工程师？
2024-09-06
本文分析了科技行业工程师频繁跳槽，获得高薪的现象。作者认为，公司内部不透明、信息不对称的薪酬结构是导致这一问题的主要原因。作者建议科技公司建立透明的薪酬体系，根据工程师的贡献和任期来确定薪资，以鼓励长期服务。
阅读更多
44
未分类
薪酬体系
Zapsplat：免费音效下载库
2024-06-14
Zapsplat是一个免费提供超过15万种专业音效和500多首免版税音乐的平台，用户可以下载MP3或WAV格式的声音，用于视频剪辑、游戏开发、播客制作等各种项目。Zapsplat提供免费和付费两种账户类型，付费用户可以享受无限量下载、免署名要求、更高质量的音效等特权。
阅读更多
79