Blog entries (Page 1 of 51)
- 2026 Aug 20 by Finnian ReillyIncrementing a pass-by-reference value in a called routine on a hot path: 3 methods
- 2026 Aug 17 by Finnian ReillyXpact Milestone: 177,347 Real-World XML Files with Zero Failures — 100% Agreement
- 2026 May 30 by Finnian ReillyZig as an Intermediate Language for EiffelStudio
- Tags:
- dbc
- eiffelstudio
- eiffel
- software engineering
- code generation
- design by contract
- open source
- class invariants
- runtime performance
- systems programming
- Zig
- intermediate language
- compiler backend
- Melting Ice Technology
- incremental compilation
- LLVM
- C backend
- Andrew Kelley
- Zig Software Foundation
- cross compilation
- native compilation
- compiler design
- C macros
- comptime
- undefined behaviour
- frozen code
- finalised code
- bytecode interpreter
- virtual dispatch
- devirtualisation
- whole program optimisation
- zig cc
- .NET backend
- CLR
- assertion levels
- preconditions
- postconditions
- real time systems
- nonprofit
- programming language design
A Case for Replacing the C Backend — Discussion Paper for Review by Eiffel Software Engineering
See more... - 2026 May 22 by Finnian ReillyFinding a billion-user project for Eiffel: How DbC catches the security flaws that Rust misses
- Tags:
- dbc
- parser
- XML
- python
- open source
- Void Safety
- CVE
- Rust
- software safety
- Eiffel visibility
- libexpat
- xpact
- memory safety
- systems programming
- Eiffel strategy
- secure by design
The industry is currently celebrating Rust as a breakthrough in software safety. But Eiffel had a more complete answer to software correctness before Rust's creator was born. This essay argues that the moment has arrived for the Eiffel community to demonstrate that publicly — with a specific project, a real deployment strategy, and a compelling security argument.
See more... - 2026 Mar 08 by Eric BezaultGobo Eiffel 26.03 released
- Tags:
- Gobo
- 2026 Jan 26 by AdministratorThe EiffelStudio Backend Stack
EiffelStudio combines specification, implementation, verification, and maintenance in a single toolchain — now extended to modern backend and data-driven systems.
See more... - 2026 Jan 21 by AdministratorEiffelStudio 25.12 is available! A Modern Backend Platform Built for Reliability
Native PostgreSQL. Passwordless authentication. Cloud-ready libraries. All inside a contract-based development environment designed for systems that must hold.
See more...