[racket-users] Re: Surprising but convenient

2021-12-19 Thread George Neuner
On Sun, 19 Dec 2021 17:50:11 +0100, Jacob Jozef wrote: >I start a thread printing a file. When the file will be very long (say >50 GB) the thread takes too much time and I kill it when it takes >more time than I want to permit. Outside the thread I clean up. >Closing the output-port before deleti

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2021-12-19 Thread Sorawee Porncharoenwase
FWIW, here're the settings of racket-users from the About tab: Anyone on the web: can see group Group owners and managers: can view members Anyone on the web: can view conversations Group members: can post Invited users: can join group and here're the settings of racket-dev: Anyone on the web: c

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2021-12-19 Thread Nadeem Abdul Hamid
In other Google groups that I'm on, when I view the group, the links in the left bar read "Conversations", "Members", "About", "My membership settings". But in the Racket Users, there isn't a link to the "Members" list. On Sun, Dec 19, 2021 at 5:24 PM Sage Gerard wrote: > Looks like I scoped inv

[racket-users] [Face made with `plot`]

2021-12-19 Thread Stephen De Gabrielle
https://racket.discourse.group/tag/creative-racket -- -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view t

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2021-12-19 Thread Sage Gerard
Looks like I scoped invitation powers to group managers, not members. Checking on this. Sent from ProtonMail mobile Original Message On Dec 19, 2021, 4:17 PM, Nadeem Abdul Hamid wrote: > I don't have any special privileges... when I view the Google group, I don't > see a "Mem

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2021-12-19 Thread Nadeem Abdul Hamid
I don't have any special privileges... when I view the Google group, I don't see a "Members" page at all and no where to invite anyone else. All I can access is a link "My membership settings". --- nadeem On Sun, Dec 19, 2021 at 3:49 PM Robby Findler wrote: > When I follow the link at the bott

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2021-12-19 Thread Robby Findler
When I follow the link at the bottom of one of these messages, click on members, I see an "add members" button and clicking on it gives me a place to add email addresses. I didn't actually add email addresses to the list and try to add them, and I might have already had special privileges on this l

RE: [racket-users] Surprising but convenient

2021-12-19 Thread Jacob Jozef
Thanks to Bruce and Sage. I work with DrRacket 8.3 CS under windows 10. Indeed, I can see that during closing the port before deleting the file, there is activity on the output device for some time. Probably because of flushing buffers. I have experimented a bit with output of 1 GB to a 16 GB USB s

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2021-12-19 Thread Sage Gerard
Alright, thanks to all of you for the quick replies. As of this writing, the list has been reconfigured to create an explicit perimeter between the non-members and members. The public can no longer let themselves in. Not totally out of the woods yet. - Someone please confirm if you can invite o

Re: [racket-users] Surprising but convenient

2021-12-19 Thread Bruce O'Neel
HI, It is a touch unclear what you mean by deleting the file and on which OS you are using. On Linux and similar OSes  the rm command just calls the unlink system call.  This removes the file from the directory and if the link count is now 0 then the file is removed from disk.  But this last part

Re: [racket-users] Surprising but convenient

2021-12-19 Thread Sage Gerard
If I understand this correctly, there's a difference between deleting a reference to 50 GB (like an inode), and actually writing 50 GB. When you write to an output port, you are writing to a buffer in memory. This prevents the slow downs you've witnessed, because storage mediums are comparably

[racket-users] Surprising but convenient

2021-12-19 Thread Jacob Jozef
Hi I start a thread printing a file. When the file will be very long (say 50 GB) the thread takes too much time and I kill it when it takes more time than I want to permit. Outside the thread I clean up. Closing the output-port before deleting the file takes much time. But to my surprise I can dele

[racket-users] [baseball-cap with `standard-fish`]

2021-12-19 Thread Stephen De Gabrielle
Image credit at https://racket.discourse.group/t/baseball-cap-with-standard-fish/443?u=spdegabrielle -- -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to