996 个比特币

赌五毛人均意识上传比人均飞机通勤早

windows 系统貌似自带 md5，还可以算文件

微软模拟飞行

珍爱生命远离微软。
等我离职，就再也用不到到微软的产品(github 不算)。神清气爽。

支持有程度的区别。
mongo 有 unwined map reduce 。

算法 ∪ 数据结构 ≠ 程序
(算法 ∪ 数据结构) - 算法 ≠ 数据结构
重要 (算法) => undefine excpetion!
你问了一个不是很好的问题

中缀表达式有 Monoid 之类的讲究，但是 java 没有静态检验的能力，社区也没有 plt 的气氛。java 一切皆对象，java 中的运算符都是纯函数，重载的运算符不管是实例方法还是静态函数都很尴尬。
kotlin 有中缀表达式，但是表达能力和 "实例.方法(参数,参数)"没有区别。我觉得你的需求应该自己定义语法，用 idea 的 language inject 做代码提示和静态分析。

也就 hello world 可以。写个 socket 就要考虑用跨平台的库了，如果要做图像页面，那每个平台都要封一层

说明被坑得还是少了。比如 apt 的 agda 一直是个有问题的包，官方推荐下载源码编译

语法抽象树？
https://github.com/antlr/grammars-v4/tree/master/java
是这个吗

楼主了解依赖类型(dependent type)吗。我想过为什么 java 表现不了 sql，这个是答案之一。不过 sql 是基于集合论而非类型论，所以拘束于 sql 语法是实现不了类型安全的

换 linux

厂里打工

有个想法，不一定对。楼上劝考研的各位都不是研究生，都有辞职考研的机会，而且没有做。