致宏Rex-CSDN博客

原创社区交流礼仪 | 提问的艺术

在黑客的世界里，当你拋出一个技术问题时，最终是否能得到有用的回答，往往取决于你所提问和追问的方式。本指南将教你如何正确的提问以获得你满意的答案。现在开源（Open Source）软件已经相当盛行，您通常可以从其他更有经验的用户那里获得与黑客一样好的答案，这是件好事；和黑客相比，用户们往往对那些新手常遇到的问题更宽容一些。尽管如此，以我们在此推荐的方式对待这些有经验的用户通常也是从他们那里获得有用答案的最有效方式。首先你应该明白，黑客们喜爱有挑战性的问题，或者能激发他们思维的好问题。

2024-10-08 21:01:05 248

原创 Open WebUI | 自托管的类 ChatGPT 网站

一个可扩展、功能丰富且用户友好的自托管 WebUI，旨在完全离线操作。它支持各种 LLM 服务，包括 Ollama 和 OpenAI 兼容的 API。该项目在 GitHub 上已有 38k 星，是一个非常受欢迎的项目。

2024-10-07 22:36:06 407

原创陶哲轩：数学不仅仅是严谨性和证明

由于 LLM 的幻觉问题，数学形式化——这一消除幻觉确保论证严谨性的手段——受到了很多关注。按照陶哲轩的说法，形式化是在前严谨阶段到严谨阶段的过渡，能避免常见错误和消除误区。然而，数学真正具有创造力和生命力的地方在于后严谨阶段。在这一阶段，研究者在已经掌握严谨理论基础的情况下，开始建立和形成数学直觉。如果 LLM 能够在后严谨阶段发挥其作用，那么它很有可能会真正引起数学学术界的广泛重视。

2024-10-07 11:30:00 687

原创 o1-preview 在 IMO 2024 第一题的实测表现

OpenAI o1-preview 展示了其在 IMO 问题上的解题能力。虽然得出了正确答案，但证明不完整。本文将对其解题过程进行简单的分析。

2024-10-06 16:02:31 186

原创 AI 改写数学竞赛 | 从 IMO Grand 到 AlphaProof

数学竞赛大致分为两类：一类面向高中生，例如国际数学奥林匹克竞赛（IMO）及相关选拔赛；另一类涵盖本科以上知识，如全国大学生数学竞赛和阿里巴巴数学竞赛等。IMO 作为高中生数学竞赛的巅峰赛事，由于背景知识需求相对较少，成为了测评 AI 能力的绝佳试金石。

2024-10-06 15:58:05 977

原创 Julia 初学者指南(二) | 数据类型与函数基础

四种常见模式：初始进入 Julia 时，显示的模式就是Julian 模式，左侧是绿色的julia>，页面显示如下：在 Julian 模式下，按下进入Pkg 模式（包管理模式），如下图：在任意模式下，按退格键（键盘上的Backspace）可以回到 Julian 模式。在 Julian 模式下，按下?进入Help 模式，此时输入函数可以查看使用文档：在 Julian 模式下，按下;进入Shell 模式，这个接触过 Linux 的应该懂怎么用。Debug 模式个人目前用得不多，暂略。

2024-07-17 11:30:00 899 1

原创 Julia 初学者指南(一) | 安装、配置及编译器

Pluto 是 Julia 的轻量级反应式(reactive)笔记本，可以看做 Julia 版本的 Jupyter-notebook，但支持功能更多。Jupyter Notebook 是一个 Web 应用程序，便于创建和共享程序文档，支持实时代码，数学方程，可视化和 markdown 等。如果电脑使用多个 Julia 版本，比如说希望将 Julia 1.7 也添加到 Jupyter，先打开 Julia 1.7 然后执行下边代码。安装完成，桌面出现 Julia 图标，双击图标在命令行运行 Julia。

2024-07-16 22:33:49 1772

原创数据无忧：Ubuntu 系统迁移备份全指南

