Computer

Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.

Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).

子版块

Networking

计算机网络

61
主题

272
帖子

?

GPT4账号在哪买

• • 游客

有3.5账号，但是没有国外银行卡

2

0
赞同

2
帖子

90
浏览

?

vvacard上面可以买虚拟的信用卡，用淘宝可以直接买它的充值卡信用卡看卡头前六位就行，不行换一个卡头
?

几个数学机械化程式

• • 游客

Jgex (java geometry expert) 已上架snap https://github.com/kovzol/Java-Geometry-Expert 可以当几何画板，可以数值检验，使用包括吴方法的多种机器证明方法自动证明，还能生成很短很简洁的可读证明，当初数学文化上听说了吴方法，在数学机械化实验室看到了一些半成品，GitHub上这个项目现在还有人维护，数学机械化实验室里好多都是deadlink，还有一个maple wsolve包

9

2
赞同

9
帖子

460
浏览

?

https://vprover.github.io/ vampire自动证明器似乎是逻辑系列最强的了
W

有没有人说一下gpt4的使用体验？

• • wumingshi

没有买plus的我体验不了，好奇

13

0
赞同

13
帖子

673
浏览

?

不想花钱在poe chat上试用下，一天可以用一两次的，个人感觉较之gpt3.5提升蛮明显的。
W

看形式语言和自动机导论虽然看不懂更深入一点的定理和证明

• • wumingshi

但是定下规则后道德经三生万物式的创世感真好玩

2

0
赞同

2
帖子

166
浏览

W

利用数学语言对各个层次的形式语言的精确定义还需要多熟悉
N

树洞删帖恢复工具

树洞 github 油猴脚本 • • Nakusa

写了一个树洞删帖恢复脚本实现对树洞内容以及评论回复进行缓存，并且在刷新时若发现有被删除的贴子，查找本地储存，若发现有备份，则将数据插入至数据包中效果图： 16211689227937_.pic.jpg 由于我写js代码并不熟练，所以代码可能并不优雅，请见谅欢迎大家使用这个工具，另外也欢迎指出bug（这是极有可能的）以及加入对这个工具后续的开发技术细节可以到仓库里面看： https://github.com/w1ndman/PKU-hole-snapshoter

6

0
赞同

6
帖子

385
浏览

N

@admin 如果不能索引的话，那感觉也不是很好实现哎
W

我超，原

• • wumingshi

天呐！我的AI派蒙桌宠诞生了长期记忆 https://www.bilibili.com/video/BV1s8411Q7oa

1

0
赞同

1
帖子

32
浏览

W

天呐！我的AI派蒙桌宠诞生了长期记忆 https://www.bilibili.com/video/BV1s8411Q7oa
W

Meta开源的Code Llama怎么样

• • wumingshi

个人能跑吗，看起来很好玩的样子

1

0
赞同

1
帖子

48
浏览

W

个人能跑吗，看起来很好玩的样子
W

这个直播加密方法怎么样？

• • wumingshi

https://www.bilibili.com/video/BV1au4y1m7GH/ 如果再改进一下是不是还能实现表面上在播放另一个视频的效果

2

0
赞同

2
帖子

52
浏览

?

灯下黑了属于是。
?

如何寻找telegram高质量频道或者群组

• • 游客

科技，机器学习，学术，政治，经济等等都可以。中英文都可以，偏好英文。有推荐或者在哪看吗？telegram ui太简介了，没有推荐算法

5

0
赞同

5
帖子

204
浏览

?

你看看上面这些。。
?

Steganography简介

steganography • • 游客

隐写和数字水印可以很好用于应对网络关键词审查和在国内社交媒体传递消息，还可以与加密结合使用，就算被知晓也会加大审查员审查难度比较好用的隐写工具 list item图片隐写 https://achorein.github.io/silenteye/ list item音频隐写 http://jpinsoft.net/deepsound list item零长度字符隐写 http://330k.github.io/misc_tools/unicode_steganography.html 还...

5

0
赞同

5
帖子

154
浏览

?

图片或音频隐写的话，鲁棒性足够么？
?

此主题已被删除！

• • 老用户

5

0
赞同

5
帖子

160
浏览
?

有什么popi之类匿名提问箱的开源替代吗

• • 游客

我试着搭建了tankee的Anonymous question box，但vercel好像不允许自动部署了

3

0
赞同

3
帖子

52
浏览

?

https://stark-qbox.pages.dev 做了反代
?

有人打印出一把枪了吗

gun 3d print • • 游客

https://www.wired.com/video/watch/i-made-an-untraceable-ar-15-ghost-gun-in-my-office 据说改进了技术，使用特制子弹可以不损伤塑料枪体图纸在fosscad.org开源可以下载，3d打印机也不贵，可能要用ghost gunner，软件也是开源的不知道国内法律怎么规定的

4

0
赞同

4
帖子

117
浏览

?

美国人技术藏的死，最大图纸站defcad.org只对美国ip开放，vpn也不行，要不谁有美国去vps扒下来我能进去啊
?

网盘安全存储方案

• • 游客

我用的是alist实现webdav和聚合+cyberduck挂载webdav+内置cryptomator加密，感觉不错，这下多了几百个G

1

0
赞同

1
帖子

50
浏览

?

我用的是alist实现webdav和聚合+cyberduck挂载webdav+内置cryptomator加密，感觉不错，这下多了几百个G
W

安卓手机是不是不用指望自己屏蔽开屏广告和跳转其他APP了

• • wumingshi

看着就烦看着就烦看着就烦看着就烦

2

0
赞同

2
帖子

48
浏览

?

如果root了可以用adguard修改host，让它们指向本机或者无效的地址，如果没有只能用vpn了
?

有无支持导入导出Nfc卡的应用

• • 游客

有无支持导入导出Nfc卡的应用

1

0
赞同

1
帖子

39
浏览

?

有无支持导入导出Nfc卡的应用
?

站友有没有用非+86注册过qq或wechat

• • 游客

如题，注册会不会失败或者强制额外验证，甚至使用不久就封号？

7

0
赞同

7
帖子

228
浏览

?

突然感觉这个没有意义，不是和父母老师联系谁tm使用微信，而这本身就是暴露身份的
?

可否建立更加自由的pt站

• • 游客

目前各大pt站显然都是独裁的状态，还依靠腐朽的bbs等级和积分制度

17

0
赞同

17
帖子

380
浏览

J

某些公网PT站各种节奏确实恶臭，pt吧看了几天感觉环境比教育网pt差远了
?

有没有几何画板开源替代

• • 游客

geogebra功能不够，几何画板内置了很多几何模块，比如一些著名点和几何结构，geogebra都没有

1

0
赞同

1
帖子

45
浏览

?

geogebra功能不够，几何画板内置了很多几何模块，比如一些著名点和几何结构，geogebra都没有
?

成绩证明等重要电子文件放在onedrive 个人版安全吗

• • 游客

或者有无更好点方案，不在云储存有设备坏掉或者掉了丢失的风险。 mega也要审查，youtube 上 Anonymous tools 2016链接就没了

2

0
赞同

2
帖子

117
浏览

K

可以试一下本站另一个帖子提到的 Cryptomator 和VeraCrypt。（另外云储存其实也不能说没有机房着火的危险，所以一般还是建议多备份几份，如3-2-1 原则。）

3 / 5

此主题已被删除！