Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 5 additions & 2 deletions _config.yml
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
name: Constructive Programming
description: Type-driven and LLM-augmented engineering consultancy
description: >-
Software consultancy for platform teams: AI-accelerated delivery inside
type-driven guardrails. Architecture reviews, embedded senior engineers
(Scala, Rust, TypeScript), and agent-native development workflows.
url: https://www.constructive.dev

title: Constructive Programming
Expand All @@ -8,7 +11,7 @@ favicon: assets/img/favicon.svg
# Hero
header_feature_image: ""
header_text: Constructive Programming
header_subtitle: Types as guardrails for AI agents. We ship production code paired with LLMs, narrowed by construction.
header_subtitle: Ship at AI speed. Skip the gamble. Production code with AI, inside engineering guardrails that make most wrong versions impossible to build.

# Footer
footer_text: "Copyright Constructive Programming,"
Expand Down
Loading
Loading