Block Block Device是一个Minecraft模组和NBDKit插件,允许在计算机上创建由Minecraft世界中的红石驱动的块设备。用户需要安装NBDKit、Minecraft 1.19.3以及连接NBD服务器的方法。首先,将模组安装到Minecraft游戏中。启动游戏并进入世界后,使用python插件运行NBDKit。然后使用NBD客户端连接,即可在/dev/nbd0访问该块设备。模组在端口8394上公开了一个HTTP服务器,并允许通过请求读写Minecraft世界中的块。模组包含/generate_memory、/encode_chunk和/decode_chunk等命令,用于生成内存单元和读写内存。
本文是作者“可怕的职业生涯”系列文章的第四篇,探讨了独立开发者/创作者的收入问题。作者认为固定价格合同对双方都不利,建议按小时收费,并给客户一个实际工时估算。作者强调了建立长期客户关系的重要性,并建议咨询师要价高一些,认为价格越高,客户越重视你的建议。作者还指出,有时客户需要先体验不采纳建议的痛苦,才会真正接受你的建议。
该项目用 Haskell 重新实现了 Unix 的核心工具,目标是实现惯用的 Haskell 代码、快速且惰性的 IO、与 BSD 工具的功能对等、全面的测试以及平台独立性。项目编译成单个可执行文件,根据二进制文件的名称检测要调用的工具。用户可以通过符号链接或复制二进制文件的方式来使用这些工具。
venvstacks是一个Python包,旨在解决机器学习和AI库体积过大,重复安装占用空间的问题。它利用Python的sitecustomize.py特性,将虚拟环境分为运行时层、框架层和应用层,允许应用层共享框架层的依赖,框架层共享运行时层的依赖,从而避免重复安装大型框架如PyTorch和CUDA。venvstacks通过pipx或pip安装,使用pdm管理依赖,并支持平台特定的环境锁定。目前,venvstacks的API尚未稳定,跨层动态库依赖仅在Windows上有效,且构建过程需要在目标平台上执行。
本文介绍如何使用树莓派4或3B搭建网络模拟器,通过桥接以太网或WiFi设置网络损伤。文章提供了树莓派镜像的下载方式和配置步骤,包括启用WiFi、使用`speedtest-cli`测试网络速度、使用`emulator.py`限制带宽等。文章还介绍了如何通过修改`/etc/hostapd/hostapd.conf`文件并配置5GHz网络、启用802.11n/ac支持等方式提升网络性能。
本文探讨了Rust中let和const声明的微妙之处以及它们如何导致令人困惑的代码。const声明会被提升,并且const本身就是模式,这会导致在匹配表达式中出现意外行为。文章重点解释了常量模式匹配的机制,并举例说明了如何利用const声明的提升和模式匹配特性来编写令人费解的代码,例如在match语句中使用常量作为模式时,如果不小心使用了错误的常量名,可能会导致代码总是匹配到某个分支。文章最后指出,虽然这些特性可能会导致一些奇怪的代码,但由于Rust的命名约定和编译器警告,这些问题在实际开发中并不常见。
GitHub Spark是一款AI驱动的工具,用于创建和分享微应用(“Sparks”)。它无需编写或部署任何代码,即可根据个人需求和偏好定制应用程序,并直接在桌面和移动设备上使用。GitHub Spark包含三个紧密集成的组件:基于自然语言的编辑器、托管运行时环境和支持PWA的仪表板。它还允许用户与他人共享Sparks,并控制读写权限。其他用户可以收藏或改编这些Sparks。GitHub Spark的目标是降低应用程序创建的成本,使个性化软件像个性化开发环境一样简单。
XTP平台发布公测版,旨在让软件具备更高的延展性,允许用户根据自身需求扩展应用功能。XTP通过安全的沙盒环境运行用户代码,支持多种编程语言,并提供代码生成、测试和模拟等功能。用户可自定义扩展点,平台负责代码管理、验证和分发。XTP提供免费版、专业版和企业版,满足不同规模的需求。
RingGesture是一种基于环状空中手势的输入系统,旨在为轻量级AR眼镜提供高效的文本输入方案。该系统利用戒指上的电极标记手势轨迹的起止,并结合IMU传感器进行手部追踪,实现类似VR头显中光线投射的空中手势输入体验。为了提高准确性和输入速度,RingGesture采用了一种名为Score Fusion的深度学习单词预测框架,该框架融合了单词-手势解码模型、空间拼写纠正模型和上下文语言模型的得分,以预测最可能的单词。实验证明,RingGesture的平均输入速度为每分钟27.3个单词,峰值性能达到47.9个单词,其Score Fusion框架相比传统方法,未校正字符错误率降低了28.2%,输入速度提高了55.2%。
在GitHub Universe大会上,GitHub发布了实验性项目Spark,允许用户仅使用自然语言即可快速构建小型Web应用程序。Spark底层使用了GitHub仓库、GitHub Actions和Azure CosmosDB数据库,用户可以通过类似聊天的体验创建原型,并逐步完善。GitHub CEO Thomas Dohmke表示,Spark旨在成为个人软件创作的下一步,帮助用户探索想法、构建小工具或学习软件开发,而非取代专业开发者。Spark支持多种大型语言模型,用户可以自定义访问权限分享应用,其他用户也可以在此基础上进行二次开发。
加拿大能源公司Enbridge宣布将在德克萨斯州推进一个名为Sequoia的815兆瓦太阳能项目,项目耗资11亿美元,建成后将成为北美最大的太阳能农场之一。丰田和AT&T已与该项目签署长期购电协议。该项目分两期建设,预计分别于2025年和2026年开始供电。丰田的这项协议是其到2035年实现净零排放目标的一部分。
科罗拉多州务卿办公室意外泄露包含投票系统部分密码的电子表格,该表格在官网上存在两个多月,包含63个县的600多个BIOS密码。虽然该州称由于需要两个独立密码才能访问系统,且设备存放安全,因此不存在即时安全威胁,但已采取措施在全州范围内更改密码,并对事件展开调查。共和党批评州务卿格里斯沃尔德失职,并呼吁其辞职,但格里斯沃尔德表示将继续履职。
谷歌云的Jupiter数据中心网络架构历经25年发展,现已达到每秒13PB的双向带宽。该网络最初相对简单,但随着用户和服务需求的指数级增长,谷歌进行了多次工程创新,最终实现了Jupiter的第五代架构。Jupiter网络支持在同一网络结构内的10万多台服务器上任意放置大规模作业,并具有可预测的低延迟、软件定义和以系统为中心的特点。该网络的可靠性比之前的版本提高了50倍,并已在全球范围内部署,支持谷歌云客户和大型机器学习基础设施。谷歌还在展望下一代网络基础设施,以支持AI时代的需求,例如为即将推出的A3 Ultra VM提供网络支持。
本文讲述了邮轮历史学家Peter Knego致力于拯救即将报废的老式邮轮的故事。他多次前往印度阿朗的拆船厂,冒着风险抢救船上的历史文物,并将它们收藏在家中。Knego对老式邮轮的热爱源于儿时的梦想,他认为这些船舶代表了一个时代的优雅和独特,而现代邮轮则更注重娱乐和感官刺激。他希望通过自己的努力,让未来的人们也能了解这些海上巨人的历史和文化价值。
本文探讨了在计算机系统研究中,实验结果的可重复性问题。作者指出,虽然开源软件有助于提高可重复性,但实际操作中,由于系统日益复杂、依赖关系众多,部署和复现他人工作仍然存在巨大挑战。作者认为,除了开源代码之外,还需要可执行的蓝图、最小化且易用的工具以及示例执行过程等,才能真正降低可重复性门槛,并以Aether项目为例说明了这些方法的实践。
本文介绍了Ractor,一个基于Tokio构建的Rust异步actor框架。文章首先解释了actor的消息传递机制,包括cast和call两种方式。然后,通过一个“Hello world”示例演示了如何定义actor、消息类型、状态和处理函数。接着,文章展示了如何构建一个有状态的actor,并使用RpcReplyPort进行远程过程调用来获取actor的内部状态。最后,文章介绍了`call_t!`等宏来简化RPC调用。
本文探讨了如何有效教授写作,作者认为像绘画一样,写作也应通过模仿和练习来学习。文章以教授孩子写作的经验为例,指出传统的命题作文方式容易让孩子产生挫败感。作者提倡“模仿簿”方法,即让孩子抄写优秀的文章段落,并通过逐步引导和练习,帮助孩子掌握语法、标点和写作结构。此外,文章还强调了限制创作自由的重要性,认为在初期阶段,专注于模仿和练习基本功,能够帮助孩子建立自信,为日后更高级的写作打下基础。
英伟达警告所有GeForce GPU用户,其显示驱动程序和其他软件中存在多个高危安全漏洞,攻击者可能利用这些漏洞访问系统、执行恶意代码和窃取个人数据。受影响的软件包括GeForce、Nvidia RTX、Quadro、NVS和Tesla,Windows和Linux系统均受影响。英伟达敦促用户尽快更新到最新版本的驱动程序以修复漏洞。
本文分析了朝鲜数字地图应用程序的许可和API接口。该应用程序具有强大的许可验证系统,包括二维码扫描和证书校验,并对有效期进行了限制。应用程序连接到朝鲜境内的API服务器(10.99.1.100/friend_api.php),用于发送用户反馈、数据和获取其他信息。文章还探讨了地图数据库的初始化过程,并指出该数据库使用密码保护,目前仍在寻找该密码。最后,文章提到了应用程序中使用的第三方库,包括SQLite 3.25.2。
SPANN是一个高效的内存-磁盘混合近似最近邻搜索系统,它采用倒排索引方法,将posting lists的中心点存储在内存中,而将大型posting lists存储在磁盘中。SPANN通过减少磁盘访问次数和检索高质量的posting lists来保证磁盘访问效率和高召回率。在索引构建阶段,它采用分层平衡聚类算法来平衡posting lists的长度,并通过添加相应聚类中点的闭包来扩充posting lists。在搜索阶段,它使用query-aware方案动态修剪不必要的posting lists的访问。实验结果表明,SPANN比当前最先进的ANNS解决方案DiskANN快2倍,在三个十亿级数据集上达到相同的召回率90%,内存成本相同。
作者讲述了在一家企业级数据仓库平台工作的痛苦经历。该平台架构复杂混乱,日志记录毫无意义,代码质量低下,管理层不重视技术改进。作者与同事每天不得不互相鼓励才能忍受这种工作环境。在一次试图排查数据问题的过程中,作者再次发现了系统中存在的严重缺陷,并意识到公司价值观与自身不符,最终决定辞职。
Shopify在其Rails单体应用中实现了新一代带外垃圾回收机制,通过完全禁用请求周期内的主垃圾回收,并根据需要手动触发,显著降低了应用延迟。测试结果显示,新机制大幅降低了p95、p99等高百分位延迟,并改善了服务平均延迟和p99延迟。虽然对容量的影响不如预期,但在部署暂停期间,新机制的运行频率远低于旧版本。未来,Shopify计划进一步优化次要垃圾回收,以减少请求在垃圾回收上花费的时间。
量子机器公司和英伟达的合作取得新进展,他们利用运行在英伟达DGX平台上的强化学习模型,更好地控制了Rigetti量子芯片中的量子比特,通过持续校准保持系统稳定。虽然量子纠错的最终目标尚未实现,但此次合作专注于校准控制量子比特旋转的“π脉冲”,即使是微小的校准改进也能显著提升纠错性能。该实验使用了现成的算法,代码精简,但依赖于双方在系统集成和软件堆栈方面的努力。未来,两家公司计划继续合作,将这些工具提供给更多研究人员,并利用英伟达更强大的Blackwell芯片进一步推进量子计算发展。
本文探讨了代码比较技术,特别是哈希技术在识别相似函数方面的性能。文章首先介绍了精确哈希的局限性,即代码位置的变化会导致哈希值改变,从而无法识别出本质上相同的函数。然后引入了位置无关代码(PIC)哈希,通过将相对偏移量和地址清零来解决这个问题。文章详细比较了PIC哈希、模糊哈希(LZJD)和莱文斯坦距离(LEV)在不同编译器、编译选项和软件版本下的性能,并使用混淆矩阵、准确率、精确率和召回率等指标进行评估。实验结果表明,PIC哈希在代码位置变化较小的情况下表现良好,但在不同编译器或优化级别下效果较差。模糊哈希和莱文斯坦距离在某些情况下可以提高召回率,但需要选择合适的相似性阈值,实际应用中存在困难。文章最后指出,基于指令字节的句法相似性存在局限性,并提出了未来研究方向,例如结合语义信息或使用神经学习来改进相似函数检测。
Prisma公司发布了Prisma Postgres,这是一款基于Unikraft Cloud的PostgreSQL托管服务,具有按使用付费、无冷启动以及慷慨的免费层的特点。该服务利用bare metal机器、毫秒级云堆栈和Unikernels(类似于“超专业化操作系统”)作为超轻量级microVM运行,实现了高效的资源利用和隔离。Prisma Postgres与Prisma产品套件深度集成,提供连接池、缓存、实时订阅和查询优化建议等功能。目前处于早期访问阶段,预计明年初正式发布。
本文讲述了自动电饭煲的诞生历程。1955年,东芝推出了世界上第一款自动电饭煲ER-4。其发明并非源自工程师,而是东芝销售经理山田昭吾的妻子——南文子。山田发现,煮饭是日本家庭主妇最耗时的家务,于是决心研发自动电饭煲。南文子的丈夫南义忠负责技术,而她则进行了长达五年的研究和测试,最终确定了最佳煮饭方法和时间。通过巧妙的双层锅设计和蒸汽感应开关,实现了自动断电功能。ER-4的成功不仅解放了日本主妇,也推动了电饭煲在全球的普及,并根据各地饮食习惯不断改进。
本文探讨了宇宙中秩序的起源,以及复杂结构(如恒星和花朵)如何在看似随机的混沌中出现。文章认为,并非单一物理定律导致了这些结构的形成,而是反馈和递归机制。文章用骰子、乐高积木、洗衣机实验以及恒星内部结构等例子阐释了反馈如何通过自我增强或平衡,使原本极不可能的事件变得更有可能发生。作者引入了“睡莲”一词来描述由反馈回路产生的特定状态,强调并非所有睡莲都是目标导向的,很多自然现象只是反馈机制的产物。