Skip to content
View dporkka's full-sized avatar
109 followers · 455 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report dporkka

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
dporkka/README.md

David Porkka

Hi, I'm David

Senior Software Engineer · Distributed Systems · AI Infrastructure · Geospatial

I build tools that make developers and machines smarter together — autonomous agents, distributed runtimes, and dev control planes. I kept vascular tissue alive with Python in a past life, and I've been chasing hard systems problems ever since.

Languages & Tools

Go Rust TypeScript PostgreSQL Turso

Open Source Projects

Project Description
Agentvault Local-first knowledge OS for notes, decisions, research, and agent-readable context.
AI Dev Control Plane Self-hostable AI development control plane. Takes tasks from prompts, issues, Slack and turns them into branches, PRs, and releases.
Nulang Actor language and runtime for autonomous distributed software systems. Built in Rust.
AI Build Coach Turn vague software ideas into complete architecture plans.

Dev Environment

  • Dotfiles — Neovim + tmux + WezTerm command center. Portable, AI-native, Nix + home-manager.
  • Dev Setup — Lightweight LazyVim starter for JS/TS, Go, Python, Rust on remote VPS.

📬 Get in Touch

Pinned Loading

  1. dev-plane dev-plane Public

    AI development control plane. Takes tasks from prompts, GitHub issues, Linear tickets, Slack/Discord commands, or voice and turns them into isolated branches, code changes, tests, reviews, pull req…

    Go 3 1

  2. agentvault agentvault Public

    Local-first knowledge operating system for notes, decisions, research, tasks, and agent-readable context. Markdown files are the source of truth. SQLite is a rebuildable index and cache used for se…

    Go 3 1

  3. nulang nulang Public

    Nulang is a modern systems programming language and runtime that combines the fault-tolerant distributed computing model of Erlang with advanced type system features borrowed from Rust, Pony, and r…

    Rust 2

  4. 100y-saas 100y-saas Public template

    multi-tenant SaaS platform built for extreme durability and minimal maintenance. It includes authentication, analytics, subscriptions, background jobs, rate limiting, and email notifications—all us…

    Go 2

  5. Tools Tools Public

    Hardware and dev tools

    4

  6. Books Books Public

    Books I like

    3