ted是一个基于Go语言开发的命令行工具，它允许用户根据提供的图灵机规则编辑文件。该工具的灵感源于作者处理日志文件的需求，通过编写状态机来精确提取所需信息。ted支持多种操作，包括正则表达式匹配、sed命令执行、变量赋值、捕获和输出控制等，并提供了丰富的功能和选项，例如捕获多个行、使用正则表达式捕获组、以及文件头尾的移动等。
阅读更多
Extend公司正在招聘高级/资深软件工程师。这是一个需要启用JavaScript才能运行的应用程序的职位，具体要求和职责请查看Extend公司的招聘页面。
阅读更多
Homescreen 是一款旨在重新定义手机首页体验的应用。它突破了传统手机桌面的局限，通过创新的设计和功能，为用户提供更加个性化、高效和便捷的交互方式。用户可以自定义小组件、主题和布局，打造专属的手机首页，提升效率并增强使用乐趣。Homescreen 不仅仅是一个简单的桌面替换，更是一种对手机使用方式的革新。
阅读更多
Bertie Sheldrake，一位伦敦腌黄瓜制造商的孙子，皈依伊斯兰教后，改名为Khalid。他积极参与穆斯林社群活动，创办杂志，并最终成为新疆短暂存在的东突厥斯坦共和国国王。这段传奇经历充满了戏剧性反转，从伦敦的普通生活到遥远国度的王位，再到默默无闻的归隐，Khalid Sheldrake 的一生为20世纪英国伊斯兰教历史增添了浓墨重彩的一笔。
阅读更多
本文讲述了一位嵌入式软件工程师如何从云端服务器中解放一个连接WiFi的氡传感器，从而获得对数据的自主控制权。通过分析传感器与服务器间的网络流量，工程师发现传感器并未严格验证服务器证书，从而利用本地DNS服务器和自建Python Web服务器模拟“云端”，成功拦截并读取了传感器的原始数据。这不仅实现了对数据的编程访问，也避免了因厂商倒闭或关闭服务器而导致设备无法使用的问题。文章还强调了网络安全的重要性，并提醒读者关注DNS流量的隐私风险。
阅读更多
本文讲述了古埃及人独特的数学体系——埃及分数。不同于现代分数，埃及分数只使用分子为1的分数，且所有分母均不相同。文章追溯了埃及分数的历史，特别是莱因德数学纸草书中的记载，并探讨了其在实际生活中的应用，例如公平分配食物。文中还介绍了求解埃及分数的贪婪算法以及寻找最短埃及分数的方法，并探讨了一些相关的未解数学问题，例如埃尔多斯-施特劳斯猜想。
阅读更多
Colibri Hero公司开发的浏览器扩展程序refoorest和Impact Hero SDK承诺通过用户浏览行为植树，但调查发现其主要盈利模式为欺诈性的联盟营销。refoorest虚报植树数量，并利用用户数据，诱导用户留下评论和分享，而Impact Hero SDK未经充分告知即获取用户权限，涉嫌违反Chrome商店政策。文章揭露了该公司的种种不透明操作，包括虚假用户评价、缺乏财务透明度以及数据安全隐患，质疑其植树承诺的真实性。
阅读更多
2024年世界象棋锦标赛，古克什·多马拉祖击败丁立人，成为历史上最年轻的世界冠军。本文作者通过对比赛数据的分析，包括准确率、失误类型、平均兵分损失、走棋时间、胜率转化率和逆转率等，对比赛结果进行了深入解读。数据显示，丁立人在精准度和稳定性上略占优势，但关键时刻的失误导致最终失利。作者认为，虽然数据分析提供了客观视角，但仍需结合其他因素综合考量，才能全面理解比赛的复杂性。
阅读更多
在德国法兰克福附近一座公元3世纪的罗马墓葬中，考古学家发现了一件具有里程碑意义的文物——一枚银质护身符，被称为“法兰克福银铭文”。这枚护身符可追溯至公元230-270年，其纯基督教内容的铭文，比阿尔卑斯山以北此前已知的最早基督教文物早了近50年。铭文通过先进的计算机断层扫描技术破译，其内容包含对耶稣基督的颂扬和圣经引文，证明了早期基督教在阿尔卑斯山以北地区的传播比以往认为的更为广泛和深入。这一发现对考古学、神学和罗马历史具有重要意义。
阅读更多
本文深入浅出地讲解了GPS技术的原理。作者从一个简单的二维定位系统入手，逐步引入三维定位、时间测量、卫星轨道、相对论效应以及信号处理等关键概念。通过巧妙的类比和生动的图示，作者阐明了GPS如何利用卫星发射的信号，结合时间和距离测量，最终精确计算出接收器的位置和时间偏差。文章还探讨了GPS信号的编码、解码以及抗干扰能力等技术细节，展现了GPS技术背后深厚的科学和工程基础。
阅读更多
Railway公司分享了其如何摆脱传统销售模式，转而通过自动化提升营收的经验。起初，他们尝试传统销售方法，但效果不佳。于是，他们转向产品驱动增长（PLG）模式，并开发了一个预测客户升级或流失的回归模型。该模型综合考虑构建成功率、失败率、配置区域、支持请求数量和功能采用率等因素，为客户评分，从而精准地识别需要帮助的客户，并主动提供支持。这种方法不仅提高了营收，也提升了客户满意度，最终实现了可持续的业务增长。
阅读更多
日本正在北海道等地建设价值330亿美元的半导体工厂，试图重振其在芯片产业的领导地位。这一举措在当地引发了建设热潮，也吸引了大量劳动力，与当地相对低迷的就业市场形成鲜明对比。这项大胆的计划充满了风险，但也体现了日本重回科技前沿的雄心壮志。
阅读更多
本文讲述了作者如何优化Ruby的JSON gem，使其成为速度最快的JSON解析器和生成器。作者并非使用复杂技术，而是通过剖析代码，应用简单的优化，例如避免冗余检查、优先检查更可能成立的条件、减少设置成本以及使用查找表等。这些优化不仅适用于C代码，也适用于Ruby代码。最终，这些优化显著提升了JSON gem的性能，使其与oj等替代方案相比毫不逊色，减少了使用monkey patch的必要性，并解决了oj带来的稳定性和兼容性问题。
阅读更多
研究人员提出了一种名为SGD-SaI的新型优化器，它对随机梯度下降法进行了改进。SGD-SaI通过根据梯度信噪比对不同参数组进行初始化学习率缩放，从而避免了训练不平衡问题，并且在内存效率方面远超AdamW。在各种Transformer模型任务（包括图像分类和大型语言模型预训练）中，SGD-SaI的表现与AdamW不相上下甚至更好，展现出其在不同应用中的鲁棒性和实用性。
阅读更多
ImPlot3D是一个基于Dear ImGui的开源库，它为开发者提供了一种简单易用、高性能的3D绘图方式。无需依赖ImPlot，ImPlot3D支持多种3D绘图类型，包括线图、散点图、曲面图、网格图等，并具有交互式旋转、平移和缩放功能。开发者可以通过类似于Dear ImGui和ImPlot的直观API快速上手，自定义标记、线条、曲面和网格样式，并可选择使用内置颜色映射或自定义颜色映射。该库还提供了一个功能齐全的演示程序，方便用户学习和使用。
阅读更多
本文介绍了如何使用Python编写一个Python元循环解释器（MCI）。MCI是一种用自身语言编写的解释器，可以实现对宿主语言子集或超集的解释。作者详细讲解了MCI的实现过程，包括解析Python源码、构建抽象语法树（AST）、遍历AST并执行语句等步骤，并阐述了作用域、符号表以及如何处理控制流语句（例如while循环和if语句）等关键概念。通过这个例子，可以深入理解解释器的工作原理，并学习如何利用Python的AST模块和内置函数来构建更复杂的解释器。
阅读更多
作者在开发量子计算库时，利用Jupyter Notebook编写用户指南，并巧妙地将其作为端到端测试的工具。通过在Notebook中读取环境变量（例如服务器URL），实现参数化，使其既能被用户运行，也能在CI/CD流水线中自动执行。作者比较了两种运行Notebook的方法：一种是直接使用nbclient执行，简单直接；另一种是结合nbconvert和jq处理输出，更灵活但较复杂。最终，作者选择了前者，有效地将文档维护和代码测试结合，确保每次合并请求都能保证文档和代码的完整性。
阅读更多
一项新的研究颠覆了我们对史前贝林陆桥的认知。科学家们通过声纳探测和沉积物分析发现，连接西伯利亚和阿拉斯加的贝林陆桥并非想象中的干旱草原，而更像是一个遍布河流和湖泊的沼泽湿地。这一发现挑战了以往关于人类和动物迁徙的理论，因为这种湿地环境可能会对不同物种的迁徙产生不同的影响，有的物种可能更容易通过，有的则会受到阻碍。研究人员在沉积物中发现了猛犸象的DNA，表明即使在沼泽环境中，大型动物仍然能够生存和迁徙。这项研究为我们理解人类如何到达北美提供了新的视角。
阅读更多
本文讲述了作者如何解决Go语言项目中日益增长的错误处理问题。起初，简单的错误处理方式随着代码库的膨胀变得混乱不堪，日志充斥着难以追踪的错误信息。为了解决这个问题，作者设计并实现了新的错误处理框架，该框架采用集中式、结构化的系统，使用命名空间代码使错误具有意义，易于追踪。该框架的核心是集中定义错误代码，每个服务层只返回自己的命名空间代码，并使用上下文信息丰富错误细节。文章详细介绍了框架的设计决策、实现方式、经验教训以及迁移策略，为读者提供了宝贵的实践经验。
阅读更多
Archive Team是一个由程序员、作家和志愿者组成的松散集体，致力于抢救濒临消失的数字遗产。自2009年以来，他们一直与网站关闭、数据删除等作斗争，努力保存历史信息。他们不仅积极参与各种数据存档项目，还提供数据管理和恢复方面的建议，为保护数字文化贡献力量。目前，他们正致力于保存Telegram、Cohost等平台的数据，并开展Blogger、GitHub、Imgur等长期项目。
阅读更多
Ergo是一款用Go语言编写的现代IRC服务器，它易于设置和使用，集成了ircd、服务框架和跳板功能（集成帐户管理、历史记录存储和跳板功能）。它支持最新的IRCv3协议，并具有高度可定制性，可以通过可重新散列的YAML配置进行运行时重新加载。Ergo还集成了NickServ、ChanServ和HostServ等服务，支持TLS/SSL、SASL身份验证和LDAP，并具有高级安全和隐私功能。
阅读更多
ashafq发布了名为a5eq.lv2的开源五段均衡器LV2插件。该插件包含低频架、三个峰值滤波器和高频架，旨在帮助音频工程师进行精确的声音雕刻。它具有高精度滤波器系数、立体声处理和用户友好的界面，兼容任何支持LV2的宿主软件，例如Ardour和Audacity。用户可通过简单的命令行操作进行安装和使用，并可通过GitHub提交问题或贡献代码。
阅读更多
研究人员开发了一种名为Exbody2的全身运动跟踪框架，使人形机器人能够像人类一样稳定地执行富有表现力的动作。该框架利用强化学习在模拟环境中进行训练，然后转移到现实世界。它解耦了关键点跟踪和速度控制，并有效地利用特权教师策略将精确的模仿技能提炼到目标学生策略中，从而能够高保真地复制跑步、蹲伏、跳舞等动态动作。实验结果表明，Exbody2在两个不同的人形机器人平台上均取得了优于现有技术的性能，为人形机器人的全身控制提供了实用指南。
阅读更多
SEO专家Elie Berreby指出，谷歌搜索质量持续下降，引发用户广泛不满。通过分析YouTube评论等非官方渠道的用户反馈，他发现用户抱怨搜索结果质量下降、广告过度、AI概览窃取内容等问题。谷歌的策略似乎更注重盈利，忽视了用户体验，这可能导致用户转向其他搜索引擎。文章警告谷歌，若不改进，将面临严重后果。
阅读更多
ad是一款新颖的文本编辑器，它结合了Vim和Kakoune的模态编辑接口以及Plan9的Acme的可扩展性方法。ad允许用户执行文本，并将其作为实验平台，用于探索各种文本编辑器功能的实现。目前，ad已足够稳定，并具备一定的功能，用户可以尝试使用，但文档较少，可能存在一些bug。ad的设计理念是融合Vim的模态编辑、Emacs的mini-buffer、以及Acme的编辑命令和可扩展性，旨在创建一个舒适的编辑环境，支持与外部工具和程序直接交互。
阅读更多
本文介绍了一种简单易生成的XOR纹理，它通过对像素的x和y坐标进行异或运算生成。虽然XOR纹理在演示或游戏中并不常用，但它非常适合测试纹理映射器。文章详细解释了XOR运算的原理，并探讨了纹理尺寸对颜色亮度的影响，以及如何使用AND和OR运算符生成类似的纹理。最后，作者展示了XOR纹理在三维纹理中的应用示例。
阅读更多
本文探讨了设计令牌在现代UI架构中的作用。通过将设计决策转化为数据，设计令牌作为单一事实来源，实现跨平台自动化代码生成，从而提高设计一致性和更新速度。文章详细介绍了设计令牌的分层组织（选项令牌、决策令牌、组件令牌），自动化分发流程，以及如何选择合适的层数和令牌范围。最终，它阐述了设计令牌的适用场景和局限性，帮助读者判断其是否适合自己的项目。
阅读更多
dLine是一款命令行工具，它直接在终端显示重要数据，以日历的形式呈现。它可以监控关键日期、通过API简化事件添加，并计算各种事件类型的时间跨度。dLine专为开发者设计，无需离开终端即可简化事件管理和日程导航。它具有动态视图、静态视图和事件计算器视图，并支持多种数据管理功能，包括添加、删除、查看和清理事件。dLine还支持自定义颜色方案和用户翻译，可以与Google Calendar集成。
阅读更多/https%3A%2F%2Ftf-cmsv2-smithsonianmag-media.s3.amazonaws.com%2Ffiler%2F08%2F62%2F0862a808-d3dc-446f-96e4-f950e7496571%2F09d_on2017_opener_saturnv3s71-17620_orig_live.jpg)
本文讲述了美国土星五号运载火箭的研发历程。从肯尼迪总统提出登月目标，到一群工程师、技术人员和承包商夜以继日地工作，克服了诸如火箭燃料的危险性、巨型引擎的研制以及各部件组装的精密性等巨大挑战，最终成功将人类送上月球。文章穿插了多位参与者的口述历史，生动展现了这段辉煌历史背后的艰辛与付出，以及对科技突破的执着追求。
阅读更多
CSIRO发布了“开放水安全科学地图”，这是一个互动地图，通过AI技术可视化了自2010年以来CSIRO水安全项目公开发表的论文的地理分布。该地图目前为3个月试用版，可能存在偏差，需谨慎使用。用户可以查看研究的演变，点击论文查看详细信息，包括作者和全文链接。该项目展示了AI在解决环境科学问题上的创新应用。
阅读更多