如何高效地进行系统重装以及数据备份，避免重复Timeshift 是一个功能强大的工具，可以在 Ubuntu 系统上实现类似于 Mac 的 Time Machine 的备份功能。ddrescue 是一个专门用来从损坏的硬盘、光学介质或其他损坏的存储设备中尽可能多地恢复数据的高级工具。最近电脑出现了一些故障，送修期间，不得不在实验室的台式机上重装系统，配环境的过程花费了不少时间。拷贝过程中终止，且拷贝量大于硬盘A的实际使用量时，也可以正常使用，不需要额外的调整操作。完成这些步骤后，你应该能够从新的硬盘启动系统。

2024-07-05 19:01:43 2815

原创 Rufus 制作启动盘 | 便携的工作空间

此外，版本还分为 LTS 和普通版，LTS 是“Long Term Support”的缩写，意味着这个版本将获得长期的支持，通常是五年。Rufus 重装后有两个分区，一个是只读的 squashfs，另一个是持久化的 ext4。写这篇博客的时候是 2024 年，建议下载至少 20.04 LTS 版本的 Ubuntu 镜像，这是一个长期支持版本，支持到 2025 年。结尾的文件来构建整个系统的网络配置。，如果希望更稳定的持久性功能，可以尝试其他工具，如。打开后，选择镜像，和 U 盘，然后开始制作启动盘。

2024-07-05 18:03:24 2911

原创 Lean4Game 开发教程 | 数学形式化

这类游戏不仅利于对 Lean 本身的学习，对学科知识的理解，还能推动数学圈内人对 Lean 的接触学习。接下来我们将粗略介绍游戏中的高级交互功能。首先，安装 Node.js 和 npm，然后下载 Lean4Game，并将其放在游戏的。社区官网目前贴了自然数和集合论等游戏，也欢迎根据自己的学科知识，贡献更多的游戏~可以在游戏的任何层级（游戏/世界/关卡）添加图片，这些图像将显示在游戏中。Lean4Game 是游戏的前后端框架，用于创建游戏的主页面。前的注释将作为练习的描述显示在游戏中，且支持 Latex。

2024-06-28 11:30:00 808

原创 FRP 内网穿透 | 实现远程访问与安全管理

在互联网上，两个不同主机进行通信需要知道对方的 IP 地址。根据 IP 协议，只有分配了公网 IP 的设备才能在互联网上通信和传输数据。然而，由于中国人口和设备众多，IPv4 资源相对紧缺，因此绝大部分情况下是通过路由器或交换机转换公网 IP 后才上网。位于路由器或交换机后的设备通常是内网设备，其 IP 地址通常以 192.168、172.16 或 10.0 开头，这些属于内网 IP。如果要让内网设备对外提供服务，就需要进行内网穿透。最后做个小结。下载与安装。

2024-06-13 18:00:00 1506 1

原创 AskChat 代码神器 | 随时随地调用大模型

基于 API 写的 ChatGPT 命令行交互工具，随时随地调用 LLM。如果觉得有意思，欢迎给仓库讨论终端调用Jupyter 调用。

2024-06-13 11:30:00 1808

原创一文搞懂 reST 和 Markdown 语法

reST 提供了创建定义列表的功能，通常用于术语和定义的描述，通过简单的缩进和符号定义。术语定义内容1定义内容2Markdown 最近的版本中也支持了类似的定义列表。术语: 定义内容1定义内容2注意，如果不加默认不会产生缩进。reST 提供了创建定义列表的功能，通常用于术语和定义的描述，通过简单的缩进和符号定义。术语定义内容1定义内容2Markdown 最近的版本中也支持了类似的定义列表。术语: 定义内容1定义内容2注意，如果不加默认不会产生缩进。

2024-06-08 12:30:00 1058

原创 Docker 管理 | 代理配置、内网共享和 Harbor 部署

如何配置容器代理、搭建内网容器注册表以及使用企业级 Harbor 注册表，以提高容器镜像管理的效率和安全性。

2024-06-08 08:07:15 4030 2

原创 Lean 4 安装教程及环境管理

提供了不同平台的安装方式，包括 Windows、MacOS 和 Ubuntu 系统，且都提供了一行脚本运行的方式。如果下载不了 GitHub 资源，在安装了 VsCode 和 LEAN 4 拓展后，脚本里只有 elan 是需要手动安装的。全称 Lean Make，是 LEAN4 的包管理器，已合并到 LEAN4 仓库，作为源码的一部分。，脚本安装了 VsCode，LEAN 插件，以及 elan。等，但相比之下，Lean 有更多优点且更契合数学习惯。，用于安装、管理和切换不同版本的 Lean。

