CrazyRundong 最近的时间轴更新
CrazyRundong

CrazyRundong

V2EX 第 233766 号会员,加入于 2017-06-03 22:35:29 +08:00
今日活跃度排名 3748
CrazyRundong 最近回复了
3 小时 5 分钟前
回复了 pythonee 创建的主题 程序员 如何验证程序的正确性
形式化验证(即答),直接从理论上证明程序的正确性
21 小时 9 分钟前
回复了 zw1one 创建的主题 职场话题 大家规定的工作时长是多少?就我是满满 8 小时么?
不定时工作制,不打卡,每天的工作时间大概是 11:30 ~ 18:15
11 天前
回复了 cczhrd 创建的主题 宽带症候群 大家的软路由是当主路由还是旁路由
主路由,否则没法接管局域网内其他设备的 IPv6 流量
19 天前
回复了 kidzgy 创建的主题 问与答 请问这种字幕的风格是啥?
ps: 文泉驿微米黑是很古早的开源无衬线字体了,个人觉得替换成更现代的思源黑体更好看
19 天前
回复了 kidzgy 创建的主题 问与答 请问这种字幕的风格是啥?
这是 CMCT PT 站 DIY BD 原盘 /miniBD 风格的字幕(有点绕),中文字体是文泉驿微米黑,西文是 Yahei UI ,有轻微的模糊阴影,具体颜色可以用 Windows 自带的拾色器采样一下。
我自己是半篇综述 + 两篇顶会 proceedings + 一篇 workshop 的工作量,同实验室有一篇国内期刊工作量也盲审过了的。像楼上说的,主要还是要有正规学位论文的完整框架,格式别出大乱子,把内容填满就好。
临时解决方案:在电视上装了 Clash for Android 后开启全局模式,总算能正常访问了
@knightdf #2 把这些域名都加到了旁路由规则里,还是不行
@Maskeney #1 试过根据 src-ip 把来自电视的所有流量都转发到新加坡节点,还是有这个问题。所以怀疑是 DNS 相关的请求根本没被转发到 Clash 上。
28 天前
回复了 James369 创建的主题 程序员 有 v 友用 wsl 来做 3d 图形或 AI 训练的吗?
wsl2 可以用 cuda ,日常轻量 debug 还行,真要训练也就图一乐
关于   ·   帮助文档   ·   API   ·   FAQ   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   2442 人在线   最高记录 5497   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 29ms · UTC 12:55 · PVG 20:55 · LAX 04:55 · JFK 07:55
♥ Do have faith in what you're doing.