aguesuka 最近的时间轴更新
aguesuka

aguesuka

V2EX 第 390901 号会员,加入于 2019-03-10 10:32:35 +08:00
今日活跃度排名 5621
请教个有向图的算法题
算法  •  aguesuka  •  241 天前  •  最后回复来自 aguesuka
8
NIO 里面, SocketChannel.connect 的时候发生了什么?
Java  •  aguesuka  •  2020-02-23 13:54:35 PM  •  最后回复来自 SoloCompany
3
用 Java 撸了一个 yield 的玩具
  •  2   
    Java  •  aguesuka  •  2019-09-07 22:03:12 PM  •  最后回复来自 janus77
    16
    aguesuka 最近回复了
    写协议, 比如用 bt 协议 Sybil Attack 自己
    1 天前
    回复了 secsilm 创建的主题 Python 树结构数据是最难处理的,有人反对吗
    没有权重, 说明不够难. 带权重的图应该是日常会用到最难的
    2 天前
    回复了 lawler 创建的主题 Java mybatisplus 如何动态创建 mapper 接口。
    你是不是想只要有实体类 Entity, 就可以 @Autowired 注入 BaseMapper<Entity> 然后统一使用 LambdaQueryWrapper?
    这样的话有两个步骤, 根据 Entity.class 生成 EntityWapper implements BaseMapper<Entity>, 将 EntityWapper 注入到 Spring. 现在的进展如何了?
    3 天前
    回复了 pythonee 创建的主题 程序员 如何验证程序的正确性
    leetcode 就是大量的测试用例. 不过这个答案 OP 可能不想听.

    可以参考 https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf

    But how can we achieve this goal of applying techniques of proofs to programs?
    It turns out that we do not even need to come up with some new ideas thanks to
    the so-called proof-as-program correspondence discovered in the 1960s by Curry
    and Howard: a program is secretly the same as a proof! More precisely, in a
    typed functional programming language, the type of a program can be read as
    a formula, and the program itself contains exactly the information required to
    prove this formula. This is the one thing to remember from this course:
    PROGRAM = PROOF

    简译:
    怎么校验程序.
    感谢 Curry 和 Howard 在 1960s 发明的证明(名词)作为程序的对应关系, (我们不用充钱买 IDEA 了(划掉)):
    程序和证明(名词)其实是一样的!
    准确地说, 一个有类型的函数式编程语言, 程序的类型可以看成是公式, 而程序的存在就是这个公式所需的证明(动词).
    只需记住一点就是:
    程序=证明(名词)


    对了, 这本书的导论的第一节的标题就是 Proving instead of testing(证明而不是测试)
    post 一把梭有一个厉害的名字叫做 "rpc style", 时髦值不在 "restful" 之下. 你的同事没你有信仰, 建议帮他觉醒成 rpcist, 然后你作为 restist 和他打一架, 谁赢了听谁的.
    3 天前
    回复了 pythonee 创建的主题 程序员 如何验证程序的正确性
    success, unsuccess
    5 天前
    回复了 HuPu 创建的主题 Java List list=new ArrayList 写法的意义是什么
    (暴论) 99% 的场景里, new ArrayList 都可以用 List.of, new ArrayDeque, Stream.toList 代替; 非得在集合里保存 null, 或一定要用 Mutable 集合且一定要 RandomAccess 时, 应该使用 var list = new ArrayList.

    实际作为 LocalVariable 使用时, List 和 ArrayList 的唯一区别就是在 IDEA 里想调用 list.equals 可以放心大胆的 e+TAB 而不用担心补全的是 list.ensureCapacity.
    21 天前
    回复了 xieyuheng 创建的主题 数学 《我是如何开始关心数学基础的》
    @sillydaddy 应该从德摩根定律开始, 作为入门 Inductive type 太复杂了
    关于   ·   帮助文档   ·   API   ·   FAQ   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   2676 人在线   最高记录 5497   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 21ms · UTC 11:00 · PVG 19:00 · LAX 03:00 · JFK 06:00
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.