本文列举了贝西默风险投资公司历史上错失的投资机会，包括Airbnb、苹果、谷歌、特斯拉等知名公司。文章以幽默的语气讲述了贝西默公司错过这些投资的原因，例如估值过高、商业模式存疑等。这些错失的投资案例也展现了风险投资行业的残酷性和不可预测性。
阅读更多
OpenSSF Scorecard 是一款自动化的开源项目安全风险评估工具，通过一系列检查来评估开源项目的安全性，帮助用户了解项目的整体安全状况，并提供修复建议。它检查的内容包括代码漏洞、维护情况、许可证、依赖项、测试、构建过程等多个方面。用户可以通过 GitHub Action 自动运行 Scorecard，也可以通过命令行手动运行。
阅读更多
文章探讨了史前史对历史学家的意义。文章指出，传统的史前史定义基于是否存在文字记录，这种划分方式存在问题，因为它忽视了口述历史的重要性，并将某些文化排除在历史之外。文章还指出，史前史研究中的概念，如“侵略性”和“创造力”，会影响我们对人类行为的理解。文章最后呼吁打破“历史”和“史前史”的界限，以更全面的方式理解过去。
阅读更多
本文分析了 Vala 语言的现状，指出其活跃开发者数量少、代码提交量低、测试覆盖率不足等问题，并表达了对该语言未来发展的担忧。作者认为，尽管 Vala 的设计理念很有价值，但目前的状况难以吸引新的开发者和项目，需要更多贡献者和更积极的社区支持才能改善。
阅读更多
文章讲解了如何通过调整Postgres的内存设置来优化数据库性能。文章首先介绍了共享缓冲区（shared buffers）的概念及其重要性，建议将其设置为可用内存的25%。其次，文章解释了工作内存（work_mem）的作用，指出每个查询节点都会分配独立的work_mem，建议根据查询复杂度和并发连接数进行调整。文章还介绍了维护工作内存（maintenance_work_mem）的用途，建议将其设置为1GB或2GB。最后，文章讨论了如何通过会话池化、减少表膨胀等方法来降低内存消耗，并提供了一些内存优化建议。
阅读更多
Thermion 是一个使用 Dart 和/或 Flutter 创建跨平台 3D 应用的框架。它包含两个包：`thermion_flutter` 用于在 Flutter 应用中创建/嵌入渲染表面，`thermion_dart` 包含创建查看器所需的所有代码。ThermionViewer 类提供用于创建和交互由 Filament 渲染引擎驱动的 3D 场景的 API，支持加载 glTF 格式的 3D 模型、添加灯光和天空盒、操作相机、动画对象等。ThermionFlutterPlugin 类处理在 Flutter Widget 中嵌入 Filament 渲染表面所需特定于平台的初始化。ThermionWidget 是一个 Flutter 小部件，用于显示 ThermionViewer 渲染的 3D 内容，它处理创建和管理 Filament 渲染到的底层平台特定纹理。
阅读更多
这篇文章探讨了 tmux 和 kitty 两种终端多路复用器的优缺点。作者认为，尽管 kitty 功能更强大，但 tmux 的优势在于其广泛的兼容性和易用性。尤其在远程服务器环境下，tmux 的可靠性和稳定性使其成为更实用的选择。
阅读更多
本文对流行的RDMA标准InfiniBand架构和NVMe-oF协议进行了安全分析，发现RDMA协议中存在新的漏洞，这些漏洞揭示了RDMA应用程序和NVMe-oF协议的几个攻击向量，表明NVMe-oF协议目前的机制无法解决RDMA带来的安全问题。
阅读更多
一项新研究表明，锂离子电池中使用的一种新型全氟和多氟烷基化合物（PFAS）正在成为空气和水污染日益严重的来源。这种被称为双全氟烷基磺酰亚胺（bis-FASIs）的物质，具有与全氟辛酸（PFOA）等臭名昭著的化合物相当的环境持久性和生态毒性。研究人员在明尼苏达州、肯塔基州、比利时和法国的制造工厂附近采集了空气、水、雪、土壤和沉积物样本，发现这些样本中的bis-FASI浓度通常处于非常高的水平。此外，数据还表明，bis-FASIs的空气排放可能导致其远距离迁移，这意味着远离制造工厂的地区也可能受到影响。
阅读更多
Framework宣布其笔记本电脑产品现已在丹麦、芬兰和瑞典上市，包括Framework Laptop 13和Framework Laptop 16，以及新款搭载英特尔酷睿Ultra系列处理器的Framework Laptop 13的预购。同时，Framework还推出了丹麦语和瑞典语/芬兰语键盘，用户可以单独购买，或与Framework Laptop 13一起购买。
阅读更多
这篇文章介绍了一个为期12周的计算机课程大纲，旨在从基础原理出发，教授构建现代计算机系统的知识。课程内容涵盖了从晶体管、逻辑门到汇编语言、编译器、操作系统以及网络浏览器等多个层次，最终目标是让学生能够在FPGA上运行一个简单的网络浏览器。
阅读更多
Prolost 分享了由奥斯卡奖得主克里斯托弗·诺兰执导的 IMAX 电影《信条》的幕后故事。 《信条》使用了 Panaflex System 65 和 iPhone 11 Pro Max 拍摄，探索了电影摄影的创新界限。文中深入探讨了 iPhone 11 Pro Max 的独特功能，例如其强大的相机系统和 Dolby Vision HDR，这些功能使电影制作人能够在移动设备上捕捉令人惊叹的图像。文章还重点介绍了 iPhone Cinema Pro 相机应用程序和 Filmic Pro 应用程序等第三方工具在电影制作过程中的作用。Prolost 赞扬了 iPhone 的便携性和灵活性，认为它为电影制作人提供了新的可能性，并为电影摄影的未来铺平了道路。
阅读更多
Amber 是一种编译为 Bash 的现代编程语言，它提供了类型安全和运行时安全特性，帮助开发者在编译阶段捕获潜在错误。Amber 拥有现代化的语法，易于上手，并具备跨平台特性，支持 macOS 和 Linux 等 Unix 操作系统。
阅读更多
这篇文章探讨了OpenAI的GPT-2语言模型，指出该模型生成的文本虽然表面上流畅自然，但缺乏逻辑连贯性。作者认为，人类在不集中注意力的情况下，容易被GPT-2生成的虚假信息所迷惑，而专注的逻辑思考能力才是区分人类智能与机器模仿的关键。文章还提出，在充斥着机器生成文本的世界中，人们应当默认对未理解的内容持怀疑态度，避免被虚假信息误导。
阅读更多
本文探讨了如何在形式规范中使用非确定性来编写更好的规范，特别是在抽象设计中如何使用非确定性来简化对系统行为的建模。文章还讨论了非确定性的两大挑战：难以表达模型空间子集的属性，以及抽象非确定性使得规范与现实世界实现之间的差距更大。此外，文章还介绍了如何使用预言变量来控制非确定性，以及如何通过细化来消除系统中的抽象非确定性。
阅读更多
small3dlib是一个轻量级、高效的3D软件光栅化器，专为资源有限的计算机而设计。它使用纯C99编写，不依赖任何第三方库，只使用了stdint标准库。small3dlib支持透视校正、多种绘制策略和碰撞处理策略，并提供了将3D模型和纹理转换为C数组格式的Python工具。它非常易于使用，适用于小型游戏、3D动画、可视化等场景。
阅读更多
这篇文章批评了Firefox for iOS浏览器存在严重的资源请求问题。作者通过分析服务器日志发现，该浏览器会反复请求同一个链接，并且会在每个目录下请求favicon.ico文件，导致服务器负担加重，浪费带宽和电池电量。
阅读更多
在2024年国际超级计算大会上，英特尔、阿贡国家实验室和惠普企业宣布，Aurora超级计算机突破了百亿亿次计算障碍，成为人工智能领域排名最高的超级计算机，在高性能计算和人工智能融合方面处于领先地位。Aurora超级计算机速度达到1.012 exaflops，是世界上速度最快的专用于开放科学的人工智能系统，实现了10.6 AI exaflops。
阅读更多
本文介绍了网站常见页面类型，这些页面通常使用标准的根级目录，例如/now、/about 或/uses。这些页面通常描述网站背后的个人，是独立网络的显著特征。文章列举了常见的页面类型，例如/about页面用于介绍网站所有者，/blogroll页面用于列出推荐的博客，/changelog页面用于记录网站更新日志等。
阅读更多
Dash-to-Panel 是一个适用于 Gnome Shell 的图标任务栏扩展，它将 dash 移至 gnome 主面板，将应用程序启动器和系统托盘整合到一个面板中，类似于 KDE Plasma 和 Windows 7+ 的设计。它提供了高度可定制性，允许用户调整面板元素的位置、大小、颜色等，并提供实时预览、应用程序编号启动、智能隐藏等功能。
阅读更多
本文介绍了一种基于格林定理和裁剪的精确多边形过滤方法，用于实现精确的反走样。该方法通过将多边形分解成更小的裁剪多边形，并直接计算每个裁剪多边形的过滤积分来实现。文章详细讨论了如何使用格林定理将二重积分转换为线积分，并给出了盒状滤波器、双线性滤波器和Mitchell-Netravali滤波器的积分公式。此外，文章还讨论了如何使用该方法实现模糊效果，并介绍了CPU和WebGPU上的实现方案。
阅读更多
Ars Technica是一家科技新闻网站，报道硬件、软件、视频游戏、科学、技术政策和文化主题。它由Ken Fisher于1998年创立，由美国在线拥有，然后被康泰纳仕收购。Ars Technica以深入的技术报道、评论和分析文章而闻名。
阅读更多
越来越多的美国职场人士，从教师、治疗师到理发师，他们的工作都依赖于人际关系，被称为“连接性劳动”。然而，这种工作正日益受到新系统的制约，这些系统试图使其更加高效、可衡量和可复制。例如，通过数据分析、脚本化服务和标准化流程，企业试图量化和控制员工的表现，但这可能损害员工的自主性和创造力，并降低工作满意度。文章认为，过度强调效率和标准化可能会削弱人际关系的价值，并导致社会进一步分化，即富人能够获得个性化的连接性劳动，而其他人只能依赖应用程序或人工智能。
阅读更多
这篇文章探讨了如何处理遗留C++代码库中不必要的公共数据成员。作者尝试了两种方法：使用指针将数组数据成员移动到私有部分，以及使用嵌套类提供只读接口。最终，作者发现这两种方法都有缺陷，并决定依靠代码审查来维护代码的正确性。
阅读更多
美国国家劳工关系委员会地区主管裁定，亚马逊与其外包配送服务的司机之间存在联合雇佣关系，这意味着亚马逊必须承认司机工会并与其进行谈判。此前，亚马逊一直坚称这些司机并非其直接雇员，而是由第三方配送服务提供商雇佣，因此拒绝与司机工会谈判。此次裁决被认为是亚马逊司机争取权益的重大胜利，也为全美范围内类似案例树立了先例。
阅读更多
本文作者从Mac电脑的Command键图标(⌘)获得灵感，探讨了如何用编程方式绘制各种变体。作者首先分析了图标的几何结构，将其分解为多个旋转对称的“循环钩”，然后使用三角函数计算了每个部分的坐标。最终，作者用JavaScript和SVG实现了这个想法，并创建了一个网页应用，允许用户调整参数并生成不同的图案。
阅读更多
