aguesuka 最近的时间轴更新
aguesuka

aguesuka

V2EX 第 390901 号会员,加入于 2019-03-10 10:32:35 +08:00
今日活跃度排名 6605
NIO 里面, SocketChannel.connect 的时候发生了什么?
Java  •  aguesuka  •  283 天前  •  最后回复来自 SoloCompany
3
用 Java 撸了一个 yield 的玩具
  •  2   
    Java  •  aguesuka  •  2019-09-07 22:03:12 PM  •  最后回复来自 janus77
    16
    aguesuka 最近回复了
    2 天前
    回复了 xxbutoo 创建的主题 Ubuntu ubuntu 装 go 真是噩梦啊
    说明被坑得还是少了。比如 apt 的 agda 一直是个有问题的包,官方推荐下载源码编译
    2 天前
    回复了 caiji11 创建的主题 Java 哪里可以下载到 Java 抽象语法树的源码包呢
    法律是统治工具。你也配姓赵
    8 天前
    回复了 Braisdom 创建的主题 Java 历经 3 年,终于得以实现了
    楼主了解依赖类型(dependent type)吗。我想过为什么 java 表现不了 sql,这个是答案之一。不过 sql 是基于集合论而非类型论,所以拘束于 sql 语法是实现不了类型安全的
    10 天前
    回复了 cnqncom 创建的主题 问与答 win10 太吃 C 盘空间了,有啥办法嘛?
    换 linux
    厂里打工
    13 天前
    回复了 YunGiser 创建的主题 问与答 应届非科班转码工作求助
    有个想法,不一定对。楼上劝考研的各位都不是研究生,都有辞职考研的机会,而且没有做。
    图灵机是计算模型。
    计算机从一开始就是冯诺依曼结构(当然计算能力等价于图灵机)如果你对从门电路造计算机感兴趣就去看冯诺依曼结。
    如果对可计算领域感兴趣就去看 lambda 运算和它的可判定性问题,相比图灵机,lambda 运算同样是图灵完备的但是规则更少更优美。
    关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   4125 人在线   最高记录 5298   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 14ms · UTC 01:12 · PVG 09:12 · LAX 17:12 · JFK 20:12
    ♥ Do have faith in what you're doing.