Townlet
  • 首页
  • AI工具
  • AI实战教程
  • 搞钱副业
  • 营销流量
  • 每日精选
  • 首页
  • AI工具
  • AI实战教程
  • 搞钱副业
  • 营销流量
  • 每日精选
15000 页数学证明,AI 用 24 天写成 5000 万行 Lean 代码全验证了

每日精选 15000 页数学证明,AI 用 24 天写成 5000 万行 Lean 代码全验证了

人类科学史上规模最大的数学证明,刚刚被 AI 彻底验证了。100 多位数学家耗时几十年、写成 15000 页巨…

5次阅读 0个评论
每日精选 近两天内
GitHub 今日涨星榜:AI 渗透测试、规格驱动开发、AI 代码审查 3 个新利器

AI工具 GitHub 今日涨星榜:AI 渗透测试、规格驱动开发、AI 代码审查 3 个新利器

今天 GitHub 涨星最狠的榜单里,有 3 个值得直接接进工作流的开源项目:一个自己打渗透、一个逼 Agen…

5次阅读 0个评论
AI工具 近两天内
DeepSeek 接入 OAR:一套代码指挥 10 家编程 Agent,派活层才是关键

AI实战教程 DeepSeek 接入 OAR:一套代码指挥 10 家编程 Agent,派活层才是关键

编程 Agent 各家接口都不一样,换一个工具就得重写一遍对接。OAR 要解决的就是这个麻烦:它是一个开源的编…

4次阅读 0个评论
AI实战教程 近两天内
GPT Pro 别漏了这笔钱:每月最高领 500 美元 API 额度,Billing 里就能领

每日精选 GPT Pro 别漏了这笔钱:每月最高领 500 美元 API 额度,Billing 里就能领

已订阅 ChatGPT Pro 的,先去 Billing 看一眼:符合条件的 Pro 用户每月可额外领一笔 A…

5次阅读 0个评论
每日精选 近两天内
公司刚开了 ChatGPT 企业版?先导出再点合并,顺序错了回不来

AI实战教程 公司刚开了 ChatGPT 企业版?先导出再点合并,顺序错了回不来

公司刚给你开了 ChatGPT 企业版,先别急着点合并。顺序错了就回不来了。 Business 还能分开用,但…

6次阅读 0个评论
AI实战教程 近两天内
腾讯云轻量服务器 68 元一年:2核2G3M 上海,首单 1.4 折

每日精选 腾讯云轻量服务器 68 元一年:2核2G3M 上海,首单 1.4 折

腾讯云轻量应用服务器又放出首单特惠:2 核 2G 3M,上海地域,一年只要 68 元,日常价 480 元,相当…

4次阅读 0个评论
每日精选 近两天内
Codex 下午总撞额度墙?早上 7 点发一条 ping,把 5 小时窗口提前开

AI实战教程 Codex 下午总撞额度墙?早上 7 点发一条 ping,把 5 小时窗口提前开

每天用 Codex 的人都有过这种遭遇:下午两点正改代码改得上头,突然被额度弹窗卡死。原因不在用量本身,而在窗…

5次阅读 0个评论
AI实战教程 近两天内
一句话生成杂志级 PPT:guizang-ppt-skill,28.7K 星的 HTML 演示稿技能

AI实战教程 一句话生成杂志级 PPT:guizang-ppt-skill,28.7K 星的 HTML 演示稿技能

做 PPT 最费时间的不是写内容,而是排版。GitHub 上 28.7K 星的 guizang-ppt-ski…

5次阅读 0个评论
AI实战教程 近两天内
LuxTTS:1GB 显存跑出 48kHz 语音克隆,单卡 150 倍实时

AI工具 LuxTTS:1GB 显存跑出 48kHz 语音克隆,单卡 150 倍实时

语音克隆又出了一个“小而快”的选择:LuxTTS 基于 zipvoice 的轻量级文本转语音模型,主打本地就能…

4次阅读 0个评论
AI工具 近两天内
Claude 封号原来是隐藏积分制:这份防封清单先收好

AI实战教程 Claude 封号原来是隐藏积分制:这份防封清单先收好

Claude 封号不是随机运气,更像一套隐藏积分制:注册先给初始分,之后的行为不断加分或扣分,分数掉到阈值以下…

7次阅读 0个评论
AI实战教程 近两天内
  • «
  • 1
  • ...
  • 19
  • 20
  • 21
  • 22
  • 23
  • ...
  • 143
  • »
文章搜索
分类目录
AI实战教程
AI工具
搞钱副业
每日精选
营销流量
最新文章
Pi Agent、Claude Code、DeepSeek Harness 新手怎么选?先看定位,别只看功能多少

Pi Agent、Claude Code、DeepSeek Harness 新手怎么选?先看定位,别只看功能多少

Pi Agent、Claude Code、DeepSeek Harness 都能写代码、调工具,但定位和设计理...
开源桌面端“短视频工厂”:提示词加分镜丢进去,口播配音混剪字幕一条龙批量跑

开源桌面端“短视频工厂”:提示词加分镜丢进去,口播配音混剪字幕一条龙批量跑

AI 短视频工具见得多了,大多是在网页里出一条预览看看效果。短视频工厂不一样:它是个开源桌面端,提示词和分镜素...
商汤开源 SenseNova-Loop-9B:32 套权重循环跑出 56 层,256K 上下文冲着 Agent 去的

商汤开源 SenseNova-Loop-9B:32 套权重循环跑出 56 层,256K 上下文冲着 Agent 去的

商汤新开源了一个 9B 模型,思路有点意思:只放 32 套权重,中间 24 层循环跑两遍,一次前向就相当于 5...
Mac 跑 Linux 容器嫌命令行麻烦?Contained 给 Apple container 套了个图形界面

Mac 跑 Linux 容器嫌命令行麻烦?Contained 给 Apple container 套了个图形界面

Mac 上用 Apple 的 container 跑 Linux 容器,嫌命令行不够直观的话,可以看看 Con...
WinSCP:Windows 传服务器文件一个工具全包,免费开源不用犹豫

WinSCP:Windows 传服务器文件一个工具全包,免费开源不用犹豫

Windows 上往服务器传文件,一个 WinSCP 就够了:SFTP、FTP、FTPS、SCP、WebDAV...
 Theme by Puock