V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  xtreme1  ›  全部回复第 1 页 / 共 61 页
回复总数  1211
1  2  3  4  5  6  7  8  9  10 ... 61  
还得卖¥ 800
2 天前
回复了 livib 创建的主题 奇思妙想 如何设计一个支持高强度对线的社区
墙内大部分社区都是啊
狂潮 -> 矿潮
我如果直接联系厂家售后,也许可以给换成同规格的商品

反正狂潮时, 显卡厂商是没有这么玩的
5 天前
回复了 yezheyu 创建的主题 程序员 可以给手机刷上原生 Linux 吗?
做不到, 没自由驱动, 只能用 Ubuntu touch 之类的手动用精简 Android 把外设启起来, 再暴露回来
6 天前
回复了 sdwgyzyxy 创建的主题 计算机 各位看看这个主机大概还能值多少钱?
整机打多少折都出不掉的, 机电散纯负负资产, 拆开才有可能出掉
6 天前
回复了 sillydaddy 创建的主题 问与答 如何保存数据跨越 50 年?
数据保存 50 年, "嫌麻烦". 你这个根源上就是不可解的.
10 天前
回复了 DavZhn 创建的主题 游戏 有打三角洲的吗
赶紧跑
10 天前
回复了 2018yuli 创建的主题 Java Java 得冗余与啰嗦是不是对 AI 不友好
对 ai 不友好还是对钱包不友好
什么代码结构易于 llm "理解"
Java 的 orm 问题

这是几个独立的问题
10 天前
回复了 yuanyao 创建的主题 JetBrains JetBrains IDE 对 字体连写支持的不太好?
10 天前
回复了 vbxnxn 创建的主题 问与答 4K 高刷显示器接入问题
说明转接器是转出 hdmi 2.0. 你不用看它宣称支持几百几万赫兹.
你这个场景应该买支持一线通的显示器
这种套装只能卖给 oc 佬. 人家手里可能比你还多.
真生产力刚需都是啥便宜买啥, 也不管是不是套包是不是同款 ic, 能开 3600 就行
12 天前
回复了 p286767375 创建的主题 问与答 有没有必要现在换显卡?
我觉得可以啊, 要是 3000 块就能让你每天回家打开电脑都开开心心的, 那这个情绪价值性价比可太高了
12 天前
回复了 p286767375 创建的主题 问与答 有没有必要现在换显卡?
2077 难, 其余轻松
@muchan92 #53
我们要解决的问题是维护程序的正确性.

大部分现代程序采用的方式是上 unit test, regression test, 上静态分析
另一条路是写出符合某 specification 的代码, 即 formal verification, 也是你实际上在做的路子.
这是 cs 中 pl 领域的很大一块, low hanging fruit 基本不存在了. 想入门这块可以从 Software Founditions 和 PLFA 看起.

所以 #1 说你是计算机民科是毫不夸张的.
来碰瓷 pl 领域了, 开始发明 theorem prover 了?
Coq / Agda 了解一下先
16 天前
回复了 cocong 创建的主题 Java 为何 RestTemplate 无法定制请求
用 WebClient, 可以拿到一个 CompletableFuture
因为 nand flash 不是消费电子
32 吋不可能是 gen 4 woled 呀
19 天前
回复了 lfsc 创建的主题 问与答 求 PC 微信多开方案
Microsoft Store 装一个, exe 装一个
1  2  3  4  5  6  7  8  9  10 ... 61  
关于   ·   帮助文档   ·   自助推广系统   ·   博客   ·   API   ·   FAQ   ·   Solana   ·   2520 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 36ms · UTC 10:13 · PVG 18:13 · LAX 02:13 · JFK 05:13
♥ Do have faith in what you're doing.