corpus.blog
41554 blogs · [ { "id": "01a08757-4709-7096-8a75-6486fda3291b", "title": "Four Years into PhD", "url": "https://www.bodunhu.com/blog/posts/four-years-into-phd/", "published_at": "2025-04-20T00:00:00+00:00" }, { "id": "01a08757-4709-7096-8a75-6486fdfcaf23", "title": "Stichable Neural Networks", "url": "https://www.bodunhu.com/blog/posts/stichable-neural-networks/", "published_at": "2024-09-01T00:00:00+00:00" }, { "id": "01a08757-4709-7096-8a75-6486fe1b43f2", "title": "Blog Archive", "url": "https://www.bodunhu.com/blog/posts/blog-archive/", "published_at": "2024-08-28T00:00:00+00:00" }, { "id": "01a08757-4709-7096-8a75-6486fea205f5", "title": "TensorIR Transformation", "url": "https://www.bodunhu.com/blog/posts/tensorir-transformation/", "published_at": "2022-08-30T00:00:00+00:00" }, { "id": "01a08757-4709-7096-8a75-6486ff971512", "title": "Dive into TensorIR", "url": "https://www.bodunhu.com/blog/posts/dive-into-tensorir/", "published_at": "2022-08-28T00:00:00+00:00" }, { "id": "01a08757-4709-7096-8a75-6487006de1d4", "title": "Pathways: Google's New ML System", "url": "https://www.bodunhu.com/blog/posts/pathways-googles-new-ml-system/", "published_at": "2022-03-31T00:00:00+00:00" }, { "id": "01a08757-4709-7096-8a75-648700bdab72", "title": "FlexFlow", "url": "https://www.bodunhu.com/blog/posts/flexflow/", "published_at": "2022-02-22T00:00:00+00:00" }, { "id": "01a08757-4709-7096-8a75-648701b3ee10", "title": "Add Mermaid to Hugo with Dark Mode", "url": "https://www.bodunhu.com/blog/posts/add-mermaid-to-hugo-with-dark-mode/", "published_at": "2022-02-15T00:00:00+00:00" }, { "id": "01a08757-4709-7096-8a75-648702503e6f", "title": "Cross Entropy Loss", "url": "https://www.bodunhu.com/blog/posts/cross-entropy-loss/", "published_at": "2022-02-13T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7eb704df0", "title": "Maximum Likelihood for Classification", "url": "https://www.bodunhu.com/blog/posts/maximum-likelihood-for-classification/", "published_at": "2022-01-24T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7ebb74e0f", "title": "Machine Learning System Resources", "url": "https://www.bodunhu.com/blog/posts/machine-learning-system-resources/", "published_at": "2022-01-08T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7ebc26c3c", "title": "Megatron with FastMoE", "url": "https://www.bodunhu.com/blog/posts/megatron-with-fastmoe/", "published_at": "2021-12-01T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7ec03e85e", "title": "Set up Slurm across Multiple Machines", "url": "https://www.bodunhu.com/blog/posts/set-up-slurm-across-multiple-machines/", "published_at": "2021-11-16T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7ec6da703", "title": "Paper Review - Dynamic Tensor Rematerialization", "url": "https://www.bodunhu.com/blog/posts/paper-review-dynamic-tensor-rematerialization/", "published_at": "2021-11-09T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7ecc01aa7", "title": "Paper Review - Capuchin: Tensor-based GPU Memory Management for Deep Learning", "url": "https://www.bodunhu.com/blog/posts/paper-review-capuchin-tensor-based-gpu-memory-management-for-deep-learning/", "published_at": "2021-11-07T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7ed388448", "title": "Starting Out PhD", "url": "https://www.bodunhu.com/blog/posts/starting-out-phd/", "published_at": "2021-11-05T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7ed54d74b", "title": "Handle GitHub Password Authentication Deprecation", "url": "https://www.bodunhu.com/blog/posts/handle-github-password-authentication-deprecation/", "published_at": "2021-10-19T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7ed9c935c", "title": "Consensus Problem in Distributed Systems", "url": "https://www.bodunhu.com/blog/posts/consensus-problem-in-distributed-systems/", "published_at": "2021-10-18T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7ee10db72", "title": "Fault Tolerance in Distributed Systems", "url": "https://www.bodunhu.com/blog/posts/fault-tolerance-in-distributed-systems/", "published_at": "2021-10-05T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7ee70a77e", "title": "Consistency Models Explained", "url": "https://www.bodunhu.com/blog/posts/consistency-models-explained/", "published_at": "2021-09-23T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7ef63b0ad", "title": "Lamport Distributed Mutual Exclusion", "url": "https://www.bodunhu.com/blog/posts/lamport-distributed-mutual-exclusion/", "published_at": "2021-09-21T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7ef98bf70", "title": "Specifying Token Ring for Mutual Exclusion", "url": "https://www.bodunhu.com/blog/posts/specifying-token-ring-for-mutual-exclusion/", "published_at": "2021-09-11T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f02d0053", "title": "Writing Specifications for a Distributed System using Ivy", "url": "https://www.bodunhu.com/blog/posts/writing-specifications-for-a-distributed-system-using-ivy/", "published_at": "2021-09-08T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f0f46f8e", "title": "Whiz: Data-Driven Analytics Execution", "url": "https://www.bodunhu.com/blog/posts/whiz-data-driven-analytics-execution/", "published_at": "2021-09-05T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f0f63b9a", "title": "In-Network Aggregation for Shared Machine Learning Clusters", "url": "https://www.bodunhu.com/blog/posts/in-network-aggregation-for-shared-machine-learning-clusters/", "published_at": "2021-08-31T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f11d6103", "title": "Deploy Hugo Site to GitHub Pages", "url": "https://www.bodunhu.com/blog/posts/deploy-hugo-site-to-github-pages/", "published_at": "2021-08-27T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f162691e", "title": "Quantum State in a Nutshell", "url": "https://www.bodunhu.com/blog/posts/quantum-state-in-a-nutshell/", "published_at": "2021-08-19T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f206fc8a", "title": "Writing in the Sciences - Writing Process", "url": "https://www.bodunhu.com/blog/posts/writing-in-the-sciences-writing-process/", "published_at": "2021-08-09T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f25f2812", "title": "Writing in the Sciences - Structure", "url": "https://www.bodunhu.com/blog/posts/writing-in-the-sciences-structure/", "published_at": "2021-08-08T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f2746095", "title": "Writing in the Sciences - Verbs", "url": "https://www.bodunhu.com/blog/posts/writing-in-the-sciences-verbs/", "published_at": "2021-07-31T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f3363501", "title": "Writing in the Sciences - Cut the Clutter", "url": "https://www.bodunhu.com/blog/posts/writing-in-the-sciences-cut-the-clutter/", "published_at": "2021-07-30T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f3ee99c7", "title": "Unitary Matrix", "url": "https://www.bodunhu.com/blog/posts/unitary-matrix/", "published_at": "2021-07-14T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f4a079eb", "title": "BGP in a Nutshell", "url": "https://www.bodunhu.com/blog/posts/bgp-in-a-nutshell/", "published_at": "2021-07-06T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f4a9b525", "title": "From Autotools to CMake", "url": "https://www.bodunhu.com/blog/posts/from-autotools-to-cmake/", "published_at": "2021-06-21T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f4f125e7", "title": "How SAT Solver works", "url": "https://www.bodunhu.com/blog/posts/how-sat-solver-works/", "published_at": "2021-05-21T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f5b1038a", "title": "Experience on Dafny Programming", "url": "https://www.bodunhu.com/blog/posts/experience-on-dafny-programming/", "published_at": "2021-05-16T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f659f501", "title": "Ethereum", "url": "https://www.bodunhu.com/blog/posts/ethereum/", "published_at": "2021-05-14T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f68ba4f1", "title": "Reflections on my CS PhD Application Process", "url": "https://www.bodunhu.com/blog/posts/reflections-on-my-cs-phd-application-process/", "published_at": "2021-05-10T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f747c61f", "title": "Blockchain", "url": "https://www.bodunhu.com/blog/posts/blockchain/", "published_at": "2021-04-19T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f81231ac", "title": "Hoare Logic", "url": "https://www.bodunhu.com/blog/posts/hoare-logic/", "published_at": "2021-04-17T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f82f3566", "title": "Congruence Closure", "url": "https://www.bodunhu.com/blog/posts/congruence-closure/", "published_at": "2021-03-27T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f865f598", "title": "Program Loading and Memory Mapping in Linux", "url": "https://www.bodunhu.com/blog/posts/program-loading-and-memory-mapping-in-linux/", "published_at": "2020-11-03T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f8b9a4dd", "title": "Scheduler Activation", "url": "https://www.bodunhu.com/blog/posts/scheduler-activation/", "published_at": "2020-10-24T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f8df1cd6", "title": "Add MathJax Support to Jekyll and Hugo", "url": "https://www.bodunhu.com/blog/posts/add-mathjax-support-to-jekyll-and-hugo/", "published_at": "2020-10-22T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f907ae30", "title": "Linux Program Measurement and mmap", "url": "https://www.bodunhu.com/blog/posts/linux-program-measurement-and-mmap/", "published_at": "2020-09-23T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f9868d43", "title": "Memory Resource Management in VMware ESX Server", "url": "https://www.bodunhu.com/blog/posts/memory-resource-management-in-vmware-esx-server/", "published_at": "2020-09-21T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7f9ef7737", "title": "Xen and the Art of Virtualization", "url": "https://www.bodunhu.com/blog/posts/xen-and-the-art-of-virtualization/", "published_at": "2020-09-16T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7fa082937", "title": "Start Linux Kernel Hacking", "url": "https://www.bodunhu.com/blog/posts/start-linux-kernel-hacking/", "published_at": "2020-09-14T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7fa3a31aa", "title": "Performance Anomaly of 802.11b", "url": "https://www.bodunhu.com/blog/posts/performance-anomaly-of-802.11b/", "published_at": "2020-09-13T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7face19bb", "title": "Exokernel", "url": "https://www.bodunhu.com/blog/posts/exokernel/", "published_at": "2020-09-01T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7fb11b2f8", "title": "Sketch on the UNIX Timesharing System", "url": "https://www.bodunhu.com/blog/posts/sketch-on-the-unix-timesharing-system/", "published_at": "2020-08-27T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7fbb2bbd0", "title": "Monads in Haskell", "url": "https://www.bodunhu.com/blog/posts/monads-in-haskell/", "published_at": "2020-03-01T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7fc5acb29", "title": "Singular Value Decomposition", "url": "https://www.bodunhu.com/blog/posts/singular-value-decomposition/", "published_at": "2020-02-10T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7fd0548aa", "title": "Understanding Probabilistic Clock Synchronization", "url": "https://www.bodunhu.com/blog/posts/understanding-probabilistic-clock-synchronization/", "published_at": "2019-09-17T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7fd8a28d5", "title": "How to Put Papers on ArXiv", "url": "https://www.bodunhu.com/blog/posts/how-to-put-papers-on-arxiv/", "published_at": "2019-06-25T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7fe35f0be", "title": "A Little Review on Barrelfish Memory Managements", "url": "https://www.bodunhu.com/blog/posts/a-little-review-on-barrelfish-memory-managements/", "published_at": "2019-02-18T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7fe9ee55d", "title": "Pascal GPU memory and cache hierarchy", "url": "https://www.bodunhu.com/blog/posts/pascal-gpu-memory-and-cache-hierarchy/", "published_at": "2019-01-15T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7ff804466", "title": "Map Reduce", "url": "https://www.bodunhu.com/blog/posts/map-reduce/", "published_at": "2018-04-01T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c7ffca384d", "title": "Networks", "url": "https://www.bodunhu.com/blog/posts/networks/", "published_at": "2017-11-13T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c800c00426", "title": "File System Design", "url": "https://www.bodunhu.com/blog/posts/file-system-design/", "published_at": "2017-10-30T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c800c0fa3e", "title": "Disk Introduction", "url": "https://www.bodunhu.com/blog/posts/disk-introduction/", "published_at": "2017-10-25T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c80199ed5d", "title": "Virtual Memory Mechanisms", "url": "https://www.bodunhu.com/blog/posts/virtual-memory-mechanisms/", "published_at": "2017-10-19T00:00:00+00:00" }, { "id": "01a08757-470a-73ac-94c2-d0c8027c573f", "title": "Virtual Memory Overview", "url": "https://www.bodunhu.com/blog/posts/virtual-memory-overview/", "published_at": "2017-10-08T00:00:00+00:00" } ] posts Claim your blog
Back to bodunhu.com
Blog · corpus.blog/blogs/bodunhu.com/posts

