Re: [Metamath] Question abouot indistopon

Thank you for the pointer, Mario. Is this negative vs. positive position terminology something you neologized on the fly? Or does it have precedent? If I'm grokking you correctly, the positive positions plug into the negative positions, which jibes with your explanation and the Is-a-set convention

[Metamath] Mnemonic of Fr

also uses "Fr" and calls R a "foundational relation". It's not super important, but would it be worth mentioning this in df-fr's comment? Cheers, B. Wilson -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe fr

[Metamath] Question abouot indistopon

The A e. V antecedent is confusing me. Might I ask for a quick pointer? 85195 indistopon $p |- ( A e. V -> { (/) , A } e. ( TopOn ` A ) ) $= ... $. It looks suspiciously close to A e. _V which reas as "A is a set", but in this case the V is just floating. What are the semantics here? --

Re: Help packaging ArrayFire

Adam Faiz wrote: > On 8/20/23 19:35, B. Wilson wrote: > > Hello Guix, > > > > Knee deep in CMake hell here and would appreciate a helping hand. ArrayFire > > build is defeating me: > > > > CMake Error at > > /gnu/store/ygab8v4ci9iklaykapq52bfss

Help packaging ArrayFire

e's a 2016 thread where Dennis Mungai claims to have successfully gotten ArrayFire packaged on Guix: https://issues.guix.gnu.org/23055. However, that appears to have never resulted in a patch. Thoughts? ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2023 B. Wilson ;;; ;;;

Re: Shepherd erroring on guix system reconfigure

Tobias Geerinckx-Rice wrote: > On 17 April 2022 09:27:04 UTC, Tobias Geerinckx-Rice wrote: > >There's only a warning here, not an error. > > > >Is the swap file already swapon'd? If it previously worked, the warning is > >likely (pun unintended) transient. > > > >Kind regards, > > > >T G-R > >

Shepherd erroring on guix system reconfigure

Hey Guix, After pulling about an hour ago and attempting to reconfigure, it looks like shepherd is falling over, even though the reconfigure command finishes: activating system... The following derivation will be built:

Error pulling custom channel that includes another third-party channel

Hey Guix, In my channels.scm, in addition to the primary guix channel I have my-channel and other-channel. This has worked just fine, until I added a commit in my-channel which use-modules something from other-channel. Now guix pull fails when attempting to build my-channel: (exception

Re: Do we want versioned symbols in ncurses?

Thanks for the quick turnaround. > Debian has identifier some potential problems, quoted from > : Ah, yes. The version script also sets a bunch of symbols to local scope. Good catch. Off the top of my head, the only sanity-check I can

Do we want versioned symbols in ncurses?

Hey Guix, Is there any particular reason why our current ncurses packages builds without versioned symbols? Upstream specifies only default versions (i.e. via @@), no forced ones, so IIUC that should make the library drop-in replaceable for everything we have so far. Am I missing something?

Re: [Metamath] Proposed installation conventions so things will be easier to install

Here are some brainstorming questions and thoughts: Would it make sense to have "search path" variables for metamath and mmj2? The FHS describes /var/lib and /var/local/lib as places for "variable data" associated with programs in /usr and /usr/local, respectively. Ostensibly, the purpose of

Re: [Metamath] Proposed installation conventions so things will be easier to install

Thank you for starting this discussion. As a package manager, I certainly empathsize strongly with efforts to make the current installation more standards-compliant. In that vein, I would recommend against defaulting to $HOME installations. Programs which do this are not common, play badly with

Re: [Metamath] oveq2i has logical hypothesis named oveq1i.1

ollowed by it's parent > > eqtr4i.1=oveq2i. Given that 2p2e4 is used as an pedagogical example in MPE, > > I feel like I must just be missing something obvious. > > > > Just in case, I also confirmed the above against HEAD on the develop branch > > (commit 2ebe15d

Re: [Jprogramming] Multiple Takes

n Mon, Oct 21, 2019 at 11:32:54AM +0900, 'B. Wilson' via Programming wrote: > I was a bit eager on the send button with that last message. > > Here is the previous approach, removing some superfluous stuff: > > , ". ,"1/^:3~ ,. '0126' > 0 1 2 6 10 11 12 1

Re: [Jprogramming] Multiple Takes

I was a bit eager on the send button with that last message. Here is the previous approach, removing some superfluous stuff: , ". ,"1/^:3~ ,. '0126' 0 1 2 6 10 11 12 16 20 21 22 26 60 61 62 66 100 101 102 106 110 111 ... And here is essentially the same approach, but treating

Re: [Jprogramming] Multiple Takes

What about something like this? , ". (,/@:,"1/)^:3~ ,.'0126' 0 1 2 6 10 11 12 16 20 21 22 26 60 61 62 66 100 101 102 106 110 111 ... If S is the set of our digits, then the above essentially is just the Cartesian product S^4. On Sun, Oct 20, 2019 at 06:08:48PM -0500, Skip Cave

Re: [Jbeta] Possible hang in +. dyad

Beautiful. Thank you very much. On Thu, Oct 17, 2019 at 08:00:55PM -0400, Henry Rich wrote: > I can reproduce this.  The problem boils down to: > >    0j0.09241037416198 | 0.09241037430409j0 > _0.092 > > Because of the definitions of complex residue and complex floor, some >

Re: [Jprogramming] Question regarding J lexing rules

Thank you for the confirmation. So in these two cases, word splitting happens exactly the same if we use em() instead, correct? Is there a particular reason to *not* use em() though? As far as I can tell, the main difference would be in the traces. I would really like to know if ev() was

bug#29113: Warnings when starting vim: Relink with for IFUNC symbol `longjmp'

Hello, I recently installed vim-full (8.0.1207) and it's throwing some linker (?) warnings at me on startup. The gory details are below, and any help getting to the bottom of this would be much appreciated. ## Errors $ vim -u NONE -esc # `-u NONE' disables .vimrc, `-esc q' quits immediately

Re: [dev] [st, dmenu] Crash when attempting to display characters with missing glyphs

, Silvan Jegen wrote: > Hi > > On Fri, Jul 28, 2017 at 7:44 AM, B. Wilson <x...@wilsonb.com> wrote: > > The character in question was U+1F917. I was able to reproduce the crash in > > st by cat-ing a file containing the single bad character. Pasting it from > &

[dev] [st, dmenu] Crash when attempting to display characters with missing glyphs

Hello, I use mutt and happened to receive an email that caused st to crash. It turned out that the email contained a unicode emoji character for which I didn't have a suitable font. The character in question was U+1F917. I was able to reproduce the crash in st by cat-ing a file containing the

[gnugo-devel] Status of cross-compilation support

Hello, I'm attempting to package up gnugo 3.8 for the Void Linux repositories and am running into cross-compilation issues. I see that this is because some of the targets are trying to run on the build host. Thinking that maybe I'm just doing something silly, I dug around and stumbled across

Vim's make reorders the output of stderr and stdout (in some cases)

When running :make and there is output to both stderr and stdout, I'm seeing a degree of reordering in the displayed output. I didn't notice any similar issues when searching the mailing list, but forgive me if this is already a known bug/feature. Below I give steps on how to reproduce the

Re: Vim's make reorders the output of stderr and stdout (in some cases)

2015年11月26日木曜日 2時39分46秒 UTC+9 LCD 47: > On 25 November 2015, Gary Johnson wrote: > > On 2015-11-25, LCD 47 wrote: > > > > [...] > > > > > You can make stdout unbuffered: > > > > > > #include > > > > > > int main() > > > { > > >

Contractor Opportunity for talented Remedy Developer

Contractor Opportunity for talented Remedy Developer Job Posting Date: 09/16/2015. Industry: Transportation. Contract Length: Initial Six Months (may be extended based on budgeting.) Work Location: Customer-On-Site in beautiful Downtown Atlanta, GA. Nearby: Marta Subway Station; Local/Express Bus

[GAP Forum] Extending fields of matrices.

V is a MeatAxe module over k=GF(p) and it is irreducible but not absolutely irreducible. How does one extend the field to the centralizing subfield of End V? I've found: MTX.IsAbsoluteIrreducible( V) and MTX.DegreeSplittingField( V) but how do I just reset the field? I would prefer to

Re: Debugging pipe IPC

Ian Clark wrote: import os os.system(netcat -l -p 1234 localhost) HTH, Nope, but the network theme got me thinking about how one might run Python on a remote host. After a few false starts, Googling remote python shell led me to Guido's ripshell.py (not *that* Guido, a different

Re: Debugging pipe IPC

Ian Clark wrote: ... whatever 'mother' was sending it (Clean your room! most like) :) If it's very verbose ... Alas, it is quite verbose. Constructing a single instance of a class (from the Pyrex extension acting as the child's two-way radio) could involve tens of thousands of more-or-less

Debugging pipe IPC

I have the mother (of all) application(s, written in C++) that occasionally outsources certain tasks to a child Python script. The mother fork/execs (or equivalent) the child and then begins serving the child's requests. The child/client sends requests on its stdout and receives responses on

Re: Debugging pipe IPC

Ian Clark pointed me to: ... the cmd module. http://docs.python.org/lib/module-cmd.html Yes, I found that, but I could only get it to print a nice interactive prompt, (Cmd), read a line of input and discard it. Apparently, I'm too stupid to figure out how to hook it into python. Jim --

Re: Another newbie design question

[EMAIL PROTECTED] wrote: If you can only [block comments] or [multi-line strings] the other, which is more helpful? I'm afraid no one would use a language that didn't feature block comments. However, inspection of a vast corpus of code might lead one to believe that any commenting

Re: Debugging pipe IPC

Ian Clark wrote: Jim B. Wilson wrote: ... The child/client sends requests on its stdout and receives responses on stdin. So, why can't you just run this client on the command line and let the shell handle stdin/stdout for you? I'm not sure I understand the topology of your proposal

Re: Building Binary Packages

On Wed, 10 Oct 2007 14:35:35 +, kyosohma wrote: I am trying to figure out how to build binaries for Python packages and I've done it with MinGW. Apparently, you still can: http://tinyurl.com/yb4bps -- http://mail.python.org/mailman/listinfo/python-list

The curious behavior of integer objects

Am I nuts? Or only profoundly confused? I expected the this little script to print 0: class foo(int): def __init__(self, value): self = value 0xF print foo(0x10) Instead, it prints 16 (at least on python 2.4.4 (Linux) and 2.5 (Wine). Jim Wilson GNV, FL --

Re: idea for improving security

On Wed, 7 May 2003 08:53:40 +0200 Michael Bergbauer [EMAIL PROTECTED] writes: If you think SSH (or any other component) is not trustworthy, just look for alternatives (or create them yourself). what would be a more secure alternative to ssh? Michael Bergbauer [EMAIL PROTECTED] -- Robert

Re: idea for improving security

On Wed, 7 May 2003 12:48:45 +0200 Alexander Reelsen [EMAIL PROTECTED] writes: what if the trigger sequence changed each time? then if someone intercepted the trigger sequence, it wouldn't do them any good, unless they collected enough trigger sequences to be able to determine the

Re: idea for improving security

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On Tue, 06 May 2003 20:13:41 + Deger Cenk Erdil [EMAIL PROTECTED] writes: But, if I can intercept your trigger sequence messages as an attacker on your subnet, or even on the Net, I can replicate the same sequence quite easily! what if

Re: Peace is not off topic

On Mon, 10 Mar 2003 11:23:04 -0800 Ted Parvu [EMAIL PROTECTED] writes: The Bush Doctrine clearly spells out that America is now an Empire. You are either with us or against us. When did Bush actually say that America is now an empire? he didn't. Bush doesn't want to go to war with Iraq,

Re: Peace is not off topic

On Mon, 10 Mar 2003 11:23:04 -0800 Ted Parvu [EMAIL PROTECTED] writes: The Bush Doctrine clearly spells out that America is now an Empire. You are either with us or against us. When did Bush actually say that America is now an empire? he didn't. Bush doesn't want to go to war with Iraq,

network troubles

i have a network everywhere fast ethernet adapter (NC100). could someone help me figure out how to get it working? i don't have access to the web (but i can use a www4mail server to download a driver like i did for my Lucent Win Modem). -- Robert Wilson [EMAIL PROTECTED]

unsubscribe

-- Vintage Macs is sponsored by http://lowendmac.com/ and... Small Dog Electronicshttp://www.smalldog.com | Enter To Win A | -- Canon PowerShot Digital Cameras start at $299 | Free iBook! | Support Low End Mac http://lowendmac.com/lists/support.html Vintage Macs list info:

Re: LPRng Printing Problem

Mirek Kwasniak wrote: #! /bin/sh gs -sDEVICE=pbmraw -q -dNOPAUSE -r600 -sOutputFile=- - | \ pbm2ppa - - | ^ Why this pipe? pbm2ppa converts the ghostscript output into something my HP 720 can understand (ppa?). The above script is verbatum from the pbm2ppa

dos partition long filenames

Hi, I'm running a kernel (2.0.3something) with the FAT32 patch. Do I need another patch in order to see filenames as they appear under w95, or will the filenames always appear truncated under Linux? Please reply to [EMAIL PROTECTED] David -- Unsubscribe? mail -s unsubscribe [EMAIL

zip disks unreadable

I have some IBM preformatted (msdos format) zip disks. I'm able to store files onto them using a mac at work. But I'm then unable to read them under Linux -- something like a bad supernode or something. If under Linux I make an msdos file system on the zip disk, I'm able to read and write to

Re: zip disks unreadable

Macs can read zip disks in either mac format or msdos format (as preformatted, though not as formatted under Linux). So the interchangeability options that I seem to have right now are either mac w95 or else linux w95 Correct me if I'm wrong but isn't the format on zip / jazz disks OS

Re: zip disks unreadable

I'm confused by your message. You use /dev/sda4 with a parallel port zip drive? Is insmod ppa only for parallel port zip drives, or for scsi too? Mine is scsi. I have exactly one scsi device (the zip drive) and have in the past used /dev/sda. Do the disks normally come preformatted with four

Re: zip disks unreadable

Where would we be without the number 4? :-) It seems to work now. the disks are partitiond (try /dev/sda4 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]

X parameters on laptop

If I tinker with the horizontal resolution, vertical resolution, and refresh rate parameters for the display on a laptop, is there any danger of damaging the hardware (TFT active matrix)? Can I select infinite refresh rate? Is there a way to determine the resolution limits? -- To UNSUBSCRIBE,

sum

Is there a way to compute a sun-style checksum on a debian machine? (sum on linux and the suns produces different numbers) David -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]

display postscript

Is there any sort of display postscript support in Linux? David -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]

can't load shared libraries

I installed tcl and tk with shared library support, and then compiled a program (rcsh) using the tcl tk libraries, but it complains rcsh: can't load library 'libtk.so' libtk.so is in /usr/local/lib, and is a sym link to libtk8.0.so, which is readable. What am I doing wrong? David -- To

emacs

I realize this isn't specifically a Debian question -- but which versions of emacs have postscript-mode? Also, I have a large .el file that works great under emacs 19, but not under emacs 20. Should I expect to be able to port it so that it works under both versions, or just focus on emacs 20?

clean shutdown

Is there a way to do a clean shutdown without becoming root? (Preferably still restricting access to those who can push the power button.) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]

modem again

Using the /dev/ttyS* devices at least minicom will run. But I still can't dial out. /proc/interrupts does not show the modem, or IRQ9, which is the IRQ of the modem according to Windows 95. The kernel has generic serial support. So I'm still a bit confused. David -- To UNSUBSCRIBE, email

sound

I've found that when I user Windows95 and then boot to Linux, that /proc/interrupts shows a sound blaster under IRQ5, and that dmesg doesn't turn up any sound errors. Nothing is listed under IRQ5 when I boot directly to Linux, and dmesg shows a sound initialization problem. I have PnP disabled,

modem

I tried using my modem, but discovered that I have no /dev/modem or /dev/cua*. A look through the kernel config options didn't turn up anything obviously related to modems, so I'm a bit confused. I'm runing Debian 1.3, and have a Xircom Ethernet+Modem PCMCIA card that seems to work under Windows

Re: sound

/proc/interrupts lists several interrupts and devices, but nothing is listed under IRQ5, nor is the sound card listed. David On Mon, Mar 23, 1998 at 11:01:18PM -0500, David B Wilson wrote: Has anyone had success getting sound to work with a Yamaha OPL3-SA on a laptop? The HowTo lists

Re: sound

i got it to work, but unfortunately i don't have the laptop right here. i'll try to get my friend to email me sound.conf file and i'll forward that to you as soon as i get it. --alex-- That would be great. -David -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of

sound

Has anyone had success getting sound to work with a Yamaha OPL3-SA on a laptop? The HowTo lists the Yamaha OPL3, but my lack of success has me wondering if the OPL3-SA is different somehow. I pretty consistently get the boot-time error message sb: Interrupt test on IRQ5 failed - device disabled

Re: modules

Did you do a depmod -a when you rebooted? depmod -a also complains about all sorts of unresolved symbols. Also, the man page suggests putting this line in a file in /etc/rc.d/ There is no such directory, but all kinds of files match /etc/rc?.d/* David -- To UNSUBSCRIBE, email to [EMAIL

modules

When I boot, there are complaints of unresolved symbols in modules such as ppp and pcmcia. This is with a recently compiled 2.0.30 kernel (and I did make modules and modules_install). Advice? Is there a way to get a log of all the boot messages? David -- To UNSUBSCRIBE, email to [EMAIL

libXpm

When I try running xconq, it complains that libXpm.so.4 can't be loaded. Where do I find that (or a different version of xconq)? David -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]

Re: modules

I'd suggest building and installing your kernel using the kernel-package package. The basic sequence is 'make config', run make-kpkg to build the kernel and make a Debian package from it, and then use dpkg to install the kernel. When I did make-kpkg --zimage buildpackage I eventually

X and mouse

I can't seem to get my mouse to work with XFree86 3.3.2. In my previous version of XFree86 (3.2) I was able to get the mouse to work using device /dev/psaux and protocol PS/2, but the server didn't run for other reasons unrelated to the mouse, and someone suggested I upgrade the server. With

Re: Win95's FAT32 Linux

I have just upgraded my windows 95 system to version 2 and I have used the FAT32 file system, but I am now unable to mount this partition under Linux, is this possible at when it was FAT then I just used the vfat module but this does not seem to work. Any ideas? Take a look at a

boot hangs

Twice now when I've booted, the process hung when starting the IP paranoia daemons. Is this normal? (This is Debian 1.3 r6.) David -- E-mail the word unsubscribe to [EMAIL PROTECTED] TO UNSUBSCRIBE FROM THIS MAILING LIST. Trouble? E-mail to [EMAIL PROTECTED]

link error when compiling kernel

I tried recompiling my kernel to add FAT32 support, but when it came time for the link part of the compile, there were a bunch of undefined functions. I don't know why Debian 1.3 gave two kernel versions, but it was the 2.0.30 version that I tried compiling. fs/fs.o: In function

passwords

When I boot into Debian 1.3, it eventually prompts me for a password without ever having asked me for a login name. If I don't respond, it keeps prompting me. Also, when I initially installed, when I logged in as root, it prompted me for a new password. But no matter how many times I gave it a

Re: spontaneous rebooting

So how far do you get exactly? Do you get LILO pause Loading Linux..reboot Sometimes I've counted 13 dots after Loading Linux before reboot. Yesterday I don't recall having seen any dots before the reboots, but I wasn't specifically paying attention to dots at the time. David

FAT32

Is there a version of Debian that has the FAT32 patch? It seems this patch has been available for a while now, but was not included in 1.3 revision 6. -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word unsubscribe to [EMAIL PROTECTED] . Trouble? e-mail to [EMAIL PROTECTED] .

spontaneous rebooting

I installed Debian GNU Linux 1.3 revision 6 on a laptop. When I boot the system, just when LILO is about to load Linux, there seems to be an 80% - 90% chance that the system will spontaneously reboot. If I wait a long time, eventually LILO successfully loads Linux without rebooting. Is this a