2024-06-06 11:30:00 1738 1

原创 Crontab 自动脚本实战

使用 crontab 工具在 Unix 和 Unix-like 系统中设置周期性执行任务。

2024-05-26 22:35:48 377

原创打造安全的 Linux 环境：实用配置指南

网络安全是一个相对的概念，你要做到的不是绝对安全，而是比大多数人安全。这样攻击者就不会去啃你这个硬骨头，而去找一些软柿子（那些没有安全防护的VPS）捏了。

2024-05-13 11:27:12 997 1

原创 Electron + GitHub Actions | 自动化流程详解(下)

使用 GitHub Actions 自动化构建和发布 Electron 应用的过程，从自动构建到自动发布，再到集成自动更新，我们提供了一系列步骤和工具以简化和加速应用开发周期。

2024-05-13 10:56:48 1115

原创 Electron Forge | 跨平台实战详解(中)

上篇介绍了 Electron 的基本用法，通过 Electron Builder 打包跨平台应用。本篇将介绍 Electron 更常用也更方便的打包工具 —— Electron Forge。是一个全功能的工具集，专为 Electron 应用的开发、打包和分发而设计。它整合了多个底层 Electron 工具（如 @electron/packager、@electron/osx-sign 和 electron-winstaller）到一个统一的命令行界面中，极大简化了开发和部署流程。

2024-05-12 17:40:11 2865 1

原创 Electron | 桌面应用的开发神器(上)

Electron 打包应用的全过程，从本地测试，打包，到 GitHub 自动化。讲解 Electron Forge 和 Electron Builder 的用法，以及如何在 GitHub Actions 中自动化生成和发布应用。

2024-05-12 15:32:13 1541

原创 PyPI 与 GitHub 的双因素认证 | 2FA 配置指南

随着PyPI和GitHub强制启用双因素认证，本文将教你如何轻松应对这一变化，保障账户安全。

2024-05-08 11:30:00 1988

原创 Shell 初始化配置指北 | Ubuntu

概要：在不同的Shell环境（如Bash和Zsh）中设置环境变量、设置初始脚本，以及如何根据不同的使用场景（用户级或系统级）进行有效管理。p.s. 如果你很熟悉 Linux，推荐跳到最后一节。这对多用户场景很有帮助：比如设置全局的 Conda/Cuda 路径，设置全局有效的快捷别名。

2024-05-07 17:53:44 1021

原创 Termtosvg 录制终端并导出 SVG 动画

使用 termtosvg 工具录制终端会话，并将其输出为SVG格式的动画或静态图像。

2024-05-02 20:21:25 867 4

原创零资源跑大模型：Hugging Face API + LiteLLM + Flask

本教程讲解如何利用 Hugging Face API、LiteLLM 和 Flask 在本地运行并调用各类模型，包括嵌入模型、图生图模型和文本生成模型。

2024-05-02 17:28:37 2499 2

原创 Flash 重生 | Ruffle 使用指南

使用 Ruffle 项目运行 Flash 的 swf 文件，让经典游戏和动画在现代浏览器上重获新生。

2024-05-01 16:39:30 2184 3

原创 Let‘s Encrypt 域名证书增强网站安全

以上提供了一个使用 Let’s Encrypt 配置泛域名 SSL 证书的简明指南，帮助提升网站的安全性和可信度。

2024-05-01 11:30:00 698

原创 Droppy 教程 | 轻量级的文件共享服务

通过 Docker 和 Nginx 部署和优化 Droppy，实现高效的文件共享和大文件上传。

2024-04-30 16:00:00 414

原创升级你的 LaTeX 编辑器：Overleaf 维护与更新全指南

如果希望在发送的每封邮件底部添加自定义文本，可以使用变量来实现。确保所有参数正确无误后，保存文件并重新启动 Overleaf 服务以应用新的配置。这样，Overleaf 就能通过配置的 SMTP 服务器发送电子邮件了。如果之前升级了texlive，例如安装了完整的 TeXLive 环境，则需要手动重新部署。# 备份旧数据 cp -rp path/to/old_overleaf/data path/to/backup_overleaf/data。

2024-04-30 12:00:00 2488