QB64 搜索技巧 核手提箱 文字记录 海洋云增白 开源地图 Bliss AI 搜索答案 深海沉船 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 团队 世界 PostgreSQL AI工具 证券 DirectX 防溢 DrawingPics Zulip 儿童读物 化学 连续滚动 代码审查 三菱电机 更多

Playdate 鼠标支持 (blog.gingerbeardman.com)

本文介绍了如何使用 Hammerspoon 脚本和 Playdate 的串行连接功能,实现用鼠标与 Playdate 设备交互。作者详细介绍了该方法的实现原理、使用方法和潜在应用场景,并提供了示例项目和演示视频。

PaperTalk (www.papertalk.xyz)

PaperTalk 是一个网站,提供计算机科学、经济学、物理学和数学领域的论文摘要。用户可以登录网站,浏览最新、先前和即将发表的论文摘要。

为什么用了 6 年 GraphQL 后,我决定放弃它 (bessey.dev)

本文作者回顾了使用 GraphQL 六年的经验,从最初的推崇到最终放弃,详细阐述了 GraphQL 在安全、性能、维护性等方面的弊端。文章指出,GraphQL 的查询语言特性增加了攻击面,容易遭受授权攻击、速率限制攻击和查询解析攻击。此外,GraphQL 的数据获取和授权机制容易导致 N+1 问题,影响性能。作者还批评 GraphQL 代码库的复杂性,认为 REST API 更易于实现和理解。最后,作者推荐了 OpenAPI 3.0+ 规范和 TypeSpec 工具作为 GraphQL 的替代方案。

为什么游戏开发者不写单元测试 (www.pixelatedplaygrounds.com)

与软件开发不同,游戏开发很少使用单元测试,因为游戏的乐趣难以量化和预测。文章以一个计算游戏为例,说明游戏设计需求的不断变化,如移除数字5、引入团队和颜色概念,甚至加入火焰喷射器等元素,导致单元测试的维护成本过高,得不偿失。

GitHub - LovetheFrogs/OptiGraph: 用于地下网络的最佳图形创建和分配 (github.com)

OptiGraph 是一款用于地下网络图形创建和分配的应用程序,用户可以添加节点/站点到图形中并绘制它们。OptiGraph 提供了不同的算法模式,用户可以通过设置更改模式,并通过 ID 删除站点。OptiGraph 还具有使用文件菜单保存和加载图形的功能。OptiGraph 可以用于规划地铁系统,以及设计 Minecraft 活塞螺栓网络,以减少任意两个站点之间的移动空间。

抽象解释作为一种编程语言 (arxiv.org)

本文探讨了将抽象解释作为一种编程语言的可能性。作者认为,高阶严格性分析的结果可以更广泛地用作格上高阶函数的不动点算子,从而为一大类抽象解释的直接实现提供了一种技术。此外,它可以被看作一种编程范式,并用于以循环风格编写程序。

AIUI.me - 截图生成代码 (www.aiui.me)

AIUI.me是一个将截图转换为代码的工具,可以将设计稿快速转化为前端代码,支持React.js和TailwindCSS框架,用户只需上传截图即可获得可用的代码组件,工具还提供代码自定义、组件库等功能,付费版本提供更多功能和使用次数。

新的外国艺术家签证费用出炉,这简直是一场灾难! (www.ajournalofmusicalthings.com)

美国大幅提高了外国艺术家签证费用,涨幅超过250%。这将导致赴美演出的外国艺术家大幅减少,小型和中型场馆将受到严重冲击,票价也将上涨。此外,这也将减少美国人接触非美国艺术家的机会,并导致各种规模和类型的艺术家被拒之于世界最大的音乐市场之外。

当局是如何识别出疑似Lockbit勒索软件集团的头目的? (krebsonsecurity.com)

本文分析了名为Dmitry Yuryevich Khoroshev的俄罗斯男子在网络犯罪论坛上的活动轨迹,以及他作为恶意软件作者长达14年的职业生涯。文章通过追踪Khoroshev在网络上的各种身份,包括NeroWolfe和Putinkrab,以及他与勒索软件开发和销售相关的活动,试图解释美国当局是如何将他认定为LockBit勒索软件集团头目的。文章还指出,当局可能掌握了更多未公开的情報,例如加密货币地址和银行账户信息,这些信息可能最终将Khoroshev与LockBit联系起来。

