Sign in

Miro Spönemann

@sponemann.bsky.social
36 followers 30 following 11 posts

Head of @typefox.bsky.social. Passionate software engineer, guitar and bass player, and photographer.

PostsRepliesMedia
Miro Spönemann @sponemann.bsky.social · 25/06/2026
Fastbelt v0.1 is here. 🚀 Our new open source DSL toolkit for Go already supports grammar definition, parser generation, cross-reference resolution, LSP support, and more—ready to build and experiment with today. Read more: www.typefox.io/blog/fastbel...
typefox.io
Fastbelt version 0.1
We're happy to announce the first version of Fastbelt—our new language engineering framework optimized for performance.
010
Reposted by Miro Spönemann
Daniel Dietrich @danieldietrich.bsky.social · 20/05/2026
I'm thrilled to kick off a new article series: Building with AI. The first post is live. More to come soon. 👉 www.typefox.io/blog/buildin...
typefox.io
Building with AI
We launch domain-specific AI services and open the Building with AI series on enriching systems, autonomous agents, and engineering reliable AI.
011
Miro Spönemann @sponemann.bsky.social · 28/03/2026
Fastbelt is out. A new language toolkit for Go, built for massive workspaces where traditional approaches hit their limits. Same idea as Langium and Xtext, different league in performance. www.typefox.io/blog/fastbel...
typefox.io
Fastbelt: The high-speed DSL toolkit for Go
We introduce Fastbelt, a native Go-based DSL toolkit that outperforms both Langium and Xtext by orders of magnitude.
021
Miro Spönemann @sponemann.bsky.social · 16/12/2025
We’re already building what comes after Langium — and it’s not just the next release. After years with Xtext and Langium, we’ve hit clear performance limits at scale. This article explains where they come from, and ends with a glimpse at what we’re working on next. www.typefox.io/blog/xtext-l...
typefox.io
Xtext, Langium, what next?
What we’ve learned from building large-scale language tooling with Langium and Xtext, and a first glimpse at a new high-performance language engineering toolkit.
011
Miro Spönemann @sponemann.bsky.social · 17/11/2025
The recording of my TheiaCon 2025 presentation is here: www.youtube.com/watch?v=jk_P...
youtube.com
Collaborative Editing Across Web Applications and Theia-based IDEs
YouTube video by Eclipse Foundation
000
Reposted by Miro Spönemann
TypeFox @typefox.bsky.social · 10/10/2025
In their latest post, Soulaymen and Steven showcase SWAG, a semi-formal DSL for generating web applications. Read the full story and learn patterns and best practices for building semi-formal DSLs. www.typefox.io/blog/turn-ai...
typefox.io
Turn AI Prompts into Web Apps using a Semiformal DSL
In this post, we showcase SWAG: A semiformal DSL for generating web applications, as well as some patterns and best practices for building semiformal DSLs.
022
Reposted by Miro Spönemann
TypeFox @typefox.bsky.social · 25/09/2025
Build VS Code-like apps in the browser with ease! monaco-languageclient v10 is here! Now a complete toolbox for editor-centric web apps, not just LSP integration. www.typefox.io/blog/monaco-...
typefox.io
A toolbox for editor-centric web applications
monaco-languageclient version 10 contains all tools needed to create complete editor-centric web applications, and thus it goes beyond just being a library for LSP integration.
022
Reposted by Miro Spönemann
Kai Salmen @kaisalmen.bsky.social · 25/09/2025
It's been a while since I have written a blog-post. Finally it is here: www.typefox.io/blog/monaco-... The monaco-languageclient project is an Open Source Software success story and many thanks go to my co-maintainer github.com/CGNonofr
typefox.io
A toolbox for editor-centric web applications
monaco-languageclient version 10 contains all tools needed to create complete editor-centric web applications, and thus it goes beyond just being a library for LSP integration.
141
Reposted by Miro Spönemann
Kai Salmen @kaisalmen.bsky.social · 19/09/2025
Finally, monaco-languageclient version 10 (www.npmjs.com/package/mona...) is available. You now have all tools at hand to create editor-centric web applications utilizing one or many language clients to connect to language servers via the language server protocol with one package.
npmjs.com
122
Miro Spönemann @sponemann.bsky.social · 31/07/2025
Langium 4.0 is out! 🚀 Highlights: - Infix operator rules for clearer operator precedence - Strict mode enforcing explicit types for more stable DSLs - Multi‑target references for flexible cross‑links Read more: www.typefox.io/blog/langium...
typefox.io
Langium 4.0 is released!
Langium 4.0 is released! This release brings multi-reference support, infix operator rules, strict mode for Langium grammars, and more!
021
Miro Spönemann @sponemann.bsky.social · 10/06/2025
Big news! 🎉 We just launched Typir, a new open-source library for implementing type systems. It's all about powerful, accessible tools for language development. Check out the full announcement by Insa & Johannes: www.typefox.io/blog/typir-i...
typefox.io
Announcing Typir
Johannes and Insa present our new open source project Typir for type checking your language in the web. The stand-alone library provides default implementations for type checking as well as predefined...
131
Miro Spönemann @sponemann.bsky.social · 26/05/2025
Over the past year, I’ve had a bunch of great conversations about LLMs and DSLs. It’s clear we’re onto something big—this combo really shines when it comes to making AI work in specific domains. We finally wrote it up. Curious what you think!
011
Reposted by Miro Spönemann
TypeFox @typefox.bsky.social · 23/05/2025
We're pioneering semiformal AI communication through domain-specific languages—solving the precision and reliability challenges that natural language prompts struggle with. Our latest article details how language engineering transforms AI interaction. 🦊 www.typefox.io/blog/boost-y...
typefox.io
Boost your AI apps with domain-specific languages
We're pioneering a fundamental shift in how humans and AI interact by leveraging domain-specific languages that deliver unmatched precision and clarity where natural language fails.
041
Reposted by Miro Spönemann
Eclipse Cloud DevTools @ecdtools.eclipse.org · 21/05/2025
See how innovative companies and their development teams benefit from participation in the Eclipse Cloud DevTools ecosystem. Download and read our free white paper today! hubs.la/Q030ntR50
hubs.la
The Eclipse Cloud DevTools Ecosystem: Defining the Future of Cloud Native Software Development
Learn more about our working group's vendor-neutral, community-based approach to cloud development, and our vision for the future.
001
Reposted by Miro Spönemann
TypeFox @typefox.bsky.social · 17/04/2025
Exiting news! TypeFox presents Langium AI, a toolbox for building applications that leverage both LLMs and Langium DSLs. Read all about the fusion of DSLs and LLMs here: typefox.io/blog/langium...
typefox.io
Langium AI: The fusion of DSLs and LLMs
TypeFox presents Langium AI, a toolbox for building applications that leverage both LLMs and Langium DSLs. We explore its vision, challenges and solutions.
032
Reposted by Miro Spönemann
Joe Pea @joe.trusktr.io · 01/04/2025
How does Langium have only 790 stars? The project is amazing. It lets you define a parser for a new language, with syntax checking diagnostics (intellisense UI) built into your IDE, and APIs for your own diagnostics (f.e. your own type checking). Absolutely phenomenal. github.com/eclipse-lang...
github.com
GitHub - eclipse-langium/langium: Next-gen language engineering / DSL framework
Next-gen language engineering / DSL framework. Contribute to eclipse-langium/langium development by creating an account on GitHub.
032
Reposted by Miro Spönemann
Joe Pea @joe.trusktr.io · 01/04/2025
How does Langium's Typir library have only 27 stars!? This has to be one of the most interesting advancement in language engineering! It's a library for common patterns for defining the type checking mechanics of your own programming language, with IDE diagnostics. github.com/typefox/typir
github.com
GitHub - TypeFox/typir: Typir is an open source library for type checking in the web
Typir is an open source library for type checking in the web - TypeFox/typir
042
Reposted by Miro Spönemann
Eclipse Cloud DevTools @ecdtools.eclipse.org · 20/03/2025
Discover the projects in the #EclipseCloudDevTools ecosystem and how they foster innovation in #clouddevelopment by reading our white paper: hubs.la/Q030nxY10
001
Reposted by Miro Spönemann
Eclipse Foundation @eclipse.org · 07/03/2025
📢 Attending Embedded World 2025? We’ve got you covered! Claim your free visitor ticket with our code: ew25543243 📍 Join us at booth 4-554 in hall 4 to discover the latest from OpenHW Foundation, Eclipse ThreadX, SDV, ORC, Eclipse IDE E& Cloud DevTools. Get your ticket: buff.ly/3EUADgb
011
Reposted by Miro Spönemann
Eclipse Cloud DevTools @ecdtools.eclipse.org · 17/02/2025
✨ Eclipse Open Collaboration Tools (OCT) is open to all! Contribute, share feedback, and explore how it enhances team collaboration. Read more in this article by @sponemann.bsky.social: hubs.la/Q034tsQj0
011
Miro Spönemann @sponemann.bsky.social · 31/01/2025
I contributed an article to the Eclipse Newsletter: newsroom.eclipse.org/eclipse-news...
newsroom.eclipse.org
Optimise Development Team Collaboration With Eclipse Open Collaboration Tools
The Eclipse OCT project provides libraries and tools for real-time collaboration in development environments, filling critical gaps for teams working remotely.
033
Reposted by Miro Spönemann
Daniel Dietrich @danieldietrich.bsky.social · 25/12/2024
Our open source stars shine with their new creation, a universal toolkit for creating language type systems. Now we make it available to the public. Enjoy! Take the short-cut directly to the source code: github.com/TypeFox/typir Also check out our blog: www.typefox.io/blog/
github.com
GitHub - TypeFox/typir: Typir is an open source library for type checking in the web
Typir is an open source library for type checking in the web - TypeFox/typir
032
Miro Spönemann @sponemann.bsky.social · 20/12/2024
Say hello to Typir, the new type system library for TypeScript ✨ Typir can be used together with Langium to implement type inference and type checking for a domain-specific language. github.com/TypeFox/typi...
github.com
GitHub - TypeFox/typir: Typir is an open source library for type checking in the web
Typir is an open source library for type checking in the web - TypeFox/typir
061
Reposted by Miro Spönemann
TypeFox @typefox.bsky.social · 19/12/2024
🎉 Exciting news! Check out our latest videos from #OCX24 and #TheiaCon. Our team introduces #Typir, a type-checking library for the web, unveils the #OpenCollabTools project and provides a practical guide for crafting domain-specific languages with #Langium. www.typefox.io/blog/?catego...
typefox.io
TypeFox Blog
Browse our open source knowledge base: articles, videos and news from the TypeFox team.
012
Miro Spönemann @sponemann.bsky.social · 11/12/2024
The recording of my OCX / EclipseCon 2024 presentation is there. It's an overview of various topics around the design and implementation of domain specific languages (DSLs). www.youtube.com/watch?v=G2qA...
youtube.com
Crafting Domain Specific Languages - A Practical Guide - OCX 2024
YouTube video by Eclipse Foundation
000
Miro Spönemann @sponemann.bsky.social · 11/12/2024
Hello, Bluesky! Nice to meet you.
020