Cactus是一个支持Flutter和React Native的跨平台框架，允许开发者在本地应用中部署LLM、VLM和TTS模型。它兼容Hugging Face上的各种GGUF模型，例如Qwen、Gemma和Llama，并支持从FP32到2位量化模型的多种精度。Cactus还提供MCP工具调用，实现AI的高效性和实用性，例如设置提醒和回复消息。此外，它支持云端模型回退，并提供Jinja2支持的聊天模板和token流。该框架已提供Flutter和React Native的示例代码和C++后端，并附带性能测试数据。
阅读更多
20世纪70年代的纽约，一群艺术家组成了名为Anarchitecture的先锋艺术团体，他们对现代主义建筑的僵化和资本主义生产模式下的建筑物持有批判态度。成员包括Laurie Anderson和Gordon Matta Clark等知名艺术家。他们通过1974年的同名展览，用匿名作品和约定俗成的形式，表达了对建筑作为文化过度和弊端的象征的批判。Matta Clark的“建筑切割”作品进一步发展了这一理念，通过对废弃建筑的改造，揭示了社会对物质积累和财富的渴望。同时，他们还创办了名为“Food”的餐厅，成为纽约的文化地标，支持当地艺术家网络。Anarchitecture的实验性艺术实践，对现代建筑和城市空间提出了深刻的质疑。
阅读更多
8月3日，杰夫·贝索斯的蓝色起源公司发射了新谢泼德飞船，搭载加密货币亿万富翁贾斯汀·孙和其他五名乘客进入太空。此次任务名为NS-34，是新谢泼德飞船的第34次飞行。贾斯汀·孙于2021年以2800万美元的价格匿名竞拍获得此次飞行的座位，并将这笔钱捐赠给19个专注于太空的慈善机构。其他乘客包括房地产投资者、商人、记者和企业家等，来自美国、印度、土耳其和英国等国家。这次飞行持续了10到12分钟，乘客们体验了短暂的失重状态并越过了卡门线。
阅读更多
这份备忘录显示，特朗普政府计划加强对直接面向消费者的处方药广告的监管。由于近年来药企广告激增，且广告中往往夸大疗效、淡化风险，政府将采取行动，要求广告中必须包含更全面的风险信息，以确保信息公平、平衡且完整，维护消费者权益。此举旨在纠正药企广告中存在的误导性信息，并促进更明智的用药决策。
阅读更多
现代AI系统为了效率牺牲了生物大脑中神经元同步计算的关键特性。研究人员提出了一种名为“连续思维机器”（CTM）的新型神经网络架构，它将神经元时间编码作为基础元素，通过解耦的内部维度模拟神经活动的时序演化。CTM使用神经同步作为潜在表示，在图像分类、迷宫求解和奇偶校验等任务中展现出令人印象深刻的能力，甚至能构建内部世界模型进行推理。其适应性计算和可解释性也为AI研究开辟了新的方向。
阅读更多
大量研究表明，老年痴呆症日益成为全球性健康问题。这篇综述性文章汇集了多个研究，探讨了老年人认知障碍的流行病学、风险因素以及干预措施。研究指出，焦虑和抑郁与认知功能障碍密切相关，且重复性消极思维模式可能加剧认知衰退。文章还强调了社会支持、健康生活方式以及早期干预的重要性，为未来老年痴呆症的预防和治疗提供了宝贵的参考。
阅读更多
厌倦了随机乱撞的割草机器人？来自软件工程、嵌入式编程和机器人领域的开发者Clemens Elflein推出了OpenMower开源项目，旨在打造一款更智能、更安全、更经济的DIY智能割草机器人。该项目基于YardForce Classic 500进行改造，利用其高品质硬件，并通过ROS系统进行自主导航、避障和雨量检测等功能的实现。目前项目已实现基本割草功能，并可自动回充，但避障功能尚在开发中。该项目鼓励社区参与，并提供了详细的文档和Discord社区支持，欢迎技术爱好者参与共建。
阅读更多
被搁置的KDE电视界面Plasma Bigscreen项目，在Plasma Mobile贡献者Devin的努力下重获新生。经过一周的代码重构，Plasma Bigscreen焕然一新，拥有了扁平化设计、背景模糊效果、KRunner搜索功能以及重新设计的设置应用。虽然仍需完善，例如添加虚拟键盘和明确长期方向，但它有望回归Plasma 6.5的正式发布计划，为电视用户带来更现代化的KDE体验。
阅读更多
这个项目在RP2040微控制器上模拟了一个SPI RAM，类似于23LC512。它支持读取、写入和快速读取命令，并利用PIO和DMA进行高效的数据传输。为了满足严格的时序要求，模拟RAM使用了Core1并优化了PIO程序，以最大限度地减少延迟。虽然目前不支持在数据传输开始前中止操作，但该项目提供了一种在RP2040上实现高性能SPI RAM的有效方法。
阅读更多
本文探讨了Lisp编程语言的本质，将其比作一种艺术创作媒介，而非单纯的工程工具。作者认为，优秀的编程如同写作，需要探索和发现，以及对呈现方式的完善。Lisp的动态性使其成为探索和实验的理想工具，如同作家不断修改稿件一样，程序员也可以在Lisp中灵活地调整和改进代码。作者以地图绘制、写作等为例，阐述了探索与完善的结合，并批评了以性能为先的编程语言设计理念，认为这阻碍了创造力和灵活性的发挥。
阅读更多
微软因其AI产品线中过度使用“Copilot”商标而受到批评。Better Business Bureau的国家广告部门（NAD）指出，微软在广告中泛用“Copilot”，导致消费者难以区分不同应用间的功能差异。NAD还质疑了微软关于Copilot生产力提升的广告宣传，认为其缺乏对实际生产力增长的有效衡量。微软回应称会修改广告以符合NAD的建议，并强调Copilot的市场价值。
阅读更多
一项研究表明，谷歌搜索的霸主地位部分源于用户对其优越性的既定认知，而非实际体验。研究人员通过一项实验，向参与者支付酬劳以鼓励他们尝试使用必应搜索。结果显示，尽管大部分参与者在停止支付后回归谷歌，但仍有相当一部分人继续使用必应。这表明，改变用户搜索习惯并非完全不可能，而这一发现也启发了对谷歌的反垄断诉讼。政府正考虑采取措施，例如资助消费者宣传活动并提供短期奖励，以促进用户尝试其他搜索引擎，打破谷歌的垄断地位。
阅读更多
AI行业的职位名称五花八门，令人眼花缭乱。本文提供一份AI职位头衔速查表，帮助你理解那些看似神秘的职位名称。通过对职位名称进行拆解，例如“应用AI工程师”、“AI前沿部署工程师”等，本文揭示了这些职位名称的构成模式，并解释了不同修饰词（如“应用”、“前沿部署”）和领域（如“ML”、“Gen AI”）的含义。作者指出，“研究员”这一职位在学术界和工业界的含义有所不同，并建议使用更清晰的职位描述。这份速查表将帮助你更好地理解AI行业中的各种角色，并为职业发展提供参考。
阅读更多
厌倦了简化英文拼写的CSS属性？BritCSS来了！这个客户端脚本允许你使用传统的英式拼写，例如`colour`而不是`color`。只需在你的HTML中包含``即可。它支持CSS文件、内联样式和``标签。调试模式和禁用转换功能也已实现。
阅读更多
Meta公司前员工Samujjal Purkayastha指控Meta虚报其电商广告产品Shops Ads的广告支出回报率（ROAS），方法包括将运费计入收入、补贴竞价以及使用未公开的折扣。此举旨在应对苹果2021年隐私政策变更带来的广告收入损失。Purkayastha称，内部调查发现Shops Ads的ROAS被夸大了17%-19%，因为其将运费和税款计入销售额，而Meta其他广告产品以及谷歌等竞争对手则不这样做。他将此问题反映给高层管理人员，但最终被解雇。目前，此案正在英国法院审理中，Meta否认了这些指控。
阅读更多
作者在复制大型SQLite数据库时遇到速度瓶颈，因为索引文件占据了大量空间。他发现将数据库转储为文本文件（`.dump`命令），再用gzip压缩，可以显著减小文件大小，从而加快复制速度。相比直接复制3.4GB的数据库，这种方法将文件压缩至240MB，速度提升了14倍。此外，这种方法还避免了数据库复制过程中因更新导致文件损坏的问题，提高了可靠性。
阅读更多
KeyPub.sh 是一款无需安装配置的公共服务，它利用你现有的 SSH 公钥作为身份标识，将 SSH 公钥与邮箱地址关联，简化身份验证流程。用户只需通过简单的邮箱验证，即可注册并管理其 SSH 密钥，控制其邮箱地址的可见性。这为基于 SSH 的应用程序提供了轻量级且注重隐私的替代方案，开发者无需自行构建用户验证系统，用户也能更好地掌控自己的隐私。
阅读更多
本文探讨了 TypeScript 中错误处理的现状和改进方法。传统的 try...catch 方法在简单场景下有效，但在复杂应用中存在类型安全和可扩展性问题。文章比较了 Go 风格的返回值元组和基于 Result 类型（如 neverthrow 库）的 Monadic 风格两种现代方法。Go 风格更易于上手，但代码冗余；Monadic 风格更强大，但学习曲线较陡峭。作者建议根据项目复杂度和团队技能选择合适的方法，简单应用可继续使用 try...catch，复杂应用则考虑 Result 类型以提高类型安全和代码可读性。
阅读更多
Rust 的函数和闭包是许多初学者感到困惑的点。本文深入探讨了 Rust 函数和闭包的底层机制，解释了函数项、函数指针、Fn、FnMut、FnOnce 三种闭包特征之间的关系以及编译器如何将闭包转换为匿名结构体。文章揭示了看似简单的函数调用背后复杂的编译器优化，以及闭包捕获变量的不同模式如何影响其行为。通过理解这些底层机制，开发者可以更好地掌握 Rust 的函数和闭包，避免常见的错误，并写出更高效的代码。
阅读更多
2001年，量子计算机成功分解了数字15，但2025年，分解21却成了难题。这并非量子计算停滞不前，而是因为分解21的量子电路复杂度远超分解15。分解15只需21个纠缠门，而分解21则需要2405个，增加了115倍！这主要是因为：1. 分解15时，大多数乘法运算结果为1，可忽略；2. 第一个乘法运算通常成本很低；3. 模15乘法可简化为循环移位。而分解21则没有这些优势，导致成本剧增。这说明，单纯依靠分解数字大小来衡量量子计算进展并不准确，更应关注量子纠错和架构方面的突破。
阅读更多
本文讲述了3dfx公司及其Voodoo显卡的传奇故事。从Silicon Graphics公司几位工程师的离职创业开始，他们凭借着对低成本、高性价比3D图形加速技术的执着追求，以及与游戏开发商的紧密合作，迅速崛起成为90年代后期PC游戏3D加速领域的霸主。然而，由于战略失误（如进军主板市场、与世嘉的Dreamcast合作失败等）以及竞争对手ATI和NVIDIA的崛起，3dfx最终在2000年被NVIDIA收购。尽管如此，Voodoo显卡及其Glide API在PC游戏历史上留下了浓墨重彩的一笔，为现代GPU产业的发展奠定了基础。
阅读更多
苹果CarPlay Ultra姗姗来迟，这款拥有自定义仪表盘等专属功能的升级版车载系统，首发搭载于阿斯顿·马丁的高端车型上。虽然CarPlay Ultra能提供实时车辆诊断等信息，并支持多种屏幕尺寸，但其发布日期推迟近半年，且初期仅限豪华车型，可能会加剧老旧车型与新系统的差距。此外，汽车厂商对车载系统的态度也存在分歧，部分厂商甚至计划放弃CarPlay。尽管CarPlay Ultra试图通过可定制仪表盘提升用户体验，但众多屏幕和触控操作并不一定能改善驾驶体验或提升安全性。
阅读更多
围绕AI是否正在抢夺年轻人的工作机会，近期争论不断。最初，一些研究认为AI对就业影响有限，但斯坦福大学一项新研究利用ADP薪资数据发现，在高度暴露于AI的行业（如软件开发和客户服务），22-25岁年轻员工的就业率下降了13%。该研究排除了疫情、远程办公和技术行业回调等因素的影响，表明AI对年轻一代就业的影响可能比之前预估的更为显著，尤其是在AI可自动化工作的领域。然而，在AI更多用于辅助工作的领域，年轻员工的就业率反而有所上升。这引发了关于高校课程设置和学生学习方向的讨论，也提示我们需持续关注AI对劳动力市场带来的实时影响。
阅读更多
Homa是一种针对数据中心应用的新型网络传输协议，旨在减少数据中心中大量小消息传输的开销。它不同于传统的TCP/UDP，无需连接建立，通过独特的请求-应答机制和优先级队列管理，显著降低延迟。目前，Homa正在尝试进入Linux内核，但其未来可能更多地依赖于网络硬件加速。
阅读更多
美国川普政府在一份法庭文件中承认，他们错误地将一名拥有受保护法律身份的马里兰州父亲驱逐到萨尔瓦多。该男子Kilmar Abrego Garcia于2019年获得“驱逐豁免”，这意味着如果遣返回国，他很可能会面临危险。然而，由于行政错误，ICE在知道他的保护身份后仍将其驱逐。目前，Abrego Garcia被关押在萨尔瓦多的“反恐拘留中心”，政府声称法院无权将其遣返回美国。他的律师则认为，如果政府可以随意驱逐任何人，而法院对此无能为力，那么移民法就毫无意义。
阅读更多
OpenAI与新闻机构就ChatGPT日志数据的使用权展开了拉锯战。新闻机构希望访问日志数据，以证明ChatGPT侵犯版权并稀释其内容市场价值。OpenAI则担心日志数据泄露会加剧其法律风险，并同意只提供经过匿名化处理的小样本数据，双方正就搜索流程进行协商。法律专家对此表示担忧，认为法官似乎并未充分考虑此举对用户日常使用的产品的影响，以及数据安全风险。
阅读更多
Dust团队构建了Query Tables，一个强大的AI代理工具，能够通过SQL查询分析结构化数据。它最初支持CSV文件，后扩展到Notion数据库、Google Sheets和Office 365表格，最终连接到Snowflake和BigQuery等企业数据仓库。通过统一的抽象层，用户可以使用相同的SQL接口查询各种数据源，甚至组合不同来源的数据进行分析。未来，Dust将集成Salesforce，进一步扩展其数据分析能力。
阅读更多
USB Implementor Forum (USB-IF) 推出了新的 USB 接口标识方案，旨在解决消费者对 USB 速度标识混乱的问题。过去，诸如“USB 3.2 Gen 2”之类的术语让用户一头雾水。新方案则直接标注传输速度，例如“USB 80Gbps”或“USB 40Gbps”，方便用户快速识别。这一改变也扩展到 USB4 和 USB4v2 接口，并简化了标识方式，去除了“USB4v2”的标识。此外，新的标识方案也应用于数据线，清晰地标示其数据传输速度和功率。此举旨在提升用户体验，让消费者更容易选择合适的 USB 设备和线缆。
阅读更多
数学家们推翻了一个关于结理论的长期存在的猜想。长期以来，数学家们认为，将两个不同结的断开端连接在一起，新结的复杂度等于各个结复杂度之和。然而，研究人员最近发现了一个结，其复杂度小于其组成部分之和。这一发现挑战了我们对结复杂度的理解，并为蛋白质折叠、分子结构稳定性等领域的研究带来了新的启示。
阅读更多