睡眠革命中科普的睡眠相关知识

作为一个书圈的技术极客，我发现很多爱读书的朋友都有一个困扰：豆瓣书单太多，想导出来统一管理好麻烦！今天分享一个超级实用的工具Crawlemon，让你轻松搞定书单整理～

使用crawlemon下载自己的豆列

SetRes和SetDPI。它们能帮你轻松调整Windows系统的屏幕分辨率和DPI设置,让你的显示效果瞬间提升！无论你是普通用户、设计师还是开发者,这两个工具都能大大提高你的工作效率。👨‍💻

Windows屏幕分辨率和DPI调整神器：SetRes和SetDPI详细教程

🖥️ 屏幕右上角突然出现FPS、GPU、CPU、延时数据?别慌!

亲测！系统屏幕右上方出现了FPS GPU CPU 延时的解决办法

🖥️ 想买新显示器但被各种技术术语搞晕了?
🤔 IPS、OLED、Mini-LED,到底哪个才是最佳选择?
💡 一篇文章带你全面了解2024年显示器技术,助你做出明智选择!

IPS vs OLED vs Mini-LED: 2024年显示器技术全面对比 🖥️💡

prettygraph是一个基于Python的Web应用，用于演示文本到知识图谱生成的新UI模式。它使用Flask作为后端，LiteLLM生成预测，并通过Cytoscape.js可视化图谱。该项目虽为快速开发的演示，但展示了动态高亮文本输入以生成知识图谱的创新界面概念。

prettygraph

本文详细介绍了Hydra，一个强大的Python配置管理框架。通过一个连贯的机器学习项目示例，展示了Hydra的核心功能，包括基础配置、命令行重写、配置组、多运行模式、动态配置和日志输出管理。文章阐述了Hydra如何简化复杂项目的配置管理，提高代码可维护性和灵活性，特别适用于机器学习等需要频繁实验的领域。

Hydra: 革新Python应用程序配置管理

为什么我们需要通用网页AI助手？如何衡量AI助手的表现？

《Mind2Web》解读：打造通用网页AI助手的新尝试

Aider被赞誉为“最好的免费开源AI编程助手”，有用户表示其极大地提高了编码效率（四倍之多）、改善了用户体验，尤其是对开发者的工作流程进行了优化。例如，它可以作为实时的开发助手，在开发者遇到问题时即时提供代码解决方案或建议，减轻负担并加快项目进度。

Aider：最全功能的开源AI编程助手

《ChatTTS-Enhanced》是一款专为解决Chat-TTS生成噪音问题而设计的软件，具备音质增强功能和多文件批量处理能力。支持长文本处理与自定义切割长度，并提供个性化的调节选项，包括语速、停顿、笑声及口语化程度等。此工具还能导入特定的《ChatTTS Speaker》音色，并通过离线一键整合包的形式支持Windows与Mac系统。

ChatTTS-Enhanced：革新文本转语音与音频处理的强大工具

Overeasy 使得结合预训练的零样本模型来构建强大的自定义计算机视觉解决方案变得简单。

OverEasy：加速零样本视觉模型创建与执行的Python框架

Meta-Llama-3-70B-Instruct-GGUF模型是针对Llama的多精度（multi-precision）量化版本，旨在适应不同环境和资源限制。这一系列提供了从Q1到Q8的不同精度等级、以及I-quant（int8/FP4混合）选项的多种组合配置文件。以下是各版本的基本信息

Meta-Llama-3-70B-Instruct-GGUF模型概述

Character.AI 正在推动通用人工智能（AGI）的发展，专注于优化大型语言模型（LLMs）的推理效率、经济性和可扩展性。通过创新的架构设计、有状态缓存系统和训练及服务的量化，该公司显著提升了处理能力和成本效率，使每秒可处理超过20,000次推理查询。这些进展使得LLMs的大规模部署更加可行，降低了成本，并为未来的AI集成奠定了基础。

Character.AI：引领大型语言模型效率、经济性和可扩展性的创新路径

直接在主机上编辑Docker镜像中的文件有几种方法，但每种方法都有其特定的使用场景和限制。这里介绍一些常用的方法。

有无方法在主机上编辑docker镜像的文件?

学习如何在树莓派上安装Ubuntu 20.04，并通过netplan配置固定IP地址，以便更轻松地管理您的设备。本指南提供了简单的步骤，使您能够在不同网络环境中始终稳定地访问您的树莓派。

在树莓派上安装Ubuntu 20.04并配置固定IP地址的简易指南

