• 提升用户体验的前端动画

    content{:toc} 与其他开发人员不同的是，前端开发都是在端上游走舞者，直接与用户交流沟通，这就需要前端开发具有更敏锐的交互体验思考，或者能更精准地理解设计师们意图，将最佳的用户体验带给用户。优质的交互体验对于用户来说学习成本应该是极低...
      2023-02-02   
    阅读全文 

  • Spring Boot Web 应用加速默认情况下，Spring Boot Web 应用会装配一些功能组件 Bean。 在大多数 Web 应用场景下，可以选择性地关闭一下自动装配的Spring 组件 Bean，以达到提升性能的目的。 配置项优化Spr...
      2023-02-02
    阅读全文 

  • Android 源码分析 —— Handler、Looper 和 MessageQueue

    本系列文章在 https://github.com/mzlogin/rtfsc-android 持(jing)续(chang)更(duan)新(geng)中，欢迎有兴趣的童鞋们关注。 书接上文，在分析 Toast 源码的过程中我们涉及到了 Handl...
      2023-02-02  
    阅读全文 

  • Dubbo Cloud Native 实践与思考 Dubbo Cloud Native 实践与思考 分享简介 自我介绍 主要议程 Cloud Native 基础设施 服务发现（Service Discovery ） 如何选择 Eureka Con...
      2023-02-02
    阅读全文 

  • Reactive Programming 一种技术，各自表述前言作为一名 Java 开发人员，尤其是 Java 服务端工程师，对于 Reactive Programming 的概念似乎相对陌生。随着 Java 9 以及 Spring Framewor...
      2023-02-02
    阅读全文 

  • 从设计师和开发的角度使用 lottie

    content{:toc} 简介lottie 是一个可以轻易的给各种 native app 添加高质量动画的类库。可以在 iOS、Android 和 React Native 实时渲染 After Effects 动画，就像使用静态图片一样容易...
      2023-02-02   
    阅读全文 

  • 一份简明的 Markdown 笔记与教程

    为部门内知识分享准备的素材，记录了 Markdown 的优点、应用场景和编辑工具，介绍了标准语法与扩展语法，以及一些应用 Markdown 的奇技淫巧。个人使用 Markdown 的经验持续补充中，最新完整版请参见 https://github.co...
      2023-02-02  
    阅读全文 

  • vscode 插件 markdown-schedule-snippet

    content{:toc} 起因不知道大家是怎样安排自己的日常计划的，我习惯是建立一个仓库，按照年/周记录在 markdown 里，平时这个仓库也写点简单的 demo，目录类似如下： 12345678910111213141516171...
      2023-02-02   
    阅读全文 

  • 「SF-LC」1 Basics

    These series of notes combined My notes on reading Software Foundation and (if any) watching on Coq intensive. Gotchas fro...
      2023-02-02  
    阅读全文 

  • 「SF-LC」2 Induction

    Review (only in slide)12Theorem review2: ∀b, (orb true b) = true.Theorem review3: ∀b, (orb b true) = true. Whether or not it...
      2023-02-02  
    阅读全文