GNU bug report logs - #46670
28.0.50; [feature/native-comp] possible miscompilation affecting lsp-mode

Previous Next

Full log

Message #151 received at 46670 <at> debbugs.gnu.org (full text, mbox):

From: Richard Stallman <rms <at> gnu.org>
To: Pip Cet <pipcet <at> gmail.com>
Cc: eliz <at> gnu.org, mauricio <at> collares.org, 46670 <at> debbugs.gnu.org, akrl <at> sdf.org
Subject: Re: bug#46670: 28.0.50;
 [feature/native-comp] possible miscompilation affecting lsp-mode
Date: Mon, 01 Mar 2021 00:24:03 -0500

[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

  > You're using "sound" to mean "superficially correct". I understood it
  > to have its mathematical (and legal) meaning, "irrefutably correct".

I was not following this thread, but here

  > > > I take it you've read through the code, understood it all, and
  > > > concluded the reasons were "sound", then?

you seem to be talking about judging the reasons to make a change.

Generally, that is not a question of mathematics alone.  Sometimes a
bug is simple and a fix is cleary correct.  But usually what to change
and how is a matter of judgment, and the best answer is not
irrefutably right.

-- 
Dr Richard Stallman
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.