✍️ Occasional blogs

🔭 I’m currently:

• Reading technical books on free time
• Occasionally GPU programming

✋ Paused:

• Building operating system kernel with Rust
• Building a stack based bytecode interpreter
• Building a simple B-tree based SQL database from scratch

👻 Past work:

• VeriRISCy: Instruction pipelined RISC processor implementation
• Distributed file system based on Frangipani paper
• Unix-like shell (IO redirection, background jobs)
• WebGL based Video VFX
• LSTM-based music generation
• Online price tracker with chrome extension
• Content aware image resizing
• Raytracing based 3D renderer
• DNS resolver similar to dig

🌱 Self-study notes:

• Linux system programming
• Verilog voyage: learning verilog
• Study of concolic execution
• Coq proof assistant
• VHDL voyage: learning VHDL

🧪 Experiments:

• Playing with SMT solvers
• SAT solver based on DPLL algorithm
• Shader programming
• Rasterization based 3D renderer
• Algorithms & Datastructures
• Three.js experiments

🔭 Thinking of doing next

🗃️ Other projects (apps & games)