在配置 Inno Setup 安装脚本时，可能会遇到 UTF-8 字符无法正确显示的问题。本文将为您提供解决方案，确保您的安装脚本能够正确显示特殊字符。

Inno Setup 中 UTF-8 字符显示问题解决方案

ZeroTier是一种流行的开源网络技术，它使设备能够通过创建虚拟局域网来连接，无论这些设备的物理位置如何。这种技术特别适用于远程工作、多云环境和复杂的网络设置中。而在ZeroTier网络中，Moon节点扮演着至关重要的角色，它们帮助改善网络的性能和稳定性。

ZeroTier和Moon节点：连接与性能优化

探索我们的十天 VSCode 任务自动化十日指南，深入了解如何利用 VSCode 强大的任务管理功能来优化和自动化您的开发工作流，提高生产效率。

VS code Task 十日计划 —— 自动化集成之路

简悦：让你瞬间进入沉浸式阅读的 Chrome 扩展，类似 Safari 的阅读模式。

简悦-Simpread 从页面开始美化阅读

bili2text 是一个用于将 Bilibili 视频转换为文本的工具🛠️。

Bili2text 📺 \ 将 Bilibili 视频转换为文本

机械键盘以其独特的手感和定制性受到广泛欢迎。主要术语包括四大轴体（黑、红、青、茶），键程、压力克数和触发点，以及段落感。键帽方面有正刻、侧刻、同刻、无刻等风格，材质包括PBT和ABS。其他关键特性包括键线分离、多种配列、无钢设计、热插拔功能和全键无冲。

机械键盘圈黑话术语 | 机械键盘入坑指南

免费的Kimi API 支持高速流式输出、支持多轮对话、支持联网搜索、支持长文档解读、支持图像解析，零配置部署，多路token支持，自动清理会话痕迹。

KIMI AI Free 服务 \ 教你免费白嫖 Kimi API

FreeGPT35是一个基于无需登录的ChatGPT Web提供的无限免费GPT-3.5-Turbo API服务。用户可以通过多种部署方式，如Node.js、Docker和Docker Compose，来启动和使用这项服务。此外，还可以通过Nginx配置文件设置反向代理和负载均衡器，以提高服务的可用性和性能。FreeGPT35支持多种应用程序，如OpenCat、Next-Chat、Lobe-Chat和Bob等，用户可以随意填写API密钥进行交互。项目采用MIT许可证，鼓励开源和自由使用。

FreeGPT35 \ 教你免费白嫖ChatGPT 3.5 API

Search4All 是一个开源的 AI 搜索平台，结合了语言模型和搜索引擎的优势，提供了一个高效、可定制的搜索解决方案。它支持多种语言模型和搜索引擎，具有可定制的 UI 界面，并支持分享和缓存搜索结果。支持多种部署方式，包括 Docker、Docker-Compose 和手动部署，还可以通过 Zeabur 平台一键部署。未来，Search4All 计划支持更多语言和功能，以满足更广泛的用户需求。

Search4All | 开源的 AI 搜索平台

PdfToy（PT）是一款功能强大的 PDF 处理软件，拥有独特的功能如将 PDF 转换回 PDG、使用正则表达式进行内容替换等。此外，它还具备无损导出图像、批量检查 PDF 文件损坏、统一页面宽度和解密口令保护的 PDF 等特色功能。这些功能使得 PT 成为处理 PDF 文件的理想选择。

PdfToy（PT） \ PDF 处理软件

pytest 是一个非常流行的 Python 测试框架，它支持简单的单元测试和复杂的功能测试。pytest 通过简洁的语法和强大的功能，使编写、组织和运行测试变得更加容易和高效。

Pytest 测试你的代码 | 非常流行的 Python 测试框架

十日计划因其紧凑的时间框架和高效的学习节奏，特别适合于那些寻求快速技能提升的学习者。它通过集中的学习目标和紧密的实践联系，能够在较短时间内实现知识和技能的快速提升。

十日计划 | 十日相比于二十一日计划的好处

GPT Pilot是一个VS Code扩展程序和AI开发者伙伴，通过提供建议、编写代码、调试、讨论问题等协助开发人员完成开发任务。它支持Python，具有自动完成功能，并可以帮助进行代码审查、调试、估算故事点、规划开发进度、管理依赖关系和部署应用程序。GPT Pilot是开发人员快速高效地创建生产就绪应用程序的有价值工具。

GPT PILOT | 你的AI开发伙伴

Open Interpreter 让LLM能够在本地运行代码（Python、Javascript、Shell等）。安装后，您可以通过在终端中运行 $ interpreter 与Open Interpreter进行ChatGPT风格的界面聊天。

