TODO https://github.com/bjzhou/Coolapk-kotlin AppType Add getXXXXCount() Interfaces for client update event check QCL interpreter Add platform task for GeekApk pictures(copycat 🐱 GeekApk i18n User ...

购买 :point_right: https://gum.co/grokking-monad 在线阅读 :point_right: - GitHub - jcouyang/grokking-monad: 购买 https://gum.co/grokking-monad 在线阅读 :point_right:

🌟This is a pure C++ implementation of Java Virtual Machine (only Java 8 is supported). Inspired by Hotspot In Action. - imkiva/KiVM

各位国庆快乐！好久都没写东西了，就随便找个借口写点东西吧。既然国庆放七天，我就随手推荐七篇paper吧，在脑袋里面找出来的，以前可能推荐过，不要见怪。Generic Deriving of Generic Traversals - 好中规中矩的…

几天前，我的一个朋友给了我一个Haskell问题Hey, MK，假设我有个BNF，并且我在Haskell中有个这个BNF的parser。 现在，我想给这个BNF改一行，有没有办法不用动这个BNF parser的代码（因为是其他人写的），而是对这p…

ice1000.org 这是原文，发表在我的博客。在上上篇文章中我说过，以后的方向主要是讲 JB 式编辑器的实现在上一篇文章中我又说，那么这篇文章先说点别的吧简直是王镜泽定理的完美演绎啊。 为什么我要在半个月来第一…

Previous on 白木城全栈：我的Java（定制你的Java/JavaFX Runtime）前几天说到利用Java模块组件（jmod）定制客户的Runtime，并在最后说到可以用这种方式集成gpu相关的底层图形库，比如Vulkan，OpenGL，Mental和D3D…

按照惯例贴原文链接：ice1000.org，里面的代码可以点击跳转看到这个编译器选项，是不是有些兴♂奋？{-# OPTIONS --cubical #-} module PathToHigherInductiveTypes where open import Cubical.Core.Primitives op…

Possion 方程是指形如 \Delta \varphi = f 的方程，在三维欧几里得空间中 \Delta=\nabla^2=\frac{\partial^2}{\partial x^2}+\frac{\partial^2}{\partial y^2}+\frac{\partial^2}{\partial z^2} ，这类方程在物理…

阅读本文大约需要 4 分钟。 我当年就不应该在地铁上看到几百个人加群被吓一跳去开超级会员扩群。—— BennyHuo 我一个写 Kotlin 的怎么去写 Julia 教程了呢？ —— 哲♂学家郑小信包管理由于 0.7 及 1.0 之后的安…

From 我的博客众所周知，我，千里冰封，是个编程菜鸡，尤其不懂 C++。不过呢，最近突然觉醒了一些奇怪的想法，开始使用 C++ 开发一些东西了。由于我的本职工作，或者说，最熟悉的生态系统是 Java/Kotlin 那边的，…

原文转自latte大佬 @wkGCaSS 的博文：异步IO是什么？什么是异步IO从API上来说，是一组非阻塞的IO API，不过这是废话。换个角度：程序不因为IO调用而被阻塞，就可以说程序是异步的。要理解这个回答，首先要知道什么…

最近在乘著上司要我幫前端那邊寫Redux，反而能空出時間搗鼓Rust，被各種生命週期幹得死來活去，然後總算能寫點小工具了，之後我就想寫寫函數式那邊的工具在寫前先祭出冰冰的一篇博文：ice1000.org嗯，有點基本的東…

有问题，上知乎。知乎，可信赖的问答社区，以让每个人高效获得可信赖的解答为使命。知乎凭借认真、专业和友善的社区氛围，结构化、易获得的优质内容，基于问答的内容生产方式和独特的社区机制，吸引、聚集了各行各业中大量的亲历者、内行人、领域专家、领域爱好者，将高质量的内容透过人的节点来成规模地生产和分享。用户通过问答等交流方式建立信任和连接，打造和提升个人影响力，并发现、获得新机会。

Learn or die. Contribute to Sleepwalking/prometheus-spark development by creating an account on GitHub.