linux.do
21.1K subscribers
118K photos
195 videos
115 files
251K links
linux.do最新话题和热议话题
Download Telegram
netcup 7欧折扣

今天点开netcup看到的优惠,打开首页就能看到
就是涨价涨的已经没有欲望买新机了,续费又不能用,难不成买新的然后迁移?那旧机的硬盘翻倍又没了。
有新购需求的倒是可以看看,算是涨价后一点小折扣了吧

----------------------

For a limited time only: Secure a springtime discount of € 7

Get your € 7 discount (excl. VAT) with the code netcupSpring26.
限时优惠:获得7欧元的春季折扣
获得7欧元的折扣(不包括增值税)代码netcupSpring26。
Valid until April 17, 2026. Minimum order value € 7 net. Excludes domains, SSL, groupware, merchandise, and hourly-based plans. Redeemable once per order. No cash redemption. To use the voucher, copy the code and enter it in the ‘voucher code’ field in your shopping cart.
有效期至2026年4月17日。订单金额最低7欧元可用。不包括域名、SSL、groupware、merchandise和基于小时付费的商品。每个订单可兑换一次。不可兑换现金。要使用代金券,请复制代码并将其输入购物车的“代金券代码”字段。
3 个帖子 - 3 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: fablia)
Codex老是回复上一轮的问题怎么办

真难受啊,到400k就开始胡言乱语了?🤣还是我的反代的问题

2 个帖子 - 2 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: 美味的布丁)
上线测试两个新功能

刚才上了两个新的功能,佬友们可以把玩把玩。

1. 可以对帖子进行简短回应。
可以看到非自己楼层有个小火箭图标,点击可以进行简短回应,可以带表情。发布之后再点击能删除,也可以对不当的言论进行点击举报。
2. 支持对帖子回复树形浏览。帖子右侧点击切换 View as nestedView as flat。切换到树形之后,可以选择排序(默认按照时间排序)。
image

看不到功能的,可以尝试刷新页面。快来试试看吧~

58 个帖子 - 57 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: Neo)
恭喜这位佬友二十二岁生日快乐!

每年农历二月二十~
已经通宵连续一周了~熬夜连续六个月~希望新的一岁开始,调整好作息,好好活着!
6 个帖子 - 6 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: 我不是蔡原)
有没有集成CLI的小工具

有时候需要开若干个CLI界面处理不同的项目,但是开多了之后好几个黑窗看着还是有点南蚌的。有没有现成的小工具可以集成这些窗口的,方便管理

4 个帖子 - 4 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: 擎伞驻阡陌)
大家都来分享点有趣的计算机知识吧

在学习计算机基础的时候,遇到了一些非常优美的计算机理论知识,希望大家都能来分享一些。在这里我分享一下我最喜欢的:Levin关于单向函数的构造。

单向函数(One-Way Function)与理论计算机和密码学里的很多理论都有密切关系,诸如 NP=P 问题就跟单向函数的存在性直接相关。如果单向函数存在,那么显然 NP\neq P 。这里,有人可能有疑问:有没有可能存在单向函数,但是我们都发现不了?

Levin构造的单向函数直接终结了这个问题:要么单向函数不存在,要么我现在构造的这个函数就是一个单向函数。

背景知识

这里,我们先来看看什么是单向函数。通俗来说,单向函数就是“正向计算简单(多项式时间内可计算)、逆向计算困难(多项式时间内难计算)”。但是为了严谨,我们需要正式定义它。单向函数有两种定义,虽然看起来不同,但是实际上是等价的:
单向函数的定义 (点击了解更多详细信息)
强单向函数很好理解,指的是求逆成功的概率可忽略不计。而弱单向函数则指的是敌手总有一点不可忽略的概率无法求逆,由于这部分是不可忽略的,所以可以通过“并联”多个弱单向函数得到一个强单向函数,因此两者等价(由姚期智证明)。为了叙述方便,后续我们有时候会分别用到强/弱单向函数的性质,但是实际上这两者是一样的。

构造

