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

以色列4月份高科技行业薪资大幅下降 (www.ynetnews.com)

2024年4月,以色列员工平均工资为13,506谢克尔(约合3,647美元),与3月份的14,000多谢克尔(约合3,780美元)相比有所下降。尽管与去年同期相比增长了7.3%,但与上个月相比却显著下降。其中,高科技行业的平均工资从3月份的历史最高点35,870谢克尔(约合9,685美元)下降到31,976谢克尔(约合8,634美元)。

使用弦图的范畴论 (arxiv.org)

这篇文章探讨了使用弦图来表示范畴论的概念和证明。作者认为,传统的基于等式的范畴论计算方法虽然有很多优点,但在转换为等式推理风格时会牺牲掉有用的类型信息,而传统的图表粘贴证明方法虽然保留了类型信息,但在表达推理过程方面却比较笨拙。弦图作为一种图形化表示方法,能够同时保留类型信息和清晰的推理过程,它能够以拓扑学的视角来解释范畴论的证明,并简洁地处理函子性和自然性条件。作者在文章中使用了大量的示例,系统地应用弦图技术来解释范畴论的各个方面,包括伴随函子、单子、Kan扩展、极限和余极限等。

形状旋转入门:Einsum 和 Jax Transformer 简介 (sankalp.bearblog.dev)

本文介绍了 einsum 符号和 Jax Transformer。einsum 是一种用于张量操作的 API,它使用爱因斯坦求和约定来简化多维数组上的复杂线性代数运算,例如张量缩并和求和。文章详细解释了 einsum 符号的语法和规则,并通过矩阵乘法、转置等示例演示了其用法。此外,文章还介绍了 Jax Transformer 的简单实现,并解释了如何使用 einsum 在 Jax 中实现多头注意力机制。

不要混淆随机变量及其分布 (bookdown.org)

文章深入探讨了随机变量与其分布的区别,强调了即使两个随机变量具有相同的分布,它们也可能是测量不同随机现象的独立变量。文章通过掷骰子、硬币翻转等例子,阐明了随机变量的分布取决于概率测度和定义随机变量的函数,并指出仅仅知道随机变量的分布并不一定能提供关于其背后随机现象或测量函数的信息。

Zig 编程语言 (github.com)

Zig 是一种新的低级编程语言,旨在替代 C 语言。它致力于成为一门小巧而强大的语言,能够编写可读、安全、优化和简洁的代码来解决任何计算问题。Zig 的目标包括在编译时运行任意代码、与 C 库完全兼容、支持泛型、优先考虑错误代码支持、内置文档生成器、消除对 make 和 cmake 等构建工具的依赖以及对包维护者友好。

T2 SDE 24.6 版本发布 (t2sde.org)

T2 SDE 24.6 版本现已发布,共包含 606 项更新,包括约 750 个软件包更新、67 个问题修复、80 个新增功能或软件包、21 个移除项以及约 9 项其他改进。 新版本包含 LLVM/Clang 18.1.6、GCC 13.3.0、Linux 6.9.3,默认情况下提供更多 SPIRV 工具,默认情况下提供 LibreOffice、Wine 和 Thunderbird,IA-64 上 OpenSSL 性能大幅提升,添加了对安装到可用存储空间的支持,修复了最小安装并添加了无 Xorg 的最小安装选项,内置网络配置支持 WPA,默认安装更多图标和 t2 壁纸以及 SVG 支持。

我想要的圣诞礼物:负闰秒 (qntm.org)

这篇文章探讨了关于闰秒的思考。作者对闰秒带来的技术挑战和解决问题的乐趣表示赞赏,但也对取消闰秒的提议感到担忧。作者认为,取消闰秒将是一个错误,因为它相当于逃避问题。作者还指出,地球自转速度的波动可能导致未来出现负闰秒,尽管这种情况发生的可能性很小。

Character.AI如何优化人工智能推理 (research.character.ai)

Character.AI作为一家全栈人工智能公司,致力于构建高效的“推理”流程,即大型语言模型(LLM)生成回复的过程。为了实现这一目标,Character.AI设计了自己的模型架构、推理堆栈和产品,并通过内存高效的架构设计、状态缓存和量化等技术优化推理过程。这些创新显著降低了推理成本,并使大规模服务LLM变得更加容易。

Linux 社区悼念 WiFi 驱动程序专家 Larry Finger (www.developer-tech.com)

Linux 核心社区为 Larry Finger 的逝世感到悲痛,Larry Finger 是 WiFi 驱动程序的长期贡献者,他于 2024 年 6 月 21 日逝世。Finger 从 2005 年开始为 Linux 内核做出贡献,他贡献了超过 1500 个内核补丁,涉及 Broadcom BCM43XX 驱动程序以及 RTW88、RTW89、R8188EU、R8712、RTLWIFI 和 B43 等驱动程序。他的贡献极大地改善了 Linux 无线硬件支持,使 Linux 用户能够享受基本无故障的无线体验。他的逝世对 Linux 社区来说是一个重大损失,但他对 Linux 内核的贡献将继续使未来几年的用户和开发者受益。

