PageSourceSearch

https://hischen.github.io/archive/

html hischen.github.io collected 2026-10-03 09:17:48 UTC 47,284 bytes, 1,416 lines download raw bytes

1<!DOCTYPE html>
2<html lang="en">
3
4<head>
5    <meta charset="utf-8">
6    <meta http-equiv="X-UA-Compatible" content="IE=edge">
7    <meta name="google-site-verification" content="xBT4GhYoi5qRD5tr338pgPM5OWHHIDR6mNg1a3euekI" />
8    <meta name="viewport" content="width=device-width, initial-scale=1, viewport-fit=cover">
9    <meta name="description" content="程序员 | 陈玺,natural language processing,deep learning,machine translation | 这里是 @hischen 陈玺 的个人博客,与你一起发现更广阔的世界。">
10    <meta name="keywords"  content="陈玺, Hischen陈玺, nmt , nlper, ChenXi, @hischen, 陈玺的博客, ChenXi Blog, 博客, 个人网站, 互联网, 自然语言处理, 深度学习,神经机器翻译">
11    <meta name="theme-color" content="#000000">
12    
13    <!-- Open Graph -->
14    <meta property="og:title" content="Archive - 陈玺的博客 | ChenXi Blog">
15    
16    <meta property="og:type" content="website">
17    <meta property="og:description" content="keep hungry keep foolish">
18    
19    <meta property="og:image" content="https://hischen.github.io/img/hischen.jpg">
20    <meta property="og:url" content="https://hischen.github.io/archive/">
21    <meta property="og:site_name" content="陈玺的博客 | ChenXi Blog">
22    
23    <title>Archive - 陈玺的博客 | ChenXi Blog</title>
24
25    <!-- Web App Manifest -->
26    <link rel="manifest" href="/pwa/manifest.json">
27
28    <!-- Favicon -->
29    <link rel="shortcut icon" href="/img/favicon.ico">
30    
31    <!-- Canonical URL -->
32    <link rel="canonical" href="https://hischen.github.io/archive/">
33
34    <!-- Bootstrap Core CSS -->
35    <link rel="stylesheet" href="/css/bootstrap.min.css">
36
37    <!-- Custom CSS -->
38    <link rel="stylesheet" href="/css/hux-blog.min.css">
39
40    <!-- Custom Fonts -->
41    <!-- <link href="http://maxcdn.bootstrapcdn.com/font-awesome/4.3.0/css/font-awesome.min.css" rel="stylesheet" type="text/css"> -->
42    <!-- Hux change font-awesome CDN to qiniu -->
43    <link href="//cdnjs.cloudflare.com/ajax/libs/font-awesome/4.6.3/css/font-awesome.min.css" rel="stylesheet" type="text/css">
44
45
46    <!-- HTML5 Shim and Respond.js IE8 support of HTML5 elements and media queries -->
47    <!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
48    <!--[if lt IE 9]>
49        
49<script src="https://oss.maxcdn.com/libs/html5shiv/3.7.0/html5shiv.js"></script>
49
50        
50<script src="https://oss.maxcdn.com/libs/respond.js/1.4.2/respond.min.js"></script>
50
51    <![endif]-->
52
53    <!-- ga & ba script hoook -->
54    
54<script></script>
54
55    <!-- MathJax configuration -->
56    
56<script type="text/x-mathjax-config">
57      MathJax.Hub.Config({
58        TeX: {
59          equationNumbers: {
60            autoNumber: "AMS"
61          }
62        },
63        tex2jax: {
64          inlineMath: [ ['$','$'], ["\\(","\\)"] ],
65          displayMath: [ ['$$','$$'], ["\\[","\\]"] ],
66          processEscapes: true,
67          skipTags: ['script', 'noscript', 'style', 'textarea', 'pre', 'code']
68        }
69      });
70    </script>
70
71    
71<script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.7/MathJax.js?config=TeX-AMS-MML_SVG" type="text/javascript"></script>
71
72</head>
73
74
75<!-- hack iOS CSS :active style -->
76<body ontouchstart="">
77
78    <!-- Navigation -->
79
80<nav class="navbar navbar-default navbar-custom navbar-fixed-top">
81
82    <div class="container-fluid">
83        <!-- Brand and toggle get grouped for better mobile display -->
84        <div class="navbar-header page-scroll">
85            <button type="button" class="navbar-toggle">
86                <span class="sr-only">Toggle navigation</span>
87                <span class="icon-bar"></span>
88                <span class="icon-bar"></span>
89                <span class="icon-bar"></span>
90            </button>
91            <a class="navbar-brand" href="/">Hischen Blog</a>
92        </div>
93
94        <!-- Collect the nav links, forms, and other content for toggling -->
95        <div id="huxblog_navbar">
96            <div class="navbar-collapse">
97                <ul class="nav navbar-nav navbar-right">
98                    <li>
99                        <a href="/">Home</a>
100                    </li>
101                    
102                    
103                    
104                    
105                    <li>
106                        <a href="/about/">About</a>
107                    </li>
108                    
109                    
110                    
111                    <li>
112                        <a href="/archive/">Archive</a>
113                    </li>
114                    
115                    
116                    
117                    
118                    
119                    
120                    
121                    
122                    
123                    
124                    
125                    
126                </ul>
127            </div>
128        </div>
129        <!-- /.navbar-collapse -->
130    </div>
131    <!-- /.container -->
132</nav>
133<script>
134    // Drop Bootstarp low-performance Navbar
135    // Use customize navbar with high-quality material design animation
136    // in high-perf jank-free CSS3 implementation
137    var $body   = document.body;
138    var $toggle = document.querySelector('.navbar-toggle');
139    var $navbar = document.querySelector('#huxblog_navbar');
140    var $collapse = document.querySelector('.navbar-collapse');
141
142    var __HuxNav__ = {
143        close: function(){
144            $navbar.className = " ";
145            // wait until animation end.
146            setTimeout(function(){
147                // prevent frequently toggle
148                if($navbar.className.indexOf('in') < 0) {
149                    $collapse.style.height = "0px"
150                }
151            },400)
152        },
153        open: function(){
154            $collapse.style.height = "auto"
155            $navbar.className += " in";
156        }
157    }
158
159    // Bind Event
160    $toggle.addEventListener('click', function(e){
161        if ($navbar.className.indexOf('in') > 0) {
162            __HuxNav__.close()
163        }else{
164            __HuxNav__.open()
165        }
166    })
167
168    /**
169     * Since Fastclick is used to delegate 'touchstart' globally
170     * to hack 300ms delay in iOS by performing a fake 'click',
171     * Using 'e.stopPropagation' to stop 'touchstart' event from 
172     * $toggle/$collapse will break global delegation.
173     * 
174     * Instead, we use a 'e.target' filter to prevent handler
175     * added to document close HuxNav.  
176     *
177     * Also, we use 'click' instead of 'touchstart' as compromise
178     */
179    document.addEventListener('click', function(e){
180        if(e.target == $toggle) return;
181        if(e.target.className == 'icon-bar') return;
182        __HuxNav__.close();
183    })
184</script>
184
185
186
187    <!-- 
188Credits: this page shamelessly borrowed a lot from:
189https://github.com/kitian616/jekyll-TeXt-theme
190-->
191<!-- Page Header -->
192
193
194
195
196
197
198
199<header class="intro-header" style="background-image: url('/img/tag-bg.jpg')">
200  <div class="container">
201    <div class="row">
202      <div class="col-lg-8 col-lg-offset-2 col-md-10 col-md-offset-1">
203        
204        <div class="site-heading" id="tag-heading">
205        
206          <h1>Archive</h1>
207          <span class="subheading">keep hungry keep foolish</span>
208        </div>
209      </div>
210    </div>
211  </div>
212</header>
213
214
215<!-- Main Content -->
216<div class="container">
217	<div class="row">
218		<div class="col-lg-8 col-lg-offset-2 col-md-10 col-md-offset-1">
219			<!-- Tags (as filter) -->
220			<div id='tag_cloud' class="tags tags-sup js-tags">
221				<a class="tag-button--all" data-encode="">
222					Show All
223					<sup>51</sup>
224				</a>
225
226				
227        
228				
229				
230				
231				<a data-sort="0015"
232					data-encode="%E7%AC%94%E8%AE%B0"
233					class="tag-button"
234					title="笔记" rel="36">
235					笔记
236					<sup>36</sup>
237				</a>
238				
239				<a data-sort="0015"
240					data-encode="Coq"
241					class="tag-button"
242					title="Coq" rel="36">
243					Coq
244					<sup>36</sup>
245				</a>
246				
247				<a data-sort="0015"
248					data-encode="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29"
249					class="tag-button"
250					title="SF (软件基础)" rel="36">
251					SF (软件基础)
252					<sup>36</sup>
253				</a>
254				
255				<a data-sort="0032"
256					data-encode="PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29"
257					class="tag-button"
258					title="PLF (编程语言基础)" rel="19">
259					PLF (编程语言基础)
260					<sup>19</sup>
261				</a>
262				
263				<a data-sort="0035"
264					data-encode="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29"
265					class="tag-button"
266					title="LF (逻辑基础)" rel="16">
267					LF (逻辑基础)
268					<sup>16</sup>
269				</a>
270				
271				<a data-sort="0047"
272					data-encode="Algorithm+Design+and+Analysis"
273					class="tag-button"
274					title="Algorithm Design and Analysis" rel="4">
275					Algorithm Design and Analysis
276					<sup>4</sup>
277				</a>
278				
279				<a data-sort="0048"
280					data-encode="leetcode"
281					class="tag-button"
282					title="leetcode" rel="3">
283					leetcode
284					<sup>3</sup>
285				</a>
286				
287				<a data-sort="0050"
288					data-encode="%E4%BA%92%E8%81%94%E7%BD%91%E6%96%B0%E9%97%BB%E6%83%85%E6%84%9F%E5%88%86%E6%9E%90"
289					class="tag-button"
290					title="互联网新闻情感分析" rel="1">
291					互联网新闻情感分析
292					<sup>1</sup>
293				</a>
294				
295				<a data-sort="0050"
296					data-encode="%E5%88%86%E6%B2%BB%E6%B3%95"
297					class="tag-button"
298					title="分治法" rel="1">
299					分治法
300					<sup>1</sup>
301				</a>
302				
303				<a data-sort="0050"
304					data-encode="%E5%8A%A8%E6%80%81%E8%A7%84%E5%88%92"
305					class="tag-button"
306					title="动态规划" rel="1">
307					动态规划
308					<sup>1</sup>
309				</a>
310				
311				<a data-sort="0050"
312					data-encode="%E6%91%A9%E8%A5%BF"
313					class="tag-button"
314					title="摩西" rel="1">
315					摩西
316					<sup>1</sup>
317				</a>
318				
319				<a data-sort="0050"
320					data-encode="%E6%9C%80%E5%B0%8F%E8%B7%AF%E5%BE%84%E5%92%8C"
321					class="tag-button"
322					title="最小路径和" rel="1">
323					最小路径和
324					<sup>1</sup>
325				</a>
326				
327				<a data-sort="0050"
328					data-encode="%E6%A8%A1%E5%9E%8B%E5%8E%8B%E7%BC%A9"
329					class="tag-button"
330					title="模型压缩" rel="1">
331					模型压缩
332					<sup>1</sup>
333				</a>
334				
335				<a data-sort="0050"
336					data-encode="%E7%94%9F%E6%B4%BB"
337					class="tag-button"
338					title="生活" rel="1">
339					生活
340					<sup>1</sup>
341				</a>
342				
343				<a data-sort="0050"
344					data-encode="%E7%AE%97%E6%B3%95%E9%A2%98%E7%9B%AE"
345					class="tag-button"
346					title="算法题目" rel="1">
347					算法题目
348					<sup>1</sup>
349				</a>
350				
351				<a data-sort="0050"
352					data-encode="%E7%B3%BB%E7%BB%9F%E6%9E%B6%E6%9E%84"
353					class="tag-button"
354					title="系统架构" rel="1">
355					系统架构
356					<sup>1</sup>
357				</a>
358				
359				<a data-sort="0050"
360					data-encode="%E7%BA%BF%E6%80%A7%E8%A7%84%E5%88%92"
361					class="tag-button"
362					title="线性规划" rel="1">
363					线性规划
364					<sup>1</sup>
365				</a>
366				
367				<a data-sort="0050"
368					data-encode="%E7%BD%97%E9%A9%AC%E6%95%B0%E5%AD%97%E8%BD%AC%E6%95%B4%E6%95%B0"
369					class="tag-button"
370					title="罗马数字转整数" rel="1">
371					罗马数字转整数
372					<sup>1</sup>
373				</a>
374				
375				<a data-sort="0050"
376					data-encode="%E8%B4%AA%E5%BF%83"
377					class="tag-button"
378					title="贪心" rel="1">
379					贪心
380					<sup>1</sup>
381				</a>
382				
383				<a data-sort="0050"
384					data-encode="%E9%AB%98%E6%80%A7%E8%83%BD%E6%8E%A8%E7%90%86"
385					class="tag-button"
386					title="高性能推理" rel="1">
387					高性能推理
388					<sup>1</sup>
389				</a>
390				
391				<a data-sort="0050"
392					data-encode="AI+Infrastructure"
393					class="tag-button"
394					title="AI Infrastructure" rel="1">
395					AI Infrastructure
396					<sup>1</sup>
397				</a>
398				
399				<a data-sort="0050"
400					data-encode="CCF%E5%A4%A7%E6%95%B0%E6%8D%AE%E4%B8%8E%E8%AE%A1%E7%AE%97%E6%99%BA%E8%83%BD%E5%A4%A7%E8%B5%9B"
401					class="tag-button"
402					title="CCF大数据与计算智能大赛" rel="1">
403					CCF大数据与计算智能大赛
404					<sup>1</sup>
405				</a>
406				
407				<a data-sort="0050"
408					data-encode="CCF+BDCI"
409					class="tag-button"
410					title="CCF BDCI" rel="1">
411					CCF BDCI
412					<sup>1</sup>
413				</a>
414				
415				<a data-sort="0050"
416					data-encode="CCF+Big+Data+%26+Computing+Intelligence+Contest"
417					class="tag-button"
418					title="CCF Big Data & Computing Intelligence Contest" rel="1">
419					CCF Big Data & Computing Intelligence Contest
420					<sup>1</sup>
421				</a>
422				
423				<a data-sort="0050"
424					data-encode="Divide+And+Conquer"
425					class="tag-button"
426					title="Divide And Conquer" rel="1">
427					Divide And Conquer
428					<sup>1</sup>
429				</a>
430				
431				<a data-sort="0050"
432					data-encode="Dynamic+Programming"
433					class="tag-button"
434					title="Dynamic Programming" rel="1">
435					Dynamic Programming
436					<sup>1</sup>
437				</a>
438				
439				<a data-sort="0050"
440					data-encode="Efficient+LLM+architectures"
441					class="tag-button"
442					title="Efficient LLM architectures" rel="1">
443					Efficient LLM architectures
444					<sup>1</sup>
445				</a>
446				
447				<a data-sort="0050"
448					data-encode="Facebook"
449					class="tag-button"
450					title="Facebook" rel="1">
451					Facebook
452					<sup>1</sup>
453				</a>
454				
455				<a data-sort="0050"
456					data-encode="GitHub+Pages"
457					class="tag-button"
458					title="GitHub Pages" rel="1">
459					GitHub Pages
460					<sup>1</sup>
461				</a>
462				
463				<a data-sort="0050"
464					data-encode="Greedy+Algorithm"
465					class="tag-button"
466					title="Greedy Algorithm" rel="1">
467					Greedy Algorithm
468					<sup>1</sup>
469				</a>
470				
471				<a data-sort="0050"
472					data-encode="HBM"
473					class="tag-button"
474					title="HBM" rel="1">
475					HBM
476					<sup>1</sup>
477				</a>
478				
479				<a data-sort="0050"
480					data-encode="KDD+Cup+2020"
481					class="tag-button"
482					title="KDD Cup 2020" rel="1">
483					KDD Cup 2020
484					<sup>1</sup>
485				</a>
486				
487				<a data-sort="0050"
488					data-encode="Large+Language+Models+%28LLMs%29"
489					class="tag-button"
490					title="Large Language Models (LLMs)" rel="1">
491					Large Language Models (LLMs)
492					<sup>1</sup>
493				</a>
494				
495				<a data-sort="0050"
496					data-encode="Linear+Programming"
497					class="tag-button"
498					title="Linear Programming" rel="1">
499					Linear Programming
500					<sup>1</sup>
501				</a>
502				
503				<a data-sort="0050"
504					data-encode="Micron+Technology"
505					class="tag-button"
506					title="Micron Technology" rel="1">
507					Micron Technology
508					<sup>1</sup>
509				</a>
510				
511				<a data-sort="0050"
512					data-encode="Minimum+Path+Sum"
513					class="tag-button"
514					title="Minimum Path Sum" rel="1">
515					Minimum Path Sum
516					<sup>1</sup>
517				</a>
518				
519				<a data-sort="0050"
520					data-encode="Modern+E-Commerce+Platform"
521					class="tag-button"
522					title="Modern E-Commerce Platform" rel="1">
523					Modern E-Commerce Platform
524					<sup>1</sup>
525				</a>
526				
527				<a data-sort="0050"
528					data-encode="Multimodalities+Recall"
529					class="tag-button"
530					title="Multimodalities Recall" rel="1">
531					Multimodalities Recall
532					<sup>1</sup>
533				</a>
534				
535				<a data-sort="0050"
536					data-encode="QC+%28Quickcheck%29"
537					class="tag-button"
538					title="QC (Quickcheck)" rel="1">
539					QC (Quickcheck)
540					<sup>1</sup>
541				</a>
542				
543				<a data-sort="0050"
544					data-encode="Roman+to+Integer"
545					class="tag-button"
546					title="Roman to Integer" rel="1">
547					Roman to Integer
548					<sup>1</sup>
549				</a>
550				
551				<a data-sort="0050"
552					data-encode="Semiconductor"
553					class="tag-button"
554					title="Semiconductor" rel="1">
555					Semiconductor
556					<sup>1</sup>
557				</a>
558				
559				<a data-sort="0050"
560					data-encode="Valuation"
561					class="tag-button"
562					title="Valuation" rel="1">
563					Valuation
564					<sup>1</sup>
565				</a>
566				
567				<a data-sort="0050"
568					data-encode="moses"
569					class="tag-button"
570					title="moses" rel="1">
571					moses
572					<sup>1</sup>
573				</a>
574				
575				<a data-sort="0050"
576					data-encode="not+properly+closed+%60"
577					class="tag-button"
578					title="not properly closed `" rel="1">
579					not properly closed `
580					<sup>1</sup>
581				</a>
582				
583				<a data-sort="0050"
584					data-encode="page+build+failed"
585					class="tag-button"
586					title="page build failed" rel="1">
587					page build failed
588					<sup>1</sup>
589				</a>
590				
591				<a data-sort="0050"
592					data-encode="statistica+machine+translation"
593					class="tag-button"
594					title="statistica machine translation" rel="1">
595					statistica machine translation
596					<sup>1</sup>
597				</a>
598			</div>
599
600            <!-- Article List -->
601			<div class="mini-post-list js-result d-none"><section>
602				<span class="fa listing-seperator">
603					<span class="tag-text">2026</span>
604				</span><div class="post-preview item" data-tags="Semiconductor,Micron+Technology,HBM,AI+Infrastru
604cture,Valuation">
605				    <a href="/2026/01/08/Reassessing-the-Strategic-Value-of-Micron-Technology-and-HBM/">
606				        <h2 class="post-title">
607                            Reassessing the Strategic Value of Micron Technology and HBM
608				        </h2>
609				        
610				        <h3 class="post-subtitle">
611				            In-Depth Research Report on the Structural Transformation of the Semiconductor Industry: From a Cyclical Commodity to a Logic-Driven Infrastructure — Reassessing the Strategic Value of Micron Technology and HBM
612				        </h3>
613				        
614				    </a>
615					<hr>
616				</div></section><section>
617				<span class="fa listing-seperator">
618					<span class="tag-text">2025</span>
619				</span><div class="post-preview item" data-tags="Large+Language+Models+%28LLMs%29,Efficient+LLM+architectures,%E9%AB%98%E6%80%A7%E8%83%BD%E6%8E%A8%E7%90%86,%E7%B3%BB%E7%BB%9F%E6%9E%B6%E6%9E%84,%E6%A8%A1%E5%9E%8B%E5%8E%8B%E7%BC%A9">
620				    <a href="/2025/08/26/Speed-Always-Wins-Efficient-Architectures-for-Large-Language-Models/">
621				        <h2 class="post-title">
622                            Speed Always Wins: A Survey on Efficient Architectures for Large Language Models
623				        </h2>
624				        
625				        <h3 class="post-subtitle">
626				            Efficient Architectures for Large Language Models 
627				        </h3>
628				        
629				    </a>
630					<hr>
631				</div></section><section>
632				<span class="fa listing-seperator">
633					<span class="tag-text">2020</span>
634				</span><div class="post-preview item" data-tags="%E7%AE%97%E6%B3%95%E9%A2%98%E7%9B%AE">
635				    <a href="/2020/08/05/Algorithm-Problem/">
636				        <h2 class="post-title">
637                            一些算法题目
638				        </h2>
639				        
640				        <h3 class="post-subtitle">
641				            算法题目整理
642				        </h3>
643				        
644				    </a>
645					<hr>
646				</div><div class="post-preview item" data-tags="KDD+Cup+2020,Modern+E-Commerce+Platform,Multimodalities+Recall">
647				    <a href="/2020/06/12/KDD-Cup-2020-Challenges-for-Modern-E-Commerce-Platform/">
648				        <h2 class="post-title">
649                            KDD Cup 2020 Challenges for Modern E-Commerce Platform
650				        </h2>
651				        
652				        <h3 class="post-subtitle">
653				            Multimodalities Recall 
654				        </h3>
655				        
656				    </a>
657					<hr>
658				</div></section><section>
659				<span class="fa listing-seperator">
660					<span class="tag-text">2019</span>
661				</span><div class="post-preview item" data-tags="CCF%E5%A4%A7%E6%95%B0%E6%8D%AE%E4%B8%8E%E8%AE%A1%E7%AE%97%E6%99%BA%E8%83%BD%E5%A4%A7%E8%B5%9B,CCF+Big+Data+%26+Computing+Intelligence+Contest,CCF+BDCI,%E4%BA%92%E8%81%94%E7%BD%91%E6%96%B0%E9%97%BB%E6%83%85%E6%84%9F%E5%88%86%E6%9E%90">
662				    <a href="/2019/12/12/Emotional-Analysis-of-Internet-News/">
663				        <h2 class="post-title">
664                            互联网新闻「情感分析」
665				        </h2>
666				        
667				        <h3 class="post-subtitle">
668				            Emotional Analysis of Internet News
669				        </h3>
670				        
671				    </a>
672					<hr>
673				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,QC+%28Quickcheck%29,Coq,%E7%AC%94%E8%AE%B0">
674				    <a href="/2019/09/02/sf-qc-02-typeclasses/">
675				        <h2 class="post-title">
676                            「SF-QC」2 TypeClasses
677				        </h2>
678				        
679				        <h3 class="post-subtitle">
680				            Quickcheck - A Tutorial on Typeclasses in Coq
681				        </h3>
682				        
683				    </a>
684					<hr>
685				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
686				    <a href="/2019/03/19/sf-plf-19-partial-eval/">
687				        <h2 class="post-title">
688                            「SF-PLF」19 PE
689				        </h2>
690				        
691				        <h3 class="post-subtitle">
692				            Programming Language Foundations - Partial Evaluation
693				        </h3>
694				        
695				    </a>
696					<hr>
697				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
698				    <a href="/2019/03/18/sf-plf-18-use-auto/">
699				        <h2 class="post-title">
700                            「SF-PLF」18 UseAuto
701				        </h2>
702				        
703				        <h3 class="post-subtitle">
704				            Programming Language Foundations - Theory And Practice Of Automation In Coq Proofs
705				        </h3>
706				        
707				    </a>
708					<hr>
709				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
710				    <a href="/2019/03/17/sf-plf-17-use-tactics/">
711				        <h2 class="post-title">
712                            「SF-PLF」17 UseTactics
713				        </h2>
714				        
715				        <h3 class="post-subtitle">
716				            Programming Language Foundations - Tactic Library For Coq
717				        </h3>
718				        
719				    </a>
720					<hr>
721				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
722				    <a href="/2019/03/16/sf-plf-16-lib-tactics/">
723				        <h2 class="post-title">
724                            「SF-PLF」16 LibTactics
725				        </h2>
726				        
727				        <h3 class="post-subtitle">
728				            Programming Language Foundations - A Collection of Handy General-Purpose Tactics
729				        </h3>
730				        
731				    </a>
732					<hr>
733				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
734				    <a href="/2019/03/15/sf-plf-15-norm-STLC/">
735				        <h2 class="post-title">
736                            「SF-PLF」15 Norm
737				        </h2>
738				        
739				        <h3 class="post-subtitle">
740				            Programming Language Foundations - Normalization of STLC
741				        </h3>
742				        
743				    </a>
744					<hr>
745				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
746				    <a href="/2019/03/14/sf-plf-14-record-sub/">
747				        <h2 class="post-title">
748                            「SF-PLF」14 RecordSub
749				        </h2>
750				        
751				        <h3 class="post-subtitle">
752				            Programming Language Foundations - Subtyping with Records
753				        </h3>
754				        
755				    </a>
756					<hr>
757				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
758				    <a href="/2019/03/13/sf-plf-13-references/">
759				        <h2 class="post-title">
760                            「SF-PLF」13 References
761				        </h2>
762				        
763				        <h3 class="post-subtitle">
764				            Programming Language Foundations - Typing Mutable References
765				        </h3>
766				        
767				    </a>
768					<hr>
769				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
770				    <a href="/2019/03/12/sf-plf-12-records/">
771				        <h2 class="post-title">
772                            「SF-PLF」12 Records
773				        </h2>
774				        
775				        <h3 class="post-subtitle">
776				            Programming Language Foundations - Adding Records To STLC
777				        </h3>
778				        
779				    </a>
780					<hr>
781				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
782				    <a href="/2019/03/11/sf-plf-11-typechecking/">
783				        <h2 class="post-title">
784                            「SF-PLF」11. TypeChecking
785				        </h2>
786				        
787				        <h3 class="post-subtitle">
788				            Programming Language Foundations - A Typechecker for STLC
789				        </h3>
790				        
791				    </a>
792					<hr>
793				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
794				    <a href="/2019/03/10/sf-plf-10-subtyping/">
795				        <h2 class="post-title">
796                            「SF-PLF」10 Sub
797				        </h2>
798				        
799				        <h3 class="post-subtitle">
800				            Programming Language Foundations - Subtyping (子类型化)
801				        </h3>
802				        
803				    </a>
804					<hr>
805				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
806				    <a href="/2019/03/09/sf-plf-09-more-STLC/">
807				        <h2 class="post-title">
808                            「SF-PLF」9 MoreStlc
809				        </h2>
810				        
811				        <h3 class="post-subtitle">
812				            Programming Language Foundations - More on The Simply Typed Lambda-Calculus
813				        </h3>
814				        
815				    </a>
816					<hr>
817				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
818				    <a href="/2019/03/08/sf-plf-08-STLC-prop/">
819				        <h2 class="post-title">
820                            「SF-PLF」8 StlcProp
821				        </h2>
822				        
823				        <h3 class="post-subtitle">
824				            Programming Language Foundations - Properties of STLC
825				        </h3>
826				        
827				    </a>
828					<hr>
829				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
830				    <a href="/2019/03/07/sf-plf-07-STLC/">
831				        <h2 class="post-title">
832                            「SF-PLF」7 Stlc
833				        </h2>
834				        
835				        <h3 class="post-subtitle">
836				            Programming Language Foundations - The Simply Typed Lambda-Calculus
837				        </h3>
838				        
839				    </a>
840					<hr>
841				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
842				    <a href="/2019/03/06/sf-plf-06-types/">
843				        <h2 class="post-title">
844                            「SF-PLF」6 Types
845				        </h2>
846				        
847				        <h3 class="post-subtitle">
848				            Programming Language Foundations - Type Systems
849				        </h3>
850				        
851				    </a>
852					<hr>
853				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
854				    <a href="/2019/03/05/sf-plf-05-smallstep/">
855				        <h2 class="post-title">
856                            「SF-PLF」5 Smallstep
857				        </h2>
858				        
859				        <h3 class="post-subtitle">
860				            Programming Language Foundations - Small-Step Operational Semantics
861				        </h3>
862				        
863				    </a>
864					<hr>
865				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
866				    <a href="/2019/03/04/sf-plf-04-hoare-logic/">
867				        <h2 class="post-title">
868                            「SF-PLF」4 HoareAsLogic
869				        </h2>
870				        
871				        <h3 class="post-subtitle">
872				            Programming Language Foundations - Hoare Logic as a Logic
873				        </h3>
874				        
875				    </a>
876					<hr>
877				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
878				    <a href="/2019/03/03/sf-plf-03-hoare-2/">
879				        <h2 class="post-title">
880                            「SF-PLF」3 Hoare2
881				        </h2>
882				        
883				        <h3 class="post-subtitle">
884				            Programming Language Foundations - Hoare Logic, Part II
885				        </h3>
886				        
887				    </a>
888					<hr>
889				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
890				    <a href="/2019/03/02/sf-plf-02-hoare-1/">
891				        <h2 class="post-title">
892                            「SF-PLF」2 Hoare
893				        </h2>
894				        
895				        <h3 class="post-subtitle">
896				            Programming Language Foundations - Hoare Logic, Part I 
897				        </h3>
898				        
899				    </a>
900					<hr>
901				</div><div class="post-preview item" data-tags="SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,PLF+%28%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
902				    <a href="/2019/03/01/sf-plf-01-equiv/">
903				        <h2 class="post-title">
904                            「SF-PLF」1 Equiv
905				        </h2>
906				        
907				        <h3 class="post-subtitle">
908				            Programming Language Foundations - Program Equivalence (程序的等价关系)
909				        </h3>
910				        
911				    </a>
912					<hr>
913				</div><div class="post-preview item" data-tags="leetcode,Minimum+Path+Sum,%E6%9C%80%E5%B0%8F%E8%B7%AF%E5%BE%84%E5%92%8C">
914				    <a href="/2019/02/20/Minimum-Path-Sum/">
915				        <h2 class="post-title">
916                            leetcode刷题之Minimum Path Sum
917				        </h2>
918				        
919				        <h3 class="post-subtitle">
920				            最小路径和
921				        </h3>
922				        
923				    </a>
924					<hr>
925				</div><div class="post-preview item" data-tags="GitHub+Pages,page+build+failed,not+properly+closed+%60">
926				    <a href="/2019/01/20/page-build-failed/">
927				        <h2 class="post-title">
928                            写博客遇到的『page build failed错误』
929				        </h2>
930				        
931				        <h3 class="post-subtitle">
932				            『page build failed』when writing with GitHub Pages
933				        </h3>
934				        
935				    </a>
936					<hr>
937				</div><div class="post-preview item" data-tags="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29,SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
938				    <a href="/2019/01/16/sf-lf-16-auto/">
939				        <h2 class="post-title">
940                            「SF-LC」16 Auto
941				        </h2>
942				        
943				        <h3 class="post-subtitle">
944				            Logical Foundations - More Automation
945				        </h3>
946				        
947				    </a>
948					<hr>
949				</div><div class="post-preview item" data-tags="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29,SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
950				    <a href="/2019/01/15/sf-lf-15-extraction/">
951				        <h2 class="post-title">
952                            「SF-LC」15 Extraction
953				        </h2>
954				        
955				        <h3 class="post-subtitle">
956				            Logical Foundations - Extracting ML From Coq
957				        </h3>
958				        
959				    </a>
960					<hr>
961				</div><div class="post-preview item" data-tags="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29,SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
962				    <a href="/2019/01/14/sf-lf-14-imp-ceval/">
963				        <h2 class="post-title">
964                            「SF-LC」14 ImpCEvalFun
965				        </h2>
966				        
967				        <h3 class="post-subtitle">
968				            Logical Foundations - An Evaluation Function For Imp
969				        </h3>
970				        
971				    </a>
972					<hr>
973				</div><div class="post-preview item" data-tags="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29,SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
974				    <a href="/2019/01/13/sf-lf-13-imp-parser/">
975				        <h2 class="post-title">
976                            「SF-LC」13 ImpParser
977				        </h2>
978				        
979				        <h3 class="post-subtitle">
980				            Logical Foundations - Lexing And Parsing In Coq
981				        </h3>
982				        
983				    </a>
984					<hr>
985				</div><div class="post-preview item" data-tags="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29,SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
986				    <a href="/2019/01/12/sf-lf-12-imp/">
987				        <h2 class="post-title">
988                            「SF-LC」12 Imp
989				        </h2>
990				        
991				        <h3 class="post-subtitle">
992				            Logical Foundations - Simple Imperative Programs
993				        </h3>
994				        
995				    </a>
996					<hr>
997				</div><div class="post-preview item" data-tags="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29,SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
998				    <a href="/2019/01/11/sf-lf-11-rel/">
999				        <h2 class="post-title">
1000                            「SF-LC」11 Rel
1001				        </h2>
1002				        
1003				        <h3 class="post-subtitle">
1004				            Logical Foundations - Properties of Relations
1005				        </h3>
1006				        
1007				    </a>
1008					<hr>
1009				</div><div class="post-preview item" data-tags="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29,SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
1010				    <a href="/2019/01/10/sf-lf-10-ind-principle/">
1011				        <h2 class="post-title">
1012                            「SF-LC」10 IndPrinciples
1013				        </h2>
1014				        
1015				        <h3 class="post-subtitle">
1016				            Logical Foundations - Induction Principles
1017				        </h3>
1018				        
1019				    </a>
1020					<hr>
1021				</div><div class="post-preview item" data-tags="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29,SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
1022				    <a href="/2019/01/09/sf-lf-09-proof-object/">
1023				        <h2 class="post-title">
1024                            「SF-LC」9 ProofObjects
1025				        </h2>
1026				        
1027				        <h3 class="post-subtitle">
1028				            Logical Foundations - The Curry-Howard Correspondence 
1029				        </h3>
1030				        
1031				    </a>
1032					<hr>
1033				</div><div class="post-preview item" data-tags="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29,SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
1034				    <a href="/2019/01/08/sf-lf-08-map/">
1035				        <h2 class="post-title">
1036                            「SF-LC」8 Maps
1037				        </h2>
1038				        
1039				        <h3 class="post-subtitle">
1040				            Logical Foundations - Total and Partial Maps
1041				        </h3>
1042				        
1043				    </a>
1044					<hr>
1045				</div><div class="post-preview item" data-tags="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29,SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
1046				    <a href="/2019/01/07/sf-lf-07-indprop/">
1047				        <h2 class="post-title">
1048                            「SF-LC」7 Ind Prop
1049				        </h2>
1050				        
1051				        <h3 class="post-subtitle">
1052				            Logical Foundations - Inductively Defined Propositions (归纳定义命题)
1053				        </h3>
1054				        
1055				    </a>
1056					<hr>
1057				</div><div class="post-preview item" data-tags="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29,SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
1058				    <a href="/2019/01/06/sf-lf-06-logic/">
1059				        <h2 class="post-title">
1060                            「SF-LC」6 Logic
1061				        </h2>
1062				        
1063				        <h3 class="post-subtitle">
1064				            Logical Foundations - Logic in Coq
1065				        </h3>
1066				        
1067				    </a>
1068					<hr>
1069				</div><div class="post-preview item" data-tags="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29,SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
1070				    <a href="/2019/01/05/sf-lf-05-tactics/">
1071				        <h2 class="post-title">
1072                            「SF-LC」5 Tactics
1073				        </h2>
1074				        
1075				        <h3 class="post-subtitle">
1076				            Logical Foundations - More Basic Tactics
1077				        </h3>
1078				        
1079				    </a>
1080					<hr>
1081				</div><div class="post-preview item" data-tags="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29,SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
1082				    <a href="/2019/01/04/sf-lf-04-poly/">
1083				        <h2 class="post-title">
1084                            「SF-LC」4 Poly
1085				        </h2>
1086				        
1087				        <h3 class="post-subtitle">
1088				            Logical Foundations - Polymorphism and Higher-Order Functions
1089				        </h3>
1090				        
1091				    </a>
1092					<hr>
1093				</div><div class="post-preview item" data-tags="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29,SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
1094				    <a href="/2019/01/03/sf-lf-03-list/">
1095				        <h2 class="post-title">
1096                            「SF-LC」3 List
1097				        </h2>
1098				        
1099				        <h3 class="post-subtitle">
1100				            Logical Foundations - Working with Structured Data
1101				        </h3>
1102				        
1103				    </a>
1104					<hr>
1105				</div><div class="post-preview item" data-tags="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29,SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
1106				    <a href="/2019/01/02/sf-lf-02-induction/">
1107				        <h2 class="post-title">
1108                            「SF-LC」2 Induction
1109				        </h2>
1110				        
1111				        <h3 class="post-subtitle">
1112				            Logical Foundations - Proof by Induction
1113				        </h3>
1114				        
1115				    </a>
1116					<hr>
1117				</div><div class="post-preview item" data-tags="LF+%28%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80%29,SF+%28%E8%BD%AF%E4%BB%B6%E5%9F%BA%E7%A1%80%29,Coq,%E7%AC%94%E8%AE%B0">
1118				    <a href="/2019/01/01/sf-lf-01-basics/">
1119				        <h2 class="post-title">
1120                            「SF-LC」1 Basics
1121				        </h2>
1122				        
1123				        <h3 class="post-subtitle">
1124				            Logical Foundations - Functional Programming in Coq
1125				        </h3>
1126				        
1127				    </a>
1128					<hr>
1129				</div></section><section>
1130				<span class="fa listing-seperator">
1131					<span class="tag-text">2018</span>
1132				</span><div class="post-preview item" data-tags="Algorithm+Design+and+Analysis,Linear+Programming,%E7%BA%BF%E6%80%A7%E8%A7%84%E5%88%92">
1133				    <a href="/2018/12/19/Linear-Programming/">
1134				        <h2 class="post-title">
1135                            Algorithm Design and Analysis--Linear Programming
1136				        </h2>
1137				        
1138				        <h3 class="post-subtitle">
1139				            线性规划
1140				        </h3>
1141				        
1142				    </a>
1143					<hr>
1144				</div><div class="post-preview item" data-tags="Algorithm+Design+and+Analysis,Greedy+Algorithm,%E8%B4%AA%E5%BF%83">
1145				    <a href="/2018/11/20/Greedy-Algorithm/">
1146				        <h2 class="post-title">
1147                            Algorithm Design and Analysis--Greedy Algorithm
1148				        </h2>
1149				        
1150				        <h3 class="post-subtitle">
1151				            贪心
1152				        </h3>
1153				        
1154				    </a>
1155					<hr>
1156				</div><div class="post-preview item" data-tags="Algorithm+Design+and+Analysis,Dynamic+Programming,%E5%8A%A8%E6%80%81%E8%A7%84%E5%88%92">
1157				    <a href="/2018/10/31/Dynamic-Programming/">
1158				        <h2 class="post-title">
1159                            Algorithm Design and Analysis--Dynamic Programming
1160				        </h2>
1161				        
1162				        <h3 class="post-subtitle">
1163				            动态规划
1164				        </h3>
1165				        
1166				    </a>
1167					<hr>
1168				</div><div class="post-preview item" data-tags="Algorithm+Design+and+Analysis,Divide+And+Conquer,%E5%88%86%E6%B2%BB%E6%B3%95">
1169				    <a href="/2018/10/12/Divide-and-Conquer/">
1170				        <h2 class="post-title">
1171                            Algorithm Design and Analysis--Divide And Conquer
1172				        </h2>
1173				        
1174				        <h3 class="post-subtitle">
1175				            分治法
1176				        </h3>
1177				        
1178				    </a>
1179					<hr>
1180				</div><div class="post-preview item" data-tags="leetcode,Roman+to+Integer,%E7%BD%97%E9%A9%AC%E6%95%B0%E5%AD%97%E8%BD%AC%E6%95%B4%E6%95%B0">
1181				    <a href="/2018/08/13/Roman-to-Integer/">
1182				        <h2 class="post-title">
1183                            leetcode刷题之Roman to Integer
1184				        </h2>
1185				        
1186				        <h3 class="post-subtitle">
1187				            罗马数字转整数
1188				        </h3>
1189				        
1190				    </a>
1191					<hr>
1192				</div><div class="post-preview item" data-tags="statistica+machine+translation,moses,%E6%91%A9%E8%A5%BF">
1193				    <a href="/2018/07/25/statistical-machine-translation/">
1194				        <h2 class="post-title">
1195                            统计机器翻译系统Moses的搭建与运行
1196				        </h2>
1197				        
1198				        <h3 class="post-subtitle">
1199				            statistica machine translation system moses
1200				        </h3>
1201				        
1202				    </a>
1203					<hr>
1204				</div><div class="post-preview item" data-tags="Facebook,%E7%94%9F%E6%B4%BB">
1205				    <a href="/2018/06/30/dreamer/">
1206				        <h2 class="post-title">
1207                            程序员中的梦想家
1208				        </h2>
1209				        
1210				        <h3 class="post-subtitle">
1211				            Dreamers among programmers
1212				        </h3>
1213				        
1214				    </a>
1215					<hr>
1216				</div><div class="post-preview item" data-tags="leetcode">
1217				    <a href="/2018/06/20/leetcode-Reverse-Integer/">
1218				        <h2 class="post-title">
1219                            leetcode刷题之Reverse Integer
1220				        </h2>
1221				        
1222				        <h3 class="post-subtitle">
1223				            整数反转
1224				        </h3>
1225				        
1226				    </a>
1227					<hr>
1228				</div></section>
1229		</div>
1230	</div>
1231</div>
1232
1233
1234    <!-- Footer -->
1235<footer>
1236    <div class="container">
1237        <div class="row">
1238            <div class="col-lg-8 col-lg-offset-2 col-md-10 col-md-offset-1">
1239                <!-- SNS Link -->
1240                
1241
1242
1243<ul class="list-inline text-center">
1244
1245
1246  
1247  
1248  
1249  <li>
1250    <a target="_blank" href="https://www.zhihu.com/people/hischenx">
1251      <span class="fa-stack fa-lg">
1252        <i class="fa fa-circle fa-stack-2x"></i>
1253        <i class="fa  fa-stack-1x fa-inverse">知</i>
1254      </span>
1255    </a>
1256  </li>
1257  
1258  
1259  <li>
1260    <a target="_blank" href="http://weibo.com/hischenx">
1261      <span class="fa-stack fa-lg">
1262        <i class="fa fa-circle fa-stack-2x"></i>
1263        <i class="fa fa-weibo fa-stack-1x fa-inverse"></i>
1264      </span>
1265    </a>
1266  </li>
1267  
1268  
1269  <li>
1270    <a target="_blank" href="https://www.facebook.com/alexander.chan.524596">
1271      <span class="fa-stack fa-lg">
1272        <i class="fa fa-circle fa-stack-2x"></i>
1273        <i class="fa fa-facebook fa-stack-1x fa-inverse"></i>
1274      </span>
1275    </a>
1276  </li>
1277  
1278  
1279  <li>
1280    <a target="_blank" href="https://github.com/hischen">
1281      <span class="fa-stack fa-lg">
1282        <i class="fa fa-circle fa-stack-2x"></i>
1283        <i class="fa fa-github fa-stack-1x fa-inverse"></i>
1284      </span>
1285    </a>
1286  </li>
1287  
1288  
1289</ul>
1290
1291                <p class="copyright text-muted">
1292                    Copyright &copy; Hischen Blog 2026
1293                    <br>
1294                    Powered by <a href="http://hischen.github.io">Hischen Blog</a> |
1295                    <iframe
1296                        style="margin-left: 2px; margin-bottom:-5px;"
1297                        frameborder="0" scrolling="0" width="100px" height="20px"
1298                        src="https://ghbtns.com/github-btn.html?user=huxpro&repo=huxpro.github.io&type=star&count=true" >
1299                    </iframe>
1300                </p>
1301            </div>
1302        </div>
1303    </div>
1304</footer>
1305
1306<!-- jQuery -->
1307<script src="/js/jquery.min.js "></script>
1307
1308
1309<!-- Bootstrap Core JavaScript -->
1310<!-- Currently, only navbar scroll-down effect at desktop still depends on this -->
1311<script src="/js/bootstrap.min.js "></script>
1311
1312
1313<!-- Custom Theme JavaScript -->
1314<script src="/js/hux-blog.min.js "></script>
1314
1315
1316<!-- Service Worker -->
1317
1318<script src="/js/snackbar.js "></script>
vendor: 1 bytes, line 1318
1318
1319<script src="/js/sw-registration.js "></script>
1319
1320
1321
1322<!-- async load function -->
1323<script>
1324    function async(u, c) {
1325      var d = document, t = 'script',
1326          o = d.createElement(t),
1327          s = d.getElementsByTagName(t)[0];
1328      o.src = u;
1329      if (c) { o.addEventListener('load', function (e) { c(null, e); }, false); }
1330      s.parentNode.insertBefore(o, s);
1331    }
1332</script>
1332
1333
1334<!--
1335     Because of the native support for backtick-style fenced code blocks
1336     right within the Markdown is landed in Github Pages,
1337     From V1.6, There is no need for Highlight.js,
1338     so Huxblog drops it officially.
1339
1340     - https://github.com/blog/2100-github-pages-now-faster-and-simpler-with-jekyll-3-0
1341     - https://help.github.com/articles/creating-and-highlighting-code-blocks/
1342     - https://github.com/jneen/rouge/wiki/list-of-supported-languages-and-lexers
1343-->
1344<!--
1345    
1345<script>
1346        async("http://cdn.bootcss.com/highlight.js/8.6/highlight.min.js", function(){
1347            hljs.initHighlightingOnLoad();
1348        })
1349    </script>
1349
1350    <link href="http://cdn.bootcss.com/highlight.js/8.6/styles/github.min.css" rel="stylesheet">
1351-->
1352
1353
1354
1355
1356<!-- jquery.tagcloud.js -->
1357<script>
1358    async('/js/jquery.tagcloud.js',function(){
1359        $.fn.tagcloud.defaults = {
1360            //size: {start: 1, end: 1, unit: 'em'},
1361            color: {start: '#bbbbee', end: '#2f93b4'},
1362        };
1363        $('#tag_cloud a').tagcloud();
1364    })
1365</script>
vendor: 1 bytes, line 1365
1365
1366<script src='/js/archive.js '></script>
1366
1367
1368
1369<!--fastClick.js -->
1370<script>
1371    async("//cdnjs.cloudflare.com/ajax/libs/fastclick/1.0.6/fastclick.min.js", function(){
1372        var $nav = document.querySelector("nav");
1373        if($nav) FastClick.attach($nav);
1374    })
1375</script>
1375
1376
1377
1378<!-- Google Analytics -->
1379
1380<script>
1381    // dynamic User by Hux
1382    var _gaId = 'UA-87273808-1';
1383    var _gaDomain = 'https://hischen.github.io';
1384
1385    // Originial
1386    (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
1387    (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
1388    m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
1389    })(window,document,'script','//www.google-analytics.com/analytics.js','ga');
1390
1391    ga('create', _gaId, _gaDomain);
1392    ga('send', 'pageview');
1393</script>
1393
1394
1395
1396
1397<!-- Baidu Tongji -->
1398
1399
1400
1401<!-- Side Catalog -->
1402
1403
1404
1405<!-- Multi-Lingual -->
1406
1407
1408
1409
1410<!-- Image to hack wechat -->
1411<img src="/img/icon_wechat.png" width="0" height="0" />
1412<!-- Migrate from head to bottom, no longer block render and still work -->
1413
1414</body>
1415
1416</html>

Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.