| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Fri, 12 Sep 2025 12:56:53 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"68c41895-dd1"
expires: Tue, 30 Dec 2025 22:50:52 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: A3B3:2680BD:A831A4:BD0FC8:695454F4
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 22:40:52 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210024-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767134452.439001,VS0,VE211
vary: Accept-Encoding
x-fastly-request-id: 8b1160ac35197ad42d3a9afbc99477d650c35b47
content-length: 1415
Dipesh
Copyright © Dipesh Kafle. All rights reserved. | Powered by Zola & Apollo
About Me.
Hi I am Dipesh, I am a first year PhD Student in School of Computing @ NUS. I used to work as a software developer (primarily backend) before this.
I am interested in Systems Programming, Programming Languages and Formal Methods. I have experience writing code in multiple languages C++ and Rust in my hobby projects, Java and Typescript as a Software Engineer, and OCaml as hobby and as an intern. I'm also trying to blog about things that I learn nowadays. Lately, I've been working with Lean and trying to gain expertise in it.
You can find