GitHub - HigherOrderCO/Bend (github.com)

Bend 是一种大规模并行的高级编程语言,具有类似 Python 和 Haskell 的表达能力,支持快速对象分配、高阶函数、闭包、递归和延续。它可以在 GPU 等大规模并行硬件上运行,具有接近线性的加速比,无需显式并行注释。Bend 由 HVM2 运行时提供支持,可以通过简单的代码实现高效的并行计算,例如递归分治方法。Bend 还支持各种并发系统,例如着色器和 Erlang 式的 actor 模型,可以通过全局 beta 约简和 HVM2 的原子链接器实现长距离通信。

一种更好的代码编写方式:文档驱动开发 (unicorn-utterances.com)

文章介绍了文档驱动开发(DDD)的概念,将其作为一种优于测试驱动开发(TDD)的代码编写方式。作者认为,预先编写文档可以帮助开发者在编码前理清思路、明确范围和设计API,从而减少返工和代码重构,提高开发效率。文章以一个游戏开发中的例子说明了DDD的优势,并指出文档可以有多种形式,如设计稿、API参考文档、测试用例等。

诺和诺德CEO将就美国减肥药价格高昂作证 (arstechnica.com)

迫于美国参议员伯尼·桑德斯施加的压力,诺和诺德CEO拉尔斯·约根森将于9月初就公司糖尿病和减肥药物Ozempic和Wegovy在美国“过高的价格”在美国参议院作证。桑德斯指出,这些药物在美国的售价最高可达其他国家的15倍,例如Ozempic在美国售价969美元/月,而在加拿大仅售155美元/月。诺和诺德则辩称,美国复杂医疗体系和中间管理层的高额利润是造成高价的原因,并表示已投入超过100亿美元用于研发这些药物。

用 Arduino 将 LED 用作光传感器的两种方法 (blog.jgc.org)

本文介绍了两种使用Arduino和LED制作简易光传感器的方案。第一种方案利用LED的光伏效应,通过测量LED两端的电压变化来检测光强。第二种方案则将反向偏置的LED作为电容器,通过测量其放电时间来判断光强。文章详细介绍了两种方案的电路连接和代码实现,并展示了测试结果。

“大号的我”导演摩根·斯珀洛克因癌症去世 (abcnews.go.com)

曾拍摄获奖纪录片“大号的我”的电影制作人摩根·斯珀洛克因癌症并发症去世,享年53岁。斯珀洛克在其2004年的热门影片中连续30天吃快餐,以突出饮食对身心健康的巨大影响。他后来于2017年推出了续集“大号的我2:神圣的鸡肉!”,探讨了快餐业如何试图以更健康的面貌重塑品牌。斯珀洛克还承认自己与酗酒作斗争,并公开谈论了自己在“我也是”运动中的性行为不端行为。

使用Zola、JSON Resume、Weasyprint和Nix构建过度工程化的简历 (ktema.org)

本文介绍了作者如何使用 Zola、JSON Resume、Weasyprint 和 Nix 等工具构建一个“过度工程化”的简历。作者首先解释了采用这种方法的原因,包括数据与表示分离、版本控制、多格式输出、自动化构建等。然后,文章详细介绍了从简历数据到 PDF 文件的生成流程,以及如何使用 nix-shell 和 direnv 配置本地开发环境,并使用 justfile 简化命令执行。此外,文章还介绍了如何利用 GitHub Actions 实现持续集成,自动构建和发布简历。

Grid Garden - 学习 CSS 网格布局的游戏 (cssgridgarden.com)

Grid Garden 是一款学习 CSS 网格布局的游戏。游戏包含多个级别,玩家需要使用 CSS 代码将蔬菜种植到正确的位置。该游戏由 Codepip 创建,并提供多种语言版本。

面向工程师的开源商业智能工具Quary (github.com)

Quary是一个面向工程师的开源商业智能工具,它允许工程师连接到数据库,编写SQL查询以转换、组织和记录数据库中的表,并创建图表、仪表板和报告。Quary支持多种数据库,并允许工程师定义和管理模型、图表、仪表板和报告等资产。

绘图机器 (drawingmachines.org)

本文介绍了各种绘图机器,涵盖了从古代到现代的各种类型,包括自动绘图仪、透视仪、投影仪、轮廓仪和坐标转换器等。文章详细解释了每种机器的工作原理和用途,并附有图片和链接,方便读者深入了解。

苹果拒绝iOS上的PC模拟器 (www.theverge.com)

苹果公司近期拒绝了两款PC模拟器应用的上架申请,分别是DOS模拟器iDOS 3和允许在iOS上模拟Windows等操作系统的UTM SE。苹果给出的理由是,这些应用违反了应用商店指南4.7条,该条款只允许复古游戏模拟器,而PC不被视为游戏机。尽管苹果对复古游戏模拟器持开放态度,但对PC模拟器的态度仍然强硬,这引发了开发者们的不满。

AdonisJS:功能完备的 Node.js Web 框架 (adonisjs.com)

