Skip to content
View Mike-Animal-Counseling's full-sized avatar
2 followers · 0 following

Achievements

Achievement: Pull Sharkx3Achievement: Galaxy BrainAchievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: Galaxy BrainAchievement: YOLOAchievement: Quickdraw

Block or report Mike-Animal-Counseling

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. 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
Mike-Animal-Counseling/README.md

Software Engineer

Backend Systems · Developer Tools · Reliability

I build practical tools and backend systems, with a focus on correctness, observability, and measurable trade-offs.

Selected Projects

Chrono
Event-sourced project planning with timeline replay, isolated scenarios, and deterministic delivery forecasts.

PawCompanion
Companion chat and booking prototype with atomic reservations and separate guest and partner workflows.

Codex Halo
Rust and Tauri Windows HUD for Codex quotas and per-model usage, with local session-log parsing.

LambdaOpt
Compares AWS Lambda costs and p95/p99 latency using benchmarks and CloudWatch metrics.

Open Source Contributions

Merged upstream PRs.

  • Fjall #346 · Prevented write skew by tracking size_of reads in optimistic transactions.
  • AgentMemory #1688 · Fixed Windows demo Compose cleanup and added a teardown smoke test.
  • Litestream #1617 · Fixed IPv6 bracket handling for SFTP URLs with no port.
  • Pydantic AI #12681 · Corrected the Gemini model ID in the structured-output example.

All upstream PRs

Technologies

Languages & backend · Python, TypeScript, Rust, Go, Java, FastAPI, Node.js, PostgreSQL, Redis, Kafka
AI & agents · PyTorch, Hugging Face, LangGraph, LangChain, LlamaIndex, MCP, RAG, pgvector
Web & desktop · React, Next.js, Tailwind CSS, Tauri, React Native, Vite
Cloud & quality · AWS EC2 / RDS / Lambda, CloudWatch, Docker / Compose, GitHub Actions, Playwright, pytest

Pinned Loading

  1. hot-topic-hub hot-topic-hub Public

    Discover what matters to builders through community-ranked AI news, refreshed daily.

    Python 1

  2. paw-companion paw-companion Public

    A full-stack pet companionship product: a digital pet with host-authored personality, animal sounds, translated text, plus real home, walk and cafe visits.

    JavaScript

  3. codex-halo codex-halo Public

    A privacy-first floating Windows HUD for OpenAI Codex usage limits, local token analytics, and model cost insights.

    Rust

  4. chrono-public chrono-public Public

    Temporal decision workspace — replay the past, compare the present, rehearse the future.

    TypeScript

  5. aws-lambda-slo-optimizer aws-lambda-slo-optimizer Public

    SLO-aware cost optimizer for AWS Lambda — benchmark, analyze, and recommend the cheapest config that meets your latency targets.

    Python

  6. laya-jev-lab laya-jev-lab Public

    Drop SaaS ticket classification into your helpdesk. Use trained Laya V5 locally or Jev via API, with a Python SDK, REST service, shared inbox and Zendesk sync.

    Python