Groups
Groups
Sign in
Groups
Groups
Eiffel Users
Conversations
About
Send feedback
Help
Group path
Eiffel Users
Contact owners and managers
1–30 of 5807
Welcome to the Eiffel users mailing list where you can discuss topics on the Eiffel programming language and its various supporting tools.
Eiffel: What programming should be!
Mark all as read
Report group
0 selected
Finnian Reilly
, …
Ulrich Windl
6
Sep 2
Reading from SPECIAL arrays: Eiffel Studio version 25.12 VS 16.05
Hi! Back in 1992 we also had that effect that some program commercial was executing in less time on a
unread,
Reading from SPECIAL arrays: Eiffel Studio version 25.12 VS 16.05
Hi! Back in 1992 we also had that effect that some program commercial was executing in less time on a
Sep 2
Ulrich Windl
, …
Finnian Reilly
6
Aug 27
Distributing an Eiffel compiler
One of the things that are a bit messy with ISE Eiffel is running a compiled system: Depending on the
unread,
Distributing an Eiffel compiler
One of the things that are a bit messy with ISE Eiffel is running a compiled system: Depending on the
Aug 27
Liberty Lover
5
Aug 27
Simple Speed Reader
I quickly realized that I would like to see more than one word at a time, so I had Claude add a
unread,
Simple Speed Reader
I quickly realized that I would like to see more than one word at a time, so I had Claude add a
Aug 27
Finnian Reilly
, …
Ulrich Windl
19
Aug 24
Thinking like a C programmer while writing Eiffel: no collection coding
Hi! IMHO Claude's answer reads more like a summary of marketing material, than something really
unread,
Thinking like a C programmer while writing Eiffel: no collection coding
Hi! IMHO Claude's answer reads more like a summary of marketing material, than something really
Aug 24
Liberty Lover
, …
João Rocha
59
Aug 22
Future Eiffel - In light of AI, what should or could the future hold for Eiffel?
Hi Ian, Thanks for sharing the LinkedIn post from ES. I like it and we need more of this. I think
unread,
Future Eiffel - In light of AI, what should or could the future hold for Eiffel?
Hi Ian, Thanks for sharing the LinkedIn post from ES. I like it and we need more of this. I think
Aug 22
Liberty Lover
, …
Alejandro Garcia
16
Aug 22
Eiffel + Claude - A Specification Making Journey
I pressed into it. Not sure what difference it made to the overall lib framework, but it did produce
unread,
Eiffel + Claude - A Specification Making Journey
I pressed into it. Not sure what difference it made to the overall lib framework, but it did produce
Aug 22
Finnian Reilly
, …
Liberty Lover
14
Aug 22
The Hidden Cost of AI Coding That's Destroying Engineering Teams
Both timescales, actually — and the distinction you're drawing is the right one to probe. Within
unread,
The Hidden Cost of AI Coding That's Destroying Engineering Teams
Both timescales, actually — and the distinction you're drawing is the right one to probe. Within
Aug 22
Finnian Reilly
,
Eric Bezault
4
Aug 20
Incrementing a pass-by-reference value in a called routine on a hot path: 3 methods
Good catch Eric, in my current Xpact work incrementing a counter was uppermost in my mind, and I went
unread,
Incrementing a pass-by-reference value in a called routine on a hot path: 3 methods
Good catch Eric, in my current Xpact work incrementing a counter was uppermost in my mind, and I went
Aug 20
Finnian Reilly
2
Aug 19
Xpact Milestone: 177,347 Real-World XML Files with Zero Failures — 100% Agreement
On 18/08/2026 18:49, Finnian Reilly wrote: The next goal: Defusing the "billion-LOL" Bomb
unread,
Xpact Milestone: 177,347 Real-World XML Files with Zero Failures — 100% Agreement
On 18/08/2026 18:49, Finnian Reilly wrote: The next goal: Defusing the "billion-LOL" Bomb
Aug 19
javier...@gmail.com
,
Anders Persson BSharp AB
2
Aug 15
Symphony Service Specification in Eiffel?
HI I made a first version of it. Feel free to contribute. https://github.com/andersoxie/Symphony-
unread,
Symphony Service Specification in Eiffel?
HI I made a first version of it. Feel free to contribute. https://github.com/andersoxie/Symphony-
Aug 15
Liberty Lover
,
Ian Joyner
4
Aug 8
Swift vs Python vs Eiffel
Yes, if they are talking about Swift, they'd mean Metal for direct GPU programming. I have never
unread,
Swift vs Python vs Eiffel
Yes, if they are talking about Swift, they'd mean Metal for direct GPU programming. I have never
Aug 8
Finnian Reilly
Jul 31
Xpact-core now clears 100,000+ real-world test files
Xpact-core now clears 100000+ real-world test files I want to share a milestone for Xpact-core, the
unread,
Xpact-core now clears 100,000+ real-world test files
Xpact-core now clears 100000+ real-world test files I want to share a milestone for Xpact-core, the
Jul 31
Joe Redmond
Jul 26
Why isn't Eiffel studio matching PublicKeyToken with EiffelSoftware.Runtime for .NET
I am currently compiling Eiffel to .NET 10 to create a Godot game and other things. However, I'm
unread,
Why isn't Eiffel studio matching PublicKeyToken with EiffelSoftware.Runtime for .NET
I am currently compiling Eiffel to .NET 10 to create a Godot game and other things. However, I'm
Jul 26
Liberty Lover
,
Eric Bezault
10
Jul 18
Simple Graphify
If it does not figure out how to do it, you can ask a human to explain ;-) -- Eric Bezault <ericb@
unread,
Simple Graphify
If it does not figure out how to do it, you can ask a human to explain ;-) -- Eric Bezault <ericb@
Jul 18
Alejandro Garcia
, …
rfo amalasoft.com
6
Jul 18
Why do we use prefixes for libraries?
So in Gobo's case, it seems it was a little bit of a) You wanted to make users' lives easier
unread,
Why do we use prefixes for libraries?
So in Gobo's case, it seems it was a little bit of a) You wanted to make users' lives easier
Jul 18
Finnian Reilly
, …
Liberty Lover
3
Jul 18
Is there an existing Eiffel Studio library wrapper for zlib's crc32 function?
Finnian, You're right that there's nothing in the ISE base libraries — I checked the same
unread,
Is there an existing Eiffel Studio library wrapper for zlib's crc32 function?
Finnian, You're right that there's nothing in the ISE base libraries — I checked the same
Jul 18
Finnian Reilly
,
Liberty Lover
3
Jul 18
Xpact-core: past the performance phase, now the correctness phase — still besting eXpat ×1.38
VERDICT is in! In a nutshell ... What I recommend instead (the constructive path) Since the verdict
unread,
Xpact-core: past the performance phase, now the correctness phase — still besting eXpat ×1.38
VERDICT is in! In a nutshell ... What I recommend instead (the constructive path) Since the verdict
Jul 18
Bertrand Meyer
, …
Liberty Lover
5
Jul 17
My new AI book
I bought. I downloaded. I got a summary. The question remains: To AI-Eiffel or not AI-Eiffel.
unread,
My new AI book
I bought. I downloaded. I got a summary. The question remains: To AI-Eiffel or not AI-Eiffel.
Jul 17
Liberty Lover
3
Jul 5
Applied Simple Eiffel - Simple Reel
FWIW: I can now point the AI and simple_reel.exe at any book, paper, or other written material and
unread,
Applied Simple Eiffel - Simple Reel
FWIW: I can now point the AI and simple_reel.exe at any book, paper, or other written material and
Jul 5
Ulrich Windl
, …
Hubert Cater
6
Jul 4
Wondering: The most popular Eiffel application
Thanks and I did actually have a Built with Eiffel label on the games for the first 15 years that
unread,
Wondering: The most popular Eiffel application
Thanks and I did actually have a Built with Eiffel label on the games for the first 15 years that
Jul 4
Eric Bezault
Jul 1
Gobo Eiffel 26.06 released
Hello, I just released Gobo Eiffel 26.06. This new version includes: -> support for once classes.
unread,
Gobo Eiffel 26.06 released
Hello, I just released Gobo Eiffel 26.06. This new version includes: -> support for once classes.
Jul 1
Finnian Reilly
, …
Finnian Reilly
24
Jun 24
Finding a billion-user project for Eiffel: How DbC catches the security flaws that Rust misses
Xpact-core benchmark milestone: x2 eXpat throughput, same parsing window Hi everyone, I want to share
unread,
Finding a billion-user project for Eiffel: How DbC catches the security flaws that Rust misses
Xpact-core benchmark milestone: x2 eXpat throughput, same parsing window Hi everyone, I want to share
Jun 24
Finnian Reilly
,
Eric Bezault
3
Jun 24
When the compiler error points the wrong way: a void-safety creation gotcha
Thanks for the explanation Eric. In Eiffel-Loop full class checking was getting in the way of what I
unread,
When the compiler error points the wrong way: a void-safety creation gotcha
Thanks for the explanation Eric. In Eiffel-Loop full class checking was getting in the way of what I
Jun 24
Ulrich Windl
, …
Finnian Reilly
3
Jun 24
Eiffel, what's that, BTW? ;-)
When I tried out the fungenerator I got this !!!! > In 1985, the Eiffel Tower was officially
unread,
Eiffel, what's that, BTW? ;-)
When I tried out the fungenerator I got this !!!! > In 1985, the Eiffel Tower was officially
Jun 24
Alejandro Garcia
, …
Ilgiz Mustafin
4
Jun 21
Is this the most up to date tutorial on Autoproof?
Thank you both. This is very helpful. Alejandro García F. (elviejo) https://elviejo79.github.io Too
unread,
Is this the most up to date tutorial on Autoproof?
Thank you both. This is very helpful. Alejandro García F. (elviejo) https://elviejo79.github.io Too
Jun 21
Finnian Reilly
3
Jun 21
Stealing eXpat's lunch
Correcting an unfair advantage for eXpat tag counter I just realized I unintentionally gave the expat
unread,
Stealing eXpat's lunch
Correcting an unfair advantage for eXpat tag counter I just realized I unintentionally gave the expat
Jun 21
Finnian Reilly
,
Jocelyn Fiat
2
Jun 16
Question about backing up Eiffel Studio execution parameters on estudio 25.12
In the execution parameters, look at the top right drop-down menu. Among other options, you have
unread,
Question about backing up Eiffel Studio execution parameters on estudio 25.12
In the execution parameters, look at the top right drop-down menu. Among other options, you have
Jun 16
Alejandro Garcia
, …
Ulrich Windl
10
Jun 14
SCOOP: Do wait - ever conditions for expire
Well, pure logic is nice, but there's also the user: Assume the user made a mistake and the
unread,
SCOOP: Do wait - ever conditions for expire
Well, pure logic is nice, but there's also the user: Assume the user made a mistake and the
Jun 14
Finnian Reilly
, …
"João M. Rocha"
10
Jun 12
Question on rationale for FORMAT_DOUBLE non-conforming inheritance of FORMAT_INTEGER
Yeah, I was implying the "we think you don't" :-) It's provocative, but I think it
unread,
Question on rationale for FORMAT_DOUBLE non-conforming inheritance of FORMAT_INTEGER
Yeah, I was implying the "we think you don't" :-) It's provocative, but I think it
Jun 12
Bertrand Meyer
,
"João M. Rocha"
2
Jun 9
RE: [eiffel-users] Survey On Verification-Aware Programming
I agree with Bertrand that not mentioning Eiffel in an Eiffel group, specially on a Verification-
unread,
RE: [eiffel-users] Survey On Verification-Aware Programming
I agree with Bertrand that not mentioning Eiffel in an Eiffel group, specially on a Verification-
Jun 9