AdonisJS 是一个基于 TypeScript 的 Web 框架,用于构建 Web 应用程序和 API 服务器。它提供对测试、现代工具、官方软件包生态系统等的支持。AdonisJS 具有类型安全、基于 ESM、快速、功能丰富的核心框架以及世界一流的测试体验等特点,并提供大量官方维护的软件包。

ThreadQuilt - 汇聚网络讨论精华 (www.threadquilt.com)

ThreadQuilt是一个社区讨论聚合平台,汇集了来自各个在线论坛和平台的讨论帖。无论你是在寻找有关技术、编程还是新兴趋势的最新讨论,ThreadQuilt都能帮你找到最相关的对话。它帮助用户发现见解、保持更新并参与对话。

律师委员会反对新版美国隐私权法案,敦促众议员投反对票 (www.lawyerscommittee.org)

律师权利委员会反对新版美国隐私权法案 (APRA),因为它削减了公民权利保护,并削弱了隐私权。新版 APRA 未能解决数据驱动的歧视问题,并要求进行人工智能影响评估,未能充分保护公民权利。该法案为在个人设备上收集和使用的个人数据创建了一个巨大的漏洞,允许科技公司在没有数据最小化规则、儿童保护、广告限制、透明度要求、民权保障和消费者起诉权的情况下,对这些数据为所欲为。

OpenRecall:保护隐私的开源数字历史记录工具 (github.com)

OpenRecall 是一款完全开源的数字历史记录工具,可以替代微软 Windows Recall 等商业软件。它通过定期截图来捕捉用户的数字历史,并利用人工智能技术对截图中的文本和图像进行分析,使用户能够通过关键词快速搜索历史信息。与闭源方案相比,OpenRecall 具有透明、跨平台、注重隐私和硬件兼容性强等优点。

最新研究进一步证明“生态灭绝”理论在复活节岛并不适用 (arstechnica.com)

最新研究表明,复活节岛上的古代居民并没有像“生态灭绝”理论所描述的那样,因为过度砍伐树木而导致社会崩溃。研究人员通过分析卫星图像数据,发现岛上的岩石花园(一种利用碎石增加土壤肥力的耕作方式)比之前估计的要少得多,这意味着岛屿所能承载的人口数量远低于预期。这一发现支持了一种新兴的观点,即复活节岛的居民在欧洲人到来之前一直生活在一个可持续发展的社会中,他们通过适应有限的资源来维持生活。

四行代码引发的血案 (boston.conman.org)

这篇文章记录了一位程序员是如何发现并解决一个CPU占用率过高问题的。经过反复测试和代码分析,他最终发现问题出在一个用于处理Unix域套接字的代码块中,该代码块在处理IP套接字时造成了性能瓶颈。虽然问题根源难以确定,但最终的解决方案却非常简单:删除了四行代码。

使用200行JavaScript代码实现虚拟DOM (lazamar.github.io)

本文介绍了如何用略多于200行的JavaScript代码实现一个功能齐全且性能足够的虚拟DOM库。文章详细解释了虚拟DOM的概念、作用以及实现原理,并通过代码示例展示了如何创建虚拟节点、进行虚拟DOM的差异比较以及将差异应用到真实DOM。此外,文章还介绍了如何处理事件监听器和状态管理,并提供了一个基于该库实现的TodoMVC应用示例。

拆分数据的艺术:RAG 应用中的分块策略 (stackoverflow.blog)

这篇来自Stack Overflow的文章探讨了检索增强生成(RAG)系统中数据分块的重要性。文章指出,分块大小会影响搜索结果,过大或过小的块都会降低结果的准确性和相关性。文章介绍了几种常见的分块策略,包括固定大小分块、随机分块、上下文感知分块以及自适应分块,并分析了它们各自的优缺点和适用场景。文章强调,最佳分块策略取决于具体用例,需要根据数据特点和查询需求进行选择和优化。

亚利桑那州幼儿被困特斯拉,车门无法打开幸得救援 (www.theverge.com)

近日,美国亚利桑那州,一位祖母带孙女去动物园时,特斯拉Model Y的12伏电池发生故障,导致车门无法打开,孩子被困车内。由于当地气温高达100华氏度(约37.8摄氏度),情况十分危急。最终,消防员赶到现场,砸碎车窗救出孩子。该事件引发了人们对特斯拉汽车在断电情况下缺乏便捷逃生方式的担忧。

霍夫勒字体公司 (www.typography.com)

这篇文章介绍了由霍夫勒字体公司 (Hoefler&Co.) 设计的字体。

云存储巨头Snowflake遭遇大规模数据泄露 (www.hudsonrock.com)

云存储巨头Snowflake遭遇大规模数据泄露,黑客通过窃取员工的ServiceNow账户凭证入侵了Snowflake系统,并利用该凭证访问了Snowflake的欧洲服务器,导致超过2000个客户实例的信息泄露。据信,此次攻击还影响了其他使用Snowflake服务的公司,包括安海斯-布希、State Farm、三菱、Progressive、Neiman Marcus、Allstate和Advance Auto Parts等。

1 2 171 172 173 175 177 178 179 356 357