Re: [racket-users] Help not working after fresh installation of Racket 8.3

2021-11-25 Thread Erich Rast
It's fixed. The problem was the configuration of Firefox's default 
applications. It was set to use Caja for opening files. I changed it  to 
use Firefox itself and it works now, although it opens every link in a new 
tab.

On Thursday, November 25, 2021 at 1:14:55 PM UTC laurent...@gmail.com wrote:

> Maybe: raco setup --doc-index
>
> On Thu, Nov 25, 2021 at 11:28 AM Stephen De Gabrielle  
> wrote:
>
>> My first guess would be to use raco to rebuild the docs - but I can’t 
>> remember the exact command. It’s probably in raco pkg 
>>
>>
>> On Thu, 25 Nov 2021 at 10:08, Erich Rast  wrote:
>>
>>> On Linux Mint I installed Racket 8.3 as usual in local folder 
>>> /home/nemo/racket. Now when I try to access the help in the browser (recent 
>>> version of Firefox), any link I click results in an error message, for 
>>> example: *Could not display "/home/nemo/racket/doc/quick/-index.html" 
>>> The location is not a folder.*
>>>
>>> The "-" in the path seems incorrect. In any case, I have full read and 
>>> write permissions, the installation works otherwise, and the html documents 
>>> exist and can be opened manually.
>>>
>>> How do I fix this?
>>>
>>> -- 
>>> 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...@googlegroups.com.
>>> To view this discussion on the web visit 
>>> https://groups.google.com/d/msgid/racket-users/d7c8734a-806c-441b-9733-00ae6ddfa983n%40googlegroups.com
>>>  
>>> 
>>> .
>>>
>> -- 
>> 
>>
>> -- 
>> 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...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/CAGHj7-LCPMKD5qK9ViRqjs_-t9fyC_PrEXgSxVWCRhVRn3QutQ%40mail.gmail.com
>>  
>> 
>> .
>>
>

-- 
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 this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/4ab1c0b5-5761-4ad0-981e-344ceb7df97dn%40googlegroups.com.


Re: [racket-users] Help not working after fresh installation of Racket 8.3

2021-11-25 Thread Laurent
Maybe: raco setup --doc-index

On Thu, Nov 25, 2021 at 11:28 AM Stephen De Gabrielle <
spdegabrie...@gmail.com> wrote:

> My first guess would be to use raco to rebuild the docs - but I can’t
> remember the exact command. It’s probably in raco pkg
>
>
> On Thu, 25 Nov 2021 at 10:08, Erich Rast  wrote:
>
>> On Linux Mint I installed Racket 8.3 as usual in local folder
>> /home/nemo/racket. Now when I try to access the help in the browser (recent
>> version of Firefox), any link I click results in an error message, for
>> example: *Could not display "/home/nemo/racket/doc/quick/-index.html"
>> The location is not a folder.*
>>
>> The "-" in the path seems incorrect. In any case, I have full read and
>> write permissions, the installation works otherwise, and the html documents
>> exist and can be opened manually.
>>
>> How do I fix this?
>>
>> --
>> 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 this discussion on the web visit
>> https://groups.google.com/d/msgid/racket-users/d7c8734a-806c-441b-9733-00ae6ddfa983n%40googlegroups.com
>> 
>> .
>>
> --
> 
>
> --
> 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 this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/CAGHj7-LCPMKD5qK9ViRqjs_-t9fyC_PrEXgSxVWCRhVRn3QutQ%40mail.gmail.com
> 
> .
>

-- 
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 this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CABNTSaE2Y2k6yZigdGhRno_8Jf7zoq8P%2BRw-ztqHuzhh5aGPOw%40mail.gmail.com.


Re: [racket-users] Help not working after fresh installation of Racket 8.3

2021-11-25 Thread Stephen De Gabrielle
My first guess would be to use raco to rebuild the docs - but I can’t
remember the exact command. It’s probably in raco pkg


On Thu, 25 Nov 2021 at 10:08, Erich Rast  wrote:

> On Linux Mint I installed Racket 8.3 as usual in local folder
> /home/nemo/racket. Now when I try to access the help in the browser (recent
> version of Firefox), any link I click results in an error message, for
> example: *Could not display "/home/nemo/racket/doc/quick/-index.html" The
> location is not a folder.*
>
> The "-" in the path seems incorrect. In any case, I have full read and
> write permissions, the installation works otherwise, and the html documents
> exist and can be opened manually.
>
> How do I fix this?
>
> --
> 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 this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/d7c8734a-806c-441b-9733-00ae6ddfa983n%40googlegroups.com
> 
> .
>
-- 


-- 
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 this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAGHj7-LCPMKD5qK9ViRqjs_-t9fyC_PrEXgSxVWCRhVRn3QutQ%40mail.gmail.com.


