Live link is down

[amblafont]

Hello! The link given in the README for the live version (https://database-of-proofs-engine.heroku.com/) does not work. Is there any plan to fix it? I am eager to give it a try!

[enjoysmath]

Will fix this over next few days 😀 Happy that you’re interested

…

On Tue, Mar 12, 2024 at 10:29 PM Ambroise ***@***.***> wrote: Hello! The link given in the README for the live version ( https://database-of-proofs-engine.heroku.com/) does not work. Is there any plan to fix it? I am eager to give it a try! — Reply to this email directly, view it on GitHub <#1>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAMIF5YQYRRNTPLHMC2QWF3YYAE7ZAVCNFSM6AAAAABETV4BNGVHI2DSMVQWIX3LMV43ASLTON2WKOZSGE4DGMZZG44DOOA> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[amblafont]

Hello! I am still interested :)

[enjoysmath]

Hi. Been busy at work. Will get back to this asap.

…

On Tue, Mar 26, 2024 at 4:17 AM Ambroise ***@***.***> wrote: Hello! I am still interested :) — Reply to this email directly, view it on GitHub <#1 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAMIF53WNNUK52HZIJD5OH3Y2FYMPAVCNFSM6AAAAABETV4BNGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDAMRQGU2TEOJSGI> . You are receiving this because you commented.Message ID: ***@***.***>

[enjoysmath]

@amblafont I remember now why I shouldn't have the live site up right now. It's because Neo4j the way I've got it easy-hosted by Neo4j/AuraDB costs about $50 / month. OTOH, I recollect that they have this option now:

So I will get it running real quick for you. If you'd like I can also teach you how to get it running locally (fullstack dev workflow).

If you don't want the $150 WingWare pro, it should also work with WingWare 101, etc. You can borrow a BSS seat if you'd like to test drive it, then to kick you off I just delete your instance in my BSS tool. Why would you need a $40 BSS tool? Because hand coding a functional HTML / CSS / JS / Bootstrap site is not as good of a dev experience, and you'll be limited to what you can successfully glue together from googling.

Expect an update in a few hours after I get it up on heroku.

[enjoysmath]

Okay, as this is a free project and I am a financially poor coder. My parents would be pissed if I kept this running and wasn't really using it. So the only thing I can offer you it to help you set it up locally over TeamViewer or AnyDesk.

Dan

[amblafont]

So the only thing I can offer you it to help you set it up locally over TeamViewer or AnyDesk.

That would be super useful, thanks! When are you usually available?

[enjoysmath]

Ambroise, I am available all the time within reason (tz HST - Hilo, Hawaii) at random times, but spend a lot of time at my computer. Just ping me when ready. Perhaps next week some time? Super busy with work at the moment! :) Thanks. Daniel Donnelly

…

On Thu, Mar 28, 2024 at 12:24 AM Ambroise ***@***.***> wrote: So the only thing I can offer you it to help you set it up locally over TeamViewer or AnyDesk. That would be super useful, thanks! When are you usually available? — Reply to this email directly, view it on GitHub <#1 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAMIF55DL377T3OVKOLFVFTY2POURAVCNFSM6AAAAABETV4BNGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDAMRUHA2TMNZYGE> . You are receiving this because you commented.Message ID: ***@***.***>