Archive

iOS Object基本语法扫盲

Html+CSS布局的总结

JsBridge 鸿蒙版本

鸿蒙Harmony开发初探

从0开始学架构读后感

滴滴回放平台DiDiPrism源码解析

ChatGPT超级提示词分享

chatgpt基础知识

大模型简介

Android逆向其他APP工具推荐【免Root】

音视频相关知识笔记&fmpeg

关于35岁或者被5整除的坎儿

音视频处理、视频聊天、直播心得体会

Data Representation - Floating Point Numbers

「数据表示」浮点数

Data Representation - Integer

「数据表示」整数

BoostMutiDex学习心得

Android自动化测试

ollvm c 混淆

秘塔写作猫

My Programming Languages Spectrum

我的编程语言光谱

Kotlin小知识

Kotlin协程扫盲

Flutter Hybrid

flutter Crash上报方案

flutter全栈的最后一步web开发

flutter-Android-AVD-Error

直接从APK运行嵌入式DEX代码

Gradle和Maven使用阿里云国内镜像

如何与领导建立信任关系

如何让自己成为一个上进的人

如何高效表达

大佬的开挂人生

「SF-QC」2 TypeClasses

Quickcheck - A Tutorial on Typeclasses in Coq

程序员的坚持

MAC制作 Ubuntu 启动 USB、安装 Ubuntu 学习 AI、Android 源码

对学习的思考

Android自动化测试的一些思考

对2018年的思考复盘

「SF-PLF」19 PE

Programming Language Foundations - Partial Evaluation

「SF-PLF」18 UseAuto

Programming Language Foundations - Theory And Practice Of Automation In Coq Proofs

「SF-PLF」17 UseTactics

Programming Language Foundations - Tactic Library For Coq

「SF-PLF」16 LibTactics

Programming Language Foundations - A Collection of Handy General-Purpose Tactics

「SF-PLF」15 Norm

Programming Language Foundations - Normalization of STLC

「SF-PLF」14 RecordSub

Programming Language Foundations - Subtyping with Records

「SF-PLF」13 References

Programming Language Foundations - Typing Mutable References

「SF-PLF」12 Records

Programming Language Foundations - Adding Records To STLC

「SF-PLF」11. TypeChecking

Programming Language Foundations - A Typechecker for STLC

「SF-PLF」10 Sub

Programming Language Foundations - Subtyping (子类型化)

「SF-PLF」9 MoreStlc

Programming Language Foundations - More on The Simply Typed Lambda-Calculus

「SF-PLF」8 StlcProp

Programming Language Foundations - Properties of STLC

「SF-PLF」7 Stlc

Programming Language Foundations - The Simply Typed Lambda-Calculus

「SF-PLF」6 Types

Programming Language Foundations - Type Systems

「SF-PLF」5 Smallstep

Programming Language Foundations - Small-Step Operational Semantics

「SF-PLF」4 HoareAsLogic

Programming Language Foundations - Hoare Logic as a Logic

「SF-PLF」3 Hoare2

Programming Language Foundations - Hoare Logic, Part II

「SF-PLF」2 Hoare

Programming Language Foundations - Hoare Logic, Part I

「SF-PLF」1 Equiv

Programming Language Foundations - Program Equivalence (程序的等价关系)

「SF-LC」16 Auto

Logical Foundations - More Automation

「SF-LC」15 Extraction

Logical Foundations - Extracting ML From Coq

「SF-LC」14 ImpCEvalFun

Logical Foundations - An Evaluation Function For Imp

「SF-LC」13 ImpParser

Logical Foundations - Lexing And Parsing In Coq

「SF-LC」12 Imp

Logical Foundations - Simple Imperative Programs

「SF-LC」11 Rel

Logical Foundations - Properties of Relations

「SF-LC」10 IndPrinciples

Logical Foundations - Induction Principles

「SF-LC」9 ProofObjects

Logical Foundations - The Curry-Howard Correspondence

「SF-LC」8 Maps

Logical Foundations - Total and Partial Maps

「SF-LC」7 Ind Prop

Logical Foundations - Inductively Defined Propositions (归纳定义命题)

「SF-LC」6 Logic

Logical Foundations - Logic in Coq

「SF-LC」5 Tactics

Logical Foundations - More Basic Tactics

「SF-LC」4 Poly

Logical Foundations - Polymorphism and Higher-Order Functions

「SF-LC」3 List

Logical Foundations - Working with Structured Data

「SF-LC」2 Induction

Logical Foundations - Proof by Induction

「SF-LC」1 Basics

Logical Foundations - Functional Programming in Coq

记录一个常见编译错误prefix mips64el-linux-android

View生命周期

Android 架构组件 LifeCycle 源码解析

Android Jetpack 之 ViewModel

快手APP分析

今日头条 APP 分析

快手APP分析

Only fullscreen activities can request orientation？Android O开始的坑

《Android 开发艺术探索》示例代码修复

ActivityResult 的一切

Android相机实时自动对焦的完美实现

推荐一款战神级别的开发神器 Pandora

Bitmap inSampleSize 缩放

安卓各种抢红包插件原理--AccessibilityService

ThreadLocal 源码调试解毒

Facebook Sonar 移动端调试神器

WebSocket 笔记

Android Jetpack Navigation

Android Jetpack Navigation

饿了么UETool

如何在安卓应用中使用 TensorFlow Mobile

AndroidP 兼容适配重点

XPosed入门

深度好文：“飙” EventBus 3

突破Android P的非公开API限制

手写一个简化版Tomcat

自己手写一个Mybatis框架(简化)

Java 序列化新成员Externalizable

珍藏版本-JVM 大厦

来吧！区块链Demo

Facebook UI 框架 Litho初探

Google Flutter 跨平台框架初探

InstantApp 开发详解

DeepLink AppLink-InstantApp 前奏详解

Java 并发Concurrent

Java Collection 容器集合

Java 泛型上界 extends 和泛型下界 super 详解

Android VasDolly渠道包实现原理（v1,v2签名介绍）

Android 权限实践总结

手写SDK 项目之网络框架

Android6.0动态权限源码导读

介绍一款好玩的工具 [Appetizer]

OkHttpDNS实现原理

HTTP(S) DNS优化

优雅地封装和使用 onActivityResult

Hybrid VS ReactNative

Hybrid混合开发 缓存设计

Hybrid JsBridge 通信原理概述

Hybrid 原生控件体验优化

Android 插件原理解析

Android Router 路由框架解析

Android热修复原理概览

Android UI 性能优化

Android 性能优化相关资料

APP 开发的一些[建议]

Android Architecture Component 源码解析

APP Dialog,PopupWindow,Fragment,DialogFragment笔记

《我的书单》贫穷限制了我们的想象力，人丑就要多读书

Google Android Architecture Component

Android Clean Arch

Android技术栈

微信安卓端小程序逆向分析

博客迁移并启程