Open Interpreter | 开源解释器 | 自然语言控制你的电脑系统

哔哩下载姬跨平台版是一款基于AvaloniaUI框架开发的跨平台视频下载工具，支持Windows、Linux和macOS系统。它自带.NET6、ffmpeg和aria2运行环境，简化了用户的安装和使用过程。用户可以通过该工具方便地下载B站视频。

哔哩下载姬(跨平台版) / Bilibili 视频下载

pdfcrop 是一款命令行工具，用于裁剪 PDF 文件中的页面。它能自动去除页面周围的空白边缘，或者按照用户定义的边界裁剪页面。这个工具特别适用于调整文档的可视区域，使得内容显示得更为集中和清晰。

PDF Crop | PDF裁减的瑞士军刀

01项目是一个用于AI设备的开源生态系统，旨在为会话设备提供动力。项目包括旗舰操作系统、01 Light语音接口和01 Server。项目支持多种硬件，具有开放、模块化和免费的特点。01项目在localhost:10001上提供语音到语音的websocket服务，并引入了LMC消息和动态系统消息等技术。项目鼓励社区参与和贡献，共同推动AI设备的发展。

01项目 \ OpenInterpreter/01 \ The 01 Project

将PDZ文件转换为PDF的最佳解决方案涉及两个步骤：首先使用老马的Pdg2Pic将PDZ转换为图片，确保内容在各种设备上可用。接着，利用FreePic2Pdf或PDF补丁丁将这些图片转换成PDF，保证图像质量不受损失，同时提供自定义页面大小、书签生成和OCR文字识别功能。这个过程不仅优化了文件格式的兼容性和阅读体验，还最大限度地减小了文件大小。

pdz2pdf 最佳解决方案 | pdz转pdf

FreePic2Pdf是一款多功能图像转PDF工具，支持TIFF、JPG、PNG、GIF、BMP等格式。它将原始数据流嵌入PDF，避免重新压缩导致的质量损失。软件能处理多页TIFF和动画GIF，提供PDF页面大小和边距自定义。其高级功能包括自动生成书签、OCR文字识别和批量处理。FreePic2Pdf以保持高图像质量和最小化PDF文件大小著称，适合高效创建专业级PDF文档。

FreePic2Pdf / 免费图片转PDF

PDF补丁丁是一个功能全面的工具，专门用于编辑和修改PDF文件。它允许用户更改PDF文档的信息，如文档属性、页码编号、页面链接和页面尺寸。该工具还能删除一些自动动作，去除复制和打印限制，并设置阅读器的初始模式。除此之外，它包括一个书签编辑器，可以批量修改书签属性，并自动生成文档书签。用户还可以合并、拆分PDF文件，保留或添加新书签，高速导出图片，提取或删除页面，以及调整页面顺序。PDF补丁丁还支持对PDF中的图片进行文字识别，并能替换或嵌入字体库以消除乱码问题。最后，它提供了一个分析工具，用于查看和编辑PDF文档结构。这款软件是永久免费的，无广告和无弹窗。

PDF补丁丁 / PDFPatcher PDF处理全面工具

Testify是一个功能强大的Go语言测试框架，提供了断言、模拟、测试套件等工具，帮助开发者编写高质量的测试代码。通过使用Testify，可以简化测试过程，提高代码的可靠性和可维护性。项目目前支持最新的Go版本，并鼓励社区贡献和讨论。

Testify - 你应当编写测试

XHS-Downloader是一个开源的项目，旨在帮助用户从小红书平台上提取和下载作品。它具备多种功能，包括但不限于采集作品信息、提取作品下载地址、下载无水印的作品文件等。该项目提供了程序和脚本两种使用方式，用户可以根据自己的需求选择适合的方式来使用。

小红书下载器 | 备份文章、下载图片

🐚 OpenDevin：少写代码，多做事
OpenDevin是一个开源项目，旨在模拟并超越自主AI软件工程师Devin的能力。通过社区合作，该项目致力于提升代码生成技术，增强核心组件功能，并开发用户友好的界面。它使用LiteLLM支持多种模型，并注重安全执行代码。

OpenDevin：少编码，多创造 自主 AI 软件工程师

MyIP是一个多功能的IP工具箱，提供查看本地IP、IP详细信息查询、网站可用性检查、WebRTC和DNS泄露测试等功能。支持多种操作系统和环境变量配置，可通过Vercel或Docker快速部署。界面支持深色模式和极简模式，还有PWA和键盘快捷键支持，适用于多语言用户。

