V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  aguesuka  ›  全部回复第 7 页 / 共 46 页
回复总数  905
1 ... 3  4  5  6  7  8  9  10  11  12 ... 46  
undecidable 的 adt 没有灵魂.

@kilasuelika 下一个 10 年, 函数式编程中的性能问题"有望"通过 Cost-Aware Type Theory 这样的东西(但不是 CATT 本身)解决.
@TWorldIsNButThis kotlin 的 sealed class 之前也是个残废, 因为 jdk 的原因只支持抽象类不支持接口, 而且好像 jetbrains 不把它挡回事.
2022-07-14 13:19:58 +08:00
回复了 coala 创建的主题 Java [ Java ] 代码质量糟糕, 是常态吗?
直接原因是 Java 程序员普遍菜; 根本原因是因为市场太温柔, 养活了一堆制造屎山的公司.
2022-07-14 13:17:14 +08:00
回复了 coala 创建的主题 Java [ Java ] 代码质量糟糕, 是常态吗?
@qdxb 如果这样被气, 智能说楼主的心胸太狭隘了
2022-07-13 19:23:39 +08:00
回复了 leiuu 创建的主题 程序员 /bin/ Java 的入参解析源码哪里可看
javac 和 jar 命令的代码是 java 写的 com.sun.tools.javac.Main 和 sun.tools.jar.Main. 不过 java 命令本身我猜不是 java 写的, 所以可能要翻 jdk 仓库了.
2022-07-13 19:06:41 +08:00
回复了 kklk 创建的主题 程序员 请教一下各位大佬,我想入门 C#,有没有教材书籍推荐一下
@aw2350 问题 u3d 也不是 .net 啊
日子人收收味, 学习降低心智负担的特性是节约生命, 和你最喜欢的岁月静好不冲突.
事实上如果像我这样有一份闲地发慌的工作, 你会发现把代码写好, 或者说创建一个美丽的事物其实是人类的第一性需求.
2022-07-13 16:00:04 +08:00
回复了 Iamsonny 创建的主题 问与答 做为程序员,你们会信任自动驾驶么?
前提是不要基于神经网络
@liprais 多线程最快, 你改改试试
@bk201 那别用泛型了, 反正都一样
@n18255447846 有那种 ADT 都不懂的人谈算法的画面感了.
这栋楼完美诠释了为什么 Java 程序员拥有刻板, 啰嗦, 不思进取又菜的刻板印象.
2022-07-11 19:51:42 +08:00
回复了 Richard14 创建的主题 问与答 软工类工作,面试考察底层知识是否合理?
@Richard14 就是说这个题让自动化的人来做能做得更好, 用来考察程序员是不合适的.
2022-07-11 12:40:32 +08:00
回复了 Richard14 创建的主题 问与答 软工类工作,面试考察底层知识是否合理?
你 hold 住第二道题吗, 如果别人用 verilog 写答案你看得懂吗, 对于自动化的学生来说, 你的题目就和"未曾设想的道路"没啥区别
2022-07-11 09:05:31 +08:00
回复了 Gomi 创建的主题 酷工作 成都前端,对于裸辞怎么看,先辞职再找工作是否明智?
裸辞以后, 心态会很不一样, 会有一种"原来我打工就是为了现在这么爽"的感觉, 而且面试的时候敢于直接怼人了.
2022-07-09 11:21:04 +08:00
回复了 overthemoon 创建的主题 程序员 最近面试遇到的装逼面试官
装逼当然是要降维打击, 他说 JVM, 你就说 Java 再调也是慢, 不如 native. 问就是看 paper, 博客论坛源码都是二手消化的东西
2022-07-06 11:36:01 +08:00
回复了 inktiger 创建的主题 问与答 学历,对人生,对婚姻的重要性真的特别差距大吗?
学历, 做题能力, 服从性是正比关系
相亲当然找良服从性的最佳
你们不懂, 这种只有"名词"和"概念"的文章一般是缓解"我要创业者" 和 "创业失败者"的焦虑心情用的.
这段代码能 O(1) 地 [添加元素返回下标] , [通过下标获得元素], [通过下标删除元素].
但是列表是无序的, 不能保证删除的幂等性.

https://github.com/aguesuka/torrent-finder/blob/dev-nio2/src/main/java/cc/aguesuka/maguet/util/ArrayHeapSpace.java
2022-06-30 11:50:07 +08:00
回复了 fpure 创建的主题 程序员 这算不算是静态类型系统的缺憾
@fpure "我在想这里 x 的类型可不可能随着实际取值完美收窄,然后程序通过这样的类型系统自动证明程序的正确性"
完全可以 PROGRAM = PROOF

https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf
1 ... 3  4  5  6  7  8  9  10  11  12 ... 46  
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   5460 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 34ms · UTC 09:13 · PVG 17:13 · LAX 01:13 · JFK 04:13
Developed with CodeLauncher
♥ Do have faith in what you're doing.