Seek Depth and Breadth

Hey there! 👋 Welcome to my corner of the internet where I share insights, experiences, and discoveries from my journey through the tech world. Here you’ll find a mix of technical deep-dives, conference papers, and practical guides that I’ve created along the way.

Latest Posts

Blog Posts

• From Cursor to Claude Code to CoC (Apr 3, 2026)
• AI-Assisted Formal Methods: A Game Changer (Jan 13, 2026)
• 2025 Year End Reflections (Dec 30, 2025)

Conference Papers

• ‘26 Conference Papers
  • Fast 26
• ‘25 Conference Papers
  • Fast 25
  • OSDI 25
  • CIDR 25
  • VLDB 25

Technical Guides

• Getting Started with GitHub Pages
  • A comprehensive guide to creating and managing your GitHub Pages site
  • Perfect for beginners looking to establish their online presence
• Common Issues on macOS
  • Practical solutions for day-to-day macOS challenges
  • Tips and tricks for better productivity on macOS

Stay Connected

Feel free to explore the posts above, and check back regularly for new content. If you find something interesting or have questions, don’t hesitate to reach out!

This blog is powered by GitHub Pages and Jekyll. Want to suggest an edit? Visit the GitHub repository.