Simple Showcase - Now on Oracle

[Liberty Lover]

  Subject: simple_showcase is LIVE - Built in 1.5 Days with AI + Design by Contract

  Hello Eiffel community,

  I'm excited to share that simple_showcase is now running live:

  👉 http://141.148.86.105

  What is it?

  A showcase site demonstrating the AI + Design by Contract development paradigm. The site itself is proof of concept—built entirely in Eiffel and served by an Eiffel HTTP server.

  The Timeline (from git log)

  This entire project took ~1.5 days:

  Day 1 - December 4th:
  - 7:39 AM - Initial project structure created
  - 10:00 AM - Phase 1 complete: Landing page with 9 sections, smooth scrolling, navigation overlay, glossary tooltips, full Design by Contract
  - 12:09 PM - Phase 2 complete: All 11 sub-pages with universal hamburger navigation
  - 12:22 PM - Static site generator for GitHub Pages
  - 1:37 PM - Configuration file support
  - 3:19 PM - Contact form with email integration
  - 3:35 PM - Mobile responsiveness
  - 4:12 PM - Animations and security hardening
  - 4:58 PM - PWA support (installable mobile app)
  - 5:00-6:16 PM - Typography refinements
  - 8:26 PM - Interactive stepped demos on DBC pages

  Day 2 - December 5th (today):
  - 7:21-7:35 AM - Final UI polish
  - Afternoon - Oracle Cloud deployment, Windows Service setup via NSSM

  What's running

  - Eiffel web server using the simple_web library
  - Dynamic page generation - all HTML generated from Eiffel classes with full Design by Contract (preconditions, postconditions, invariants)
  - Frontend: Tailwind CSS, Alpine.js, HTMX
  - Oracle Cloud VM (Windows Server, Ashburn region)
  - NSSM Windows service for auto-restart on reboot

  The workflow

  This was built collaboratively with Claude (Anthropic's AI). The process: I provide direction and specifications via contracts,  Claude generates implementation, the Eiffel compiler verifies correctness. When contracts fail, we fix either the spec or the code. It's Bertrand Meyer's "probable to provable" in practice.

  Coming soon

  - Custom domain name
  - HTTPS via Cloudflare

  Feedback welcome—try the site and let me know what you think!

  Larry

[Liberty Lover]

BTW/FWIW: Yesterday, the day actually started at 6 AM with an hour-and-a-half design-discussion with Claude about what needed to be built, content refinement, messaging, and so on. We focused mostly on the optics of the content, the psychology, what the industry needs to hear, and so on. It was a pretty healthy discussion. Claude made this "Specification" process quite simple. You can find those design documents in Claudes ref docs at: https://github.com/ljr1981/claude_eiffel_op_docs

[Liberty Lover]

The idea for this germinated in me in a conversation with Grok while I was out running errands. So, it isn't just 1 1/2 days, but a little more for the concept to get in me and then mature.

From Grok's memory relating our conversation back to me now:

I identified (the conversation) as occurring on December 2, 2025, at approximately 6:12 PM EST. That led to a deeper look that evening, which then led into various touchpoints the next day (Dec 3rd). The conception matter is a part of the flow for sure. However, the real hard core work started the evening of the 3rd with a discussion about the entire setup, and then that detailed design discussion the follow morning (yesterday 6 AM to about 7:30 AM). That's it. Put a bow on it. Merry Christmas!! :-)

[Liberty Lover]

A little tweak I needed to do on the deployment to get the contact form to actually send an email. 

BTW: That is a good way to send me feedback about the site.

[Liberty Lover]

Send me an email from the contact form if you don't mind just to confirm. The data is being saved in the local SQLite DB along with other access data. So, watch it now ... yer being TRACKED!! LOL 

[Eric Bezault]

Hi Larry,

Message just sent from the contact form, just to test it.

--
Eric Bezault
mailto:er...@gobosoft.com
http://www.gobosoft.com

> ljr1981/claude_eiffel_op_docs <https://github.com/ljr1981/
> claude_eiffel_op_docs>

>
> On Friday, December 5, 2025 at 11:31:03 AM UTC-5 Liberty
> Lover wrote:
>
>   Subject: simple_showcase is LIVE - Built in 1.5 Days
> with AI + Design by Contract
>
>   Hello Eiffel community,
>
>   I'm excited to share that simple_showcase is now
> running live:
>

>   👉 http://141.148.86.105 <http://141.148.86.105>

> --
> You received this message because you are subscribed to the Google
> Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to eiffel-users...@googlegroups.com <mailto:eiffel-
> users+un...@googlegroups.com>.
> To view this discussion visit https://groups.google.com/d/msgid/eiffel-
> users/863bae95-fed2-4d23-af09-e076cc90891en%40googlegroups.com <https://
> groups.google.com/d/msgid/eiffel-users/863bae95-fed2-4d23-af09-
> e076cc90891en%40googlegroups.com?utm_medium=email&utm_source=footer>.