在Minecraft 里跑一个linux | Linux in Minecraft

这个项目基于Minecraft 1.20.6版本,利用cbscript脚本语言实现RISC-V I+M+A+Zicsr+Zifencei模拟器,并使用Minecraft的计分板和数据存储来模拟内存和存储。当然速度非常慢,开发者说完整的启动linux需要大约 18 小时。
Forfun OS,Rust写的玩具操作系统

只是用于个人学习所用,开发者还写了部分详细设计文档

“由于操作系统和编译器等软件基础工具封装的太好了,为软件开发人员提供了一个统一个开发环境,其实他们内在是存在很多与硬件相互协作的过程。这当然是一件好事,但是也造成了软件开发人员对于底层理解不多。如果想要开发更好地软件,还是需要加深对操作系统和编译器的理解。当然这部分知识太多了,没有人可以全部掌握,我们需要的是了解其背后的基本原理,至于各种细节倒不必花太多时间。当理解其背后的原理后,很多之前无法理解的概念就豁然开朗了“
网友投稿

Python 3.13 已经正式发布了!
这也同时宣告 Python 3.8 结束了平淡但又不普通的一生。

随之而来的重要特性简览:

1. PyPy 反哺带来的交互式解释器改进,多行编辑,颜色凸显
(这年头真的会有人用原生吗?IPython 不屑地问道)

2. NO! GIL! 新的自由线程构建可供下载
(3.13 发布迟了 7 天就是为了回退为此定制的新 gc,性能应该是没眼看了)

3. 初步的实验性 JIT
(赞美 Meta,这年头也就小扎还懂“新生代数字农名工”的需求了)

4. 可选的 mimalloc 内存分配器修改后版本
(虚幻引擎发来贺电,小岛秀夫点了个赞,Azure 笑而不语)

5. iOS、Android 双双加入 Tier 3 支持平台
(看得出来这年头的手机内存是有点太大了)

6. typing 类型参数支持默认类型
(妈妈我的自动补全终于可以工作了!)

7. 第一批陈旧标准库的彻底删除
(依然阻挡不住安装包体积扩增的脚步)

官方文档
Python 3.13.0 下载
利用蓝牙共享剪贴板 | link
ProxyCat:一款代理池中间件,能将临时IP变成固定IP,适用于需要频繁更换IP的网络操作,如网络安全测试。

功能特点
多协议支持
-SOCKS5 代理:支持 SOCKS5 协议,适用于各种网络环境。
-HTTP/HTTPS 代理:支持 HTTP 和 HTTPS 代理,满足不同应用场景需求。

代理轮换模式
-循环模式(Cycle):按照顺序循环使用代理列表中的每一个代理,确保均衡使用。
-负载均衡模式(Load Balance):随机选择可用代理,分摊流量负载,提升性能。
-自定义模式(Custom):允许用户自定义代理选择逻辑,灵活满足特定需求。

动态代理获取
-使用 GetIP 函数获取代理:支持通过 GetIP 函数动态获取即时可用的代理,保证代理的实时性和有效性。

代理验证
-自动检测有效性:在启动时自动检测代理的可用性,过滤无效代理,确保代理列表的可靠性。
-支持多种协议检测:针对 HTTP、HTTPS 和 SOCKS5 代理进行专门的检测,提升验证精度。

认证机制
-用户名/密码认证:支持基于用户名和密码的代理认证,增强代理的安全性,防止未授权访问。

高并发处理
-异步架构:基于 asyncio 实现异步处理,支持大规模并发连接,适用于高流量需求。

日志与监控
-彩色日志输出:通过 colorama 实现彩色日志,便于实时监控和调试。
-实时状态更新:显示当前代理状态和下次切换时间,帮助用户了解代理动态。

配置灵活
-可配置文件:通过 config.ini 文件轻松调整端口、模式、认证信息等参数,适应不同使用场景。
-命令行参数:支持通过命令行指定配置文件路径,增加使用的便捷性。

自动更新检查
-版本检测:内置版本检测功能,自动检查最新版本并提醒用户更新,确保软件的持续优化。
一本面向初学者的C语言教程,提供代码示例和详细解释,适合自学者和编程爱好者

Beej's C编程指南 | #教程
一个基于命令行的工具,旨在帮助开发者高效地管理和与项目交互,通过集成 OpenAI 的 API,提供代码生成、文件编辑、项目规划等功能,以优化开发流程

o1-engineer | #工具
Windows_Setting:一套用于Windows 11的美化和定制指南,包含窗口管理、系统优化、透明效果等个性化设置,让你的Windows体验更加个性化和美观
Mitata:专注于提供高精度基准测试工具的开源项目,旨在帮助开发者进行性能测试
GitHub仓库转文本:一键将GitHub仓库内容转换成格式化文本文件,便于大型语言模型使用,支持私有仓库,浏览器端运行确保数据安全

repo2txt | #工具 #转换器
极速代码搜索工具,一键部署,支持GitHub和GitLab代码库的高效检索,提供现代化的网页应用体验,支持语法高亮和暗夜模式

Sourcebot | #工具
数据准备工具箱:旨在为大型语言模型(LLM)应用程序开发者提供数据准备的工具和方法,包含多种数据处理模块,支持从个人电脑到数据中心规模的数据加工,支持代码和自然语言等多种数据模式

Data Prep Kit | #工具
Research Town - Simulator of Research Community:一个模拟研究社区的平台,让开发者能够通过多智能体模拟研究社区,进行论文阅读、写作、讨论想法、反驳论点和撰写评审等活动
LitLytics - 数据分析助手:一个简单实惠的分析平台,利用大型语言模型自动化数据分析,无需数据科学专业知识,自动生成分析流程,可自定义调整,性价比高,支持多种数据格式
Media is too big
VIEW IN TELEGRAM
ryp: R inside Python:一个简单强大的Python库,让你能在Python里运行R代码,快速在Python和R之间传输大型数据集,无需写入磁盘,支持同时在两种语言中进行交互式工作
nano-spawn:一个轻量的 Node.js 包,用于执行系统命令,提供了一个基于 Promise 的接口,支持流式处理输出、管道命令、执行本地二进制文件,并且具有更好的 Windows 支持和错误处理
Back to Top