Research Topics
Table of Contents
- Overview
- 2026 Research
- Programming Languages and Paradigms
- Web Development and Frameworks
- Software Engineering and Architecture
- Data and Databases
- Machine Learning and AI
- LLM and Agentic Systems (2024-2025)
- Cloud and DevOps
- Security and Authentication
- Tools and Utilities
- Theoretical Computer Science
- Miscellaneous Topics
- Projects and Experiments
- Resources
- Presentations and Guides
Overview
This index provides an organized overview of various research topics and projects. Click on the links to explore specific areas of interest.
2026 Research
Initial research efforts for 2026, focusing on formal verification, theorem provers, agentic systems, and DSLs.
Agentic Systems
- Agentic Systems Q1 2026 - Multi-agent orchestration, protocols, evaluation, economics
- Gastown - Multi-agent orchestration for Claude Code (steveyegge/gastown v0.2.1)
Formal Verification
- TLA+ for System Design - Model checking, state machines, distributed systems verification
- Lean 4.23.0 on FreeBSD 14.3 - Getting Lean 4 working on FreeBSD (requires procfs)
- Formal Transformer Verification - Verifying transformer model properties
- Veil DSL Workshop - Verified information-flow security DSL
Programming Languages and Paradigms
JavaScript and TypeScript
Web Development and Frameworks
Software Engineering and Architecture
- Software Design
- CI/CD
- Event-Driven Architectures and Actor Model
- Serverless
- TLA+ for System Design - Comprehensive guide to formal specification and model checking
- TLA+ Examples - Traffic lights and communication protocol specifications
- API Federation
Data and Databases
Machine Learning and AI
LLM and Agentic Systems (2024-2025)
Research and implementations in AI agents, large language models, and agentic workflows.
Agent Frameworks and Patterns
- LLM Agent Frameworks Overview
- Agentic Systems Q4 2024 - Architectural patterns, APM, case studies
- Multi-Agent Workflow Frameworks - Synchronous (CONTINUE) vs asynchronous (Beads) coordination
- Agentic Publishing Workflows - Claude Code Opus 4.5 for autonomous org-mode publishing
- sage.el - Modular AI coding assistant for Emacs with tool-calling, org-mode, and Magit integration
Claude Agent SDK
The Claude Agent SDK provides the same infrastructure that powers Claude Code for building production-ready agents.
Core SDKs
- claude-agent-sdk-python - Official Python SDK (includes bundled CLI)
- claude-agent-sdk-typescript - Official TypeScript/Node SDK
- Agent SDK Documentation
Key Features
- Automatic context management
- Rich tool ecosystem (file ops, code execution, web search, MCP)
- Advanced permissions and error handling
- Session management and monitoring
- Multi-session support for long-running agents
Claude Code and Anthropic Tools
- Claude Code Metrics Lab - Usage monitoring and analytics
- Claude Emacs Integration - Emacs interface for Claude
- Claude Memory Explorer - Context and memory analysis
- dotclaude - Claude Code configuration management
MCP (Model Context Protocol) Servers
- MCP Server WebDAV - WebDAV integration for Claude
- MCP Server QR Code - QR code generation tool
- MCP Lorem - Lorem ipsum generator for testing
Agent Workshops and Tutorials
- Go Agentic Workshop - Building production AI agents with Go/AWS Bedrock
- Terminal AI Agents Workshop - Building agents with tool patterns
- Multi-Framework Agent Lab - Comparing agent frameworks
Agent Infrastructure
- Beads (bd) - Distributed git-backed issue tracker for AI agents
- Agent Token Exchange - Secure token delegation
- Authenticated Agent Delegation - Agent auth patterns
