https://linux.do 论坛的话题更新通知频道。
Xushengfeng 在 祈祷新编程语言的发明 中发帖
现在越來越觉得只有在基础设施搭配好的情况下ai才能编得更好,利好人类就是利好ai
诸如ts、rust以及它们的编译前检查等现代特性的效果大家有目共睹
下面开始幻想出现一门新的编程语言
自动推理几乎所有类型
可以添加或者自动添加数学证明,保证程序绝对正确
有了近乎完美的类型和数学属性作为提示后,编译器可以尽情发挥其聪明才智
自动处理多线程,自动根据运行复杂等拆分
自动优化算法,比如某个数据分布是几乎随机的,那自动优化为快排,如果分布有规律就使用冒泡
临时运行统计,进行优化
可以像写脚本语言一样,但是编译后达到原生语言的水平(配合算法优化不敢想
尽管上面充满了幻想,但是每个部分都有相关实现
比如数学证明,微软就有个 Dafny 语言,可以书写数学证明来保证下面的代码正确性,不会出现意料之外的情况
又如自动优化算法,有个 Herbie 项目,可以找到数学上等价,但是对于计算机来说精...卖女孩的小火柴 (@lhteen) 在 佬们,有没有好用的扫描版pdf处理流程可以分享一下 中发帖
最近正好准备换一个电子书管理软件,就想着把存的电子书重新处理一遍,之前一直都是下完扔进wps/abbyy扫一下就完了,因为扫描件的质量参差不齐,ocr的质量也就一般,不知道佬们有没有思路可以分享一下@Myallure 在 现在ai好像都搞agent去了,数学来讲o哥还是天花板 中发帖
o哥是怎么做到这么全面的,数学逻辑推理、代码、agent一把抓,幻觉还不高,实在难以想象这是一个规模不是特别大的模型。国模k2.5 glm5 mimo数学感觉都对比前版本退化了無名 山河 (@user1824) 在 某🐟上,代注册,代写小作文,是否已经严重违反了社区准则 中发帖
社区欢迎新鲜的血液,注册小作文本质也是一种筛选,某些3级用户,已经出现代写小作文等服务,是否应该视为严重违反社区准则。这真的好吗
[Screenshot_2026-03-23-13-04-31-45_0dff84d2da4d0ad536cbb4d749024dd6]
[Screenshot_2026-03-23-13-04-20-69_0dff84d2da4d0ad536cbb4d749024dd6]
[Screenshot_2026-03-23-13-04-10-24]nank 在 最近用Nas搭建了一个OpenClaw,结果很痛啊 中发帖
用的是绿联Nas 4800Plus,Nas 官方给的是MiniMax2.1 享用一个月。
劣势:只能文字、不能图片,导致昨晚绑定个微信的OpenClaw Channel
会导致和微信握手的二维码显示不正确,码渲染有问题,折腾一晚上没弄好,放弃了。
建议最近有这台机器的同学别操作了,因为会导致docker容器反复重启,导致容器废掉。
我最后在应用商店重装了openclaw,我的定时任务都没了。 😿@payy 在 有个关于公益站的问题香请假一下 中发帖
第一次用这些公益站,我用的是Cherry Studio,它有绘图功能吗,还是纯文字的,因为我想用它生成图片,它提示“非常抱歉!因为当前对话窗口的系统限制,外部的图片链接没能成功加载显示。”GoAndRun (@World-controller) 在 [抽奖]:腾讯QClaw内测邀请码 * 1(截至到3.23 21:00) 中发帖
腾讯QClaw内测邀请码 * 1,有需要的佬友可以积极评论哦
抽奖工具:https://lottery.linux.do/@M1n9X 在 一种检查特定 API 模型是否为原始官方模型的技术方案 中发帖
最近看到一篇论文 [2603.01919v2] Real Money, Fake Models: Deceptive Model Claims in Shadow APIs
里面介绍了几种方案来检查特定 API 的模型是否为原始官方模型。
主动指纹识别检测,使用开箱即用的 LLMmap 框架:
原理:LLMmap 是一个主动指纹识别框架。它的核心原理是通过向模型发送一组精心设计的查询集,分析模型的输出特征,并计算其与参考数据库中官方模型输出的余弦距离 (Cosine Distance),从而精准分类并识别模型的真实身份。
自行检测标准:论文建议使用至少 24 个探针向端点发起查询。如果计算出的余弦距离超过官方基准的 1.2倍,或者框架识别出的 Top-1 模型与 API 宣称的模型不符,则可以直接判定该 API 存在欺骗行为。
统计学分布检测,使用开箱即用的 MET (模...帅帅 (@shuaishuai1) 在 佬友们boss上找到一个远程不知道该不该辞掉现在的工作去做 中发帖
下图是该岗位的详细信息
[image]
[image]
[image]
[image]
[image]
[image]
[image]
不知道要不要去,薪资我谈到了13,但是时间有点阴间,同时试用六个月还不会缴纳社保这些。不知道有没有坑。希望老友们给一点参考意见谢谢verdict 在 opus对比codex的一些见解 中发帖
这两个我结合使用高强度体验下来,我发现opus对于问题的发现在局部可以非常细,但是对于大局观没有codex好,
对于codex提出的审查意见,我交给opus分析后,基本都认,claude对于codex的评价是深度比自己列出的问题高,自己则是局部细节更多.
对于opus提出的审查意见,我交给codex分析后,大概有三成codex是不认可的.
codex比较会偷懒,总是分析大概给出不超过10个问题后就给出结果了,但是claude一次性会给出尽量多的问题,虽然codex给出的问题少,但是问题深度总体比opus的高,这是opus自己评价的,所以我都是让opus帮我分析更多的问题,然后交给codex查看是否认同,结合两份清单,交给codex来写,极少翻车stevessr backup 在 也许人只是需要温暖? 中发帖
也许你只是需要一个温暖的对象?[1]
[image]
人会感觉自己一世无成吗?
[image]
[image]
[HEAj9heaEAEYsJ6]
[image]
[HD_wxgfa8AABbCl]
[image]
[image]
[image]
[image]
[image]
[image]
[image]
[image]
[image]
[image]
怎么又是她……
[image]
[image]
[image]
[image]
[image]
[image]
怎么还有实习的诱惑
[image]
[image]
[image]
[image]
[image]
[image]
[image]
[image]
[image]
[ima...