Research Topics
Table of Contents
- 1. Overview
- 2. 2026 Research
- 3. Programming Languages and Paradigms
- 4. Web Development and Frameworks
- 5. Software Engineering and Architecture
- 6. Data and Databases
- 7. Machine Learning and AI
- 8. LLM and Agentic Systems (2024-2025)
- 9. Cloud and DevOps
- 10. Security and Authentication
- 11. Tools and Utilities
- 12. Theoretical Computer Science
- 13. Miscellaneous Topics
- 14. Projects and Experiments
- 15. Resources
- 16. Presentations and Guides
1. Overview
This index provides an organized overview of various research topics and projects. Click on the links to explore specific areas of interest.
2. 2026 Research
Initial research efforts for 2026, focusing on formal verification, theorem provers, agentic systems, and DSLs.
2.1. Agentic Systems
- Agentic Systems Q1 2026 - Multi-agent orchestration, protocols, evaluation, economics
- Gastown - Multi-agent orchestration for Claude Code (steveyegge/gastown v0.2.1)
- Agent Sandbox Architectures - Where the boundary sits: Daytona, E2B, Cloudflare, Modal, Deno
- REPL-Driven Compliance - 29-language gate pipeline development, access log as oracle
- Org-Publish at Scale - Managing a 660-file site with Emacs TRAMP, cache and timing data
2.2. Formal Verification
- TLA+ for System Design - Model checking, state machines, distributed systems verification
- Lean 4.27.0 on FreeBSD 15.0 - Updated validation with Lake 5.0, theorem examples
- Lean 4.23.0 on FreeBSD 14.3 - Getting Lean 4 working on FreeBSD (requires procfs)
- FreeBSD 15.0-RELEASE Upgrade - 14.x to 15.0 upgrade notes,
libsys.so.7recovery - Agent Isolation with FreeBSD Jails - Two-machine architecture for sandboxing AI coding agents
- Formal Transformer Verification - Verifying transformer model properties
- Veil DSL Workshop - Verified information-flow security DSL
5. 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
8. LLM and Agentic Systems (2024-2025)
Research and implementations in AI agents, large language models, and agentic workflows.
8.1. Agent Frameworks and Patterns
- LLM Agent Frameworks Overview
- Agentic Systems Q4 2024 - Architectural patterns, APM, case studies
- Elenctic Vibe Code Review - Socratic approach to reviewing AI-generated code through progressive hardening
- 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
8.2. Claude Agent SDK
The Claude Agent SDK provides the same infrastructure that powers Claude Code for building production-ready agents.
8.2.1. Core SDKs
- claude-agent-sdk-python - Official Python SDK (includes bundled CLI)
- claude-agent-sdk-typescript - Official TypeScript/Node SDK
- Agent SDK Documentation
8.2.2. 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
8.3. Claude Code and Anthropic Tools
- Claude Code + Ollama - Local and cloud backends via OpenAI-compatible API
- 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
8.4. 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
8.5. 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
8.6. Agent Infrastructure
- Beads (bd) - Distributed git-backed issue tracker for AI agents
- Agent Token Exchange - Secure token delegation
- Authenticated Agent Delegation - Agent auth patterns
16. Presentations and Guides
- Org-mode Presentations
- Org-mode Productivity
- Org-mode Syllabus
- Org-Drill: Spaced Repetition in Emacs - SM2 algorithm, card types, scheduling, and Anki comparison
- Summaries