[racket-users] Help not working after fresh installation of Racket 8.3

2021-11-25 Thread Erich Rast
On Linux Mint I installed Racket 8.3 as usual in local folder 
/home/nemo/racket. Now when I try to access the help in the browser (recent 
version of Firefox), any link I click results in an error message, for 
example: *Could not display "/home/nemo/racket/doc/quick/-index.html" The 
location is not a folder.*

The "-" in the path seems incorrect. In any case, I have full read and 
write permissions, the installation works otherwise, and the html documents 
exist and can be opened manually.

How do I fix this?

-- 
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 this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/d7c8734a-806c-441b-9733-00ae6ddfa983n%40googlegroups.com.


[racket-users] 2nd Call for Contributions: BOB 2022 [March 11, Deadline Dec 6]

2021-11-25 Thread Michael Sperber


We'd be delighted to have some Racket material!


 BOB Conference 2022
 "What happens when we use what's best for a change?"
  https://bobkonf.de/2022/cfc.html
 Berlin, Mar 11
Call for Contributions
 Deadline: December 6, 2021


You are actively engaged in advanced software engineering methods,
solve ambitious problem with software and are open to cutting-edge
innovation? Attend this conference, meet people that share your goals,
and get to know the best software tools and technologies available
today. We strive to offer a day full of new experiences and
impressions that you can use to immediately improve your daily life as
a software developer.

If you share our vision and want to contribute, submit a proposal for
a talk or tutorial!

NOTE: The conference fee will be waived for presenters. Travel
expenses will not be covered (for exceptions see "Speaker Grants").

Online or Onsite


We expect we'll be able to hold BOB 2022 in Berlin. If that is not
possible, we'll make BOB a successful online event, like BOB
2021. Should BOB happen online, we will likely ask for pre-recorded
talks to make room for questions and social interactions during the
actual conference day. (Of course, we'll provide assistance making
those recordings.) Tutorials will likely happen as a live-session.

Shepherding
---

The program committee offers shepherding to all speakers. Shepherding
provides speakers assistance with preparing their
sessions. Specifically:

- advice on structure and presentation
- review of talk slides
- assistance with recording
- review of recording, if applicable

Speaker Grants
--

BOB has Speaker Grants available to support speakers from groups
under-represented in technology. We specifically seek women speakers,
speakers of color, and speakers who are not able to attend the
conference for financial reasons.

Topics
--

We are looking for talks about best-of-breed software technology, e.g.:

- functional programming
- persistent data structures and databases
- event-based modelling and architecture
- "fancy types" (dependent types, gradual typing, linear types, ...)
- formal methods for correctness and robustness
- abstractions for concurrency and parallelism
- metaprogramming
- probabilistic programming
- math and programming
- controlled side effects
- program synthesis
- next-generation IDEs
- effective abstractions for data analytics
- … everything really that isn’t mainstream, but you think should be.

Presenters should provide the audience with information that is
practically useful for software developers.

Challenges
--

Furthermore, we seek contributions on successful approaches for
solving hard problems, for example:

- bias in machine-learning systems
- digital transformation in difficult settings
- accessibiltity
- systems with critical reliability requirements
- ecologically sustainable software development

We're especially interested in experience reports.
Other topics are also relevant, e.g.:

- introductory talks on technical background
- overviews of a given field
- demos and how-tos

Requirements


We accept proposals for presentations of 45 minutes (40 minutes talk +
5 minutes questions), as well as 90 minute tutorials for
beginners. The language of presentation should be either English or
German.

Your proposal should include (in your presentation language of choice):

- An abstract of max. 1500 characters.
- A short bio/cv
- Contact information (including at least email address)
- A list of 3-5 concrete ideas of how your work can be applied in a developer's 
daily life
- additional material (websites, blogs, slides, videos of past presentations, …)
- Don't be confused: The system calls a submission event.

Organisation


- Direct questions to contact at bobkonf dot de
- Proposal deadline: December 6, 2021
- Notification: December 17, 2021
- Program: December 22, 2021

Submit here:

https://bobcfc.active-group.de/en/bob2022/cfp

Program Committee
-

(more information here: https://bobkonf.de/2022/programmkomitee.html)

- Matthias Fischmann, Wire
- Matthias Neubauer, SICK AG
- Nicole Rauch, Softwareentwicklung und Entwicklungscoaching
- Michael Sperber, Active Group
- Stefan Wehr, Hochschule Offenburg

Scientific Advisory Board

- Annette Bieniusa, TU Kaiserslautern
- Torsten Grust, Uni Tübingen
- Peter Thiemann, Uni Freiburg

-- 
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 this discussion on the web visit