MyIP - 更好的IP工具箱

Detect It Easy（简称“DIE”）是用于确定 Windows、Linux 和 MacOS 的文件类型的程序。

Detect It Easy 文件识别助手 *确定你的文件类型

1. 应用识别能力： 版本335和336能够完美识别应用，但其他版本在一些系统上可能会显示为未知应用，即使手机已经获取了Root权限也无法解决此问题。
2. 数据类型显示： 版本335和336在右侧可以显示数据类型，包括HTTP（H，表示文本）、二进制（B）和JSON（J），并且支持图片预览。
3. 功能特点： 这些版本支持根据封包内容、地址、Cookies、JSON等进行查找或过滤。

小黄鸟解锁版多版本说明及兼容性建议

Xposed框架停更，EdXposed为其继任者，支持Android 8至11，而lsposed为可能的EdXposed替代品，提供更好的Android 10和11支持，未来或许支持Android 12。

Xposed、EdXposed 和 lsposed的区别

当在 Windows 上同时使用夜神模拟器和虚拟机（如 Docker）时，可能会遇到兼容性问题，特别是涉及到 Hyper-V 的情况。以下是一些详细的解决方法。

在Windows上同时使用夜神模拟器和虚拟机的兼容性解决方案 | 开关 Hyper -V 的

通过仔细分析日志，发现 Docker 虚拟机端口与青龙面板默认端口不一致导致的问题。通过修改代码中的端口设置，成功解决了502错误。

BiliBiliToolPro 在 Dockercompose 中无法运行的解决办法

我们需要选择一种能够处理任意两点间最短路径问题的算法，尤其是在一个加权图中。弗洛伊德-华尔什算法（Floyd-Warshall算法）正适合此类问题，因为它能够计算出图中所有顶点对的最短路径。

使用弗洛伊德-华尔什算法找出矩阵中所有点对的最短路径

PDF（Portable Document Format）文件格式是一种广泛使用的文件格式，它具有多种特性和标准。

PDF揭秘

CDDA 游戏启动器 汉化版 国内直连加速 

当初学者在React中嵌入JavaScript代码时，通常需要将代码用大括号 {} 包裹起来，以告诉React将其解析为JavaScript表达式。

在React中嵌入JavaScript代码：以clarity为例

WordDumb是一个支持KFX、AZW3、AZW、MOBI和EPUB电子书格式的Calibre插件，它可以生成Kindle Word Wise和X-Ray文件以及EPUB的脚注，然后将它们发送到电子阅读器上。

利用calibre插件给本地英文书创建生词提示

近百中英文书籍资源网站集合！

近百“书籍资源网站”汇总！

使用 InstantID 在几秒钟内生成的漫威超级英雄

InstantID演示

通过遮挡获得全局一致且合理的动作是一个极其困难的问题，但是RoHM（由Meta和ETH Zurich开发）似乎刚刚解决了这个问题！

时序稳定的单摄像头三维人体动作捕捉，包括遮挡！

在杂乱环境中检测和跟踪有趣的物体，AR演示非常酷。3D基础模型将推动家庭机器人技术的发展。

任意物体的6自由度姿态检测和跟踪

XGO-Rider轮足机器人

OpenGFW 是一个 Linux 上灵活、易用、开源的 GFW 实现，并且在许多方面比真正的 GFW 更强大。可以部署在家用路由器上的网络主权。

OpenGFW 可以部署在家用路由器上的网络主权

由 Doiiars 维护的 Cataclysmdda漫游指南 镜像站。

Cataclysmdda漫游指南 - 国内直连镜像站 by Doiiars

如果你想要在 Cron 中使用 UTC+8 上海时区，以下是设置的步骤。

如何在 Cron 中使用 UTC+8 上海时区

解锁 The Sims 4 全部DLC 教程

Ebook Translator 是一款由专注电子书的网站书伴开发的 Calibre 插件，它能以原文译文对照的方式，直接翻译整本电子书，支持 Google、ChatGPT、DeepL、有道、百度翻译引擎。

Ebook Translator – 用 Google、ChatGPT 和 DeepL 翻译整本电子书

Figen 是一款免费的封面图、背景图制作工具，通过简单的图形叠加，配合渐变色、直接添加文字，可以直接生成完整的封面图、背景图，下载为 .png 格式，无需进行二次处理，非常方便。

Figen – 免费的封面图、背景图制作工具，支持添加文字

