bc2febe65a1b - 簡書

發(fā)簡信

bc2febe65a1b

31
關(guān)注
0
粉絲
0
文章
0

字?jǐn)?shù)
0

收獲喜歡
1

總資產(chǎn)

IP屬地：江西

bc2febe65a1b

何幻
寫了 449126 字孟抗，被 910 人關(guān)注梭姓，獲得了 650 個(gè)喜歡

知乎：<a href="https://links.jianshu.com/go?to=https%3A%2F%2Fwww.zhihu.com%2Fpeople%2Fthzt" target="_blank">https://www.zhihu.com/people/thzt</a><br>博客：<a href="https://links.jianshu.com/go?to=https%3A%2F%2Fthzt.github.io" target="_blank">https://thzt.github.io</a><br>文檔：<a href="https://links.jianshu.com/go?to=https%3A%2F%2Fyuque.com%2Fthzt" target="_blank">https://yuque.com/thzt</a>
bc2febe65a1b

Don’t Test, Verify. | 哪個(gè)故事真正符合你對形式化驗(yàn)證的想象？
從誕生至今焚挠，形式化驗(yàn)證（Formal Verification）方法一直與“小眾、冷門”等字眼掛鉤。有人說形式化驗(yàn)證方法是一種“軍用級別”的防黑客手段，更是為這項(xiàng)技術(shù)增添了一...

安比實(shí)驗(yàn)室SECBIT
1018 0 2

bc2febe65a1b

安比實(shí)驗(yàn)室SECBIT
寫了 140246 字携兵，被 119 人關(guān)注，獲得了 41 個(gè)喜歡

安比(SECBIT)實(shí)驗(yàn)室由一群熱愛區(qū)塊鏈技術(shù)的極客組建搂誉，專注于可信智能合約與安全共識協(xié)議研究徐紧。實(shí)驗(yàn)室成員遍布在全球多個(gè)國家，專業(yè)領(lǐng)域涉及區(qū)塊鏈底層架構(gòu)炭懊、智能合約語言并级、形式化驗(yàn)證、密碼學(xué)與安全協(xié)議侮腹、編譯與分析技術(shù)嘲碧、博弈論與加密經(jīng)濟(jì)學(xué)等諸多學(xué)科。安比(SECBIT)實(shí)驗(yàn)室目前著重于研究區(qū)塊鏈智能合約的安全問題父阻，助力區(qū)塊鏈團(tuán)隊(duì)提高智能合約的可靠性與安全性呀潭，開展構(gòu)建智能合約安全框架的理論探索與技術(shù)研發(fā)，參與共建共識至非、可信、有序的區(qū)塊鏈經(jīng)濟(jì)體糠聪。
bc2febe65a1b

Zansn
寫了 5839 字荒椭，被 7 人關(guān)注，獲得了 9 個(gè)喜歡

千言萬語已忘詞
bc2febe65a1b

SwiftGo
寫了 26063 字舰蟆，被 21 人關(guān)注趣惠，獲得了 29 個(gè)喜歡
bc2febe65a1b

@撞灰提供的網(wǎng)站打不開啊，無法購買

計(jì)算機(jī)圖形學(xué)第三版中文pdf下載
計(jì)算機(jī)圖形學(xué)第三版中文pdf下載地址：鏈接：https://pan.baidu.com/s/1trfiQ8lwg-62aN_3lbXjmg 提取碼：r9wt 《計(jì)算機(jī)圖形學(xué)...

tulikousanjin
3 1
bc2febe65a1b

JackChen1024
寫了 203230 字身害，被 401 人關(guān)注味悄，獲得了 541 個(gè)喜歡

Android開發(fā)者

bc2febe65a1b

對類型理論(Type Theory)的理解
作為程序員的我們用不同編程語言寫程序多年了。我們是否反思過塌鸯，為什么需要程序侍瑟，為什么我們需要編程語言，究竟什么是編程語言丙猬，它們是怎樣運(yùn)作的涨颜？同時(shí)，函數(shù)式編程范式現(xiàn)在是一門很熱...

KeithPiTsui
9393 1 9
bc2febe65a1b

KeithPiTsui
寫了 1839 字茧球，被 11 人關(guān)注庭瑰，獲得了 9 個(gè)喜歡
bc2febe65a1b

五虎谷的格叔
寫了 116816 字，被 23028 人關(guān)注抢埋，獲得了 1387 個(gè)喜歡

做過產(chǎn)品弹灭，兼職過營銷和財(cái)務(wù)督暂。知識有點(diǎn)雜，用文字記錄自己的職業(yè)旅程穷吮。語言盡量接地氣化逻翁，若用詞不精確請多多包涵。
bc2febe65a1b

SwiftCafe
寫了 38986 字酒来，被 722 人關(guān)注卢未，獲得了 726 個(gè)喜歡

這里只發(fā)布本人的原創(chuàng)文章，專注你的閱讀體驗(yàn)堰汉，探討 Swift 以及相關(guān)技術(shù)內(nèi)容辽社。微信公眾號 swift-cafe
bc2febe65a1b

InitalHeart
寫了 8982 字，被 15 人關(guān)注翘鸭，獲得了 18 個(gè)喜歡

bc2febe65a1b

MathiasLuo
寫了 14513 字滴铅，被 416 人關(guān)注，獲得了 405 個(gè)喜歡

苦逼Android猿
bc2febe65a1b

lakerszhy
寫了 242689 字就乓，被 330 人關(guān)注汉匙，獲得了 316 個(gè)喜歡
bc2febe65a1b

大話數(shù)據(jù)結(jié)構(gòu)讀書筆記
一、數(shù)據(jù)結(jié)構(gòu)緒論邏輯結(jié)構(gòu)與物理結(jié)構(gòu)邏輯結(jié)構(gòu)：集合生蚁、線性（一對一）噩翠、樹（一對多）、圖（多對多）物理結(jié)構(gòu)：順序存儲結(jié)構(gòu)邦投、鏈?zhǔn)絻Υ娼Y(jié)構(gòu) 抽象數(shù)據(jù)類型（Abstract Data...

scarqin
2544 0 3
bc2febe65a1b

b1dd2b2c87a8
寫了 0 字伤锚，被 12246 人關(guān)注，獲得了 0 個(gè)喜歡
bc2febe65a1b

Jelvis
寫了 472 字志衣，被 122 人關(guān)注屯援，獲得了 72 個(gè)喜歡

bc2febe65a1b

玩耍Python
kaitoulee 編，185 篇文章念脯，1011 人關(guān)注

Python語法狞洋、技巧、數(shù)據(jù)分析绿店、爬蟲等技術(shù)分享吉懊。收錄的文章，部分優(yōu)秀文章會發(fā)布在公眾號wuaicto 如有投稿請了解
bc2febe65a1b

KaelQ
寫了 52644 字假勿，被 1234 人關(guān)注惕它，獲得了 2179 個(gè)喜歡

你可以跟趕，但不要急废登。