Path: csiph.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: rbowman <bowman@montana.com>
Newsgroups: comp.os.linux.misc
Subject: Re: Warning - Serious 'sudo' Flaw Compromises Security
Date: 15 Oct 2025 05:23:21 GMT
Lines: 18
Message-ID: <ml8pe9FpjuU8@mid.individual.net>
References: <t5qcnTPojIJuBHX1nZ2dnZfqn_udnZ2d@giganews.com> <10cdluk$pc59$2@dont-email.me> <1NucnW53DZrMOHH1nZ2dnZfqnPGdnZ2d@giganews.com> <10cihiq$23kb8$6@dont-email.me> <10cios3$25sim$2@dont-email.me> <10cj667$29n96$5@dont-email.me> <gRaHQ.184188$6_hb.85411@fx46.iad> <10cjf5m$2cnh5$2@dont-email.me> <SrbHQ.68586$RrE7.59909@fx45.iad> <RI2cnfyQDJK4fnD1nZ2dnZfqnPednZ2d@giganews.com> <ml69afFhs47U1@mid.individual.net> <10cl5qu$2q6c4$12@dont-email.me> <10cmkps$39hde$2@dont-email.me> <A3BHQ.499403$2R62.462147@fx13.iad>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Trace: individual.net 3j2xKbCEadUoi8Y/iBAB3QXnXxxcvhuAJfa8/u7t7vbcUaiXcA
Cancel-Lock: sha1:1wi/zy03jdq2TGTTLEgm3L0tb9A= sha256:ZZUJBGapKhzuSByMOdjsqWMkdw3dHGRSq+f0JA9OEBI=
User-Agent: Pan/0.162 (Pokrosvk)
Xref: csiph.com comp.os.linux.misc:76166

On Tue, 14 Oct 2025 23:31:44 GMT, Charlie Gibbs wrote:

> On 2025-10-14, Lawrence D’Oliveiro <ldo@nz.invalid> wrote:
> 
>> Anybody who buys a book with “philosophy” in the title ... probably
>> shouldn’t be allowed to manage a software project.
> 
> Ironically, an elective course on logic that I took in university was
> labeled "Philosophy 302".
> That's where I learned about things like De Morgan's theorem, which
> comes in quite handy for programming.

Wirth's 'Digital Circuit Design for Computer Science Students' uses it to 
simplify gates. It's all logic after all. I started my career designing 
industrial controls with ice cube relays, electromechanical timers, push 
buttons, and limit switches.  Same thing. 

Funny thing is I was never very good at formal logic derivations.