Describe Progmasoft without programming languages and compilerscontent/no-programming-languages

The footer of every page, the site description and the home page still
said that Progmasoft builds programming-language infrastructure,
languages and compilers. Since Tala and its tools are archived, they
describe what Progmasoft makes now, in all four languages:

- Footer: "Developer tools and data infrastructure built with durable
  contracts."
- Site and home description: build systems, testing tools, an agentic
  IDE and data infrastructure.
- Home hero: build systems, testing tools, agentic development
  environments, data infrastructure and the services around them.
- The area "Languages and compilers" becomes "Data infrastructure"
  (columnar in-memory formats and engines for large data on the JVM);
  "Developer tools" drops language servers for agentic development
  environments.

Claude-Session: https://claude.ai/code/session_01Ji7xZMYjc4zankoc7hGBE1

2 files changed, 24 insertions, 24 deletions

diff --git a/apps/web/lib/home-messages.ts b/apps/web/lib/home-messages.ts
index d0f2734..2fcca45 100644
--- a/apps/web/lib/home-messages.ts
+++ b/apps/web/lib/home-messages.ts
@@ -57,7 +57,7 @@ export const homeMessages: Record<Locale, HomeMessages> = {
       titleStart: "Technology built to",
       titleAccent: "last and to explain itself.",
       description:
-        "Progmasoft designs languages, compilers, build systems, developer tools and the services around them. Everything shares one discipline: explicit contracts, real verification and names that mean what they say.",
+        "Progmasoft designs build systems, testing tools, agentic development environments, data infrastructure and the services around them. Everything shares one discipline: explicit contracts, real verification and names that mean what they say.",
       explore: "Explore the technology",
       products: "See the products",
       poolLabel: "Areas of the Progmasoft technology pool",
@@ -69,8 +69,8 @@ export const homeMessages: Record<Locale, HomeMessages> = {
         "Products come and grow; the technology underneath them is what we keep building. Each area is shared by everything Progmasoft makes.",
       areas: [
         [
-          "Languages and compilers",
-          "Language design, type systems, intermediate representations and native code generation.",
+          "Data infrastructure",
+          "Columnar in-memory formats and engines for large data on the JVM.",
         ],
         [
           "Build and packages",
@@ -78,7 +78,7 @@ export const homeMessages: Record<Locale, HomeMessages> = {
         ],
         [
           "Developer tools",
-          "Formatters, linters, language servers and integrated development environments.",
+          "Formatters, linters and agentic development environments.",
         ],
         [
           "Quality and testing",
@@ -134,7 +134,7 @@ export const homeMessages: Record<Locale, HomeMessages> = {
       titleStart: "Technologie, gebaut um",
       titleAccent: "zu bleiben und sich zu erklären.",
       description:
-        "Progmasoft entwirft Sprachen, Compiler, Build-Systeme, Entwicklerwerkzeuge und die Dienste um sie herum. Alles folgt einer Disziplin: explizite Verträge, echte Prüfung und Namen, die sagen, was sie meinen.",
+        "Progmasoft entwirft Build-Systeme, Testwerkzeuge, agentische Entwicklungsumgebungen, Dateninfrastruktur und die Dienste um sie herum. Alles folgt einer Disziplin: explizite Verträge, echte Prüfung und Namen, die sagen, was sie meinen.",
       explore: "Technologie entdecken",
       products: "Zu den Produkten",
       poolLabel: "Bereiche des Progmasoft-Technologiepools",
@@ -146,8 +146,8 @@ export const homeMessages: Record<Locale, HomeMessages> = {
         "Produkte entstehen und wachsen; die Technologie darunter bauen wir dauerhaft weiter. Jeder Bereich trägt alles, was Progmasoft macht.",
       areas: [
         [
-          "Sprachen und Compiler",
-          "Sprachentwurf, Typsysteme, Zwischendarstellungen und native Codeerzeugung.",
+          "Dateninfrastruktur",
+          "Spaltenorientierte In-Memory-Formate und Engines für große Datenmengen auf der JVM.",
         ],
         [
           "Build und Pakete",
@@ -155,7 +155,7 @@ export const homeMessages: Record<Locale, HomeMessages> = {
         ],
         [
           "Entwicklerwerkzeuge",
-          "Formatierer, Linter, Language Server und integrierte Entwicklungsumgebungen.",
+          "Formatierer, Linter und agentische Entwicklungsumgebungen.",
         ],
         [
           "Qualität und Tests",
@@ -211,7 +211,7 @@ export const homeMessages: Record<Locale, HomeMessages> = {
       titleStart: "Технологии, созданные,",
       titleAccent: "чтобы служить долго и быть понятными.",
       description:
-        "Progmasoft создаёт языки, компиляторы, системы сборки, инструменты разработчика и сервисы вокруг них. Всё подчиняется одной дисциплине: явные контракты, настоящая проверка и имена, которые значат то, что говорят.",
+        "Progmasoft создаёт системы сборки, инструменты тестирования, агентные среды разработки, инфраструктуру данных и сервисы вокруг них. Всё подчиняется одной дисциплине: явные контракты, настоящая проверка и имена, которые значат то, что говорят.",
       explore: "Изучить технологии",
       products: "Перейти к продуктам",
       poolLabel: "Направления технологического пула Progmasoft",
@@ -223,8 +223,8 @@ export const homeMessages: Record<Locale, HomeMessages> = {
         "Продукты появляются и растут; технологии под ними мы развиваем постоянно. Каждое направление служит всему, что делает Progmasoft.",
       areas: [
         [
-          "Языки и компиляторы",
-          "Проектирование языков, системы типов, промежуточные представления и генерация машинного кода.",
+          "Инфраструктура данных",
+          "Колоночные форматы данных в памяти и движки для больших данных на JVM.",
         ],
         [
           "Сборка и пакеты",
@@ -232,7 +232,7 @@ export const homeMessages: Record<Locale, HomeMessages> = {
         ],
         [
           "Инструменты разработчика",
-          "Форматировщики, линтеры, языковые серверы и интегрированные среды разработки.",
+          "Форматировщики, линтеры и агентные среды разработки.",
         ],
         [
           "Качество и тестирование",
@@ -288,7 +288,7 @@ export const homeMessages: Record<Locale, HomeMessages> = {
       titleStart: "טכנולוגיה שנבנתה",
       titleAccent: "כדי להחזיק מעמד ולהסביר את עצמה.",
       description:
-        "Progmasoft מתכננת שפות, מהדרים, מערכות בנייה, כלי פיתוח והשירותים שסביבם. הכול נשען על משמעת אחת: חוזים מפורשים, אימות אמיתי ושמות שאומרים את מה שהם מתכוונים.",
+        "Progmasoft מתכננת מערכות בנייה, כלי בדיקות, סביבות פיתוח מבוססות סוכנים, תשתית נתונים והשירותים שסביבם. הכול נשען על משמעת אחת: חוזים מפורשים, אימות אמיתי ושמות שאומרים את מה שהם מתכוונים.",
       explore: "לגלות את הטכנולוגיה",
       products: "למוצרים",
       poolLabel: "התחומים במאגר הטכנולוגיה של Progmasoft",
@@ -300,14 +300,14 @@ export const homeMessages: Record<Locale, HomeMessages> = {
         "מוצרים נולדים וגדלים; הטכנולוגיה שמתחתיהם היא מה שאנחנו ממשיכים לבנות. כל תחום משרת את כל מה ש־Progmasoft עושה.",
       areas: [
         [
-          "שפות ומהדרים",
-          "תכנון שפות, מערכות טיפוסים, ייצוגי ביניים ויצירת קוד מכונה.",
+          "תשתית נתונים",
+          "תבניות נתונים עמודתיות בזיכרון ומנועים לנתונים גדולים על ה־JVM.",
         ],
         [
           "בנייה וחבילות",
           "בנייה שחוזרת על עצמה, פתרון תלויות, קובצי נעילה ומאגר חבילות.",
         ],
-        ["כלי פיתוח", "מעצבי קוד, לינטרים, שרתי שפה וסביבות פיתוח משולבות."],
+        ["כלי פיתוח", "מעצבי קוד, לינטרים וסביבות פיתוח מבוססות סוכנים."],
         [
           "איכות ובדיקות",
           "בדיקות מבוססות תכונות, בדיקות עם מצב ובדיקות מוטציה, כיסוי ובחירת בדיקות.",
diff --git a/apps/web/lib/localization.ts b/apps/web/lib/localization.ts
index 6913990..deceb2e 100644
--- a/apps/web/lib/localization.ts
+++ b/apps/web/lib/localization.ts
@@ -132,7 +132,7 @@ export const messages = {
     metadata: {
       homeTitle: "Progmasoft",
       homeDescription:
-        "Progmasoft builds programming-language, package-management, and developer-tooling systems.",
+        "Progmasoft makes build systems, testing tools, an agentic IDE and data infrastructure for developers.",
       accountTitle: "Account",
       accountDescription: "Access and manage your Progmasoft account.",
       loginTitle: "Sign in",
@@ -163,7 +163,7 @@ export const messages = {
     },
     footer: {
       summary:
-        "Programming-language infrastructure and developer systems built with durable contracts.",
+        "Developer tools and data infrastructure built with durable contracts.",
       products: "Products",
       openSource: "Open source",
       organization: "Organization",
@@ -391,7 +391,7 @@ export const messages = {
     metadata: {
       homeTitle: "Progmasoft",
       homeDescription:
-        "Progmasoft entwickelt Systeme für Programmiersprachen, Paketverwaltung und Entwicklerwerkzeuge.",
+        "Progmasoft entwickelt Build-Systeme, Testwerkzeuge, eine agentische IDE und Dateninfrastruktur für Entwickler.",
       accountTitle: "Konto",
       accountDescription: "Öffnen und verwalten Sie Ihr Progmasoft-Konto.",
       loginTitle: "Anmelden",
@@ -423,7 +423,7 @@ export const messages = {
     },
     footer: {
       summary:
-        "Programmiersprachen-Infrastruktur und Entwicklersysteme auf der Grundlage beständiger Verträge.",
+        "Entwicklerwerkzeuge und Dateninfrastruktur auf der Grundlage beständiger Verträge.",
       products: "Produkte",
       openSource: "Open Source",
       organization: "Organisation",
@@ -655,7 +655,7 @@ export const messages = {
     metadata: {
       homeTitle: "Progmasoft",
       homeDescription:
-        "Progmasoft разрабатывает системы для языков программирования, управления пакетами и инструментов разработчика.",
+        "Progmasoft создаёт системы сборки, инструменты тестирования, агентную среду разработки и инфраструктуру данных для разработчиков.",
       accountTitle: "Аккаунт",
       accountDescription: "Откройте свой аккаунт Progmasoft и управляйте им.",
       loginTitle: "Вход",
@@ -687,7 +687,7 @@ export const messages = {
     },
     footer: {
       summary:
-        "Инфраструктура языков программирования и системы для разработчиков, построенные на надёжных контрактах.",
+        "Инструменты разработчика и инфраструктура данных, построенные на надёжных контрактах.",
       products: "Продукты",
       openSource: "Открытый исходный код",
       organization: "Организация",
@@ -919,7 +919,7 @@ export const messages = {
     metadata: {
       homeTitle: "Progmasoft",
       homeDescription:
-        "Progmasoft בונה מערכות לשפות תכנות, לניהול חבילות ולכלי פיתוח.",
+        "Progmasoft בונה מערכות בנייה, כלי בדיקות, סביבת פיתוח מבוססת סוכנים ותשתית נתונים למפתחים.",
       accountTitle: "חשבון",
       accountDescription: "גישה לחשבון Progmasoft שלך וניהולו.",
       loginTitle: "כניסה",
@@ -949,7 +949,7 @@ export const messages = {
       language: "שפה",
     },
     footer: {
-      summary: "תשתית לשפות תכנות ומערכות למפתחים, הבנויות על חוזים יציבים.",
+      summary: "כלי פיתוח ותשתית נתונים, הבנויים על חוזים יציבים.",
       products: "מוצרים",
       openSource: "קוד פתוח",
       organization: "הארגון",