bodunhu.com

bodunhu.com

2025

Four Years into PhDoriginal ↗
20 Apr 2025

2024

Stichable Neural Networksoriginal ↗
1 Sept 2024
Blog Archiveoriginal ↗
28 Aug 2024

2022

TensorIR Transformationoriginal ↗
30 Aug 2022
Dive into TensorIRoriginal ↗
28 Aug 2022
Pathways: Google's New ML Systemoriginal ↗
31 Mar 2022
FlexFloworiginal ↗
22 Feb 2022
Add Mermaid to Hugo with Dark Modeoriginal ↗
15 Feb 2022
Cross Entropy Lossoriginal ↗
13 Feb 2022
Maximum Likelihood for Classificationoriginal ↗
24 Jan 2022
Machine Learning System Resourcesoriginal ↗
8 Jan 2022

2021

Megatron with FastMoEoriginal ↗
1 Dec 2021
Set up Slurm across Multiple Machinesoriginal ↗
16 Nov 2021
Paper Review - Dynamic Tensor Rematerializationoriginal ↗
9 Nov 2021
Paper Review - Capuchin: Tensor-based GPU Memory Management for Deep Learningoriginal ↗
7 Nov 2021
Starting Out PhDoriginal ↗
5 Nov 2021
Handle GitHub Password Authentication Deprecationoriginal ↗
19 Oct 2021
Consensus Problem in Distributed Systemsoriginal ↗
18 Oct 2021
Fault Tolerance in Distributed Systemsoriginal ↗
5 Oct 2021
Consistency Models Explainedoriginal ↗
23 Sept 2021
Lamport Distributed Mutual Exclusionoriginal ↗
21 Sept 2021
Specifying Token Ring for Mutual Exclusionoriginal ↗
11 Sept 2021
Writing Specifications for a Distributed System using Ivyoriginal ↗
8 Sept 2021
Whiz: Data-Driven Analytics Executionoriginal ↗
5 Sept 2021
In-Network Aggregation for Shared Machine Learning Clustersoriginal ↗
31 Aug 2021
Deploy Hugo Site to GitHub Pagesoriginal ↗
27 Aug 2021
Quantum State in a Nutshelloriginal ↗
19 Aug 2021
Writing in the Sciences - Writing Processoriginal ↗
9 Aug 2021
Writing in the Sciences - Structureoriginal ↗
8 Aug 2021
Writing in the Sciences - Verbsoriginal ↗
31 Jul 2021
Writing in the Sciences - Cut the Clutteroriginal ↗
30 Jul 2021
Unitary Matrixoriginal ↗
14 Jul 2021
BGP in a Nutshelloriginal ↗
6 Jul 2021
From Autotools to CMakeoriginal ↗
21 Jun 2021
How SAT Solver worksoriginal ↗
21 May 2021
Experience on Dafny Programmingoriginal ↗
16 May 2021
Ethereumoriginal ↗
14 May 2021
Reflections on my CS PhD Application Processoriginal ↗
10 May 2021
Blockchainoriginal ↗
19 Apr 2021
Hoare Logicoriginal ↗
17 Apr 2021
Congruence Closureoriginal ↗
27 Mar 2021

