{ andreamancuso.dev }
a journey through technology
About me
Hi, I'm Andrea, a developer with two decades of experience and a growing obsession with software correctness. I'm the creator of beyond-tabs.com, a platform connecting developers with jobs in non-mainstream languages like OCaml, Ada, and Clojure. I also run beyondtesting.dev, where I explore ways to build more reliable software through Design by Contract and related techniques. I recently released RawPair, a terminal-first real-time collaboration tool with zero middleware. I'm also working on Rivar, a minimal language inspired by Eiffel and C, designed from the ground up for native support of contracts.
Featured project: XFrames
XFrames is an open-source library for building GPU-accelerated, cross-platform desktop applications as well as WebGPU-powered UIs in the browser. Designed to make development faster and more accessible, XFrames is ideal for developers seeking high performance and flexibility.
beyond-tabs.com: showcasing opportunities in non-mainstream programming languages
beyond-tabs.com is a carefully curated job board focused on helping developers find unique opportunities in lesser-known programming languages. Each listing is handpicked to ensure quality and relevance.
Browse JobsInvariant PHP
Bringing Design by Contract (DbC) → to PHP.
Invariant PHP is a new PHP extension that introduces class invariants, preconditions, and postconditions—ensuring object integrity and better software correctness.
- Class Invariants (`__invariant()`): ensures object state is valid before and after execution.
- Preconditions (`requires()`): enforce conditions before a method runs (coming soon).
- Postconditions (`ensures()`): validate expected outcomes after execution (coming soon).
Blog posts and articles
Type Safety on a budget: Running Compiled Binaries on Shared Hosting
A practical approach to getting compile-time guarantees without the VPS overhead - using PHP to spawn Go or Rust binaries on restrictive shared hosting.
Read More (dev.to) →October 17, 2025
The Pursuit of Correctness: A Never-Ending Chase?
We rethink the concept of correctness and its implications for software development.
Read More (linkedin.com) →March 24, 2025
Introducing Invariant PHP: Bringing Design by Contract to PHP
How Design by Contract (DbC) can improve software correctness in PHP.
Read More (linkedin.com) →March 19, 2025
Why do companies still prefer silos?
Why companies default to silos, the trade-offs, and how fewer dependencies enable faster releases.
Read More (linkedin.com) →January 30, 2025
The marginalization of lesser-known languages
Exploring how modern LLMs favor popular programming languages and what it means for the future of Ada, Pascal, and others.
Read More (linkedin.com) →January 20, 2025
Cross-language development with FFI
Learn how XFrames leverages FFI for seamless cross-platform development across multiple languages and platforms.
Read More (xframes.dev) →January 5, 2025
The implications of trade-offs in web development
An analysis of how cost considerations and convenience influence choices in today’s web development landscape.
Read More (linkedin.com) →November 17, 2024