效果如图.
实现方法比较简单,在view上增加一个label label设置:

 1             badgeLabel = [[UILabel alloc]initWithFrame:CGRectMake(CGRectGetMaxX(imageView.frame)+2, -10, 20, 20)];
 2             badgeLabel.text = @"0";
 3

红色小圆点+数字的badge自定义小方法    by Nicky.Tsui

目录
1.Shiny和HTML
2.结构
3. 标题Header
4. 侧边栏Siderbar
5.主体/正文Body
box
tabBox
infoBox
valueBox
Layouts

1.Shiny和HTML
Shiny UI的构建方式和网页HTML的对应关系。
div(class = "my-class", "Div content")
对应
<div class="my-class"

R shinydashboard ——2. 结构

转载自:  https://blog.csdn.net/cnh294141800/article/details/53768464
Paxos协议超级详细解释+简单实例
 


Basic-Paxos算法(可以先看后面的实际例子再看前面的具体介绍部分）
Paxos算法的目的
Paxos算法的目的是为了解决分布式环境下一致性的问题。
多个节点并发操纵数据，如何保证在读写过程中数据的一致性，并且解决方

Paxos协议超级详细解释+简单实例

在人脸检测与人脸识别库中dlib库所谓是非常好的了。检测效果非常ok，下面我们来了解一下这个神奇的库吧!
　第一步我们首先学会安装：dlib ，winds+pytho3.6.5  Windows不支持pip在线安装，所以我们直接下载whl文件在使用pip安装就可以了。dlib安装连接，主要注意的是cmake的安装，在Windows使用必须安装cmake进行编译，因为dlib源码是c写的。dlib进

winds dlib人脸检测与识别库

VCS和Verdi是IC设计中常用的两款开发工具。VCS是Synopsys公司的产品，和大家所熟知的ModeSim一样的都是EDA仿真工具。Verdi是Nocas公司（已经被Synopsys公司收购）的产品，早前的版本叫Debussy，是一款十分优秀的Debug工具。虽然VCS中的DVE也能查看波形和Debug，但是Verdi则显得更专业一些。唯一让很多初学者感到不舒服的就是他们都需要在Linux

Linux下VCS2014和Verdi2015的联合使用

从ffmpeg官网：http://ffmpeg.org/download.html 下载最新的ffmpeg安装包，然后通过如下命令解压：
解压 ffmpeg-*.tar.bz2  文件
进入解压的文件夹
wget https://ffmpeg.org/releases/ffmpeg-4.2.2.tar.bz2
tar jxf ffmpeg-4.2.2.tar.bz2
cd ffmpeg-4.2.2

Linux下安装ffmpeg，视频格式转换

0x00 前言
UPX作为一个跨平台的著名开源压缩壳，随着Android的兴起，许多开发者和公司将其和其变种应用在.so库的加密防护中。虽然针对UPX及其变种的使用和脱壳都有教程可查，但是至少在中文网络里并没有针对其源码的分析。作为一个好奇宝宝，我花了点时间读了一下UPX的源码并梳理了其对ELF文件的处理流程，希望起到抛砖引玉的作用，为感兴趣的研究者和使用者做出一点微不足道的贡献。
0x01 编译

UPX源码分析——加壳篇

前言
　　如果你要探测和响应一个对象的变化，你应该用observables。
　　如果你需要探测和响应一个集合对象的变化，你应该用observableArray 。
　　在很多场景下，它都非常有用，比如你要在UI上需要显示/编辑的一个列表数据集合，然后对集合进行添加和删除。
使用observables数组
1.简单举例

<script type="text/javascript">
    va

Knockout.Js官网学习(数组observable)

华为路由交换综合实验 ---IA阶段

目录
华为路由交换综合实验 ---IA阶段
实验拓扑
实验需求
实验步骤
1. 根据拓扑合理规划IP地址以及VLANIf地址
测试连通性
2. PC1 不能和PC2互通,实现各部门独立
SW1 上配置接口所属VLAN，及VLANIF
SW2上配置接口所属VLAN，及VLANIF
3. PC1 不能访问PC2 ，定义ACL
PC1 和PC2 实现了不能互通,策

华为路由交换综合实验 ---IA阶段

当输入nvidia-smi时出现
NVIDIA-SMI has failed because it couldn't communicate with the NVIDIA driver. Make sure that the latest NVIDIA driver is installed and running.报错，解决方式：

sudo apt-get install dkms
sudo

查看显卡报错：NVIDIA-SMI has failed because it couldn't communicate with the NVIDIA driver. Make sure that the latest NVIDIA driver is installed and running.

src/test.h
#ifndef _TEST_H_HH
#define _TEST_H_HH

void print();
#endif

src/test.cpp
#include "test.h"
#include <stdio.h>

void print()
{
	printf("hello mint!\n");
}

CMakeLists.txt:
cmake_minimum_req

linux下生成动态库和链接动态库

备注：
    类似的开源工具有wekan 界面还有功能和Trello 类似。比较方便
 
1. 安装（基于docker+ docker-compose）

a. 安装docker && docker-compose
   具体省略，参考相关文档，比较多

b. 安装Kanboard

     git clone https://github.com/kanboard/kanboard.git
