Blog entries (Page 1 of 50)
- 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... - 2026 Jan 12 by Eric BezaultGobo Eiffel 26.01 released
- Tags:
- Gobo
- 2025 Dec 04 by Eric BezaultGobo Eiffel 25.12 released
- Tags:
- Gobo
- 2025 Oct 03 by Eric BezaultGobo Eiffel 25.10 released
- Tags:
- Gobo
- 2025 Sep 08 by Eric BezaultGobo 25.09 released
- Tags:
- Gobo
