Home Tech Soliloquy Life Memo Series Projects Links Me

Reading articles in Type Theory

2024

2024/02/11Arbitary Lifetime Transmutation via Rust Unsoundness

2022

2022/03/30A Flaw of Promoting Complex Trait Bounds in Rust

© hsfzxjy 的博客. Powered by Hexo. Theme by Cho & hsfzxjy.

粤公网安备44011202001249号粤ICP备2020075702号-1

Navigations

Publications & Projects
Archives
Index
External Links
RSS

Categories

Tech82
Soliloquy21
Series3
Memo20
Life9

Recent Tags

C++ NPU Level-Zero Meta Font CSS Typography Rust Type Theory Programming LeetCode Dijkstra Python Algorithm String Go Math Random Thoughts Methodology Git Electron Group Theory Abstract Algebra Coroutine Kotlin Sociology Etymology CUDA Docker Github GPG Ubuntu System Maintainance Dart Best Practice Naming Fiction FFI Compiler Multiprocessing

Recent Articles

折腾 NPU·第1章 —— 搭建 Level Zero 开发环境
折腾 NPU·第0章 —— Intel NPU 概述与 Level-Zero
新增域名 monad.run
CSS 中为特定字符设置不同字体
Arbitary Lifetime Transmutation via Rust Unsoundness
Dijkstra 算法的延伸
Manacher 回文计数算法
硬卧
Go Fact: Zero-sized Field at the Rear of a Struct Has Non-zero Size
Display *big.Rat Losslessly and Smartly in Golang

Recent Comments