37 posts in total

---

2023

11-24

Metric in L^p

10-31

Rudin Analysis Exercise 2.23

10-26

Operator Precedence in C

10-17

WebSocket on stock data with latency issue

10-17

WebSocket Introduction

10-12

Import LEAN into elan

10-12

Installing LEAN on arm based Mac — Manually compile and install

10-11

Setting Up Lean on an M1 Mac: A Debugging Journey

07-12

Intern study summary - Jul 12 Wed

07-11

Intern study summary - Jul 11 Tue