Skip to content
View certainly-param's full-sized avatar
🎯
Focusing
🎯
Focusing
3 followers · 10 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: YOLO

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: YOLO

Highlights

  • Pro

Block or report certainly-param

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
certainly-param/README.md

● ○ ○ param@github: ~/certainly-param



Typing SVG

github-snake

> Research Assistant @ UNC Chapel Hill | MS Computer Science

> Currently working on formal verification for RISC-V architectures

WebsiteLinkedInEmailBlogGitHub

$ cat tech_stack.txt

// Languages

PythonC/C++C#RustTypeScriptJavaScriptSystemVerilogBash

// AI & ML

PyTorchvLLMLangChainLangGraphPydantic--AIMCPOllamaVector_DBsSpark

// Backend & Cloud

FastAPINode.jsExpress.NETPostgreSQLMongoDBAWSGCPDocker

// Cryptography & Security

OpenSSLPost--QuantumZK_ProofsFormal_Methods

// Systems & Tools

LinuxRISC--VGitCI/CD

GitHub Activity Graph

$ ls ~/projects

ProjectDescription
GarudaRISC-V INT8 accelerator with 7.5-9× latency reduction for attention microkernels
PSF Design LabAI predictability assessment toolkit with hybrid measurement (entropy + KL divergence + LLM)
TraceLensVisual debugger for LangGraph workflows with time-travel debugging and real-time visualization
VACCapability-based security for AI agents with task-scoped credentials and instant revocation
AxiomHybrid verification framework (KLEE + TLA+) for distributed systems with 100% coverage for Raft
Serverless RAG ChatbotScale-to-zero RAG architecture with $0/month when idle and 30-60% cost reduction via caching

$ git log --author=param --oneline

ContributionDescription
pydantic-aiFixed race condition in parallel tool execution with targeted locking
vLLMINT8 quantization fix for Blackwell GPUs (SM100+) with early validation and FP8 guidance
CVA6 RISC-VFixed interrupt encoding in RV64 + inferred latch fix - improves hardware reliability
MCP Python SDKResource leak fix in SSE handlers with comprehensive test suite
Anthropic SkillsPerformance optimization: 90% reduction in bounding box comparisons for multi-page forms

$ curl blog.rss

$ tail -f activity.log

  1. 💪 Opened PR #1152 in sunlabuiuc/PyHealth
  2. 🗣 Commented on #3729 in pydantic/pydantic-ai
  3. 🎉 Merged PR #3259 in emmabostian/developer-portfolios

Profile ViewsGitHub StarsGitHub Forks


Made while doing lot of snacking ;)

param@github: ~ $ exit

Pinned Loading

  1. garuda-acceleratorgaruda-acceleratorPublic

    Garuda: CVXIF coprocessor optimizing batch-1 attention microkernels with 7.5-9× lower p99 latency. RISC-V INT8 MAC accelerator for transformer inference.

    SystemVerilog 7 3

  2. AxiomAxiomPublic

    Axiomatic Verification for Distributed Systems

    Python

  3. serverless-rag-chatbotserverless-rag-chatbotPublic

    A modern, cost-efficient RAG (Retrieval Augmented Generation) chatbot that lets you upload PDFs and ask questions about them. Features client-side PDF parsing, free built-in embeddings via Upstash …

    JavaScript

  4. tracelenstracelensPublic

    Tracelens - Visual Debugger and Replay Engine for LangGraph Agentic Workflows - Real-time monitoring, time-travel debugging, and interactive graph visualization for AI agents

    Python

  5. Gopal3746/AI-TicketingGopal3746/AI-TicketingPublic

    COMP 523

    JavaScript

  6. VAC-protocolVAC-protocolPublic

    VAC Protocol - Capability-based security for AI agents. Task-scoped credentials, receipt-based state, instant revocation.

    Rust 1