黑洞资源笔记
- 陶哲轩6000字详述:计算机辅助数学证明的历史 | link
-
- Windows最近更新导致的蓝屏死机与微星主板相关
部分Windows 10和Windows 11用户在安装了最新预览版更新KB5029351后遭遇了错误信息为UNSUPPORTED_PROCESSOR的蓝屏死机。微星公司现在证实该问题与其主板相关。
它在官方声明中称使用MSI 600/700系列主板的用户遭遇了蓝屏死机,如果该补丁没有自动卸载,那么建议用户回滚BIOS到上一个版本,然后卸载KB5029351。
微软表示受影响的操作系统版本包括Windows 10 21H2/22H2和Windows 11 22H2,它表示在多次蓝屏死机之后系统应该会自动卸载该补丁。 - Co-writing with AI:AI协同写作,专为与LLM合作撰写故事而设计的工具,目前使用的是Llama-2-70b-chat-hf模型。
-
-
-
- WordPress宣布推出100年的超长期域名托管服务,包括24小时协助和托管网站服务,旨在帮人终生保护自己的在线遗产。
目前大多数标准域名注册的有效期为10年,WordPress这项服务将提供100年的域名和WordPress托管,还将提供网站托管服务。该计划针对那些希望跨代保存内容的公司和家庭。
WordPress表示,该计划旨在帮人终生保护自己的在线遗产,可以用于保存家庭的数位资产—故事、照片、声音和影片,或者是企业创始人想要保护和记录公司过去、现在和未来的资讯。
此外,用户还可以享受到不限流量和 24X7 的支援服务。 WordPress 表示会在分布式数据中心保留多份内容备份,以确保其安全性。如果你的内容是公开的,该计划还会自动将你的网站提交到互联网档案馆。该计划还设有 URL 所有权转移机制,方便用户在必要时将网站转交给子女或其他人。
至于费用方面,WordPress百年计划的费用为38,000美元(约RM176,662)。据悉,WordPress是世界上最受欢迎的建站工具,为互联网上超过43%的网站提供支持,排名前10000的网站中有38%由WordPress提供支持。
WordPress最初是一种使用PHP语言开发的博客平台,用户可以在支持PHP和MySQL数据库的服务器上架设属于自己的网站,也可以把WordPress当作一个内容管理系统(CMS)来使用。 -
- 语雀浏览器插件 | 文档说明 | Chrome | Microsoft Edge | #插件
一个信息的收集工具,自带了划词翻译功能。后期可以导入微信读书的笔记。
此外支持在信息收集过程中对内容进行编辑、优化、翻译等操作,剪藏的数据在落库以后,还可以进行后期整理,例如支持全文检索、标签管理、内容聚合生成文章,甚至还有考虑对聚合的内容进行智能问答。有点类似 chat with docs -
- OLED + 新版触控键盘,全新 iPad Pro 蓄势待发
来自彭博社的消息,即将发布的 2023 款 iPad Pro 将迎来自 2018 年以来最大的升级,苹果正努力对 iPad Pro 系列产品进行「彻底改革」,并希望以此为契机重振平板电脑萎靡的市场。
根据介绍,新款 iPad Pro 或将配备一块全新的 OLED 屏幕,由于 OLED 自发光的特性,去掉背光模组和滤光片的新款 iPad Pro 会极大的降低厚度,并能进一步改善屏幕的功耗。除了屏幕的升级,iPad Pro 还将迎来全新的妙控键盘配件,新款妙控键盘将带来更大的触控板,使得 iPad Pro 看起来与使用起来都能更像是一台笔记本电脑。 -
- kubeasz: 使用Ansible脚本安装K8S集群,介绍组件交互原理,方便直接,不受国内网络环境影响
kubeasz 致力于提供快速部署高可用k8s集群的工具, 同时也努力成为k8s实践、使用的参考书;基于二进制方式部署和利用ansible-playbook实现自动化;既提供一键安装脚本, 也可以根据安装指南分步执行安装各个组件。 - 一个关于很多计算机历史的博客,比如windows、linux的老版本是怎么开发出来的,C、Basic的起源,各种老计算机的故事等等 | blog
- 用SQL代替html/js/css去写网站UI
SQLPage 是一个用Rust编写的 Web 服务器 ,并作为单个执行文件分发。当它收到对以结尾的 URL 的请求时,它会找到相应的 SQL 文件,在数据库上运行它,并把来自 Web 请求的信息作为 SQL 语句参数传递给它。当数据库开始返回查询的行时,SQLPage 将行中的每条信息映射到其预定义组件模板中的参数之一,将结果流式传输回用户的浏览器。 -
- Giraffe:世界上第一个商业可用的32K长上下文开源LLM(基于Llama-2)
Giraffe是一个新的模型系列,它们是从已发布的基础LLaMA和LLaMA2模型进行微调的,其中包括了从LLaMA微调的4k Giraffe和16k Giraffe,以及从LLaMA2微调的32k Giraffe,并将它们的权重发布在HuggingFace上。Giraffe-32k在开源LLM领域成为一股强大的力量,Giraffe-32k可以执行更复杂的检索操作,出错更少,对于维护长时间对话或要求LLM帮助处理大型现有代码库至关重要。该研究强调了用于上下文长度探索的两种新方法。值得注意的是,ABACUS. AI的一种技术,称为truncation(截断),表现出极具潜力的结果。
Blog | Paper | 项目地址 -