谷歌在赢得Sonos诉讼后恢复了组合扬声器音量控制功能 (arstechnica.com)

在赢得与Sonos的专利诉讼后,谷歌将恢复其在2022年被移除的组合扬声器音量控制功能。该功能允许用户通过手机统一调节多个谷歌智能音箱的音量,预计将在Android 15 Beta 2及以后的版本中回归。

量子互联网因纠缠记忆突破而临近 (www.newscientist.com)

为了构建安全的量子互联网,研究人员需要一种名为量子中继器的设备,而这种设备目前还不存在。两组研究人员表示,他们正致力于构建这种设备。量子网络使用量子比特来传输信息,量子比特依赖于一种称为纠缠的量子特性,在这种特性中,粒子可以被连接起来,无论它们相距多远,测量一个粒子都会立即影响另一个粒子的状态。量子中继器可以存储纠缠态并在网络中传输,以确保信号在长距离传输中不发生衰减。两组研究人员分别展示了量子网络中持续时间长的纠缠记忆,这是量子中继器所需的关键特性。

Cloudflare 强制客户支付12万美元或关闭网站 (robindev.substack.com)

本文讲述了作者公司作为Cloudflare商业计划用户多年,近期却被Cloudflare强制要求在24小时内支付12万美元升级为企业版,否则将关闭其所有域名。作者认为这是一个敲诈行为,并详细描述了与Cloudflare沟通的过程以及最终被迫迁移到Fastly的经历。作者还对其他Cloudflare用户提出了一些建议,包括为迁移做好准备、备份配置、了解Cloudflare的商业模式等。

论科尼利厄斯·兰佐斯所著的《力学变分原理》 (www.thepsmiths.com)

本文介绍了兰佐斯的著作《力学变分原理》,探讨了牛顿力学和拉格朗日力学的哲学意义。作者以帆船运动为例,指出了亚里士多德因果论的局限性,并解释了牛顿力学如何取代了亚里士多德物理学。文章深入探讨了拉格朗日力学的优势,包括坐标不变性、对称性和对物理系统整体轨迹的关注。作者质疑了牛顿力学的“宇宙是一台大计算机”的观点,并认为拉格朗日力学可能提供了一种更真实的自然描述,其中最终目的在宇宙的演化中发挥作用。

专为北美道路设计的重型卡车:沃尔沃 VNL (arstechnica.com)

沃尔沃推出新款VNL重型卡车,专为北美市场设计。该车型注重燃油效率和安全性,采用了空气动力学设计,并将Super Truck项目中的技术应用到实际生产中,例如连接驾驶室和拖车的整流罩,可将整体燃油效率提高7%。与欧洲卡车不同,VNL没有速度限制,因此设计重点是减少阻力。此外,沃尔沃还注重提高安全性,以帮助卡车保持运行,保护资产和货物,并吸引和留住司机。

桌面Linux是一座尚未开发的金矿 (gebna.gg)

这篇文章回顾了作者使用Linux系统的经历,从最初接触Ubuntu遇到的硬件支持和软件哲学问题,到与Arch Linux社区不友好的遭遇,最终找到了心仪的Linux Mint。作者认为,尽管Linux在服务器、移动设备和游戏等领域取得了成功,但在桌面领域仍有巨大潜力。文章批评了开发者对Linux桌面环境支持不足,以及Linux社区的排他性,并呼吁创造更友好、更易用的Linux桌面系统,以吸引更多用户。

聪明工作,事半功倍 (trishagee.com)

软件工程师Trisha Gee分享了成为母亲后如何提高工作效率的经验。她强调了专注的重要性,建议减少社交媒体和无关信息的干扰,并专注于一项任务。她还提倡将工作主题化,以最大程度地减少上下文切换,并尽可能地重复使用以前的内容。此外,她强调了在工作时间内完成工作的重要性,避免将工作扩展到个人时间。