如果你使用Calibre来管理你的电子书库，你可能会注意到它有一个让人困扰的问题：它会将中文文件路径翻译成拼音或其他拉丁字母音译。这可能会导致混乱和不便。本插件的目的是解决这个问题，让你的Calibre不再自动将中文路径翻译成拼音。

Calibre不要翻译我的路径插件

在 Next.js 中集成 Google Analytics 时，推荐使用 next/script 组件而不是传统的内联脚本。这样做不仅能提高网页性能，还能简化集成过程。

在 Next.js 中使用 Google Analytics

GPT4free 是一个热门的 GitHub 仓库，集合了多种强大的语言模型，包括 GPT-4 和 GPT-3.5。该项目通过汇集不同网站的 API，为用户提供了一种无需直接支付费用就可以访问这些高级语言模型的方法。

GPT4free

在Python中，async 和 await 关键字是异步编程的核心部分。异步编程允许程序在等待操作完成（如网络请求或文件I/O）时执行其他任务，这通常用于提高应用程序的性能和响应性。

Python中async和await的用法

利用pdz-助手，您可以轻松地将PDZ文件格式转换为PDF格式。

pdz-助手

实现Docker Compose项目的开机启动

Docker的清理命令

在 Ubuntu 中设置时区是一个简单的过程，可以通过命令行或图形用户界面（GUI）来完成。

ubuntu设置时区

该项目是一个由Doiiars创建的用于 Calibre 电子书管理软件的元数据源插件，旨在从中国国家图书馆获取图书信息，特别是基于ISBN。此插件允许用户轻松地将图书信息添加到其Calibre库中，包括书名、作者、出版日期、中图分类号等重要信息。

中国国家图书馆ISBN Calibre Metadata 源插件

本项目利用FastAPI搭建了一个阅读APP可以使用的用于TTS合成API。

Paimon语音合成API

🔥 SingleFile是一个非常实用的浏览器插件，它能够帮助你一键保存整个网页为单一的HTML文件。是的，你没听错，整个网页，包括图片、样式、甚至是JavaScript脚本，都可以完整无缺地保存下来！📂

🚀 SingleFile插件使用全攻略：网页存档从未如此简单！🌟

使用 "Duplicate Same Files Searcher" 优化电子书空间占用

优化Calibre电子书库空间占用的解决方案

Duplicate Same Files Searcher 是一款简单易用的重复文件查找工具，软件用于查找重复项（重复文件）和硬链接的应用程序，以及指向硬盘驱动器上同一文件的NTFS软链接，不仅可以删除重复文件或将其移动到其他位置还可以用硬链接或软链接替换重复文件NTFS到磁盘上的同一文件。

重复文件搜索清理 Duplicate Same Files Searcher

Java中protected、private、public 区别

愤怒的南瓜完整代码

愤怒的南瓜

提示词（Prompt）是什么？

API是什么

Windows有关的快捷键

如何生成Wi-Fi网络的二维码？

对比WINRAR和WINZIP两款软件的主要特点

安装目录的区别

机械狗玩家常用的电机品牌

谷歌搜索语法及其案例

网络分割和最小权限原则

用AI设计机器人语音合成系统界面与机器人控制系统 | Doiiars

C语言和C++语言之间的区别 | Doiiars

使用Arduino的<Servo.h>库可以方便地控制舵机。通过write()函数可以控制360度和180度的舵机，通过writeMicroseconds()函数可以控制舵机的微秒数。使用这些函数和参数可以简单直观地控制舵机，但建议在使用不熟悉的舵机时进行小范围的测试。

Arduino 舵机控制

从应用角度来看，根据不同的需求，可能会选择刹车或悬空。例如，在需要精确控制位置或迅速停止的情况下，可能会选择刹车；而在对停车时间要求不高的应用中，可能会选择悬空。

刹车和悬空的区别

您现在可以在 DALL•E 3 中使用参数！

在 DALL•E 3 中使用参数！

海外的广告单价真的不是盖的，外用户的付费能力超级强

所以我们不要局限在中文互联网，要做就直接做面向全球人民的产品

以下介绍 6 个免费的推广渠道，这些渠道能帮助独立产品获得免费的初始流量

用AI设计机器人语音合成系统界面

提示词（Prompt）案例

提示词特点

1.改变界面风格

2.添加文本输入框

3.其他细节

用AI设计机器人控制系统

提示词案例

提示词特点

可能遇到的问题

1. 让AI为该机器人控制界面提供夜间模式按钮

2. 尝试更多的风格的控制界面，例如黑客命令行风格的

3. 将语音合成系统整合进去

可能用到的英文词汇

参考视频：