OK,看完了背景,那么我们就来回顾一下Levin构造的单向函数,先构造以下函数:
Given\ x\in\{0,1\}^n, f_1(x)=(x',M_{I_{x'}}(x''))
其中, x'=x_1|x_2|\cdots|x_{\log n} 是 x 的前 \log n 个比特, x''=x_{\log {n+1}}|x_{\log {n+2}}|\cdots|x_{n} 则是 x 剩下的比特, I_{x'} 则代表“ x' 对应的整数”, M_{I_{x'}} 则是 I_{x'} 对应的图灵机。

现在,我们来看一下这个函数的特征。当输入长度为 n 时,一共有 2^n 个 x、n 个 M_{I_{x'}} 。换言之,当我们随机选取 x\in\{0,1\}^n 并计算 f_1(x) 时,做了这么一件事:先随机选一个图灵机 M_{I_{x'}} ,再随机选一个 x'' 然后计算 M_{I_{x'}}(x'')。

如果存在单向函数的话,会得到什么结果呢?假如单向函数是存在的,那么一定有一个图灵机可以把它写下来。当 n 趋近于无穷大时,一定有至少一个 M_{I_{x'}} 就是这个单向函数!而且,由于 x' 的长度为 \log n ,所以只有 n 个不同的 M_{I_{x'}} ,也就是说这样的图灵机占 1/n 。回顾弱单向函数的定义我们可以发现,如果至少有一个 M_{I_{x'}} 是弱单向函数,而它的输出又占了整个值域的 1/n ,那么 f_1(x) 也是难于求逆的。

到这里,似乎我们已经完成了单向函数的构造。**但是,单向函数还有一个性质是易于计算。**如果我们选择的图灵机 M_{I_{x'}} 是一个超多项式时间的图灵机怎么办?这就是Levin牛逼的地方,我们遇到这样的问题肯定放弃了,但是他没有。

一个简单的思想是,我们限制一下 M_{I_{x'}} 的计算能力,让它在诸如 n^c 之内停机。但我们怎么确定 c 呢?c 不能太小,否则有可能连单向函数正向都无法完成计算。同时 c 又必须是一个常数,但在不知道单向函数的正向计算到底需要多少步的情况下,又怎么能确定 c ?Levin告诉我们,只需要将 M_{I_{x'}} 限制在 n^2 即可。换言之,如果存在单向函数,那么存在 \mathcal O(n^2) 内可计算的单向函数。 接下来,我们来证明这件事:
简略证明 (点击了解更多详细信息)
现在,我们只需要把 M_{I_{x'}} 的计算步骤限定在三次方内即可。换句话说,最终构造出的显式单向函数为:
f_2(x)=(x',M_{I_{x'}}'(x''))\newline M_{I_{x'}}'(x'')= \begin{cases} M_{I_{x'}}'(x'') & \text{如果在} |x''|^3 \text{内停机} \\ 0 & else \end{cases}
可能表述有所不清晰,希望大佬们多包涵,也希望大家都来分享自己觉得优美、有趣的计算机基础知识!

3 个帖子 - 3 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: void)
手机端剪藏/收藏网页文章的方法?

俺平时用 Obsidian 结合浏览器扩展 Obsidian Web Clipper 来收藏看到的好文章,和这位佬友分享的差不多:Obsidian+Claude太强了:拯救你吃灰的收藏夹

平时经常用手机看到好文章,俺的做法是先发到文件传输助手,之后再用电脑整理,但这样总归还是麻烦,所以求问佬友们手机端剪藏文章的最佳实践是什么?

1 个帖子 - 1 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: 初梦)
有没有其他通信软件(飞书、tg)等控制codex的方案(上班摸鱼用)

发现用openclaw通过tmux效果不好,有没有其他通过通信软件控制codex干活的方法?
各位大佬请赐教,

8 个帖子 - 4 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: soycodetrail)
AI真能跑出好的交易策略吗?还是直接让agent交易更好?

最近在研究交易策略,但看到大家都在搞TradingAgents,突然感觉研究策略已经落后于时代了,研究能交易的agent才是正途.

2 个帖子 - 2 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: 一)
为啥tg上看到一堆自助开通plus的,程序都是一模一样的!是开源的吗?

话说这个自助开通的gpt plus的是有啥开源程序吗?我tg上看到一堆卖这个的全都是用的这个程序,但github上搜关键词没找到对应的,佬们有知道是哪个程序吗?
7 个帖子 - 5 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: pennyjoly)
stream disconnected before completion: Transport error: network error: error decoding response body怎么处理

绷不住了,请问各位佬在使用桌面codex时,有遇到过吗,我是直接使用plus官方登录的,近一周一直出现这个问题

跪求解答 🥲
1 个帖子 - 1 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: 天线)
关于cc-switch的几个疑问

1.这个模型只能自己手敲预填吗?不能像其他平台一样把api能用的模型列出来自己选吗?
2.我用的gpt公益站提供的api,对应的模型只有以下几种:

如何设置思考强度能,直接填gpt-5.4(xhigh)吗?
1 个帖子 - 1 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: HPetter)
一张鱼上买的虚拟0刀卡

本来拿来绑claude pro7天的,结果没绑上。还有1个多小时有效时间。要的自取。
卡号
4859540168271681
日期
01/30
到期时间
1小时 25分钟 30秒
CVV
537
手机号
+12175932363
接码API
http://a.62-us.com/api/get_sms?key=9518ab628faa8f2bbc9e629aa8e3dee6
接码API使用说明
日期格式为月份/年份 如需要四位数年份则在年份前方加上20 接码API无法接收任何用于注册的验证码 只能接收3DS跟消费验证码!!
姓名
LEMUEL JONES
地址
316 MCKENZIE RD APT D,SPRING LAKE 28390,US

1 个帖子 - 1 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: bcnhinew)
破事水, GPT-5.4 CODEX还会出现么?

感觉5.4出了非常久, 但是codex版本迟迟没发布.
怕不是下个产品真是GPT 6? 还是什么超级劲爆的模型?

7 个帖子 - 6 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: ANON)
有没有大佬来个扣子空间视频工作流源码分享

来个大佬有没有扣子空间视频工作流生成的源码 分享一份呗

1 个帖子 - 1 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: 听风)
Telegram必备的搜索引擎,极搜JISOU帮你精准找到,想要的群组、频道、视频、音乐

👉 t.me/jisou?start=a_7387292324
哪个网站比较多打游戏的人?想买个广告位

一个月预算三,五百左右,买个广告位面向打电脑游戏,或者单机游戏的人群

像3dm,游侠网,小黑盒这种就碰瓷不了,预算有限。

2 个帖子 - 2 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: GOUDAN123)
Kimi的回复味道感觉怪怪的!这是模型的问题还是投喂的数据问题?


[! ]我让kimi作为一名英语老师,给我提供英文作文模板,发现了模板的语法错误。让它检查,它自己不改。我明确指出模板的错误语法后这反映绝了!

1 个帖子 - 1 位参与者

阅读完整话题

via LINUX DO - 最新话题 (author: rey)