一辆恶意车辆就能阻断美国“智能”街道交叉路口 (www.bleepingcomputer.com)

密歇根大学的学者研究表明,一辆恶意汽车就能够欺骗美国基于智能交通控制系统,使其误以为十字路口已满,并迫使交通控制算法改变其正常行为,间接导致交通堵塞,甚至阻塞街道十字路口。研究团队重点关注联网汽车(CV)技术,该技术目前正被纳入全球所有制造的汽车中。研究人员发现,美国交通部(DOT)实施的一种名为智能交通信号系统(I-SIG)的V2I系统存在缺陷,该系统容易受到基本数据欺骗攻击。

亚马逊回应联邦贸易委员会关于Signal消息的投诉:没什么可看的 (www.geekwire.com)

亚马逊公司回应了联邦贸易委员会对其高管使用Signal加密通信应用程序的指控,称Signal“只是一种短信格式,太短了”,不适合进行实质性业务讨论。亚马逊辩称,没有证据表明相关消息已经丢失,或者Signal被用于隐藏本应响应FTC发现请求的通信。亚马逊表示,它已妥善处理了FTC的要求,以确保保存相关证据,并向高管提供了“关于如何禁用Signal的DM(消失消息)功能的明确指示”。

64k Intro 制作指南 (www.lofibucket.com)

本文详细介绍了 64k intro “Guberniya”的制作过程,涵盖了从设计理念、团队合作、开发流程到具体技术实现的方方面面。文章重点讲解了小体积二进制文件的生成、浮点数处理、WinAPI 使用、渲染技术、物理模拟、音乐制作等关键环节,并穿插了大量代码示例和图片展示。作者还分享了团队在开发过程中遇到的挑战和解决方案,为有兴趣进入 demoscene 领域的开发者提供了宝贵的经验和参考。

使用未知位的加法进行位运算 (dougallj.wordpress.com)

本文探讨了在部分位已知、部分位未知的情况下,如何进行加法运算。作者提出了一种使用两个32位值来表示一个部分已知的32位三进制数的方法,并给出了加法运算的具体实现。作者还讨论了位运算的一些理论基础,包括表示方法、集合运算、迭代等。文章最后提出了一些开放性问题,例如如何证明加法函数的正确性、如何计算乘法的已知位等。

每个开发者都应该知道的内存管理知识 (webdeveloper.beehiiv.com)

文章介绍了编程中的内存管理基础知识,分析了栈和堆的特点。栈的特点是先进后出,适用于记录函数调用,每个函数执行时,会在栈顶分配一块连续的内存空间,称为“栈帧”,用于存储当前函数的上下文信息和局部变量。堆用于存储大小不确定或可变的数据,比如变长数组。文章还讨论了垃圾回收机制,包括手动管理、Tracing GC、ARC和Rust的ownership机制,比较了它们的优缺点。最后总结了栈和堆数据的特点。

罗马帝国的衰落:瘟疫是预兆 (thebulletin.org)

本文探讨了公元166年爆发的安东尼瘟疫对罗马帝国的影响。这场瘟疫可能是世界上第一场大流行病,它在一个已经面临气候变化、粮食不安全和社会动荡的帝国中爆发。瘟疫暴露并加剧了罗马帝国的脆弱性,加速了其“黄金时代”的结束,尽管罗马帝国在其后仍然延续了200多年。作者认为,现代社会可以从罗马帝国的经历中吸取教训,认识到全球互联性和环境因素对流行病的影响,并采取措施预防和应对未来的公共卫生危机。

退休警探:我们在罗伯特·罗伯森的死刑案中错了 (www.dallasnews.com)

这篇文章讲述了一位退休警探布莱恩·沃顿对2003年参与调查的一起案件的反思。当年,罗伯特·罗伯森因被指控摇晃致死2岁的女儿妮基而被判处死刑,沃顿在案件中提供了关键证词。但20年来,沃顿一直对该案的判决感到不安,认为司法正义并未得到伸张。随着科学的进步,他开始相信妮基的死亡是意外和自然原因造成的,罗伯森是无辜的。沃顿呼吁相关部门重新审理此案,以避免德克萨斯州犯下不可挽回的错误。

