Traditions die: Another one bites the Dust

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	comp.lang.prolog
Subject	Traditions die: Another one bites the Dust
Date	2025-01-10 22:36 +0100
Message-ID	<vls3sb$2fejb$1@solani.org> (permalink)

Show all headers | View raw

Hi,

 > Subject: An Isabelle Foundation?
 > Date: Fri, 10 Jan 2025 14:16:33 +0000
 > From: Lawrence Paulson via isabelle-dev
 > Some of us have been talking about how to keep
things going after the recent retirement of Tobias and
myself and the withdrawal of resources from Munich.
I've even heard a suggestion that Isabelle would not
be able to survive for much longer.
https://en.wikipedia.org/wiki/Isabelle_%28proof_assistant%29

No more money for symbolic AI? LoL

Maybe suplanted by Lean (proof assistant) and my
speculation maybe re-orientation to keep up with
Hybrid methods, such as found in ChatGPT.
https://en.wikipedia.org/wiki/Lean_%28proof_assistant%29

Bye

Back to comp.lang.prolog | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

Traditions die: Another one bites the Dust Mild Shock <janburse@fastmail.fm> - 2025-01-10 22:36 +0100
  John Sowa is close with RNT (Re: Traditions die: Another one bites the Dust) Mild Shock <janburse@fastmail.fm> - 2025-01-10 22:44 +0100
    Or ChatGPT is better in Program Verification (Re: John Sowa is close with RNT) Mild Shock <janburse@fastmail.fm> - 2025-01-10 22:59 +0100
      What is Argonne doing now? (Re: Or ChatGPT is better in Program Verification) Mild Shock <janburse@fastmail.fm> - 2025-01-11 02:11 +0100
        Lemanicus at EPFL Computer Museum [compare to NVIDIA H100 NVL] Mild Shock <janburse@fastmail.fm> - 2025-01-11 02:50 +0100

csiph-web