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 © 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.