V2EX › xtreme1 的所有回复 › 第 3 页 / 共 63 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

1 2 3 4 5 6 7 8 9 10 ... 63

❮

❯

34 天前

回复了 huyangq 创建的主题 › 程序员 › C/C++ 第三方的依赖管理怎么做啊？

Linux 下也有 vcpkg.

36 天前

回复了 YanSeven 创建的主题 › 程序员 › 关于大模型原理的感叹

这不是前两年的日经话题么, 主流的一个观点是(我的总结不一定准确), 人类自己的"学习理解"就是在压缩信息, 即找到最短的编码方式, 而这和"预测哪个字最可能出现", 在数学上是同一回事. 相关文章可以搜索 Compression is Intelligence.

39 天前

回复了 gfwuzer 创建的主题 › 硬件 › 理想中的显示器： 4k、22 寸、OLED、120Hz、RGB 布局

还得卖￥ 800

39 天前

回复了 livib 创建的主题 › 奇思妙想 › 如何设计一个支持高强度对线的社区

墙内大部分社区都是啊

40 天前

回复了 koor 创建的主题 › 淘宝 › 京东购买终身质保的内存，出现故障却无法维修

狂潮 -> 矿潮

40 天前

回复了 koor 创建的主题 › 淘宝 › 京东购买终身质保的内存，出现故障却无法维修

我如果直接联系厂家售后，也许可以给换成同规格的商品

反正狂潮时, 显卡厂商是没有这么玩的

42 天前

回复了 yezheyu 创建的主题 › 程序员 › 可以给手机刷上原生 Linux 吗？

做不到, 没自由驱动, 只能用 Ubuntu touch 之类的手动用精简 Android 把外设启起来, 再暴露回来

43 天前

回复了 sdwgyzyxy 创建的主题 › 计算机 › 各位看看这个主机大概还能值多少钱？

整机打多少折都出不掉的, 机电散纯负负资产, 拆开才有可能出掉

43 天前

回复了 sillydaddy 创建的主题 › 问与答 › 如何保存数据跨越 50 年？

数据保存 50 年, "嫌麻烦". 你这个根源上就是不可解的.

47 天前

回复了 DavZhn 创建的主题 › 游戏 › 有打三角洲的吗

赶紧跑

47 天前

回复了 2018yuli 创建的主题 › Java › Java 得冗余与啰嗦是不是对 AI 不友好

对 ai 不友好还是对钱包不友好
什么代码结构易于 llm "理解"
Java 的 orm 问题

这是几个独立的问题

47 天前

回复了 yuanyao 创建的主题 › JetBrains › JetBrains IDE 对字体连写支持的不太好？

https://youtrack.jetbrains.com/issue/IJPL-26382/Support-stylistic-sets-for-fonts

47 天前

回复了 vbxnxn 创建的主题 › 问与答 › 4K 高刷显示器接入问题

说明转接器是转出 hdmi 2.0. 你不用看它宣称支持几百几万赫兹.
你这个场景应该买支持一线通的显示器

48 天前

回复了 yifangtongxing28 创建的主题 › 分享发现 › v 友们对台式机 192g 大内存有需求吗

这种套装只能卖给 oc 佬. 人家手里可能比你还多.
真生产力刚需都是啥便宜买啥, 也不管是不是套包是不是同款 ic, 能开 3600 就行

49 天前

回复了 p286767375 创建的主题 › 问与答 › 有没有必要现在换显卡？

我觉得可以啊, 要是 3000 块就能让你每天回家打开电脑都开开心心的, 那这个情绪价值性价比可太高了

49 天前

回复了 p286767375 创建的主题 › 问与答 › 有没有必要现在换显卡？

2077 难, 其余轻松

49 天前

回复了 muchan92 创建的主题 › 程序员 › 为什么非得按顺序写代码？顺序重要吗？

@muchan92 #53
我们要解决的问题是维护程序的正确性.

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

所以 #1 说你是计算机民科是毫不夸张的.

50 天前

回复了 muchan92 创建的主题 › 程序员 › 为什么非得按顺序写代码？顺序重要吗？

来碰瓷 pl 领域了, 开始发明 theorem prover 了?
Coq / Agda 了解一下先

53 天前

回复了 cocong 创建的主题 › Java › 为何 RestTemplate 无法定制请求

用 WebClient, 可以拿到一个 CompletableFuture

53 天前

回复了 tim2017 创建的主题 › 硬件 › 消费电子贬值加速，显卡、存储芯片的涨价逻辑靠谱？

因为 nand flash 不是消费电子

1 2 3 4 5 6 7 8 9 10 ... 63

❮

❯