微软服务中断导致 Copilot、DuckDuckGo 和 ChatGPT 搜索功能宕机 (www.theverge.com)

由于微软服务中断,ChatGPT、Copilot、DuckDuckGo 等平台的搜索功能在周四上午停止工作。问题似乎与 Bing 的 API 有关,任何依赖它的服务都受到了影响。虽然微软自己的网络搜索引擎 Bing 似乎也受到了影响,但最终恢复了在线。到美国东部时间上午 11 点,OpenAI 发布了一份说明,指出问题已得到解决。

高级 RAII 与线性类型的七大神秘用法 (verdagon.dev)

本文介绍了高级 RAII,一种利用只能在特定位置销毁的线性类型来保证特定操作被执行的编程技术。文章详细阐述了高级 RAII 如何解决缓存失效、并发错误、数据库一致性等七大常见编程问题,并分析了其在 C++、Rust 等语言中的实现挑战。文章还探讨了高级 RAII 对软件架构的影响,包括提高代码清晰度、增强 API 易用性、降低重构风险等,最后展望了线性类型和高级 RAII 在未来编程语言中的应用前景。

学习的全息理论 (jovex.substack.com)

文章探讨了“学习的全息理论”,作者认为深入学习任何一个非凡的主题,都能从中了解到其他方面的知识,就像全息图的每个碎片都包含整体信息一样。文章以文学评论家和程序员为例,阐述了深入学习一个领域如何帮助人们了解历史、文化、逻辑、合作、安全等多个方面。作者认为,高等教育之所以重要,是因为它让人们有机会深入研究一个主题,从而获得对整个世界的更全面理解。

Neuralink首位人体植入者称85%的线路已脱落 (www.popsci.com)

Neuralink公司首位脑机接口植入者Noland Arbaugh近日透露,植入其大脑运动皮层的64根线路中,约有85%已经完全脱落,并且他的大脑在其颅骨内的移动幅度是公司预期的三倍。尽管Neuralink已通过软件更新解决了最初的性能问题,但这一事件引发了人们对该公司备受争议的人体植入研究的担忧。

Astra:谷歌对新款ChatGPT的“多模态”回应 (www.wired.com)

谷歌在I/O开发者大会上推出了名为Project Astra的“下一代人工智能助手”。Astra不仅可以理解语音指令,还能通过手机摄像头或智能眼镜识别物体和场景,并用自然语言进行对话。这款多模态AI模型由Gemini Ultra驱动,与OpenAI的GPT-4o类似,经过音频、图像、视频和文本的训练,能够以所有这些格式处理数据。谷歌认为,纯文本聊天机器人只是一个过渡阶段,多模态AI助手才是未来发展方向。

Petosemtamab获FDA突破性疗法认定用于治疗复发或转移性头颈部鳞状细胞癌 (www.onclive.com)

美国FDA授予双特异性抗体petosemtamab突破性疗法认定,用于治疗经铂类化疗和PD-L1/PD-1抑制剂治疗后疾病进展的复发或转移性头颈部鳞状细胞癌患者。这一决定基于正在进行的MCLA-158-CL01 1/2期试验的数据,该试验显示petosemtamab在包括复发或转移性头颈部鳞状细胞癌在内的晚期实体瘤中具有良好的疗效和可控的安全性。

告别拖拉机,农民想要植保无人机 (spectrum.ieee.org)

本文讲述了Arthur Erickson创办农业植保无人机公司Hylio的历程。Erickson在大学期间对无人机产生浓厚兴趣,毕业后与合伙人创办公司,尝试过无人机送货业务,最终转向农业植保领域。他们发现,与传统拖拉机相比,无人机成本更低、效率更高,且操作更安全便捷。公司早期专注于为中美洲农民提供植保服务,积累经验后,在美国开设工厂,向全球农民销售无人机。Erickson认为,倾听用户需求、注重产品实用性是创业成功的关键。

1 2 258 259 260 262 264 265 266 362 363