2020

Program Loading and Memory Mapping in Linuxoriginal ↗
3 Nov 2020
Scheduler Activationoriginal ↗
24 Oct 2020
Add MathJax Support to Jekyll and Hugooriginal ↗
22 Oct 2020
Linux Program Measurement and mmaporiginal ↗
23 Sept 2020
Memory Resource Management in VMware ESX Serveroriginal ↗
21 Sept 2020
Xen and the Art of Virtualizationoriginal ↗
16 Sept 2020
Start Linux Kernel Hackingoriginal ↗
14 Sept 2020
Performance Anomaly of 802.11boriginal ↗
13 Sept 2020
Exokerneloriginal ↗
1 Sept 2020
Sketch on the UNIX Timesharing Systemoriginal ↗
27 Aug 2020
Monads in Haskelloriginal ↗
1 Mar 2020
Singular Value Decompositionoriginal ↗
10 Feb 2020

2019

Understanding Probabilistic Clock Synchronizationoriginal ↗
17 Sept 2019
How to Put Papers on ArXivoriginal ↗
25 Jun 2019
A Little Review on Barrelfish Memory Managementsoriginal ↗
18 Feb 2019
Pascal GPU memory and cache hierarchyoriginal ↗
15 Jan 2019

2018

Map Reduceoriginal ↗
1 Apr 2018

2017

Networksoriginal ↗
13 Nov 2017
File System Designoriginal ↗
30 Oct 2017
Disk Introductionoriginal ↗
25 Oct 2017
Virtual Memory Mechanismsoriginal ↗
19 Oct 2017
Virtual Memory Overvieworiginal ↗
8 Oct 2017