Basic unit type:
λ> replTy "()"
() :: ()
Basic functions:
Basic unit type:
λ> replTy "()"
() :: ()
Basic functions:
(define-record fitem (result ready mutex cond)) | |
(define future | |
(lambda (thunk) | |
(let ([item (make-fitem #f #f (make-mutex) (make-condition))]) | |
(fork-thread | |
(lambda () | |
(let ([result (thunk)]) | |
(with-mutex (fitem-mutex item) | |
(set-fitem-result! item result) |
#!/usr/bin/env bash | |
CODENAME=buster | |
APT_MIRROR=https://mirrors.ustc.edu.cn/debian | |
cat <<EOF | tee /etc/apt/sources.list.d/zfs.list | |
deb ${APT_MIRROR} ${CODENAME}-backports main contrib | |
deb-src ${APT_MIRROR} ${CODENAME}-backports main contrib | |
EOF |
127.0.0.1 api.ad.xiaomi.com | |
127.0.0.1 sdkconfig.ad.xiaomi.com | |
127.0.0.1 ad.mi.com | |
127.0.0.1 ad.xiaomi.com | |
127.0.0.1 ad1.xiaomi.com | |
127.0.0.1 adv.sec.miui.com | |
127.0.0.1 test.ad.xiaomi.com | |
127.0.0.1 new.api.ad.xiaomi.com |
Queue:
Database:
#!/usr/bin/env bash | |
set -e | |
error() { | |
local sourcefile=$1 | |
local lineno=$2 | |
printf "Error: ${sourcefile}:${lineno}\n\n" | |
} | |
trap 'error "${BASH_SOURCE}" "${LINENO}"' ERR |
MesaLink是百度安全实验室开发的一个内存安全并兼容OpenSSL的传输层安全(Transport Layer Security, TLS)协议栈。近年来TLS漏洞频发,以2014年的OpenSSL"心血"为代表的内存安全漏洞对业界造成了巨大损失。MesaLink的主要目标是用Rust这样一个保证内存安全的语言,根除TLS协议栈中威胁通信安全性和完整性的内存安全漏洞,减小攻击面且保证攻击面收敛可审计。此外,MesaLink支持跨平台,提供兼容OpenSSL的C API,更可在安卓和libcurl中无缝替换OpenSSL。这极大地降低了开发成本,方便智能设备厂商快速获取安全通信的能力,从而实质性提升智能设备生态的安全性。MesaLink已经在Github上以BSD协议开源,同时MesaLink也是OASES智能终端安全生态联盟的核心开放技术之一;我们欢迎更多合作伙伴的加入,共建安全生态。
为提供完善的功能,并保证强健的安全性,MesaLink 将遵循 Rust SGX SDK 项目中提出的混合代码内存安全架构三原则:
### Keybase proof | |
I hereby claim: | |
* I am quantumghost on github. | |
* I am quantumghost (https://keybase.io/quantumghost) on keybase. | |
* I have a public key whose fingerprint is C685 98CD AF85 11D1 6CB9 0610 B29A 1408 6516 184D | |
To claim this, I am signing this object: |
.host:/vmshared /mnt/vmshared fuse.vmhgfs-fuse allow_other,uid=1000,gid=1000,auto_unmount,defaults 0 0 |